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.
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.
Physicians are human and subject to their own biases and mistakes. I could go on about how helpful patient/nursing/midlevel input is and has been to me personally in my career. But the point I'm trying to make here is that the shallow vs deep thinking shows up in medicine at obvious points and causes problems.
We also have our own biases. That physician has probably seen 100s of patients who have self-diagnosed something that turned out to be wrong, whereas the physician is usually correct about diagnoses. In this instance, the self-diagnosis was correct and the physician was wrong, but I would bet this is the exception, rather than the rule.
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.
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.
The most likely candidate would be me and it's 100% certain I do not have the time right now.
We've done several attempts at getting other folks to contribute more in that area and it's really hard to find people who are interested.
Finding folks to contribute to most open source projects is hard in general. Finding folks to contribute to documentation, learning resources and what not is really hard.
If anyone reads this and gets inspired to try and help, ping me on the Pony Zulip and I'd be happy to assist in a general "mentoring/guiding" capacity.
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!
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.
I would love to be able to write production code in Idris rather than patching together a million Haskell extensions.