Profile avatar
defmarco.bsky.social
12 posts 19 followers 82 following
Prolific Poster
Posts 47 Comments 3

bober kurwa

submitted 25 days ago • 17 comments

Our USING KEY variant of recursive CTEs has landed in DuckDB 1.3 Formerly an off-the-beaten-path researchy idea, now available in a real off-the-shelf DBMS. Hooray! 🎉 duckdb.org/2025/05/23/u...

submitted 31 days ago • 0 comments

Funny how Google seems to have delivered on everything Apple promised.

submitted 33 days ago • 0 comments

Catch up on what our team member's Xavier and Antonin got up to at BOBKonf 2025, including Xavier's talk on OCaml editor support: tarides.com/blog/2025-05...

submitted 35 days ago • 0 comments

And finally, here's Nicole Rauch and Martin Günther's #BOBkonf2025 talk "Die Starre überwinden – Mit DDD zu geschmeidigem Code": bobkonf.de/2025/rauch-g...

submitted 35 days ago • 0 comments

Start your week with Ivett Ördög's #BOBkonf2025 talk "The Microservices Problem No One Warned Us About (And How You Can Avoid It)" here: bobkonf.de/2025/oerdoeg...

submitted 35 days ago • 0 comments

This is great news! #swift is such an underrated language outside of the Apple world, especially for #functionalprogramming

submitted 39 days ago • 1 comment

#BOBkonf2025 talk "Property-Based Testing: The Past, The Present, and The Future" by @keles.bsky.social is up on our website! bobkonf.de/2025/keles.h...

submitted 39 days ago • 0 comments

Franz Thoma's #BOBkonf2025 talk "OOP is dead, long live Object Orientation!" is now up on our website: bobkonf.de/2025/thoma.h...

submitted 40 days ago • 0 comments

If you missed @tacticalgrace.justtesting.org's #BOBkonf2025 talk "Functional data structures in Swift", here's your chance to catch up: bobkonf.de/2025/chakrav...

submitted 40 days ago • 0 comments

noone will ever beat ocaml programmers at rationalizing bad decisions made by a programming language

submitted 40 days ago • 6 comments

Missed @xvw.lol's #BOB2025 talk "Beyond the Basics of LSP: Advanced IDE services for OCaml"? Watch the recording here: bobkonf.de/2025/woestyn...

submitted 46 days ago • 0 comments

Rewatch @horusiath.bsky.social's #BOBkonf2025 talk "Service-less communication: is it possible?" here: bobkonf.de/2025/sypytko...

submitted 46 days ago • 0 comments

The recording of Ziyang Liu's #BOBkonf2025 talk "Developing DSLs: A Look at Three Practical Strategies with Real-World Examples" is up! Video and slides here: bobkonf.de/2025/liu.html

submitted 45 days ago • 0 comments

Start your weekend with Guillaume Allais's #BOBkonf2025 talk "Correct by Construction: Concurrent Programs in Idris 2": bobkonf.de/2025/allais....

submitted 45 days ago • 0 comments

The good folks at @tarides.com have written a wunderful review of our conference -- check it out!

submitted 42 days ago • 0 comments

Good morning! Start your week with Hannes Siebenhandl's #BOBkonf2025 talk "A Language Server for your DSL for Fun and Profit": bobkonf.de/2025/siebenh...

submitted 42 days ago • 0 comments

The videos for the talks at #BOBkonf2025 are up! We'll be posting links to the individual talk pages (many also containing the corresponding slides) over the next few days, but if you don't want to wait that long, here's the whole collection (kindly hosted by @ccc.de): media.ccc.de/c/bobkonf2025

submitted 49 days ago • 0 comments

Missed the #BOBkonf2025 keynote on Local-first Software from Annette Bieniusa? Here's your chance to catch up: bobkonf.de/2025/bienius...

submitted 48 days ago • 0 comments

Revisit Tim Digel's #BOBkonf2025 talk "Ein Weg zu hoher Zuverlässigkeit von Systemen eines Netzbetreibers" (in German) here: bobkonf.de/2025/digel.h...

submitted 47 days ago • 0 comments

The video of @kosmikus.bsky.social's #BOBkon2025 talk "Abstraction and program design, or the power of parametricity" is now up! bobkonf.de/2025/loeh.html

submitted 47 days ago • 0 comments

If the money spent on AI edtech could go toward schools instead, it would make education more accessible to all children, critics argue. “But it’s not sexy to say, ‘We need more teachers.’ It’s not sexy to say, ‘Hey, we need better buildings.’ What is sexy and exciting are these ‘amazing’ tools”

submitted 60 days ago • 0 comments

“RAISE HELL!” ✊ Maria Bustillos (@mariabustillos.bsky.social) calls on writers & readers to defend libraries & demand ebook ownership, not rentals. Attacks on libraries are attacks on knowledge itself. 📚 Full video ➡️ youtu.be/lu8jK_27vF0 #LibraryAdvocacy #DigitalRights #InternetArchive

submitted 61 days ago • 7 comments

See you Berlin on Friday or Saturday! www.theater-u34.de/quartett/

submitted 90 days ago • 0 comments

Please consider submitting to FUNARCH 2025, a workshop that is part of the @icfp-conference.bsky.social week in Singapore this October. At the intersection of software engineering and functional programming, bsky.app/profile/funa... conf.researchr.org/home/icfp-sp...

submitted 93 days ago • 1 comment

Eine Woche noch: Quartett kommt nach Berlin am 28. & 29. März! "Provokant, aber sehr sehenswert!" sagt die Kritik. Wir freuen uns aufs ACUD-Theater - der Vorverkauf läuft. www.theater-u34.de/quartett/

submitted 94 days ago • 1 comment

Trying to get through Friday while avoiding all #Severance spoilers before I can watch the finale tomorrow night...

submitted 94 days ago • 6 comments

Unser C*O @sperbsen.bsky.social und @kosmikus.bsky.social haben gemeinsam die neuste Folge des Podcasts der Haskell Foundation (Haskell Interlude) moderiert: ein Gespräch mit Farhad Mehta, Professor für Informatik (OST Rapperswil) & @zurihac.bsky.social-Organisator. haskell.foundation/podcast/63/

submitted 97 days ago • 1 comment

In almost two weeks, on Mar 28/29, we'll be performing Heiner Müller's "Quartett" (in German) in Berlin at the ACUD. I'd love for you to come see it! www.theater-u34.de/quartett/ <🧵>

submitted 100 days ago • 2 comments

@bobkonf.bsky.social 2025 is over and I‘m so happy. It’s beautiful to see this diverse group of nerds, experts, deeply knowledgeable speakers and attendees. Thanks to everyone who came to BOB. And of course to my great colleagues at @activegroupgmbh.bsky.social who made it happen. See you next year!

submitted 100 days ago • 0 comments

Ivett Ördög gives her talk "The Microservices Problem No One Warned Us About (And How You Can Avoid It)" at #BOBkonf2025

submitted 100 days ago • 0 comments

Nicole Rauch and Martin Günther present their talk "Die Starre überwinden - Mit DDD zu geschmeidigem Code" at #BOBkonf2025

submitted 100 days ago • 0 comments

Joshua Töpfer teaches his tutorial "Die andere Art des Teamworks: Whole Team Ensemble Programming" at #BOBkonf2025

submitted 100 days ago • 0 comments

Alperen Keles presents his talk "Property-Based Testing: The Past, The Present, and The Future" at #BOBkonf2025

submitted 101 days ago • 0 comments

Joachim Breitner talks about "Lean" at #BOBkonf2025

submitted 101 days ago • 0 comments

Roland Meyer (not pictured) and Thomas Haas giving their tutorial "Programming with weak consistency, and Dartagnan" at #BOBkonf2025

submitted 100 days ago • 0 comments

And we're off! #BOBkonf2025 starts with Annette Bieniusa's keynote "Local-first Software".

submitted 101 days ago • 0 comments

Andres Löh speaks on "Abstraction and program design, or the power of parametricity" at #BOBkonf2025

submitted 101 days ago • 0 comments

Tim Digel gives the first German language talk of #BOBkonf2025: "Ein Weg zu hoher Zuverlässigkeit von Systemen eines Netzbetreibers"

submitted 101 days ago • 0 comments

Xavier van de Woystene presents on "Beyond the Basics of LSP: Advanced IDE services for OCaml" at #BOBkonf2025

submitted 101 days ago • 1 comment

[email protected] gives his talk "Service-less communication: is it possible?" at #BOBkonf2025!

submitted 101 days ago • 0 comments

Marco Emrich and Ferdinand Ade give German language tutorial "MAD-TDD - der Wahnsinn hat Methode" at #BOBkonf2025

submitted 101 days ago • 0 comments

Mischa Koischwitz gives a tutorial on "Embracing Declarative Frontend Development with Signals and Streams" at #BOBkonf2025!

submitted 101 days ago • 0 comments

Ziyang Liu talks "Developing DSLs: A Look at Three Practical Strategies with Real-World Examples" at #BOBkonf2025

submitted 101 days ago • 0 comments

At #BOBkonf2025, Hannes Siebenhandl gives his talk "A Language Server for your DSL for Fun and Profit"

submitted 101 days ago • 0 comments

Kaan Sahin gives his tutorial "Resiliente Systeme entwickeln mit Elixir: Fehlertoleranz von Grund auf" at #BOBkonf2025

submitted 101 days ago • 0 comments

@kirahowe.com teaches "Reproducible data science with Clojure" in her tutorial at #BOBkonf2025!

submitted 101 days ago • 0 comments