Typelevel Foundation is a 501(c)(3) public charity

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...

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 1.0 has landed!

After years of engineering, design, and community collaboration, we’re excited to announce this milestone!

Spread the word!

✨Streams✨ can be used to describe control flow, what a nice introduction to the topic by @zainab.pureasync.com

🔗 kebab-ca.se/presentation...

#scala

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

JDK 17 will be the next minimum version required by Scala 3

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

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...

❤️‍🔥

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, …

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.

A 40-years old conjecture about Hashtables was just disproved: www.quantamagazine.org/undergraduat...