anon335dtzbvc
anon335dtzbvc on Hacker News
Posted by
anon335dtzbvc on Thursday August 23, 2018 @03:15PM
from the adit.io dept.
"LYAH is full of incorrect definitions and broken analogies."
Well it's fine for beginners, because beginners want easy explanations and many examples to start with, instead of very precise definitions which requires a precise math vocabulary.
Okay but i expect to wait 5 min on avg. so due to the paradoxon it is 10 min not 20 min
Hmm if this is similar to the hitchhiker’s paradoxon, then one would expect to wait 5 min for the next block by intuition, which is wrong and we have to wait 10 minutes. But i do not get why the intuition should be wrong by a factor of 4x (20 mins) instead by a factor of 2x (10 mins).
i think dannylmathews must be a Amazon affiliative otherwise his product would most likely be illegal name-wise
why do we need Parinfer, why not dropping parentheses altogether in favour of itendantion
Be aware of the non free license
Can i have implicit name of a single parameter in javascript via babel extension?
Posted by
anon335dtzbvc on Friday November 03, 2017 @07:23AM
from the madnight.github.io dept.
It's not a question of wether something might break, it's a question of when will it break and how long a new introduced bug might be undetcted, that could have easily detected by some tests? Bugs always happen in projects, if someone says otherwise, he either proved his program to be correct (e.g. in COQ) or is wrong (and sometimes both :).
Well I would use it, but I wouldn't contribute, because I write all my code in a test driven programming way. AFAIK Chuck Norris writes the code first, never the test.
just add a '|| true' at the end of every call!
Still the best option is the unix philosophy: "Write programs to handle text streams, because that is a universal interface." - Peter H. Salus in A Quarter-Century of Unix (1994)
Posted by
anon335dtzbvc on Tuesday October 17, 2017 @12:22PM
from the netvor.sk dept.
Could someone explain to me why everyone is crazy about type theory? ATM i learn category theory by watching and reading the awesome material from Bartosz Milewski. Should i stop and learn type theory instead, if i want to know more about programming languages in an abstract / general sense?
Could you tell why you choose to make it closed source?
Posted by
anon335dtzbvc on Thursday September 21, 2017 @05:22AM
from the codementor.io dept.
So where do i find the top 250 list?
I guess adding the discovery year of monoids to a blog post is not associative.
Very nice project keep going, would love to see more haskell projects arising from this. Code related: I'm by no means an haskell expert, but your main function in Main.hs looks a bit lengthy, usually i dont see haskell methods with 50+ lines, might be better to split them up and provide names for subfunctions.
Posted by
anon335dtzbvc on Wednesday August 23, 2017 @05:32PM
from the caml.inria.fr dept.
You could still use a VT100 terminal, no need for fancy modern X terminals and vi.
Its a open discussion, no bothering required
Your post reads a bit like, hey you think my config is too small? i'll show small!