One new talk coming in: Philip Kant is going to present "Zero Knowledge Proof? That Sounds Useless!", a talk that introduces Zero Knowledge Proofs for programmers who havenโt studied cryptography, at #BOBkonf2026.
bobkonf.de/2026/kant.html
One new talk coming in: Philip Kant is going to present "Zero Knowledge Proof? That Sounds Useless!", a talk that introduces Zero Knowledge Proofs for programmers who havenโt studied cryptography, at #BOBkonf2026.
bobkonf.de/2026/kant.html
Still need a hotel room for the conference? We've been notified there's someone who's unable to attend with an (1) uncancellable reservation at the Scandic Potsdamer Platz 12.-14. March. If you can use this, dm us; we'll put you in touch! Offer is good as long as the message is up.
After lunch, tutorial track B at #BOBkonf2026 continues with @lyrm.bsky.social and Sudha Parimala's "Parallelism without panic: a userโs guide to multicore safety in OCaml".
Find out more here: bobkonf.de/2026/morel.h...
In the new Interlude, we focus on teaching. To help us, we are joined by Jamie Willis who is a Teaching Fellow at Imperial College London. The episode explores the benefits of live coding, and why Haskell is the best language for teaching programming.
haskell.foundation/podcast/78/
For the first tutorial after lunch at #BOBkonf2026, @beathagenlocher.com presents "Functional Programming in TypeScript" on track A. Read more here:
bobkonf.de/2026/hagenlo...
Bin auf dem Weg zum @entwicklerde.bsky.social Software Architecture Summit nach Mรผnchen. Neben dem Workshop am Morgen zu "Data-Oriented Programming" mache ich jetzt spontan auch noch am Nachmittag "Deep Dive Funktionale Modellierungโ.
software-architecture-summit.de/speaker/dr-m...
I'm honored to be on the code.talks PC this year. Will chair the โScience" track together with Uwe Friedrichsen.
codetalks.com/curators
Tutorial track B at #BOBkonf2026 opens with "Functional 3D graphics for the browser in scheme" by Thรฉo Tyburn, which will teach participants to write advanced 3d graphics pipelines for the browser using the sacr3d library for guile scheme.
For more information, see
bobkonf.de/2026/tyburn....
Here's a classic Perlisism:
โIt goes against the grain of modern education to teach children to program. What fun is there in making plans, acquiring discipline in organizing thoughts, devoting attention to detail and learning to be self-critical?โ
www.cs.yale.edu/homes/perlis...
(I had also hoped for some CI support for this in the sense of tracking the resulting numbers and their evolution over time.)
The reality seems to be that it's just a unit test that says either true or false.
Was I wrong to expect more?
I had hoped that a "fitness function" would be a measure of the quality of the architecture, and I had thus expected that the way to practice EA would be to make sure that measure goes up (or at least not down).
I had gotten excited about the idea of Evolutionary Architecture, but until this week never had the chance to read the book. Now I'm a bit disappointed.
For the final talk on track B at #BOBkonf2026, @tacticalgrace.justtesting.org will present "SwiftUI is functional", focussing on the underlying concepts for a great overview.
bobkonf.de/2026/chakrav...
I hate the re-soloing of development. We were so close to learning social skills, creating community, encouraging creativity & purpose, & applying empathy. Easier to manage if each of us is so busy with our genieswarms that we don't have time to talk & reflect.
The final talk on #BOBkonf2026 track A is Nicolas Rinaudo's "Encoding Effects as Capabilities" that discusses various features of Capabilities as implemented in Scala.
Find out more: bobkonf.de/2026/rinaudo...
Ab dem 23.3. unterrichtet unser Chef Dr. Michael Sperber (@sperbsen) die iSAQB-Advanced-Level-Schulung โFunktionale Softwarearchitekturโ (FUNAR), bei unseren Freunden bei oose in Hamburg.
www.active-group.de/schulung/FUN...
Auch nach 30 Durchlรคufen macht die FUNAR immer noch Spaร und ist jedes Mal ein biรchen anders, weil die Teilys ihre eigenen Fragen und Herausforderungen mitbringen. Vier anstrengende aber lohnenswerte Tage!
๐ ๐๐ฎ๐ ๐ฆ๐ผ๐ณ๐๐๐ฎ๐ฟ๐ฒ ๐๐ฟ๐ฐ๐ต๐ถ๐๐ฒ๐ฐ๐๐๐ฟ๐ฒ ๐๐ผ๐ฟ๐๐บ โ ๐ฑ๐ถ๐ฒ ๐ป๐ฒ๐๐ฒ ๐ถ๐ฆ๐๐ค๐-๐๐ผ๐บ๐บ๐๐ป๐ถ๐๐-๐๐ผ๐ป๐ณ๐ฒ๐ฟ๐ฒ๐ป๐ ๐ณรผ๐ฟ ๐๐๐๐ โ ๐ถ๐๐ ๐น๐ถ๐๐ฒ! ๐
๐ 16.โ17. Juni 2026 | Mรผnchen-Unterhaching
๐ค 23 Sessions auf Deutsch ยท 23 #iSAQB Kurator:innen & Expert:innen vor Ort
๐ก Themen aus dem #CPSA Advanced Level
๐๏ธ Very Early Bird bis 2. April
๐ t1p.de/zhq7r
New Haskell Interlude!
Franz Thoma is Principal Consultant at TNG Technology Consulting, and an organizer of MuniHac. Franz sees functional programming and Haskell as a tool for thinking about software, even if the project is not written in Haskell.
haskell.foundation/podcast/77/
Der Ukraine in den vier Jahren seit dem russischen รberfall langsam, zรถgerlich, halbherzig und รผbervorsichtig zu helfen, war und ist menschlich, militรคrisch, wirtschaftlich und finanziell schlecht. Wer Frieden will, muss sich schnell und entschlossen durchsetzen wollen.
The program for the International Symposium on Functional and Logic Programming - FLOPS - is out, and registration is open.
FLOPS 2026 will happen May 26-28 in Tsukuba, Japan -
see you in there!
functional-logic.org/events/flops...
BNF from https://docs.racket-lang.org/rhombus-reference/class.html#%28def._%28%28submod._%28lib._rhombus%2Fprivate%2Famalgam..rkt%29._core%29._class._rhombus%2Fdefn%29%29
Body text from https://docs.racket-lang.org/rhombus-reference/class.html#%28def._%28%28submod._%28lib._rhombus%2Fprivate%2Famalgam..rkt%29._core%29._class._rhombus%2Fdefn%29%29
mflatt: letโs ditch s-exps to make our language more accessible :)
also mflatt: rhombus defines eight different ways an identifier can have a binding in the core language and the standard library adds several more. here is the documentation for how to define a basic datatype. do you like this
Schlagzeile Welt: Mit Extremisten sollte man nicht kooperierenโ โ Kretschmann warnt vor Linkspartei
Was ist das eigentlich fรผr eine Strategie der Grรผnen in Baden-Wรผrttemberg, die CDU rechts รผberholen zu wollen? Und was ist das eigentlich fรผr ein Bundesland, in dem das funktioniert?
Im Jahr 2025 gab es in Deutschland zwischen 13 und 15 Mio neue COVID-Infektionen. In unserem neuen Paper "Update 2025: Modellierung der COVID-Infektionszahlen in Deutschland (2020-2025)" haben wir nun die Daten fรผr das 6. Jahr der Pandemie ergรคnzt (Pre-Print).
We're happy to announce @entwicklerde.bsky.social as another returning sponsor, helping us out at the Silver level for #BOBkonf2026!
One month until #BOBkonf2026! If you haven't yet, get your tickets now -- details here: bobkonf.de/2026/registr...
Well-Typed LLD company logo, reading "Well-Typed The Haskell Consultants Established 2008"
We are delighted that Well-Typed LLD are back as Bronze sponsors for #BOBkonf2026! Check them out here: www.well-typed.com
Photo of Active Groupโs trade-show booth, with Marcus Crestani in front. The back fall features the word โAbstraktionโ. The foreground contains a CRT terminal and a dot-matrix printer.
On my way to OOP. My co-worker Marcus Crestani is already on-site at the @activegroupgmbh.bsky.social booth and looking fabulous, will try to do my best to compete.
See you at our booth or my talk tomorrow!
www.oop-konferenz.de/de/programm/...
The final block of talks on track B at #BOBkonf2026 starts with Alexander Thiemann with his experience of "Using Domain Driven Design to Refactor Stripe Billing".
Find out more here: bobkonf.de/2026/alex-th...
ZuriHac 2026 - Registrations are open!
ZuriHac is the biggest Haskell community event in the world: a completely free, three-day grassroots coding festival co-organized by the Zรผrich Friends of Haskell and the OST Eastern Switzerland University of Applied Science.
Register: zureg.zfoh.ch/register