There's also Lapce which will hopefully implement Helix's editing model too: https://github.com/lapce/lapce/issues/281
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...
![Costs/Funding in Open-Source Languages](https://lemmy.blahaj.zone/pictrs/image/ac79cfbf-a0da-489b-b970-8689aec7fa4a.png?format=webp&thumbnail=256)
Exercism exercises in Idris. Contribute to exercism/idris development by creating an account on GitHub.
![GitHub - exercism/idris: Exercism exercises in Idris.](https://lemmy.blahaj.zone/pictrs/image/3281fb7b-163f-4cd0-b4a2-e84af4f4f183.png?format=webp&thumbnail=256)
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.
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!
![Codewars - Achieve mastery through coding practice and developer mentorship](https://lemmy.ml/pictrs/image/hNbKYx2MKN.jpg?format=webp&thumbnail=256)
When should you use tests and when should you use types? What information and guarantees do we get for our efforts?
When should you use tests and when should you use types? What information and guarantees do we get for our efforts?
![](https://lemmy.blahaj.zone/pictrs/image/bf015ae8-739e-44c0-8b45-3e8a89ea74aa.jpeg?format=webp&thumbnail=512)
YouTube Video
Click to view this content.