AI’s great brain robbery — and how universities can fight back (via jmtd) — discussion

#ai #education

apl87 (via veqq) — discussion

#apl #compilers

actix-passport: A comprehensive, flexible authentication framework for actix-web (by densumesh) — discussion

#api #rust

The ITTAGE indirect branch predictor (via Forty-Bot) — discussion

#hardware #performance

Gödel's beavers, or the limits of knowledge (via dzwdz) — discussion

#math

NVIDIA is full of shit (via lonami) — discussion

#hardware #rant

iris: A neurosymbolic framework for vulnerability detection in code (via Kchousos) — discussion

#ai #security #testing

Riff: LLMs are Software Diamonds (by adityaathalye) — discussion

#vibecoding

A compact bitset implementation used in Ocarina of Time save files (by jb55) — discussion

#c #retrocomputing

gremllm: A slight upgrade to the Gremlins in your code (via migurski) — discussion

#python #vibecoding

mawkdown, a lightweight, line-oriented(ish) text markup tool implemented in awk (by owl) — discussion

#unix #web

The Eternal Mainframe (via jrw) — discussion

#browsers #historical #philosophy

awesome-standards: A curated list of technical standards (via kaycebasques) — discussion

#programming

Git experts should try Jujutsu (via epidemian) — discussion

#practices #vcs

A supposedly worthwhile contract I'll never do again (by ahelwer) — discussion

#formalmethods

One Billion Cells, Another Multiplayer Demo with Clojure (via adityaathalye) — discussion

#clojure #databases #games #javascript #performance #web

Compression Dictionary Transport (via untitaker) — discussion

#performance #web

I want to leave tech: what do I do? (by chobeat) — discussion

#culture #person

Getting extensions to work with free-threaded Python (via ngoldbaum) — discussion

#python

The rise of Whatever (via gmem) — discussion

#culture #rant