König Dierk

314 Followers
293 Following
294 Posts
https://dierk.github.io/Home
Formerly @mittie at twitter. Professor for Computer Science at FHNW.Programs in Groovy, Frege, Java, JavaScript, and more.
Java Champion, JavaOne Rock Star, JavaLand Geek of the week.
Lead author of Groovy in Action.
Loves to paint.
AI rides on a perfect storm of human fallacies. Beginning of a curated list:
https://dierk.github.io/Home/AiPerfectStorm.html
AI Perfect Storm

Well, here we are finally - the sound of one door closing, and the end of a 17-year journey.

https://codemanship.wordpress.com/2026/06/04/a-car-crash-in-slow-motion/

A Car Crash In Slow Motion

Since I’m among friends, I hope I can be open with you. I started Codemanship 17 years ago in my late 30s, as a response to being asked by a recruiter for the gazillionth time “Why are …

Codemanship's Blog

Das Video von meinem Talk "Faschismus und KI" im Rahmen der bundesweiten Aktionswoche "Wissenschaft gegen Faschismus" ist jetzt online:
https://youtu.be/6LfWZpaLnbI

Neben den antidemokratischen Tendenzen von Big Tech #KI geht es auch um die Verantwortung der Wissenschaft bei der Aufklärung über Politik, die den Rahmen des Grundgesetzes verlässt. #fascism

Rainer Mühlhoff "Faschismus und KI", Aktionswoche "Wissenschaft gegen Faschismus"

YouTube

Pflichterfüllung als #Rechtsbruch: Die gemeinnützige Forschungsorganisation Aithos hat ein Werkzeug namens "LARA" entwickelt, das #KI-Modelle daraufhin testet, ob sie geltendes Recht verletzen.

Selbst das am besten abschneidende Modell verstieß ca. 60% gegen das Gesetz, das schlechteste 90%.

Interessant wird das für die Haftung, denn derjenige, der #AI einsetzt, ist für die wirtschaftlichen und rechtlichen Folgen ihres Tuns - oder seines Unterlassens - verantwortlich:

https://aithos.org/article/Aithos-LARA/

@rotnroll666 @aphyr
just pull at the slop machine until you get three cherries
I''m just sooo proud of our master students!
Massive improvement in the Frege compiler (Haskell for the JVM):
https://github.com/Frege/frege/pull/400
Automation of Foreign Function (aka Native) Interface by poeik · Pull Request #400 · Frege/frege

Hi @Ingo60 I finally finished the work on the automated foreign function interface. This PR thus solves #354. In this PR: automatic generation of native bindings by the compiler, as soon as it det...

GitHub
Hard to think of a more poignant expression of the state of affairs in the industry than the Joy of Coding conference taking a break this year.

As some publishers block the Wayback Machine, we lose the ability to reliably verify past reporting and track how stories change over time.

📣 Tell news organizations to stop blocking archiving and help preserve journalism for the future; sign the open letter:
✍️ https://www.savethearchive.com/NewsLeaders

#SaveTheArchive #DigitalArchive #WaybackMachine #TruthMatters @fight

Leiden Declaration on Artificial Intelligence and Mathematics

Link: https://leidendeclaration.ai/
Discussion: https://news.ycombinator.com/item?id=48380670

Leiden Declaration on Artificial Intelligence and Mathematics

This declaration calls for action to address the challenges posed by the use of artificial intelligence within mathematics research.

Leiden Declaration on Artificial Intelligence and Mathematics
Mike Mannion ist heute bei der #Java User Group Switzerland in Luzern und erzählt uns, wie #AI seine Testsuite kaputt gemacht hat und was #PUnit mit dem Fix zu tun hat! Danach natürlich Pizza und Bier...