The Hidden Ledger of Code: Tracking the Carbon Debt Inside Our Software
hackernoon.com·5h
🔄Reproducible Builds
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·1d
➡️Category Theory
Flag this post
Bold Devlog - October Summary
🔬Static Analysis
Flag this post
Do you know what really happens when you run kubectl apply?
medium.com·2d
⚙️Kubernetes Operators
Flag this post
Speedrunning an RL Environment
🎮Verification Games
Flag this post
Linux Kernel Ported to WebAssembly
💻QEMU
Flag this post
Async/Await is finally back in Zig
⚡Process Calculi
Flag this post
theCUBE Research economic validation of Docker’s development platform
docker.com·2d
⎈Kubernetes
Flag this post
The Python Coding Stack: And Now You Know Your ABC
thepythoncodingstack.com·6h
🔬Static Analysis
Flag this post
Show HN: LogLens, a fast alternative to grep – jq for structured logs
🐳Containerization
Flag this post
The BSD, OpenZFS, and illumos communities
🔬Unikernels
Flag this post
Runs-On: Mac
💾Classic Mac OS
Flag this post
Fungus: The Befunge CPU(2015)
🔧Unikernel Development
Flag this post
Loading...Loading more...