🔒 Type Safety

Memory Safety, Rust Ownership, Linear Types, Resource Management

Advanced Threat Protection (ATP): An Ultimate Guide for Modern SOCs
vmray.com·1d
🛡️eBPF Security
Flag this post
CharlotteOS – An Experimental Modern Operating System
github.com·9h·
Discuss: Hacker News
🍎XNU Internals
Flag this post
Technology Short Take 189
blog.scottlowe.org·1d
🏠Homelab Archaeology
Flag this post
Quantum-Resistant Federated Learning with Lattice-Based Homomorphic Encryption for Edge AI Systems
dev.to·1d·
Discuss: DEV
🔐Homomorphic Encryption
Flag this post
I built an faster Notion in Rust
imedadel.com·4d·
Discuss: Lobsters, Hacker News, r/rust
🦀Rust Macros
Flag this post
ArkRegex: A drop in replacement for new RegExp() with types
arktype.io·4d·
Discuss: Hacker News, r/javascript, r/node, r/programming, r/typescript
✅Format Verification
Flag this post
GHC Developer Blog: GHC 9.14.1-rc1 is now available
haskell.org·2d
🔗Functional Compilers
Flag this post
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.com·1d·
Discuss: Hacker News, r/programming
🦀Rust Macros
Flag this post
Loro Protocol: a wire protocol designed for real-time CRDT sync
loro.dev·3h·
Discuss: Hacker News
🌐WebSocket Framing
Flag this post
Beyond Brute Force: 4 Secrets to Smaller, Smarter, and Dramatically Cheaper AI
hackernoon.com·7h
🕵️Vector Smuggling
Flag this post
Notes by djb on using Fil-C with Debian multiarch
cr.yp.to·2d·
Discuss: Hacker News
🐚Bash Monads
Flag this post
to transaction or not to transaction
reddit.com·2h·
Discuss: r/golang
💾Persistence Strategies
Flag this post
The Python Coding Stack: And Now You Know Your ABC
thepythoncodingstack.com·9h
⚡Effectful Programming
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.com·1d·
Discuss: Hacker News
🎯Gradual Typing
Flag this post
Rdza – Rust Programming, in Polish
github.com·1d·
Discuss: Hacker News
🦀Rust Macros
Flag this post
A hitchhiker's guide to CUDA programming
seanzhang.me·2d·
Discuss: Hacker News
⚡SIMD Vectorization
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
github.com·1d·
Discuss: Hacker News
🧠Lisp Dialects
Flag this post
Superhuman AI for Multiplayer Poker
science.org·38m·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
I created Open Source Kubernetes tool called Forkspacer to fork entire environments + dataplane, it is like git but for kubernetes.
reddit.com·12h·
Discuss: r/kubernetes
❄️Nix Flakes
Flag this post
Unvanquished now cross-compiles Linux macOS and Windows from Debian Docker image
unvanquished.net·2d·
Discuss: Hacker News
🕸️WASM Archives
Flag this post