I always found the lack of documentation frustrating. Glad it’s changing.

Haskell programming language@haskell.org · 21h ago

"A Revised #Haskell 2010 Language Report" by David Binder blog.haskell.org/revised-hask...

"A Revised #Haskell 2010 Language Report" by David Binder blog.haskell.org/revised-hask...

A Revised Haskell 2010 Language Report | The Haskell Programming Language's blog

blog.haskell.org

How to read mathematics? (A study guide). ~ Petra Schwer. web.mathi.uni-heidelberg.de/media/How_To... #Math

I shopped there with my family when I was a kid!

Haskell programming language@haskell.org · 3w ago

The second instalment of our series "Haskellers from the trenches" is about Enterprise #Haskell at H-E-B, the Texan grocery chain. Blog post: blog.haskell.org/enterprise-h... Discourse: discourse.haskell.org/t/enterprise...

This years conference was dope, mark you calendars for February. I hope they hold a Agda workshop this time!!

BOB Konferenz@bobkonf.de · 4w ago

Save the date: #BOBkonf2027 takes place Friday, 26 February 2027, at Scandic Hotel Potsdamer Platz in Berlin! Until then, why not re-watch some (or all!) of the excellent talks from previous conferences on our website? You can find them via bobkonf.de/archive/ #BOBkonf

Road trip to Boulder for PROPL(2nd year) and more next week! Please reach out if you’re going!! #PROPL

Another conference in my cities. Cool logo

SciPy Conference 2026@scipyconf.bsky.social · 3mo ago

The #SciPy2026 schedule is live 🎉 🚀 Get ready for an amazing week of talks, tutorials, community events, and great hallway conversations! Can’t wait to see you all in Minneapolis soon 🐍📊 Start planning your week ➡️ www.scipy2026.scipy.org/schedule

I unexpectedly met another OCamleer at the LF Open source Summit. He delivered an awesome talk and there’s a call for maintainers for his DSL. 🐫♾️🐫 #OCaml #Linux github.com/multikernel/...

man i dont know why you'd trust a random ci machine to publish a package

Was a good conference I miss it already. Onto the next one. 🐫♾️🐫 zfoh.ch/zurihac2026/ #Haskell #Agda #OCaml

There’s been a call for ecosystem/toolchain maintainers for the Rzk proof assistant. A theorem prover made for formalizing results for ♾️-categories within HoTT. Reach out to the maintainers if interested. rzk-lang.github.io/rzk/en/latest/ #Haskell #OCaml #Agda #Rocq #LSP #Nix

First day #TYPES2026. Come next year, Agda is a flower pollinating the field of functional programming.

Is anyone going here this weekend? Agda is one of the most innovative game changers in functional programming and theorem proving, given its unique implementation architecture and capabilities. I'd like to meet you there! π🐫λ #CubicalAgda #Rocq #OCaml #Haskell types2026.cse.chalmers.se

The Open Source Summit and Embedded Linux Conference North America 2026 schedule is officially live! 📍Join the open source community in Minneapolis, May 18-20, to explore the future of open, community-led software. Make sure you register by March 24 for Early Bird pricing: https://bit.ly/4uBL3qf

Open Source Summit North America 2026 Schedule Showcases Next Era of AI Infrastructure, Security and Open Ecosystems

Open Source Summit North America 2026 Schedule Announced

bit.ly

“Numerical analysis is the study of algorithms for continuous mathematics.” It’s a common misconception that it’s the study of errors with no applicability to exactness. Awesome read if you want a philosophical introduction to what it is!

Did You Know? 🦀 In its early days (2006–2009), Rust's compiler was implemented in about 38,000 lines of OCaml code before transitioning to self-hosting on LLVM by 2012.

The #OCaml community will be taking part in #outreachy in May 2026. You can read more about it and consider signing up as a mentor at the following link 🐫 discuss.ocaml.org/t/outreachy-...

∀ researchers. ∃ registration. FLoC 2026 registration is now open! 👉 www.floc26.org/registration Early bird rates end on May 15th. QED. See you in Lisbon. 🇵🇹 #FLoC2026 #LogicInCS #Lisbon

More stuff like this should be published. Maybe something for language specific ecosystems. missing.csail.mit.edu

The Missing Semester of Your CS Education

Master powerful tools that will make you a more productive computer scientist and programmer.

missing.csail.mit.edu

Following the keynote, #BOBkonf2026 talks track A starts off with @xvw.lol 's "A crash course on the OCaml module language", a talk that explores OCaml’s powerful module system as a core language feature. For more information, see bobkonf.de/2026/woestyn...

We're back! Mark your calendars: BOBkonf returns on 13 March 2026 … … and our Call for Contributions is up, with a submission deadline of 17 Nov 2025. Find out more here: bobkonf.de/2026/cfc.html

In 2026 you WILL start Haskell!