nix-run: run nix derivations without nix3 or flakes (by WeetHet) — discussion

#haskell #nix

No, Really, Bash Is Not Enough: Why Large-Scale CI Needs an Orchestrator (by iand675) — discussion

#practices #vcs

voxtral.c: Pure C inference of Mistral Voxtral Realtime 4B speech to text model (via jacereda) — discussion

#ai #vibecoding

monty: A minimal, secure Python interpreter written in Rust for use by AI (via yelianung) — discussion

#vibecoding

elfconv: AOT binary translator of Linux/ELF -> WebAssembly (via git-bruh) — discussion

#c++ #compilers #linux #wasm

Olimex HoT aims to be lightweight, easier-to-use alternative to Home Assistant (via raymii) — discussion

#hardware

The RCE that AMD won't fix (via achivetta) — discussion

#security

How to program computers (kOS) (via veqq) — discussion

#api #osdev

Calling Lean Functions As Python Functions (via spookylukey) — discussion

#formalmethods #python

Django: profile memory usage with Memray (via spookylukey) — discussion

#performance #python

Vibe Coding Kills Open Source (via lincoln) — discussion

#vibecoding

My AI Adoption Journey (via rtfeldman) — discussion

#vibecoding

The LLM spectrum and responsible LLM use (by janiczek) — discussion

#vibecoding

Building a C compiler with a team of parallel Claudes (via mitsuhiko) — discussion

#vibecoding

Agentic Proof-Oriented Programming (via larrytheliquid) — discussion

#ai #formalmethods

The Search for Meaning Through Collaboration and Code (via veqq) — discussion

#philosophy #practices

On the Promises of 'High-Assurance' Cryptography (by nadim) — discussion

#cryptography #formalmethods

Build Systems and Build Philosophy (via kaycebasques) — discussion

#programming

jujutsu v0.38.0 released (via mediremi) — discussion

#release #vcs

(Un)portable defer in C (via janerik) — discussion

#c