Aiki: Alpha Milestone 26 Update (by decuser) — discussion

#go #plt #release

What do you think of LazyPromise as a lightweight alternative to Effect? (by ivan7237d) — discussion

#api #javascript #show

A Programming Paradigm for Spatiotemporal Composability (via mandeep) — discussion

#plt

Zig Day Seattle, WA (via jaredkrinke) — discussion

#event #zig

Recap: Software Should Work 2026 | Ben Cornia (via rmpr) — discussion

#event #programming

Power Relations (by Corbin) — discussion

#distributed #practices

Ironies of Automation (1983) (via milkandcigarettes) — discussion

#pdf #vibecoding

Are Latent Reasoning Models Easily Interpretable? (via Yogthos) — discussion

#ai

Qwen3.8-27B - Release Day Demos (via Yogthos) — discussion

#vibecoding

Why I remain a skeptic (via jbauer) — discussion

#vibecoding

How Is Compression Prediction? (by lukefleed) — discussion

#math

Everything is about to “go dark” (via untitaker) — discussion

#security

Flirt: GitHub and Mailing List backends (by senekor) — discussion

#vcs

The Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Software (2005) (via pushcx) — discussion

#performance

Training AI Scientists to Replicate Research (via dhruvp) — discussion

#ai

Serokell’s Work on GHC: Dependent Types, Part 5 (via ehamberg) — discussion

#haskell

nixpkgs-multiverse: fast mode (via vbernat) — discussion

#nix

Demystifying Type (and some Un-Paradoxing) (via rsaarelm) — discussion

#plt

Firefox is now the last major browser that still supports uBlock Origin (via tusharhero) — discussion

#browsers

Improving system safety with Temporal Logic of Actions (TLA+) (via juri) — discussion

#formalmethods #vibecoding