No ARIA is better than Bad ARIA (via freddyb) — discussion

#a11y #web

Unofficial language server for gren, in rust (via blaix) — discussion

#programming

An apologia for lazy evaluation (via abhin4v) — discussion

#haskell

Offline cybersecurity AI using RAG + local LLM (Python, FAISS, Llama 3.1) (by sydsec) — discussion

#ai #python #security

Join the on-call roster, it’ll change your life (by serce) — discussion

#devops #practices

Compiler Engineering in Practice - Part 1: What is a Compiler? (via dhruvp) — discussion

#compilers

Factor 0.101 now available (via doublec) — discussion

#concatenative

39C3 Fahrplan 2025 (via kidon) — discussion

#event

xkcd 1313: Regex Golf (2014) (via abhin4v) — discussion

#python

Disagreements over post-quantum encryption for TLS (via lollipopman) — discussion

#security

Optique 0.8.0: Conditional parsing, pass-through options, and LogTape integration (by hongminhee) — discussion

#javascript

Metacode: The new standard for machine-readable comments for Python (by pomponchik) — discussion

#python

AMD GPU Debugger (via mpweiher) — discussion

#debugging #graphics

Prediction: AI will make formal verification go mainstream — Martin Kleppmann’s blog (via ajessejiryudavis) — discussion

#ai #formalmethods

Deprecations via warnings don’t work for Python libraries (via ubernostrum) — discussion

#practices #python

Yew 0.22 - For Real This Time (via tomas) — discussion

#release #rust

A New Way to Watch Your Linux System Work (via abnercoimbre) — discussion

#linux

Readable Code is Unreadable (via atharva) — discussion

#apl #c #programming

Disagreements over post-quantum encryption for TLS (via cript0nauta) — discussion

#cryptography

Addressing Linux's Missing PKI Infrastructure (via freddyb) — discussion

#linux #security