Could an LLM create a full Domain-Specific Language? (via Mordo) — discussion

#vibecoding

Type-based vs Value-based Reflection (via af) — discussion

#c++

AI Boom Drives 150% Surge in Indirect Emissions at Major Tech Firms, UN Warns (via chris-evelyn) — discussion

#ai

Linus Torvalds Rejects The Idea Of Enabling DAMON By Default In The Linux Kernel (via laktak) — discussion

#linux

EU launches EU-based, privacy-focused DNS resolution service (via stanbright) — discussion

#networking

WebRTC One-time permissions are here to stay (via freddyb) — discussion

#browsers

A new way to style gaps in CSS (via MatheusRich) — discussion

#css

Patterns for Modeling Overlapping Variant Data in Rust (via emschwartz) — discussion

#rust

Writing a Verified Postfix Calculator in Ada/SPARK (by pyj) — discussion

#formalmethods #programming

Pocoo (via kaycebasques) — discussion

#historical #python

Bypassing GitHub Actions policies in the dumbest way possible (via ubernostrum) — discussion

#security

Raku's "core" (via veqq) — discussion

#perl #plt

From zero to demo: a newcomer's experience learning Bevy (by extrawurst) — discussion

#education #rust #video

Reflections on a Year of Sunlight (via fanf) — discussion

#security

Finite Atari Machine (via ewintr) — discussion

#art #games

Compiler Explorer Cost Transparency (via itamarst) — discussion

#finance

Whatever happened to sandboxfs? (by jmmv) — discussion

#mac #performance #programming

The Hashtable Packing Problem (via runxiyu) — discussion

#compsci

Proving completeness of an eventually perfect failure detector in Lean4 (via hwayne) — discussion

#distributed #formalmethods

Source code sandboxing (via iv) — discussion

#security