Prof. Dierk König @dierk-koenig.bsky.social · 12/09/2026You can now show your support of human creativity vs machinistic slop with this logo: codeberg.org/Dierk/Create... Please share your story if you use it. 042
Prof. Dierk König @dierk-koenig.bsky.social · 05/07/2026Frege (Haskell for the JVM) 3.25.85 now available as maven repo repo1.maven.org/maven2/org/f...repo1.maven.orgCentral Repository: org/frege-lang/frege/3.25.85 010
Reposted by Prof. Dierk KönigCassie Evans @cassiecodes.bsky.social · 04/07/2026LLM's are helpful because they're trained on years of high quality educational material and forums where people helped each other. People aren't visiting forums or paying for educational content anymore because of LLM's. The well isn't going to magically fill itself in perpetuity. 411521
Reposted by Prof. Dierk KönigOfficial account of jfxcentral.com @jfxcentral.com · 25/06/2026A new #JavaFX library has been added to JFX Central: SvgNode. It's a lightweight JavaFX node for rendering SVG paths at any size. Fully supports FXML, property binding, and CSS styling. www.jfx-central.com/libraries/sv...jfx-central.comJFX-Central - Everything JavaFXJFXCentral is a hub for JavaFX developers, offering resources like libraries, tools, tutorials, and showcases. It also curates community updates and provides a cross-platform JavaFX example app. 193
Prof. Dierk König @dierk-koenig.bsky.social · 23/06/2026With AI, we essentially talk to ourselves and provide the intelligence. ELIZA and Barnum effect in play. dierk.github.io/Home/AiEliza...dierk.github.ioEliza 031
Reposted by Prof. Dierk KönigMalevolent Maelstrom @chemicalchaos.bsky.social · 20/06/2026We get an study like this roughly every 3 months and ya... the purpose of the technology is to deskill humans 14512
Reposted by Prof. Dierk KönigAnthony Moser @anthonymoser.com · 18/06/2026by request i'm going to share a quick thread of collections where people have pulled together articles / resources / arguments about ai harms and how to resist them this is by alphabetical order in my bookmarks, it's not comprehensive, feel free to add to the list of lists 6249117
Prof. Dierk König @dierk-koenig.bsky.social · 18/06/2026the latest Mythos/Fable restriction should make us consider the fallacy of false attribution: dierk.github.io/Home/AiIndep...dierk.github.ioAI Independence 001
Prof. Dierk König @dierk-koenig.bsky.social · 12/06/2026AI corrupts engineers and management. A topic near and dear to my heart: dierk.github.io/Home/AiCorru... (now with fixed link)dierk.github.ioAI CorruptionCorruption is by definition behavior (often illegal) where someone gets benefits for disregarding their duties. It is also attached to the general concepts of betrayal, decay, rot, and departure from what is pure, simple, or correct. 031
Prof. Dierk König @dierk-koenig.bsky.social · 12/06/2026AI fallacies: underestimating the costs of silent resignation. dierk.github.io/Home/AiResig...dierk.github.ioAI Resignation 033
Prof. Dierk König @dierk-koenig.bsky.social · 10/06/2026AI corrupts engineers and management. A topic near and dear to my heart: dierk.github.io/Home/AiCorru...dierk.github.io 254
Reposted by Prof. Dierk KönigDavid Roberts @volts.wtf · 08/06/2026"Something remarkable happened in April. For the first time in history, wind and solar generated more electricity than gas across the entire planet. Not in a country. Not in a region. Globally." Tons of great news here from Danny Kennedy (via @billmckibben.bsky.social's newsletter, which rules).proelectrica.substack.comElite Cognitive Dissonance and the Asian Energy DisruptionNotes from the Field — Singapore & Indonesia, May 2026 241130934160
Reposted by Prof. Dierk KönigPiccalilli @piccalil.li · 08/06/2026This is really stunning work across the board, and the RYB space (often used in painting) produces some great colours. rybitten.spacerybitten.spaceRYBittenRYBitten is a color tool and library for exploring painterly, RYB-inspired color mixing, gamut presets, and palette generation on the web. 1225
Reposted by Prof. Dierk KönigHaskell programming language @haskell.org · 06/06/2026Farhad Meta is teaching #ZuriHac attendees about Swiss recycling! Happy #Haskell Hackathon! 0244
Reposted by Prof. Dierk KönigJason Gorman @jasongorman.bsky.social · 07/06/2026And the fastest way to understand code is to write it. 0114
Reposted by Prof. Dierk KönigOlivia Guest · Ολίβια Γκεστ @olivia.science · 25/10/2025"While corporations urge us to embrace their supposedly inevitable tech-driven future, academics must take a principled stand and defend universities by barring toxic, addictive techn from classrooms." www.project-syndicate.org/commentary/a... Tide is def shifting: bsky.app/profile/oliv... 9/nproject-syndicate.orgAI Is Hollowing Out Higher EducationOlivia Guest & Iris van Rooij urge teachers and scholars to reject tools that commodify learning, deskill students, and promote illiteracy. 18119
Reposted by Prof. Dierk KönigJason Gorman @jasongorman.bsky.social · 07/06/2026A take I see often online is that it doesn't matter if code is "clean" - readable, simple, decoupled, easy & fast to test - as long as it works. They're missing the point. Code that's hard to understand, complex, tightly-coupled and hard/slow to test is very likely to break. There's no tradeoff. 76115
Prof. Dierk König @dierk-koenig.bsky.social · 06/06/2026AI Fallacies number 3: AI is - literally - no copilot. It does not care if you survive. dierk.github.io/Home/AiNoCop...dierk.github.io 010
Reposted by Prof. Dierk KönigMaura Doherty @molowell.bsky.social · 04/06/2026Don't let Ai fatigue lead to complicity 0208
Reposted by Prof. Dierk KönigKwaze Kwaze @kwazekwaze.bsky.social · 04/06/2026Incredible how many slopfondlers openly say stuff like "Do you expect me to do [tedious thing I should've automated or designed around already] by hand??" when defending their toy. 0244
Reposted by Prof. Dierk KönigCharles Logan @charleswlogan.bsky.social · 01/06/2026Solidarity with these students who want no part in this experiment: "A small but vocal minority of Estonian students say they refuse to use AI on moral grounds, citing issues such as water consumption by data centers or political complaints about U.S. tech companies, teachers say.”wsj.comHow to Fight AI Brain Rot at School? For One Country, It’s With Free ChatGPTThe experiment offers one of the first large-scale looks at the effect that coordinated AI adoption can have on students’ reasoning, retention and confidence. 216557
Reposted by Prof. Dierk Königbeloved Mothra @audleyzdarke.myatproto.social · 31/05/2026AI is not and cannot be a true intelligence because it has no intention, it has no motivation. It is a machine that doesn't work particularly well. Always remember that. 423268
Reposted by Prof. Dierk KönigSylvain Wallez @swallez.com · 29/05/2026Brillant, and what I've been saying since vibecoding emerged: "From the bottom: no juniors entering the pipeline, so no new seniors. From the top: existing seniors slowly losing the depth that made them senior. The pipeline is collapsing from both ends simultaneously." (via @spinscale.bsky.social)andrewmurphy.ioAI didn't kill your junior pipeline. You did | Andrew MurphyAI didn’t kill the junior pipeline; companies did, because someone saw Claude write a for loop and decided that meant they could stop training humans. The result is an industry cheerfully pulling the ... 13231
Reposted by Prof. Dierk KönigBen Orchard @raehik.bsky.social · 28/05/2026Looking forward ZuriHac in a week, gonna have a big Kent Haskell bash!!!!!!! (there are at least two of us) 162
Reposted by Prof. Dierk KönigJane Rosenzweig @janerosenzweig.bsky.social · 26/05/2026This instructor did what so many of us are doing: adapt. The grief is not because we can't adapt or because we "fear technology" or because we are "in denial." It is because we have had the chance to have this amazing experience of helping/watching students figure out what they think and value that. 17124
Reposted by Prof. Dierk KönigMatt Novak @paleofuture.bsky.social · 26/05/2026Spotted in San Diego. “WE THE STUDENTS DO NOT WANT THIS AI IS MORE HARMFUL THAN HELPFUL” 2471125
Prof. Dierk König @dierk-koenig.bsky.social · 25/05/2026AI, YT, Tolkien, Orcs, Palantir, and beautiful vs useful things: youtu.be/COmJ6224nxI?... This will become my banner.youtu.beThis Tolkien line has changed my definition of evilYouTube video by First Timers 011
Prof. Dierk König @dierk-koenig.bsky.social · 23/05/2026“SW dvmt is about programming” is like saying “management is about holding meetings” and since AI can create an agenda, invite ppl, schedule a room, and assemble action items, AI can replace management. BTW new KPI is tokens used for mgmt replacement. 022
Reposted by Prof. Dierk KönigKevin Powell @kevinpowell.co · 21/05/2026More and more people I deeply respect and have learned a lot from over the years feel like they are speaking into a void, to the point where they are losing motivation to continue making content, which got me to write my first post on my site in over a year... www.kevinpowell.co/article/tell... 3030078
Reposted by Prof. Dierk KönigKevin Powell @kevinpowell.co · 21/05/2026The State of CSS 2026 survey is out! These survey's are a huge signal to the browser makers on what people want, and the more people fill the out, the better that information is. survey.devographics.com/en-US/survey...survey.devographics.comState of CSS 2026Take the State of CSS survey 06125
Prof. Dierk König @dierk-koenig.bsky.social · 21/05/2026for my project, what is the best *.md file that will confuse any AI bot, burn an insane amount of tokens, and put me on their blacklist? The file will be written in navajo, demand a proof that 10^23 invalidates fermat’s theorem, and make all vibe coders order a t-shirt with “kick me” on the backside 020
Reposted by Prof. Dierk KönigNathan Kalman-Lamb @nkalamb.bsky.social · 21/05/2026UC Berkeley Law creates new AI policy that bans AI for "conceptualizing, outlining, drafting, revising, translating, or editing any work submitted for credit" or exams because "thinking remains the sine qua non of good lawyering (and of a quality legal education)." That's what I'm talking about. 5136701193
Prof. Dierk König @dierk-koenig.bsky.social · 20/05/2026after Frankenstein and Oppenheimer, who is to blame for having released the AI monster? 010
Reposted by Prof. Dierk KönigDavid Bushell 🪿 @dbushell.com · 20/05/2026blogged: Google just spat in my face dbushell.com/2026/05/20/g... — go on then, one last blog before my holiday dbushell.comGoogle just spat in my faceThe one where I get rage baited 4379
Prof. Dierk König @dierk-koenig.bsky.social · 20/05/2026now that Google pivots aways from being a search engine (to becoming a proprietary interpreter of the web) there will be new opportunities for real _search_ - you know, like in the old days, where you find the actual so-called “web page” 001
Reposted by Prof. Dierk KönigBruce Lawson @brucel.bsky.social · 20/05/2026Other search engines are available. Other browsers are available. (Ask me!) Other office suites are available. Other clown services are available. Your choice matters. european-alternatives.eueuropean-alternatives.euEuropean AlternativesWe help you find European alternatives for digital service and products, like cloud services and SaaS products. 1156
Reposted by Prof. Dierk KönigIlya Sergey @ilyasergey.bsky.social · 19/05/2026New blog post: On the Unreasonable Effectiveness of Property-Based Testing for Validating Formal Specifications. proofsandintuitions.net/2026/05/18/p... The gist: randomised testing can validate formal specs. It's very cheap and powerful: we found bugs in specs of VERINA and CLEVER benchmarks.proofsandintuitions.netOn the Unreasonable Effectiveness of Property-Based Testing for Validating Formal SpecificationsIn this post, we show that property-based testing (PBT) is surprisingly effective for validating LLM-synthesised specifications of Lean programs: it is a cheap alternative to symbolic proofs, which he... 1114
Reposted by Prof. Dierk KönigJason Gorman @jasongorman.bsky.social · 20/05/2026When the benefits of a technology are real, it doesn't need FOMO. It just needs exposure. If your technology has had more exposure than arguably any in modern history, and it still needs FOMO... 1124
Reposted by Prof. Dierk KönigKilian Valkhof @kilianvalkhof.com · 20/05/2026Why does every company whose sole reason for success is the open web end up trying to get rid of the open web? 171
Prof. Dierk König @dierk-koenig.bsky.social · 16/05/2026Immanuel Kant on LLMs: words without concepts are meaningless. 021
Prof. Dierk König @dierk-koenig.bsky.social · 15/05/2026forward engineer youtu.be/juHv_Vi4giU?...youtu.beThe AI industry just invented a new job. Wait until you hear what it does.YouTube video by Mo Bitar 000
Reposted by Prof. Dierk KönigIris van Rooij 💭 @irisvanrooij.bsky.social · 13/05/2026“We must protect and cultivate the ecosystem of human knowledge. AI models can mimic the appearance of scholarly work, but they are (by construction) unconcerned with truth — the result is a torrential outpouring of unchecked but convincing-sounding “information”. — as quoted in Guest et al. (2026)digitalcultureandeducation.comAgainst the Uncritical Adoption of ‘AI’ Technologies in Academia — Digital Culture & Education (ISSN: 1836-8301)Written by: Olivia Guest, Marcela Suarez, Barbara C. N. Müller, Edwin van Meerkerk, Arnoud Oude Groote Beverborg, Ronald de Haan, Andrea Reyes Elizondo, Mark Blokpoel, Natalia Scharfenberg, Annelies ... 16732
Prof. Dierk König @dierk-koenig.bsky.social · 13/05/2026I considered posting lots of crappy code on github just to screw the AI idiots but then found that millions already had this idea. 083
Reposted by Prof. Dierk KönigYorgos @yorgos.net.gr · 06/05/2026With #GitHub slowly falling apart, I couldn't be more excited to be working on a better way to host the world's #OpenSourceSoftware: @radicle.dev - the peer-to-peer GitHub alternative. I took a minute to write down what I feel is especially exciting about it: yorgos.net.gr/posts/workin...yorgos.net.grWorking on a better home for Open SourceGitHub is giving us even more reasons to consider alternatives. I'm so happy I'm working on one of them! 0193
Reposted by Prof. Dierk KönigKilian Valkhof @kilianvalkhof.com · 06/05/2026Listen; contrary to what many people will try to sell you, craft will endure. Even if you believe AI is raising the floor, there's no ceiling for craft work on the web. Don't let your skills atrophy. 0225
Prof. Dierk König @dierk-koenig.bsky.social · 01/05/2026„plausible deniability disguised as code“ spot on 000
Reposted by Prof. Dierk KönigJosh W. Comeau @joshwcomeau.com · 01/05/2026I think everyone who thinks that it is no longer necessary to understand software engineering principles because of AI should spend a few minutes every day browsing /r/vibecoding. It's so so clear that technical skills are still worthwhile. 1930549
Reposted by Prof. Dierk KönigKent Beck @kentbeck.com · 01/05/2026AI tools don't muddle along with us. They fall below muddling, plausible deniability disguised as code. Low features, low flexibility, complexity stacking until even the genie gives up.tidyfirst.substack.comGenie TarpitGenies give you code that’s a degraded facsimile of the mediocre code it trained on. 13915
