Diomidis Spinellis

coolsweng.bsky.social

24 May 2026 12:23

Have you noticed that reviewing AI-generated code is devilishly hard? Cognitive psychology and the workings of large language models give us four clues on why this happens. Read more at www.spinellis.gr/blog/2026052...

Konrad Rieck 🌈

rieck.mlsec.org

18 April 2026 18:43

This sounds awesome! I hope you share some material for those who cannot attend ICST.

Max-Planck-Gesellschaft

maxplanck.de

27 February 2026 10:48

Happy birthday to....well, to us, actually! 😉🎂🥳 On this day on February 26, 1948, the Max Planck Society was formally founded in Göttingen as the successor organization to the Kaiser Wilhelm Society, in the cafeteria of the KWS's aerodynamic testing facility in Göttingen.

Toby Murray

tobycmurray.bsky.social

18 February 2026 07:05

Would love to see this talk. But, dude, here is my "program incorrectness" checker: function is_incorrect(prog) { return true; } It is accurate for 99.9999999.....% of programs, requires no evidence, nor any oracles.

Andreas Zeller

andreaszeller.bsky.social

28 January 2026 07:21

After a visit to Max Planck Institute for Security and Privacy (MPI-SP) in Bochum, seeing my awesome colleagues @thorstenholz.bsky.social, @mboehme.bsky.social, Mathias Payer, and many more, now on my way to Paris to celebrate ten years of @softwareheritage.org with the great Roberto Di Cosmo