randyisrandom.bsky.social

Less than two weeks to go on our Call for Contributions! Send us your proposal for a talk or tutorial on what’s best in software development. bobkonf.de/2027/cfc.html

I submitted a talk, now a workshop.

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

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

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!

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

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

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

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

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

∀ 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

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!