Typechecking is undecideable when 'type' is a type (1989) (via icefox) — discussion

#math #pdf #plt

What if everything was "Async", but nothing needed "Await"? (via 4ad) — discussion

#plt #video

Worries about Open Source in the age of LLMs (by JamieTanna) — discussion

#law #vibecoding

I know you don’t want them to want AI, but… (via knl) — discussion

#browsers

Giving C a Superpower: custom header file (safe_c.h) (via linkdd) — discussion

#c #programming

The Programming of Algebra (via pkhuong) — discussion

#databases #math

Zigbook – Learn the Zig Programming Language (via dgv) — discussion

#book #zig

k-anonymity, the parent of all privacy definitions (via Mbat) — discussion

#privacy

JupyterLite kernel for Haskell, powered by WebAssembly (via puffnfresh) — discussion

#haskell

I Work For an Evil Company, but Outside Work, I’m Actually a Really Good Person (via granra) — discussion

#culture #satire

Think in Math. Write in Code (via intercaetera) — discussion

#plt #programming

FPGA based IBM-PC-XT (via vbernat) — discussion

#hardware #retrocomputing

The Cameras Tracking You = A Security Nightmare (via daniel_alp) — discussion

#security #video

A 1961 Relay Computer Running in Your Browser (via vaibhavsagar) — discussion

#retrocomputing

Creating VMs in separate ZFS filesystems (via ggpsv) — discussion

#linux #practices #virtualization

sit: Create StuffIt archives on Unix systems (via classichasclass) — discussion

#retrocomputing

AI/ML for Biology & Healthcare: A Learning Path (via Noghartt) — discussion

#ai

JavaScript engines zoo (via fanf) — discussion

#javascript #performance

Event-driven flows (via LesleyLai) — discussion

#c++

Goofing on Meta's AI Crawler (via nrposner) — discussion

#ai