Join #dailyprog on freenode; What are you working on, Jow Forums?
Previous thread:
/dpt/ - Daily Programming Thread
Eli Wood
Other urls found in this thread:
msdn.microsoft.com
discord.gg
twitter.com
Kayden Walker
First for Haskell
Joshua Young
Working on my resumé.
David Watson
>pre bump limit
>freenode shilling
>non anime OP
Owen Ward
can someone shed some light on the runtime of this algorithm?
arr = some array of size n
k = some constant
for (i = arr.length - 1; i >= 0; i--) {
if (i >= k) {
for (j = i - 1; j >= (i - c); j--) {
// do some constant operatior
}
} else {
for (j = i - 1; j >= 0; j--) {
// do some constant operation
}
}
}
it doesn't look O(n^2). since the amount of iterations for the inner loops cannot ever be N on all iterations as they are bounded to be less than the current iterator, which is constantly decrementing
Blake White
what's c? inner loop in true branch is O(c), in false branch is O(k)
Nolan Morris
>What are you working on, Jow Forums?
After like a weeks of not doing anything I finally continued on my strategy game.
You can now spend labor points (1 citizen gives 1 labor point each year) to produce goods. I'm also trying to prepare for adding trade, which is the meat of the game.
I'm a bit stuck though.
Production, Import and export is each a list of tuples in the shape (resource, quantity), I want to add together each resource in production and import, and then subtract the resources from export.
I managed to subtract from export using a loop, but I can't figure out how to add together imports in a nice way.
The problem is that in exports, I know that all things I export already exist in the list. For import, I first need to check if the resource exists in the production list, in which case I add it to that total, otherwise add a completely new post. I worked on this a bit and I can do it, but the code will end up looking like total shit. Anyone have a good suggestion on how to merge these lists? Coding in F#
Landon Gray
Michael Anderson
sorry c is supposed to be k
Isaac Reyes
hmm, yeah. I should probably just make a map out of it. Thanks
Parker Adams
also though dont worry i realised it's O(n^2) since k can be arbitrarily large
Connor Long
What's the difference between ∀a. (a -> a) -> (a -> a) and (∀a. a -> a) -> (∀a. a -> a)?
Matthew Davis
Disregarding the i - 1 in both (since 1 is constant):
n * ( n - k + k ) = n * n = n^2
Eli Powell
The first encodes a natural number, the second is the identity function specialised to identity functions
Xavier Morgan
>Join #dailyprog on freenode
thanks but i will pass; i am already on the discord and have completely left irc.
Liam Hughes
Whats the discord?
I want to join it.
Ayden Gray
there isn't one
Lincoln Harris
leave this board too
Camden Ross
>Join #dailyprog on freenode
But why?
Jow Forums is already good for talking. Why do people insist on splitting people up with irc and discord channels?
Lincoln Gonzalez
cope/paste this in your browser url bar (you may have to type the javascript: part manually)
javascript:atob("aHR0cHM6Ly9kaXNjb3JkLmdnLzRUdWhQaHI=")
Carson Scott
Jow Forums is down every now and then
Matthew Martin
Jow Forums is dying
Anthony Parker
So docstrings are cool but they take up a lot of space and make the code hard to navigate, is there a way to solve that?
Jacob Murphy
not clicking that shit, nigger
Lincoln Miller
Equivalent as far as I can prove.
Evan Hall
seems legit
Carter Morales
it's legit, believe it or not
comes out to discord.gg
Elijah Hall
Yesterday was the only time in my 10 years on Jow Forums that I was annoyed by its downtime.
And if Jow Forums is dead, then a /dpt/ channel on IRC will also die, since there will be no new users.
Bentley Bell
delete this, posting raw discord links is categorized as advertising and now banned on sight (discord is now too much a menace to Jow Forums)
Adam Powell
Thanks. Im in. That code snippet is crazy
Matthew Turner
>using interactive theorem proving to prove how big of a brainlet you are
forall a. (a -> a) -> (a -> a)
admits the church encoded natural numbers:
0 = \f x. x
1 = \f x. f x
2 = \f x. f (f x)
...
n = \f x. f^n(x)
on the other hand
(forall a. a -> a) -> (forall a. a -> a)
(forall a. a -> a) is the type of the identity function. there is one identity function (\x.x). there are two obvious ways of defining this function
\f. f
\f.\x.x
these are actually equivalent because it's a unit type, so f would reduce to \x.x anyway
Josiah Young
That fucking post was so fucking infuriating, and I don't even like C++.
Colton Wilson
Just do this sort of thing with questionable content.
Bentley Rodriguez
>But why?
IRC is more comfortable in some ways for discussing some more specific topic, talking is more smooth and you know when someone is samefagging
>Why do people insist on splitting people up with irc and discord channels?
noone is insisting on using discord for anything, quite the opposite
Jeremiah Bennett
Are you infuriated? It was my doing.
Henry Turner
You never responded to my retort so go fuck yourself. Find it in the archive if you want.
Benjamin Thompson
Which asm should I learn (I want to code for W*ndows)?
Where to start, e.g. some online resource or book?
Blake Russell
What retort exactly? Installing visual studio?
Liam Moore
Thanks for elaborating, I think I get it now.
So does this mean that without higher rank types that polymorphic functions are not first class?
Ian Anderson
jvm assembly.
Jack Evans
wasm is the answer.
Tyler Smith
>What retort exactly? Installing visual studio?
No, nothing of the sort, Visual Studio is garbage.
I explained why your entire post was complete bullshit and why most of the issues you were having had nothing to do with C++ being garbage and everything to do with you being a moron.
Christopher Lee
>I explained why your entire post was complete bullshit
Come now, you don't really believe just saying that means you are right, right?
Jaxon Gray
i don't know what this has to do with what we were talking about but sure, passing polymorphic functions as arguments -> higher rank
notice that you can re-scope one forall here
(forall a. a -> a) -> (forall a. a -> a)
forall a. (forall a. [a -> a]) -> (a -> a)
it's still rank-2 because there's a forall left of an arrow that can't be moved up, while the church encoding (forall a. [(a -> a) -> (a -> a)]) is rank-1
Carson Flores
>Come now, you don't really believe just saying that means you are right, right?
It does actually, I know I'm right because of how I am. That means you're wrong.
Jayden Scott
>I know I'm right because of how I am
Well that's exactly where you are wrong. People call this "delusion".
Asher Gray
>Well that's exactly where you are wrong. People call this "delusion".
It's actually called "enlightenment" when I do it. It's only "delusion" for plebs like you.
Ian Edwards
I was , I was trying to figure out what the difference was between the two types.
Jaxson Allen
>It's actually called "enlightenment" when I do it
Yet again, that's exactly where you are wrong. People call this "delusion".
Josiah Wright
>Yet again, that's exactly where you are wrong. People call this "delusion".
Also, in case you're still not convinced. I fucked your mother so I can't be wrong.
Lincoln Brown
Well I explained here and here Most things with bound identifiers are equivalent up to renaming, so you can think of one of them as
forall a. [(a -> a) -> (a -> a)]
and the other as
(forall a. [a -> a]) -> (forall b. [b -> b])
Levi Nelson
>in case you're still not convinced.
Well I'm convinced that you are deluded. At least that's where we agree.
Oliver Moore
It's settled then. I fucked your mother too hard and it has caused you to be born with brain damage. I apologise for affecting your life in such a negative way.
Gavin Clark
quality /b/ level discussion right there
Samuel Cook
Sorry to hear your children are brain damaged. Probably runs in your family.
Gabriel Bell
daily pajeet thread, what did you expect from these retards
Hunter King
This is higher quality posting than usual. You should be happy. If it wasn't for us then you'd have to listen to some retard who started programming yesterday tell you how they think their 4 years of CS degree has made them a better programmer than literally anyone else who actually knows what they're doing.
It's only the children I had with your mother so it's clearly not my family.
Robert Collins
This is a asymptotic notation free board, user.
Wyatt Flores
>This is higher quality posting than usual
well, at least they're not that javascript loving faggot
Michael Campbell
>Join #dailyprog on freenode
So now we have #dailyprog on freenode and another #dailyprog on rizon?
Carson Roberts
>It's only the children I had
Yes that's why I said I'm sorry to hear that your children are brain damaged. Probably runs in your family.
Samuel Allen
I mean, it's unsurprising that you're having some trouble reading what I wrote when you must have an IQ of around 75 and probably a large dent in your head along with major issues with eyesight.
N e x t t i m e I w i l l t y p e l i k e t h i s s o t h a t y o u h a v e a b e t t e r c h a n c e o f b e i n g a b l e t o r e a d w h a t I w r o t e.
Aiden Stewart
>you must have an IQ of around 75
That's at least 3 times as high as yours.
Lincoln Morgan
What am I doing wrong, fellas?
Adam Peterson
using an imac
Connor Wood
it's hackintosh
Zachary Ramirez
there's your problem
Landon Cook
__init__.py is wrong.
Charles Evans
why?
Christian Jenkins
It's amazing that for someone with such a low IQ that you are capable of producing such a retort. But I was not trying to insult you, I was merely stating the facts, it's unfortunate that society is unable to cater for people with an IQ as low as yours.
Don't worry though, you mistook my age for my IQ, my IQ is actually around twice yours.
Josiah Powell
Show content of it.
Dylan Gomez
it's empty
Landon White
why are you arguing with someone posting that shit? No matter how well thought out your post is, they're just gonna respond with more shitposting. Just like the mongs who post the r9k brainlet pictures with a >greentext
Angel Parker
You need to do import mod in it.
Joshua Moore
?
Asher Green
>It's amazing that for someone with such a low IQ that you are capable of producing such a retort.
That's obviously because my IQ, as I said before, is 3 times as that of yours. But don't be amazed, because it was not amazing to people with high IQ.
Chase Stewart
Ryan Lopez
Did it work or not?
Jeremiah Sanders
How do you know those pictures are from Jow Forums?
Adrian Evans
don't forget to statically link your programs!
Christopher Cooper
Golet, pls
Connor Morales
nope
Brandon Miller
There is no reason to ever dynamically link
>oh no muh binary is a little bit bigger
who cares
Daniel Foster
>statically link in glibc and all third-party libraries
>executable is now 113 MB
Thank you for coming, we'll call you back. Don't call us.
Benjamin Bailey
Nice extreme and unrealistic example.
but
>using C shit
Asher Parker
>113 MB
oh no, my 0.01% storage!
Caleb Reyes
>linking with boost or qt
>extreme and unrealistic
Julian Howard
>boost or qt
the absolute state of clets
Jaxson Harris
>Library updates
>Literally need to recompile everything that depends on it
>Need to recompile everything that depends on those too
>Literally takes years of compute time to upgrade your system
No fucking thanks.
Static linking is a fucking mistake that proprietary cucks try to make seem like a good thing to push their shitty agenda.
Nicholas Howard
>you should use Go because of all the bloated features it has compared to C/C++
>lol why are you using boost or qt, they're bloated as fuck!!!
Parker Young
>everyone who like static linking is a go brainlet
wew lad
Liam Hughes
See
Robert Morris
>Dynamically link instead
>.sos alone are at least 200MB
Aiden Fisher
Enjoy your API breakage lol
Landon Ramirez
Static linking in 2018 is absolutely retarded and everyone knows this, except Unix dinosaurs like Ken Thompson and Rob Pike.
Jacob Campbell
only if you're on shitlangs.
Carter Martin
The solution is obvious - keep all your compiled objects around and dont link them until load time.
Luke Wright
>can't into versioning
Go-let detected
Cameron Gonzalez
What happens when the users don't have the version you require, idiot?
Jacob Gomez
Please, statically link your CLR/C# runtime or whatever and enjoy your 2 GB binaries all with slightly different versions of the runtime.
>keep all your compiled objects around and dont link them until load time.
So.... dynamic linking?