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

Unix philosophy is dead! Long live... something else? (via FedericoSchonborn) — discussion

#philosophy

ASK: What creative technical outlets of yours have been ruined by generative AI? (by addison)

#ask #vibecoding

Looking at Unity finally made me understand the point of C++ coroutines (via LesleyLai) — discussion

#c++

BIO: The Bao I/O Coprocessor (via ciferkey) — discussion

#hardware

Linear Temporal Logic Visualizer (via hwayne) — discussion

#formalmethods #math