marc o)))
@defmarco.bsky.social
📤 20
📥 83
📝 16
Come visit me at
https://defmarco.com
👾
I have just pushed a translation of my 2018 article on transducers on our
@activegroupgmbh.bsky.social
company blog. In it, I dissect the how and why of Clojures transducers. Would love to hear your feedback! 🤩
funktionale-programmierung.de/en/2018/03/2...
#clojure
#functionalprogramming
#lisp
loading . . .
Funktionale Programmierung - Transducer: Composition, Abstraction, Performance
https://funktionale-programmierung.de/en/2018/03/22/transducer.html
19 days ago
0
6
3
reposted by
marc o)))
Active Group GmbH
about 1 month ago
Kollege
@defmarco.bsky.social
hat's schon perfekt zusammengefasst: der Blogartikel lohnt sich (und ist mittlerweile auch in englischer Sprache verfügbar, nämlich hier:
funktionale-programmierung.de/en/2025/10/1...
)
add a skeleton here at some point
0
0
1
Tickets for
@bobkonf.bsky.social
are on sale now! If you're interested in functional programming or anything that should be more mainstream, this is the place to be!
@activegroupgmbh.bsky.social
would love to welcome you there!
bobkonf.de/2026/registr...
loading . . .
https://bobkonf.de/2026/registration.html
about 1 month ago
1
2
0
reposted by
marc o)))
Johannes
about 1 month ago
I still like Bluesky, but posting was never really my thing. Recently I've been giving the Fediverse a shot and it feels much more cozy! I'll keep trying it out, just posting random stuff (editor things and
#crossstitch
mostly atm). Updated my bio and happy to find familiar avatars over there!
0
2
1
reposted by
marc o)))
BOB Konferenz
about 1 month ago
You have one more month to submit a talk or tutorial proposal to
#BOBkonf2026
: the deadline is 17 November 2025. We look forward to hearing from you!
0
9
7
reposted by
marc o)))
Haskell Interlude
about 1 month ago
We sat down with Stefan Wehr, professor at the Offenburg University of Applied Sciences, who has extensive experience with Haskell both in academia and industrial application. Enjoy the episode!
haskell.foundation/podcast/71/
loading . . .
Stefan Wehr
Stefan Wehr is a professor at the Offenburg University of Applied Sciences. Before becoming a professor, Stefan worked in industry on a large Haskell codebase - specifically one that's not a compiler ...
https://haskell.foundation/podcast/71/
0
6
3
Der Kollege Schlegel hat ein paar kluge Gedanken zum Thema "Testbarkeit von puren Funktionen" und das Verhältnis von "testbar" und "formalisierbar" aufgeschrieben. Kurz und lesenswert auf unserem
@activegroupgmbh.bsky.social
Firmenblog
funktionale-programmierung.de/2025/10/13/t...
loading . . .
Funktionale Programmierung - Zur Testbarkeit von puren Funktionen
https://funktionale-programmierung.de/2025/10/13/testbarkeit-pure-funktionen.html
about 1 month ago
0
0
1
reposted by
marc o)))
BOB Konferenz
about 2 months ago
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
0
6
7
reposted by
marc o)))
Jan Böhmermann 🤨
6 months ago
bober kurwa
loading . . .
15
275
13
reposted by
marc o)))
Torsten „Teggy“ Grust
6 months ago
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...
loading . . .
USING KEY in Recursive CTEs
Recursive CTEs in SQL allow for powerful iterative queries like graph traversals but can be memory-intensive and slow due to repeated row accumulation. DuckDB’s new USING KEY feature addresses this by...
https://duckdb.org/2025/05/23/using-key.html
0
24
6
Funny how Google seems to have delivered on everything Apple promised.
6 months ago
0
0
0
reposted by
marc o)))
6 months ago
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...
loading . . .
Tarides at BOB Konferenz 2025
We were present at BOBKonf 2025, as speakers and attendees! Here's a brief report on our experiences in Berlin.
https://tarides.com/blog/2025-05-08-tarides-at-bob-konferenz-2025/
0
2
2
reposted by
marc o)))
BOB Konferenz
6 months ago
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...
add a skeleton here at some point
0
1
2
reposted by
marc o)))
BOB Konferenz
6 months ago
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...
add a skeleton here at some point
0
2
3
This is great news!
#swift
is such an underrated language outside of the Apple world, especially for
#functionalprogramming
add a skeleton here at some point
6 months ago
1
2
0
reposted by
marc o)))
BOB Konferenz
6 months ago
#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...
add a skeleton here at some point
0
3
2
reposted by
marc o)))
BOB Konferenz
6 months ago
Franz Thoma's
#BOBkonf2025
talk "OOP is dead, long live Object Orientation!" is now up on our website:
bobkonf.de/2025/thoma.h...
add a skeleton here at some point
0
1
2
reposted by
marc o)))
BOB Konferenz
6 months ago
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...
add a skeleton here at some point
0
3
4
reposted by
marc o)))
Alice ✨
6 months ago
noone will ever beat ocaml programmers at rationalizing bad decisions made by a programming language
6
35
1
reposted by
marc o)))
BOB Konferenz
7 months ago
Missed
@xvw.lol
's
#BOB2025
talk "Beyond the Basics of LSP: Advanced IDE services for OCaml"? Watch the recording here:
bobkonf.de/2025/woestyn...
add a skeleton here at some point
0
11
9
reposted by
marc o)))
BOB Konferenz
7 months ago
Rewatch
@horusiath.bsky.social
's
#BOBkonf2025
talk "Service-less communication: is it possible?" here:
bobkonf.de/2025/sypytko...
add a skeleton here at some point
0
3
6
reposted by
marc o)))
BOB Konferenz
7 months ago
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
add a skeleton here at some point
0
3
2
reposted by
marc o)))
BOB Konferenz
7 months ago
Start your weekend with Guillaume Allais's
#BOBkonf2025
talk "Correct by Construction: Concurrent Programs in Idris 2":
bobkonf.de/2025/allais....
add a skeleton here at some point
0
4
4
reposted by
marc o)))
BOB Konferenz
6 months ago
The good folks at
@tarides.com
have written a wunderful review of our conference -- check it out!
add a skeleton here at some point
0
3
2
reposted by
marc o)))
BOB Konferenz
6 months ago
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...
add a skeleton here at some point
0
2
3
reposted by
marc o)))
BOB Konferenz
7 months ago
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
0
8
7
reposted by
marc o)))
BOB Konferenz
7 months ago
Missed the
#BOBkonf2025
keynote on Local-first Software from Annette Bieniusa? Here's your chance to catch up:
bobkonf.de/2025/bienius...
add a skeleton here at some point
0
4
3
reposted by
marc o)))
BOB Konferenz
7 months ago
Revisit Tim Digel's
#BOBkonf2025
talk "Ein Weg zu hoher Zuverlässigkeit von Systemen eines Netzbetreibers" (in German) here:
bobkonf.de/2025/digel.h...
add a skeleton here at some point
0
4
4
reposted by
marc o)))
BOB Konferenz
7 months ago
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
add a skeleton here at some point
0
8
4
reposted by
marc o)))
Rest of World
7 months ago
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”
loading . . .
Kenya’s solution to teacher shortage: Embrace AI
Kenyan teachers and edtech companies say AI tools help save time, but without widespread internet connectivity, the impact is uneven.
https://restofworld.org/2025/ai-teaching-tools-kenya-teacher-shortage?utm_source=bluesky&utm_medium=social&utm_campaign=row-social
0
28
15
reposted by
marc o)))
Internet Archive
7 months ago
“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
loading . . .
7
739
248
reposted by
marc o)))
Mike Sperber
8 months ago
See you Berlin on Friday or Saturday!
www.theater-u34.de/quartett/
0
3
3
reposted by
marc o)))
Satnam Singh
8 months ago
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...
loading . . .
FUNARCH 2025 - ICFP/SPLASH 2025
The Third ACM SIGPLAN Workshop on Functional Software Architecture - FP in the Large “Functional Software Architecture” refers to methods of construction and structure of large and long-lived softwar...
https://conf.researchr.org/home/icfp-splash-2025/funarch-2025
1
14
11
reposted by
marc o)))
Theater U34
8 months ago
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/
1
1
2
reposted by
marc o)))
Basic Apple Guy
8 months ago
Trying to get through Friday while avoiding all
#Severance
spoilers before I can watch the finale tomorrow night...
loading . . .
5
156
11
reposted by
marc o)))
Mike Sperber
8 months ago
I started my work on the Haskell Interlude last November, and it's been a great journey already - with some real treats coming up. Thanks to the other co-hosts for having me!
0
1
1
reposted by
marc o)))
Active Group GmbH
8 months ago
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/
1
3
5
reposted by
marc o)))
Mike Sperber
8 months ago
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/
<🧵>
loading . . .
Theater U34 - QuartetMastodonBlueskyInstagramTwitter
https://www.theater-u34.de/quartet/
2
1
1
@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!
8 months ago
0
2
1
reposted by
marc o)))
Mike Sperber
8 months ago
BOB is the nerdiest of nerd conferences, crammed with deep, technical content and expert speakers with many years of experience. The #1 feedback I'm hearing is how friendly and accessible the conference is. Many kudos to everybody at
#BOBkonf2025
- it was an absolute treat and honor. #2/2
0
1
1
reposted by
marc o)))
BOB Konferenz
8 months ago
Ivett Ördög gives her talk "The Microservices Problem No One Warned Us About (And How You Can Avoid It)" at
#BOBkonf2025
0
3
2
reposted by
marc o)))
BOB Konferenz
8 months ago
Nicole Rauch and Martin Günther present their talk "Die Starre überwinden - Mit DDD zu geschmeidigem Code" at
#BOBkonf2025
0
3
2
reposted by
marc o)))
BOB Konferenz
8 months ago
Joshua Töpfer teaches his tutorial "Die andere Art des Teamworks: Whole Team Ensemble Programming" at
#BOBkonf2025
0
1
1
reposted by
marc o)))
BOB Konferenz
8 months ago
Alperen Keles presents his talk "Property-Based Testing: The Past, The Present, and The Future" at
#BOBkonf2025
0
4
3
reposted by
marc o)))
BOB Konferenz
8 months ago
Joachim Breitner talks about "Lean" at
#BOBkonf2025
0
2
3
reposted by
marc o)))
BOB Konferenz
8 months ago
Roland Meyer (not pictured) and Thomas Haas giving their tutorial "Programming with weak consistency, and Dartagnan" at
#BOBkonf2025
0
2
1
reposted by
marc o)))
BOB Konferenz
8 months ago
And we're off!
#BOBkonf2025
starts with Annette Bieniusa's keynote "Local-first Software".
0
7
7
reposted by
marc o)))
BOB Konferenz
8 months ago
Andres Löh speaks on "Abstraction and program design, or the power of parametricity" at
#BOBkonf2025
0
2
3
reposted by
marc o)))
BOB Konferenz
8 months ago
Tim Digel gives the first German language talk of
#BOBkonf2025
: "Ein Weg zu hoher Zuverlässigkeit von Systemen eines Netzbetreibers"
0
3
3
reposted by
marc o)))
BOB Konferenz
8 months ago
Xavier van de Woystene presents on "Beyond the Basics of LSP: Advanced IDE services for OCaml" at
#BOBkonf2025
1
12
5
Load more
feeds!
log in