Typelevel

Typelevel

@typelevel.org

We do functional programming together!

34 followers10 following18 posts

Don't miss this innovative interactive lab by Technical Steering Committee members Maks and Antonio. You will develop your problem-solving skills as you learn to interpret telemetry signals, diagnose incidents, and ship mitigations in a realistic demo application built on the Typelevel stack.

Scala Days@scaladays.org

Learn to diagnose real-world production failures in a distributed Typelevel streaming platform with Antonio Jimenez and Maksym Ochenashko. Details: scaladays.org/sessio... 12–13 October. Berlin.

What if you could improve the performance of a fundamental functional data structure—the singly linked list—with one simple modification? Find out in L's talk about his Google Summer of Code project, mentored by Sergey Torgashov and based on an idea from @posco.dev.

Scala Days@scaladays.org

L Denney will take the stage at #ScalaDays to share his journey into Scala and his first contributions to open source. His talk will also explore making data structures optimizations approachable, worthwhile, and fun. More: scaladays.org/sessio... 12-13 October. Berlin.

Typelevel reposted

Caching boosts performance, but implementing it safely is challenging. At #ScalaDays, Katrina Petrevice will show how Cats Ref enables thread-safe, testable caches while preserving functional purity. Details: scaladays.org/sessio... 12–13 October · Berlin

Typelevel reposted

I created Calico to scratch an itch: what if I could use Cats Effect and FS2 to build delightful, reactive webapps? Join my interactive lab and let's find out together! I am excited to teach you about fibers and monads and we will watch them come to life in our browsers. www.armanbilge.com/calico/

Scala Days@scaladays.org

In this hands-on lab by Arman Bilge, you’ll create widgets in pairs and explore IO, Resource, Stream, Signal, and fibers through real-time experimentation. A practical introduction to the Typelevel stack and functional frontend development. Learn more: scaladays.org/sessio...

Very exciting talk about a highly ambitious Google Summer of Code project by Mariusz Jakoniuk to bring the Typelevel stack onto Wasm/WASI! Supporting an entirely new platform is challenging, and even more so when the toolchain and target are still experimental 😅

Scala Days@scaladays.org

scala-wasm enables Scala on Wasm runtimes, but core libraries must also support Wasm/WASI. At #ScalaDays, Mariusz Jakoniuk will explore Cats Effect and FS2’s core I/O mechanisms and their prototype implementation for WASI 0.2. Details: scaladays.org/sessio... 12–13 October · Berlin

Typelevel reposted

Last year, I debuted at #ScalaDays with "A Typelevel Retrospective", reflecting on my open source journey with @typelevel.org. This year, I'm back with "A Typelevel Prospectus", sharing exciting updates in our tech and governance. Join me to learn who we are, how we work, and why to get involved!

Scala Days@scaladays.org

At #ScalaDays 2026, Arman Bilge shares what a year since Typelevel became a nonprofit Foundation looked like from the inside, what has worked so far, and where they are heading next. Learn more about the session: scaladays.org/sessio... 12-13 October. Berlin.

Learn about open source security from Typelevel TSC and Security Team member Antonio Jimenez! His talk will share what we learned from the @securitylab.github.com in the @github.com Secure Open Source Fund. P.S. Going to Scala Days in Berlin? Join our co-located Typelevel meetup! lu.ma//iyv37emv

Scala Days@scaladays.org

Open Source security has never mattered more. Antonio Jimenez at #ScalaDays 2026 on what Typelevel learned inside GitHub's Secure Open Source Fund, and what the EU Cyber Resilience Act means if you ship Scala into the EU. More: scaladays.org/sessio... 12-13 October. Berlin.

Typelevel has graduated from the @github.com Secure Open Source Fund! Following an intensive three-week program run by the @securitylab.github.com, we are applying what we learned to harden Typelevel's security posture. More on the blog: typelevel.org/blog/github-...

GitHub Security Lab@securitylab.github.com

"AI security is not evolving in isolation. It is becoming part of the broader practice of building secure software. As that shift continues, maintainers will need practical education, trusted communities, and expert support that can evolve with them." github.blog/open-source/...

Giovanni Ruggiero's talk at #ScalaDays will feature the Typelevel stack—particularly the application of #otel4s for feeding runtime telemetry back into the code-generating pipeline as #ScalaCheck property tests!

Scala Days@scaladays.org

AI coding assistants make you faster, and without discipline they leave you with a fragile codebase. At #ScalaDays 2026, Giovanni Ruggiero shows a workflow that uses Scala's types and tooling to get correct LLM code with no technical debt. Learn more: scaladays.org/sessio...

Typelevel reposted

I am excited to speak at the Scala Enthusiasts Meetup on April 29 in my hometown of Boston! In my talk, we will dive into the design and engineering that enable the unique "superpowers" of Cats Effect and learn how to leverage them to build scalable applications. www.scalateams.com/events/bosto...

scalateams.comApril 2026 Boston Area Scala Enthusiasts Meetup — Scala TeamsJoin the Boston Area Scala Enthusiasts for in-person meetups with guest speaker Arman Bilge, networking, and discussions for Scala developers of all levels. Reserve your spot today!

Cats Effect v3.7.0 is here! This is a relatively small but mighty release that brings full support for Scala Native 0.5: you can now write multi-threaded apps using polling I/O and compile them to native binaries. Stay tuned this week as the release train continues 🚂 github.com/typelevel/ca...

github.comRelease v3.7.0 · typelevel/cats-effectThis is the fifty-ninth release in the Cats Effect 3.x lineage. It is fully binary compatible with every 3.x release and fully source-compatible with the 3.7.x lineage. What's Changed This is a rel...

You are up to date.