tzjmetron

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 execution wise) than Idris1, but the standard library is not done (as are parts of the language itself).

I would love to be able to write production code in Idris rather than patching together a million Haskell extensions.

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 worse by the year.

Finally, I decided enough is enough, and did my own research, happened upon naturopathic materials, and experimented in a logical fashion (eliminating one trigger at a time, trying a new natural cure at a time) till I chanced upon probiotics - specifically Yakult which works best for me, and have been living a normal life since then.

The kicker is that if I had taken this approach from the start, my stomach and quality of life would have been much better from the start.

Sure, it's anecdotal, but it's a counter-example to your assertion which, frankly, smacks of derision for the thinking patient. You have to remember that doctors, like those in any other profession, come in a spectrum of qualifications, capabilities, and empathy.

Forking is not the solution to every disagreement.

It's not about the absolute cost. $60 in a developing country is a substantial sum of money.

That memoriam seems completely out of place. If you are a professional colleague, common sense would dictate that you write a professional piece that reflects on the person's services rendered to Mozilla. The repeated references to the deceased's religious beliefs seem very out of place and distateful, especially in a memoriam. No excuses there.

Yes, that's what I feared as well. If I had had some solid experience with Pony already, I'd volunteer in a heartbeat. Still, many thanks for helping keep Pony alive, Sean!

I really wish someone from the Pony community would write a book. The official tutorials are nice, but the parts on the various reference capabilities onwards is extremely confusing (and sort of bare).

I know it's a small community, and there really is no official corporate backing, but right now I see the lack of good learning resources as the biggest obstacle, and we have to admit that Pony has a very steep learning curve. I really do love whatever little Pony that I have explored, and the compile times are superb compared to something like Rust, and the generated executables seem to be quite fast as well.

I personally dislike ligatures, and find them too distracting.

The "West" actually enjoys much less freedom than the rest of the world. It's only an illusion of democracy and personal freedom.

The amount of circlejerking in this thread is unbelievable. Go is a horrible language, and if this code were posted anonymously, these same idiots calling it "the jazz music of software development" and "space shuttle style" (copied verbatim from the actual code comments to boot) would be deconstructing and denigrating it to the last fine detail. Hilarious.