Leaning In! 2026
A workshop for the Lean community - Thursday, March 12, 2026
The program for Leaning In! 2026 is settled. We've got 11 (!) wonderful talks lined up. This is going to be a wonderufl time for digging into Lean,
Registration is open, but space is limited so if you're thinking of coming, please do register soon. See you in Berlin!
leaning.in/2026/
12.02.2026 12:26 — 👍 0 🔁 3 💬 0 📌 0
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...
13.01.2026 09:05 — 👍 8 🔁 5 💬 0 📌 0
BOB Conference logo: a smiling stick figure face that seems to look over a line, drawn in black lines on a white background. The figurine has three red hairs. The writing right of the image says "BOB Konferenz 2026"
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
02.10.2025 11:49 — 👍 9 🔁 6 💬 0 📌 2
In 2026 you WILL start Haskell!
01.01.2026 11:07 — 👍 106 🔁 12 💬 15 📌 4
A workshop for Lean enthusiasts and practitioners.
March 12, 2026 — Berlin
https://leaning.in
Associate Professor at @cst.cam.ac.uk, researching decentralised systems and security protocols. Advisor to the Bluesky team. Wrote “Designing Data-Intensive Applications” (O’Reilly). he/him
Docker helps developers bring their ideas to life by conquering the complexity of app development.
The official Bluesky account for ZuriHac
zurihac.info
Homotopy theorist and friend
https://jackson-morris.github.io
:: (PhD Student at ScienceTokyo, traP, Haskell, Agda, OCaml)
https://wasabi315.github.io/en/
Mathematician, writer, Orioles fan, Wisconsinite, cargo shorts dad
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Homepage: https://jaalonso.github.io
Sevilla, Spain
Lisp / FP / Logic programming / APL
Applied Math / Comp bio wannabee
looking for projects in MDD/MDA, RO, DX, cs.PLT
#IPv6 expert @arcep.fr Opinions are my own
Administrateur du forum https://LaFibre.info
Afficher IPv4/IPv6: http://ip.lafibre.info
Je travaille également sur l'écoconception et la neutralité du net
OpenBSD, programming language (c, lisp, ocaml, rust, zig, …), sysadmin, infosec and others things like that
🇨🇦 programmer, photographer, dad of a scientist | functionalist humanist atheist | iaidō 五段 | novice haiku poet | OSS since 82 | bibliophile | he/him | i hate nazis
Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
🌱 A global movement creating sustainable economic impact by bridging the digital divide and empowering rural communities through technology, innovation, and opportunity. 💚
Mathematics and Philosophy of the Infinite
Professor of Logic, University of Notre Dame
University of Oxford
#InfinitelyMore #BookOfInfinity #PanoramaOfLogic #PhilMaths
https://buymeacoffee.com/joeldavidhamkins
OCaml developer advocate, 🐫 OCaml.org maintainer, RFC 3339 dating coach, web developer ✨
twitch.tv/sabine_sh
github.com/sabine
OCaml programmer, author of Compiling to Assembly from Scratch: https://keleshev.com/cas
Copenhagen
Tireless idealist
Open Source UI infra at @ahrefs.bsky.social with OCaml
Made styled-ppx and server-reason-react
Working on Reason / Melange / reason-react and friends
Made styled-ppx and server-reason-react
Working on reason-react / Melange / Reason
Open Source SW Engineer @ IBM/Red Hat & Nitrokey - Go, Ocaml, Unikernel, Trusted Computing, Cryptography, Samba-Percussion, Sailing, Paragliding, ... any/any
»Believe those who are seeking the truth. Doubt those who find it.« (André Gide)
Punjabi-Scottish-American husband and father of two, Haskell hacker, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California
http://raintown.org
