Welcome to the new members of the Typelevel Technical Steering Committee! They will work together to promote, advance, and steward our ecosystem. typelevel.org/blog/tsc-202...
New members of the Technical Steering Committee
typelevel.org
Gerard Finol
@gerardfinol.bsky.social
Mathematician and CS | PhDing and researcher | Messing around with distributed systems and functional programming
The Typelevel Foundation was determined to be a 501(c)(3) public charity! This is a testament to the intellectual merit and educational value of our community's contributions to functional programming. Congratulations! typelevel.org/blog/charity...
Typelevel Foundation is a 501(c)(3) public charity
typelevel.org
🎉 Unison 1.0 has landed! After years of engineering, design, and community collaboration, we’re excited to announce this milestone! Spread the word!
Announcing Unison 1.0
After years of engineering, design, and community collaboration, we're excited to release Unison 1.0. This version delivers a refined programming workflow and a mature toolchain. Join us as we celebrate this milestone and look ahead to the future of Unison.
unison-lang.org
✨Streams✨ can be used to describe control flow, what a nice introduction to the topic by @zainab.pureasync.com 🔗 kebab-ca.se/presentation...
kebab-case: Taking the plunge: a deep dive into streaming with fs2- main
kebab-ca.se
There are only two hard problems in distributed systems: 2. Exactly-once delivery 1. Guaranteed order of messages 2. Exactly-once delivery
🤝 We've just added collaborator support to Unison Share! You can now add fellow Unison devs to your projects with these roles: 👁️ View – Read & download 🔧 Maintain – Read, download, merge & write 🔑 Admin – Full admin permissions Try it out here: share.unison-lang.org/
Replace "github" with "gitingest" in the url, and you get the whole repo as a single string that you can then paste in your LLMs
Significant #Scala announcement: after years of idle conversation, and a more-focused discussion over the past couple of months, the decision has formally been made to jump Scala 3's requirements up to JDK 17, as of the next LTS release: https://www.scala-lang.org/news/next-scala-lts-jdk.html
JDK 17 will be the next minimum version required by Scala 3
scala-lang.org
We are proud to announce that Typelevel is a Mentoring Organization for Google Summer of Code 2025!! Check out our blog post to learn more 🎉 typelevel.org/blog/2025/02...
Typelevel | Typelevel Summer of Code 2025
Typelevel is an ecosystem of projects and a community of people united to foster an inclusive, welcoming, and safe environment around functional programming in Scala.
typelevel.org
I have had some time to play with @unison-lang.org a bit more. The thought that keeps coming to me is how much of a joy it is to work with, in the same sense as when I first started programming on a BBC Micro. All you need is a text editor and the unison code manager. Everything is just simple, …
A 40-years old conjecture about Hashtables was just disproved: www.quantamagazine.org/undergraduat...
Undergraduate Upends a 40-Year-Old Data Science Conjecture | Quanta Magazine
A young computer scientist and two colleagues show that searches within data structures called hash tables can be much faster than previously deemed possible.
quantamagazine.org