You must live in a bubble.
Fuck off, man.
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!
You sound like a bitter person.
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.
It's not about the absolute cost. $60 in a developing country is a substantial sum of money.
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.
Yup. I have had some terrible experiences with dependencies. Bundling all the dependencies together makes sense in a lot of scenarios.
Semantics vs syntax.
Schroedinger's Virus.
Pertinent.
So, in other words, more ads. Got it.
This is quite true. Not fully, of course, but still true.
Looks useful. Thanks for sharing.
Exception, not the rule.
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.
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!
You sound like a bitter person.
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.
It's not about the absolute cost. $60 in a developing country is a substantial sum of money.
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.
Yup. I have had some terrible experiences with dependencies. Bundling all the dependencies together makes sense in a lot of scenarios.
Semantics vs syntax.
Schroedinger's Virus.
Pertinent.
So, in other words, more ads. Got it.
This is quite true. Not fully, of course, but still true.
Looks useful. Thanks for sharing.
Exception, not the rule.
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.