Mike Sperber

362 Followers
450 Following
1.8K Posts
Husband, father, C*O at Active Group, functional programmer, researcher, teacher, theater person.
websitehttps://www.deinprogramm.de/sperber/
software architecture
theater
searchable

@plexus Offbyte?

But seriously looking at the bobkonf line up it does seem like it's carrying the torch.

/cc @sperbsen

๐Ÿšจ ๐—ช๐—ฎ๐—ฟ๐˜‚๐—บ ๐—ง๐—ฒ๐˜€๐˜๐—ถ๐—ป๐—ด ๐—ฎ๐—น๐—น๐—ฒ๐—ถ๐—ป ๐—ป๐—ถ๐—ฐ๐—ต๐˜ ๐—ด๐—ฒ๐—ปรผ๐—ด๐˜ โ€“ ๐—œ๐—ป๐˜๐—ฒ๐—ฟ๐˜ƒ๐—ถ๐—ฒ๐˜„ ๐—บ๐—ถ๐˜ ๐—Ÿ๐—ฎ๐—ฟ๐˜€ ๐—›๐˜‚๐—ฝ๐—ฒ๐—น

Tests finden Fehler โ€“ aber garantieren keine Korrektheit. Im Interview erklรคrt @lars , Kurator des #CPSA Advanced Level Moduls โ€žFormale Methodenโ€œ, wie #FormaleMethoden hier weiterhelfen.

๐Ÿ’ก Du erfรคhrst u. a.:
โ€ข Grenzen von Testing
โ€ข Einsatz formaler Methoden
โ€ข Praxisbeispiele

๐Ÿ‘‰ Zum Interview: https://t1p.de/wnm7m

#iSAQB #Softwarearchitektur #Testing #SAF2026

Wenn ich sehe, wie sehr die Regierung so aus den Fehlern der Vergangenheit gelernt hat.... Da kommt bestimmt bald eine Tankstellen-App von Smudo.

๐Ÿ“ข Call for Papers noch bis zum 4. Mai geรถffnet

Liebe Menschen,
noch bis zum 4. Mai kรถnnt ihr eure tollen Vortrรคge, Workshops oder Blitzvortrรคge fรผr den #Tรผbix2026 unter https://cfp.tuebix.org/tuebix-2026/ einreichen.

Wir freuen uns auf eure Einreichungen!

Tรผbix 2026

Schedule, talks and talk submissions for Tรผbix 2026

This is the first part of a miniseries on this yearโ€™s Symposium on Principles of Programming Languages, a.k.a. POPL 2026, hosted by Jessica Foster.
In this episode, we talk about: undergrad funding and participation, the behind the scenes of AV, choreographic programming, quantum languages, conference catering, and the joy of theory. And at one point, youโ€™ll even hear us get kicked out the venue mid interview. Enjoy!
https://haskell.foundation/podcast/80/
POPL 2026 - Part 1

This is the first part of a miniseries on this year's Symposium on Principles of Programming Languages, a.k.a. POPL 2026, hosted by Jessica Foster.

๐—˜๐—ฟ๐—น๐—ฒ๐—ฏ๐—ฒ ๐—ฑ๐—ถ๐—ฒ ๐—ด๐—ฒ๐—ฏ๐—ฎ๐—น๐—น๐˜๐—ฒ ๐—ž๐—ผ๐—บ๐—ฝ๐—ฒ๐˜๐—ฒ๐—ป๐˜‡ ๐—ฑ๐—ฒ๐˜€ ๐—ถ๐—ฆ๐—”๐—ค๐—• ๐—ฎ๐—ป ๐—ฒ๐—ถ๐—ป๐—ฒ๐—บ ๐—ข๐—ฟ๐˜! | ๐—˜๐—ฎ๐—ฟ๐—น๐˜† ๐—•๐—ถ๐—ฟ๐—ฑ ๐—ฏ๐—ถ๐˜€ ๐Ÿญ๐Ÿฎ. ๐— ๐—ฎ๐—ถ - ๐—ท๐—ฒ๐˜๐˜‡๐˜ ๐—ง๐—ถ๐—ฐ๐—ธ๐—ฒ๐˜ ๐˜€๐—ถ๐—ฐ๐—ต๐—ฒ๐—ฟ๐—ป! ๐Ÿคฉ

Mit dem #SoftwareArchitectureForum startet das #iSAQB eine neue Community-Konferenz fรผr die deutschsprachige #Softwarearchitektur -Szene. ๐ŸŽ‰

๐Ÿ’ก ๐—ช๐—ฎ๐˜€ ๐—ฑ๐—ถ๐—ฐ๐—ต ๐—ฒ๐—ฟ๐˜„๐—ฎ๐—ฟ๐˜๐—ฒ๐˜
โ€ข 20+ Sessions zu zentralen Architekturthemen
โ€ข Kurator:innen und Expert:innen des iSAQB vor Ort
โ€ข Austausch mit der deutschsprachigen Softwarearchitektur-Community

๐ŸŽŸ Early Bird bis 12. Mai!
๐Ÿ‘‰ https://t1p.de/4s17l

Yacc is Not Dead (2010)

0 comments

Lobsters

RE: https://norden.social/@dirkschroedter/116365548117412401

"Eigentlich hรคtten wir das schon gerne anders, aber nur wenn wir nichts dafรผr tun mรผssen"

Es ist durchaus รผberall gleich. Die รœberwindung der eigenen Lethargie ist zuallererst notwendig, um dann vieles besser machen zu kรถnnen.

Weiter viel Durchhaltevermรถgen nach Schleswig-Holstein

Boosts appreciated

I am looking for a new job, specifically in embedded development or embedded security. I have been writing Rust professionally for 5 years, and am also comfortable in C. I've found vulnerabilities in multiple generations of NVIDIA hardware, and have held talks on this. If anyone knows of any openings, or would want to refer me (I am open to more broad Software Engineering work if it's via referral), I would appreciate it. I'm open to both remote work, and hybrid inside Berlin. I'm reachable either here, or via mail at [email protected]

#getfedihired

RE: https://mastodon.social/@jcoglan/116334229654969479

Someone in my last thread on the topic quoted an unnamed startup CEO saying something like "it only has to work until we get acquired," and that sums up our so-called industry's approach to code quality perfectly. Claude Code obviously looks like a power multiplier when nobody gives a shit about the long or even medium term.