We made our infrastructure read-only and never looked back
devcenter.upsun.com·4h·
Discuss: r/programming
🐳Containerization
Flag this post
Writing FreeDOS Programs in C
freedos.org·1d·
Discuss: Hacker News
⚙️Compiler Design
Flag this post
The Python Coding Stack: And Now You Know Your ABC
thepythoncodingstack.com·2d·
Discuss: Hacker News
🔬Static Analysis
Flag this post
Using FreeBSD to make self-hosting fun again
jsteuernagel.de·1d·
Discuss: Lobsters, Hacker News
🖥Self-Hosting
Flag this post
Just Write Tests
theblackarrovv.github.io·11h·
Discuss: Hacker News
🔄Reproducible Builds
Flag this post
Async/Await is finally back in Zig
charlesfonseca.substack.com·2d·
Discuss: Substack
⚡Process Calculi
Flag this post
WebAssembly (WASM) arch support for the Linux kernel
github.com·2d·
Discuss: Hacker News
🐋Docker
Flag this post
A portable picokernel for async I/O
ryansepassi.com·2d·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
Nim 2.2.6
nim-lang.org·3d·
Discuss: Hacker News
📦Opam
Flag this post
Show HN: Calque, Snapshot Testing in Elixir
github.com·21h·
Discuss: Hacker News
🧪Property-Based Testing
Flag this post
Why agents do not write most of our code – a reality check
octomind.dev·2h·
Discuss: Hacker News
🔄Reproducible Builds
Flag this post
Using FreeBSD to make self-hosting fun again
dev.to·5h·
Discuss: DEV
🖥Self-Hosting
Flag this post
GoFr's Instant Power: Production-Ready Go Services in 5 Minutes
dev.to·4h·
Discuss: DEV
🔧DevOps
Flag this post
Today I Learned: Binfmt_misc
dfir.ch·3d·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
Octocode MCP – AI Researcher for Smart, Deep Multi-Repo Code Context
github.com·11h·
Discuss: Hacker News
💬Mach Messages
Flag this post
Vectorizing for Fun and Performance
ibm.com·5d·
Discuss: Hacker News
🏹Effect Systems
Flag this post
Chibi Izumi: Phased dependency injection for TypeScript
github.com·2d·
Discuss: Hacker News
📦OPAM
Flag this post
Day 22: Python Even-Odd Counter – Count Even and Odd Integers in a List with Type Checks
dev.to·1d·
Discuss: DEV
🔢Algebraic Data Types
Flag this post
A Senior Engineer's Guide to the Model Context Protocol
dev.to·1d·
Discuss: DEV
💬Mach Messages
Flag this post
GraphMD – LLMs Powered Literate Programming Environment for Markdown Documents
github.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Flag this post