Brzozowski Derivatives: Exercise in Combinatory Style (via veqq) — discussion

#lisp #plt

A Dumb Introduction to z3 (via runxiyu) — discussion

#formalmethods #plt

When Values Eat Their Young: How Ideal-Driven Groups Drift into Their Own Shadow (via kngl) — discussion

#culture #practices

Claude Can (Sometimes) Prove It (via hwayne) — discussion

#math #vibecoding

Rupert's Snub Cube and other Math Holes (via polywolf) — discussion

#math #video #visualization

In Defense of C++ (via rcalixte) — discussion

#c++

Good Times in River City: Bridgetown 2.0 is Here (via nogweii) — discussion

#release #ruby

Adios Chicos, 25 Years of KDE (via thang) — discussion

#linux

Java 25 (via watbe) — discussion

#java #release

ctrl/tinycolor and 40+ NPM Packages Compromised (via repl) — discussion

#security

How to implement the Outbox pattern in Go and Postgres (by pluto) — discussion

#go

A detailed review of macOS 26 Tahoe (via hoistbypetard) — discussion

#mac

A painful road to Java modularity with OSGi (via tuxella) — discussion

#java

You Want Technology With Warts (via EvanHahn) — discussion

#programming

How I Use AI (by kellogh) — discussion

#practices

Task v3.45 released (by andreynering) — discussion

#release

Swift 6.2 Released (via juri) — discussion

#swift

Automating Distro Updates in CI (by zupo) — discussion

#linux #testing

Dolphin Progress Report: Release 2509 (via lemon) — discussion

#games #programming #release #reversing

Wanted to spy on my dog, ended up spying on TP-Link (via wezm) — discussion

#reversing