Oops, My UUIDs Collided
🎯GADT
Flag this post
Underappreciated Top (2019)
🔬Unikernels
Flag this post
macOS HyprSpace – Enhanced AeroSpace Fork
💾Classic Mac OS
Flag this post
Resource-Efficient and Robust Inference of Deep and Bayesian Neural Networks on Embedded and Analog Computing Platforms
arxiv.org·2d
🎯Hindley-Milner
Flag this post
IntelliJ vs. Neovim: Yak Shaving
🔬Unikernels
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
💬Mach Messages
Flag this post
Async/Await is finally back in Zig
⚡Process Calculi
Flag this post
I created Open Source Kubernetes tool called Forkspacer to fork entire environments + dataplane, it is like git but for kubernetes.
⎈Kubernetes
Flag this post
Ask HN: Do professional photographers need hardware-level image authentication?
🔒Protocol Verification
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
🔬Static Analysis
Flag this post
Notes by djb on using Fil-C with Debian multiarch
❄️NixOS
Flag this post
Automated Anomaly Detection & Root Cause Analysis in Complex System Simulations via Adaptive Bayesian Networks
👁️System Observability
Flag this post
History of a Perfect Color Combination
📺Vintage Apple
Flag this post
Loading...Loading more...