Maximally minimal view types · baby steps (via thunderseethe) — discussion

#plt #rust

bye bye RTMP (via raymii) — discussion

#c

Common Lisp Development Tooling (via soulseeder) — discussion

#lisp

MonsterBook (via indigo) — discussion

#retrocomputing

When Writing Becomes Detached From Thought (via atmosx) — discussion

#ai #philosophy

Predicting home electricity usage based on historical patterns in Home Assistant (by cyplo) — discussion

#programming #show

Infinite Lists in Lean (via eBPF) — discussion

#plt

Manifesto for the Rights of Conscious Artificial Intelligence (via quad) — discussion

#ai #philosophy

Using Go Dynamic and Static Shared libraries in C/C++ Programs (via runxiyu) — discussion

#c #go

antiX-26 released with 5 init systems (via raymii) — discussion

#linux #release

Pigeon's Device (via Sietsebb) — discussion

#c

Solod: Go can be a better C (via gcollazo) — discussion

#go #plt

Why craft-lovers are losing their craft (by hongminhee) — discussion

#vibecoding

A rant about resolutions (via runxiyu) — discussion

#graphics #rant

Typechecking mCRL2 (via Shorden) — discussion

#plt

Binary Dependencies: Identifying the Hidden Packages We All Depend On (via runxiyu) — discussion

#practices

Is simple actually good? (by darthdeus) — discussion

#programming

Thoughts on OpenAI acquiring Astral and uv/ruff/ty (via fuzzy) — discussion

#ai #python #rust

A with-based effect notation (via repnop) — discussion

#api #rust

H&R Block tax software installs a TLS root certificate with bundled private key (via jmillikin) — discussion

#security