Sign in

Typelevel

@typelevel.org
32 followers 10 following 18 posts

We do functional programming together!

PostsRepliesMedia
Typelevel @typelevel.org · 26/09/2026
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.
011
Reposted by Typelevel
Arman Bilge @armanbil.ge · 26/09/2026
Before I head to @scaladays.org in Berlin I am stopping in Prague and giving a talk at the Functional JVM meetup! www.meetup.com/functional-j...
meetup.com
Arman Bilge from Typelevel: Towards Scala Native and optimizing Cats Effect, Thu, Oct 8, 2026, 6:30 PM | Meetup
Arman Bilge from Typelevel is coming to town! He'll talk to us about the TypeLevel road to Scala Native and how they have optimized Cats Effect along the way. Mark the date
022
Typelevel @typelevel.org · 15/09/2026
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.
001
Typelevel @typelevel.org · 15/09/2026
We are adding one more stop to the Typelevel Traverse series! Join us in Copenhagen for a workshop and talks by @armanbil.ge and Kathryn Frid. Thank you to Foundation sponsor Famly for hosting! luma.com/ncpbarok
luma.com
Typelevel Traverses Copenhagen · Luma
Join the Typelevel community for an in-person meetup in Copenhagen, hosted and sponsored by Famly! This meetup is open to (aspiring) Typelevel users and…
001
Reposted by Typelevel
Scala Days @scaladays.org · 14/09/2026
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
Promotional graphic with a portrait of a speaker, a “SPEAKER” label on the left, “Katrina Petrevice” and "Hyperexponential" on top, with the ScalaDays logo at the bottom.Red promotional graphics  with a white “left Bracket” icon. Text reads: Caching in Scala using Cats RefRed promotional graphics for ScalaDays, featuring a large white “left bracket”. Text reads: 2026 Scala Days Berlin,  with the ScalaDays icon in the top right.
011
Reposted by Typelevel
Arman Bilge @armanbil.ge · 14/09/2026
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/
022
Typelevel @typelevel.org · 04/09/2026
Check out our new contributing guidelines for Typelevel projects, with special guidance for new contributors! They cover where to start on an issue, copyright, how to structure pull requests, and permitted use of AI tools. typelevel.org/blog/contrib...
typelevel.org
AI Tools, Contributing Guide and Code of Conduct Updates
000
Typelevel @typelevel.org · 02/09/2026
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 😅
010
Reposted by Typelevel
Arman Bilge @armanbil.ge · 19/08/2026
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!
011
Typelevel @typelevel.org · 17/08/2026
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
012
Typelevel @typelevel.org · 13/08/2026
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-...
031
Typelevel @typelevel.org · 28/07/2026
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!
010
Typelevel @typelevel.org · 24/06/2026
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...
typelevel.org
New members of the Technical Steering Committee
011
Typelevel @typelevel.org · 19/06/2026
Meet the Typelevel community in Berlin, London, and Málaga this October! Join one of our events to make friends, learn functional programming, and work on open source together 🥰 typelevel.org/blog/travers...
typelevel.org
Typelevel Traverses Europe
031
Reposted by Typelevel
Arman Bilge @armanbil.ge · 15/04/2026
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.com
April 2026 Boston Area Scala Enthusiasts Meetup — Scala Teams
Join 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!
142
Typelevel @typelevel.org · 02/04/2026
Apply to join the Typelevel Technical Steering Committee! We want to bring together a diverse group of contributors, users, and enthusiasts to help steward the Typelevel ecosystem together. Read the blog post to learn more: typelevel.org/blog/join-ts...
typelevel.org
Join the Technical Steering Committee
012
Typelevel @typelevel.org · 09/03/2026
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.com
Release v3.7.0 · typelevel/cats-effect
This 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...
032
Typelevel @typelevel.org · 05/03/2026
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.org
Typelevel Foundation is a 501(c)(3) public charity
075
Typelevel @typelevel.org · 03/03/2026
We are excited to announce our participation in Google Summer of Code 2026! Please share this opportunity with students and early-career developers who are interested in functional programming and open source 😺 typelevel.org/blog/gsoc-20...
typelevel.org
Typelevel Summer of Code 2026
001
Typelevel @typelevel.org · 19/02/2026
We just launched a new typelevel.org built with the #typelevel stack! Read the blog post by @armanbil.ge and Andrew Valencik to find out what's next and how you can help 😸 typelevel.org/blog/typelev...
typelevel.org
typelevel.org built with Typelevel
001
Reposted by Typelevel
Jakub Kozłowski @kubukoz.mstdn.party.ap.brid.gy · 24/01/2026
New video! Featuring cats-mtl and its relatively recent additions of the allow/rescue mechanism, AKA scoped capabilities. www.youtube.com/watch?v=cTKWpYMciV8
002
Typelevel @typelevel.org · 22/01/2026
#otel4s v0.15.0 is released 🎉 It brings several QoL improvements and a few breaking changes, especially around testkit builders. github.com/typelevel/ot...
github.com
Release v0.15.0 · typelevel/otel4s
We are happy to announce the 0.15.0 release. NoteThe otel4s-sdk* modules have been moved to a new repository and now have their own release cycle. WarningThere are several minor binary- and source...
020
Typelevel @typelevel.org · 19/01/2026
Part 2 of Maksym's series on #scala #observability with #otel4s! ochenashko.com/practical-ob...
ochenashko.com
Practical observability: distributed tracing with otel4s
Practical distributed tracing in Scala using otel4s and OpenTelemetry, with a focus on real runtime behavior and instrumentation.
041
Typelevel @typelevel.org · 15/12/2025
how exciting, Maksym Ochenashko is writing a series on #observability in #scala applications! Maks is a prolific maintainer of #otel4s and #cats-effect. ochenashko.com/practical-ob...
ochenashko.com
Practical observability: foundations with OpenTelemetry
A practical introduction to observability foundations: telemetry signals, context propagation, OpenTelemetry, and otel4s.
001