#bobkonf2023 — Public Fediverse posts

Last but not least, here's quchen's #BOBkonf2023 talk "Wood instead of ivory — functional programming for CNC machines" up for re-watch:
https://bobkonf.de/2023/quchen.html

(re-)watch @lars's #BOBkonf2023 talk "When testing just doesn't cut it" now from
https://bobkonf.de/2023/hupel.html

#BOBkonf2023 talk "Structuring effectful programs" by @kosmikus is now up!
https://bobkonf.de/2023/loeh.html

The recording of Julian Arni's #BOBkonf2023 talk "Cloud, done the nix way" is now up:
https://bobkonf.de/2023/arni.html

Video is now up for Pierre-Étienne Meunier's #BOBkonf2023 talk "Version control in the age of distributed computing":
https://bobkonf.de/2023/meunier.html

Heinrich Apfelmus's #BOBkonf2023 talk "Delta encodings help separate business logic from database operations" is now online! Watch it here:
https://bobkonf.de/2023/apfelmus.html

"Web Accessibility DeepDive", Josefine's #BOBkonf2023 talk, is now online!
https://bobkonf.de/2023/josefine.html

Revisit @nomeata's #BOBkonf2023 talk "Getting recursive definitions off their bottoms" here: https://bobkonf.de/2023/breitner.html

The recording of Raoul Schlotterbeck's #BOBkonf2023 talk "Ist das ein Graph oder kann das weg? Funktionales Deep Learning in Haskell" is now online!
https://bobkonf.de/2023/schlotterbeck.html

"State Transitions in Complex Systems", @marijn's #BOBkonf2023 talk, is now online! Watch it here:
https://bobkonf.de/2023/haverbeke.html

Markus Hettich's #BOBkonf2023 talk "Softwareentwicklung ist kein Hexenwerk" is now up at
https://bobkonf.de/2023/hettich.html!

Franz Thoma's #BOBkonf2023 talk "What a computer game taught me about software architecture" is now online! Revisit it at https://bobkonf.de/2023/thoma.html

Re-watch @bkastl's #BOBkonf2023 talk "Digitalisierung unter pandemischen Bedingungen – Learnings aus mehr als zwei Jahren Digitalprojekte im Öffentlichen Gesundheitswesen" here:
https://bobkonf.de/2023/kastl.html

Rewatch @wingo's #BOBkonf2023 talk "A world to win: WebAssembly for the rest of us":

https://bobkonf.de/2023/wingo.html

For our German-reading participants: there's a short retrospective of #BOBkonf2023 up on Funktionale-Programmierung.de. You can read it here: https://funktionale-programmierung.de/2023/06/29/bob-retro.html

Both #BOBkonf2023 and #Racketfest2023 were hugely interesting, and it was really wonderful to be around so many “weirdos” (none taken, @wingo ). Keep lifting your lambdas and passing your continuations everyone, and I’ll see you in 2024!

Both #BOBkonf2023 and #Racketfest2023 were hugely interesting, and it was really wonderful to be around so many “weirdos” (none taken, @wingo ). Keep lifting your lambdas and passing your continuations everyone, and I’ll see you in 2024!

Both #BOBkonf2023 and #Racketfest2023 were hugely interesting, and it was really wonderful to be around so many “weirdos” (none taken, @wingo ). Keep lifting your lambdas and passing your continuations everyone, and I’ll see you in 2024!

Both #BOBkonf2023 and #Racketfest2023 were hugely interesting, and it was really wonderful to be around so many “weirdos” (none taken, @wingo ). Keep lifting your lambdas and passing your continuations everyone, and I’ll see you in 2024!

… and that‘s a wrap for #BOBkonf2023!

quchen programs CNC machines functionally at #BOBkonf2023!

. @lars making the case for formal methods at #BOBkonf2023!

I really enjoyed attending #bobkonf2023 today :)

Osher Vaknin teaching an OpenTelemetry tutorial at #BOBkonf2023!

Julian Arni does cloud with Nix at #BOBkonf2023!

Andres Löh tells us how to do effects right in Haskell at #BOBkonf2023!

Bianca Lutz bei ihrem Tutorial zum Haskell-Web-Framework IHP auf der #BOBkonf2023!

It's been good to be back at @bobkonf today. Here's a handful of photos, featuring @wingo, @codehag, and Franz Thoma. #BOBkonf2023

The following @matuzo appreciation post is presented by #BOBkonf2023

Sophia Cook und Marco Emrich machen Frontend-Architektur hexagonal auf der #BOBkonf2023!

Sandy Maguire teaching Agda to a crowded room at #BOBkonf2023!

@nomeata being lazy about recursive definitions at #BOBkonf2023!

Josefine Schaefer talks about web accessibility at #BOBkonf2023!

🚂🚃🚃🚃🚃 choo choo to Berlin! #bobkonf2023 #Racketfest2023

🚂🚃🚃🚃🚃 choo choo to Berlin! #bobkonf2023 #Racketfest2023

🚂🚃🚃🚃🚃 choo choo to Berlin! #bobkonf2023 #Racketfest2023

🚂🚃🚃🚃🚃 choo choo to Berlin! #bobkonf2023 #Racketfest2023

RacketFest, the rogue festival of Racket & language-oriented programming

Six fabulous talks are already lined up for Racketfest 2023!


Program, Registration and Call for Presentations are at https://racketfest.com/


While you are going to Berlin for #Racketfest, consider BOBKonf held one day before (Friday, March 17, 2023), also in Berlin.
 https://bobkonf.de/2023/en/

#bobkonf2023 #RacketLanguage #Racket #RacketLang #Racketfest2023
@bobkonf

Alt: Racketfest Berlin 2023 with tv tower and Racket logo

RacketFest, the rogue festival of Racket & language-oriented programming

Six fabulous talks are already lined up for Racketfest 2023!


Program, Registration and Call for Presentations are at https://racketfest.com/


While you are going to Berlin for #Racketfest, consider BOBKonf held one day before (Friday, March 17, 2023), also in Berlin.
 https://bobkonf.de/2023/en/

#bobkonf2023 #RacketLanguage #Racket #RacketLang #Racketfest2023
@bobkonf

Alt: Racketfest Berlin 2023 with tv tower and Racket logo

RacketFest, the rogue festival of Racket & language-oriented programming

Six fabulous talks are already lined up for Racketfest 2023!


Program, Registration and Call for Presentations are at https://racketfest.com/


While you are going to Berlin for #Racketfest, consider BOBKonf held one day before (Friday, March 17, 2023), also in Berlin.
 https://bobkonf.de/2023/en/

#bobkonf2023 #RacketLanguage #Racket #RacketLang #Racketfest2023
@bobkonf

Alt: Racketfest Berlin 2023 with tv tower and Racket logo

RacketFest, the rogue festival of Racket & language-oriented programming

Six fabulous talks are already lined up for Racketfest 2023!


Program, Registration and Call for Presentations are at https://racketfest.com/


While you are going to Berlin for #Racketfest, consider BOBKonf held one day before (Friday, March 17, 2023), also in Berlin.
 https://bobkonf.de/2023/en/

#bobkonf2023 #RacketLanguage #Racket #RacketLang #Racketfest2023
@bobkonf

Alt: Racketfest Berlin 2023 with tv tower and Racket logo

RacketFest, the rogue festival of Racket & language-oriented programming

Six fabulous talks are already lined up for Racketfest 2023!


Program, Registration and Call for Presentations are at https://racketfest.com/


While you are going to Berlin for #Racketfest, consider BOBKonf held one day before (Friday, March 17, 2023), also in Berlin.
 https://bobkonf.de/2023/en/

#bobkonf2023 #RacketLanguage #Racket #RacketLang #Racketfest2023
@bobkonf

Alt: Racketfest Berlin 2023 with tv tower and Racket logo

RacketFest, the rogue festival of Racket & language-oriented programming

Six fabulous talks are already lined up for Racketfest 2023!


Program, Registration and Call for Presentations are at https://racketfest.com/


While you are going to Berlin for #Racketfest, consider BOBKonf held one day before (Friday, March 17, 2023), also in Berlin.
 https://bobkonf.de/2023/en/

#bobkonf2023 #RacketLanguage #Racket #RacketLang #Racketfest2023
@bobkonf

Alt: Racketfest Berlin 2023 with tv tower and Racket logo

RacketFest, the rogue festival of Racket & language-oriented programming

Six fabulous talks are already lined up for Racketfest 2023!


Program, Registration and Call for Presentations are at https://racketfest.com/


While you are going to Berlin for #Racketfest, consider BOBKonf held one day before (Friday, March 17, 2023), also in Berlin.
 https://bobkonf.de/2023/en/

#bobkonf2023 #RacketLanguage #Racket #RacketLang #Racketfest2023
@bobkonf

Alt: Racketfest Berlin 2023 with tv tower and Racket logo

RacketFest, the rogue festival of Racket & language-oriented programming

Six fabulous talks are already lined up for Racketfest 2023!


Program, Registration and Call for Presentations are at https://racketfest.com/


While you are going to Berlin for #Racketfest, consider BOBKonf held one day before (Friday, March 17, 2023), also in Berlin.
 https://bobkonf.de/2023/en/

#bobkonf2023 #RacketLanguage #Racket #RacketLang #Racketfest2023
@bobkonf

Alt: Racketfest Berlin 2023 with tv tower and Racket logo

Six fabulous talks are already lined up for Racketfest 2023!

See the Program - and Call for Pre­sentations - at https://racketfest.com/

While you are going to Berlin for #Racketfest, consider BOBKonf held one day before (Friday, March 17, 2023), also in Berlin.

#bobkonf2023 #RacketLanguage #Racket #RacketLang #Racketfest2023
@bobkonf

Six fabulous talks are already lined up for Racketfest 2023!

See the Program - and Call for Pre­sentations - at https://racketfest.com/

While you are going to Berlin for #Racketfest, consider BOBKonf held one day before (Friday, March 17, 2023), also in Berlin.

#bobkonf2023 #RacketLanguage #Racket #RacketLang #Racketfest2023
@bobkonf

Six fabulous talks are already lined up for Racketfest 2023!

See the Program - and Call for Pre­sentations - at https://racketfest.com/

While you are going to Berlin for #Racketfest, consider BOBKonf held one day before (Friday, March 17, 2023), also in Berlin.

#bobkonf2023 #RacketLanguage #Racket #RacketLang #Racketfest2023
@bobkonf

Six fabulous talks are already lined up for Racketfest 2023!

See the Program - and Call for Pre­sentations - at https://racketfest.com/

While you are going to Berlin for #Racketfest, consider BOBKonf held one day before (Friday, March 17, 2023), also in Berlin.

#bobkonf2023 #RacketLanguage #Racket #RacketLang #Racketfest2023
@bobkonf

Six fabulous talks are already lined up for Racketfest 2023!

See the Program - and Call for Pre­sentations - at https://racketfest.com/

While you are going to Berlin for #Racketfest, consider BOBKonf held one day before (Friday, March 17, 2023), also in Berlin.

#bobkonf2023 #RacketLanguage #Racket #RacketLang #Racketfest2023
@bobkonf