tzjmetron

25 ms·

1.
by tzjmetron 6y ago
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
2.
by tzjmetron 6y ago
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. F
3.
by tzjmetron 6y ago
Forking is not the solution to every disagreement.
4.
by tzjmetron 6y ago
It's not about the absolute cost. $60 in a developing country is a substantial sum of money.
5.
by tzjmetron 7y ago
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
6.
by tzjmetron 7y ago
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!
7.
by tzjmetron 7y ago
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, an
8.
by tzjmetron 8y ago
I personally dislike ligatures, and find them too distracting.
9.
by tzjmetron 8y ago
The "West" actually enjoys much less freedom than the rest of the world. It's only an illusion of democracy and personal freedom.
10.
by tzjmetron 8y ago
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&q