There's also Lapce which will hopefully implement Helix's editing model too: https://github.com/lapce/lapce/issues/281
Serious respect for Evan's careful consideration on making Elm sustainable
At some point I hope to do a talk or blog post about “the economics of programming languages” to talk more about all this in depth, but here’s an overview of some of the things I’ve learned since “Let’s be Mainstream” when I knew a lot less about how organizational structure influences who ends up u...
Contributors/maintainers needed for the Idris track on Exercism — Free Software (open source) code learning platform
Exercism exercises in Idris. Contribute to exercism/idris development by creating an account on GitHub.
Exercism is a Free Software code learning platform run by a nonprofit. In a lot of ways it's a better alternative to the likes of Hackerrank, Coderbyte, Codecademy, etc. since anyone can become a maintainer of a new language track , and of course there's no profit motive to lock things up behind paywalls.
I just started working on the Haskell problems on Codewars, it's one of the best places to practice without paying for lessons
A coding practice website for all programming levels – Join a community of over 3 million developers and improve your coding skills in over 55 programming languages!
Kevin Mahoney: Tests vs Types
When should you use tests and when should you use types? What information and guarantees do we get for our efforts?
Kevin Mahoney: Tests vs Types
When should you use tests and when should you use types? What information and guarantees do we get for our efforts?