You must live in a bubble.
Fuck off, man.
Just like the GC-vs-non-GC debate, emotions like yours are perfectly understandable, if not fully justifiable. We are humans, after all.
Precisely my experience as well! I also wish Edwin would get some sort of corporate backing so that Idris could be funded to get into production-ready mode. Idris2 is much faster (both compilation wise as well as…
At the same time, it goes the other way too. I cannot believe the number of doctors that I visited when I first got GERD, and all my questions were shot down while they prescribed PPI upon PPI. It only made my condition…
Forking is not the solution to every disagreement.
Precisely.
Use Common Lisp for a real practical Lisp.
Yes, some of us did get gassed in WW2, you insensitive clod!
Interesting. I assume that that means something like "memorial"? I was able to extrapolate that from my very basic Russian.
Unplayable on Firefox.
Congratulations to Bob Nystrom! By the way, does anyone know of any good tools to convert the whole site into a single PDF with working links? Using pandoc or something? If not, I'll probably sit down and write a script…
Please don't make me relive nightmares of trying to learn the language.
Yes, sadly unaffordable for people in developing countries such as myself.
To be fair, that's not really a very strong point, is it? Any language can be translated into C via an appropriate transpiler.
Terribly random naming.
Semantics vs syntax.
Schroedinger's Virus.
Pertinent.
So, in other words, more ads. Got it.
Looks useful. Thanks for sharing.
Exception, not the rule.
Finally, a usecase for git blame.
Yeah, being one will get you even more.
Software is as reliable as the world we live in - basically, unreliable. Does that matter though? Practically, no. If it works well enough, it's good enough.
You must live in a bubble.
Fuck off, man.
Just like the GC-vs-non-GC debate, emotions like yours are perfectly understandable, if not fully justifiable. We are humans, after all.
Precisely my experience as well! I also wish Edwin would get some sort of corporate backing so that Idris could be funded to get into production-ready mode. Idris2 is much faster (both compilation wise as well as…
At the same time, it goes the other way too. I cannot believe the number of doctors that I visited when I first got GERD, and all my questions were shot down while they prescribed PPI upon PPI. It only made my condition…
Forking is not the solution to every disagreement.
Precisely.
Use Common Lisp for a real practical Lisp.
Yes, some of us did get gassed in WW2, you insensitive clod!
Interesting. I assume that that means something like "memorial"? I was able to extrapolate that from my very basic Russian.
Unplayable on Firefox.
Congratulations to Bob Nystrom! By the way, does anyone know of any good tools to convert the whole site into a single PDF with working links? Using pandoc or something? If not, I'll probably sit down and write a script…
Please don't make me relive nightmares of trying to learn the language.
Yes, sadly unaffordable for people in developing countries such as myself.
To be fair, that's not really a very strong point, is it? Any language can be translated into C via an appropriate transpiler.
Terribly random naming.
Semantics vs syntax.
Schroedinger's Virus.
Pertinent.
So, in other words, more ads. Got it.
Looks useful. Thanks for sharing.
Exception, not the rule.
Finally, a usecase for git blame.
Yeah, being one will get you even more.
Software is as reliable as the world we live in - basically, unreliable. Does that matter though? Practically, no. If it works well enough, it's good enough.