Three ways formally verified code can go wrong in practice
buttondown.com·1d
🅒C language programming
What Is 'Slopcore'?
lifehacker.com·22h
🦀Rust language programming
simplicity • Pragmatic Dave Thomas & Sarah Taraporewalla
buzzsprout.com·1d·
Discuss: r/programming
📟Embedded programming systems
GNU Health
gnuhealth.org·2h·
Discuss: Hacker News
🏗️UEFI
Villain Couch - A Go CLI to automatically track and resume watch progress in VLC
reddit.com·1h·
Discuss: r/golang
🐧Linux
How can I make my coleague reluctant to accept using migration scripts in production
reddit.com·3d·
Discuss: r/SoftwareEngineering
🧙‍♂️Unix Operating Systems
Tsoding, Bison and possible alternatives
youtube.com·3d·
Discuss: r/programming
🦀Rust language programming
A simple CLI tool to download YouTube audio - yta-cli
github.com·2d·
Discuss: r/commandline
🐧Linux
AI Fixed Coding, but Not the Bottleneck: Why Lisp, FP Still Matters
github.com·3d·
Discuss: Hacker News, r/neovim
🦀Rust language programming
Maybe Use BioLMs To Mitigate Pre-ASI Biorisk?
lesswrong.com·1d
⚙️EFI applications
nvim-redraft: Fast, Inline AI Edits for Neovim (OpenAI, Anthropic, xAI support)
reddit.com·6h·
Discuss: r/neovim
⚙️EFI applications
Keeping my Nix inputs fresh
jimmyff.co.uk·2d·
Discuss: Hacker News, r/programming
⚙️EFI applications
Rodrigo Girão Serrão: Functions: a complete reference | Pydon't 🐍
mathspp.com·5d
🦀Rust language programming
Why I choose to try out linux.
reddit.com·14h·
Discuss: r/linux
🐧Linux
simonw/claude-skills
simonwillison.net·18h
🅒C language programming
Practical Guide to Production-Grade Observability in the JS ecosystem
reddit.com·2h·
Discuss: r/programming
📟Embedded programming systems
How to store ordered information in a Relational Database (2015)
softwareengineering.stackexchange.com·2d·
Discuss: Lobsters, Hacker News
🦀Rust language programming
My old Infocom transcripts
blog.zarfhome.com·1d
🐧Linux
How do you organize the files and folders of your multi-stack Docker (Compose) setup?
i.redd.it·2d·
Discuss: r/selfhosted
🧙‍♂️Unix Operating Systems
Python in Visual Studio Code – October 2025 Release
devblogs.microsoft.com·1d
🐹Go Language Programming