🔒 Type Safety

Memory Safety, Rust Ownership, Linear Types, Resource Management

Notes from RIPE 91
blog.apnic.net·1d
🌐DNS over QUIC
Flag this post
Swift 6.2: Observations
mjtsai.com·13h
🔄Lens Laws
Flag this post
Your AI Models Aren’t Slow, but Your Data Pipeline Might Be
thenewstack.io·12h
🌊Streaming Systems
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
I built an faster Notion in Rust
imedadel.com·3d·
Discuss: Lobsters, Hacker News, r/rust
🦀Rust Macros
Flag this post
ArkRegex: A drop in replacement for new RegExp() with types
arktype.io·3d·
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
Show HN: Mach, a new systems language that focuses on being simple and explicit
github.com·13h·
Discuss: Hacker News
🧠Lisp Dialects
Flag this post
A hitchhiker's guide to CUDA programming
seanzhang.me·1d·
Discuss: Hacker News
⚡SIMD Vectorization
Flag this post
Notes by djb on using Fil-C with Debian multiarch
cr.yp.to·1d·
Discuss: Hacker News
🐚Bash Monads
Flag this post
Rdza – Rust Programming, in Polish
github.com·20h·
Discuss: Hacker News
🦀Rust Macros
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
A portable picokernel for async I/O
ryansepassi.com·3h·
Discuss: Hacker News
🔩Systems Programming
Flag this post
Unvanquished now cross-compiles Linux macOS and Windows from Debian Docker image
unvanquished.net·1d·
Discuss: Hacker News
🕸️WASM Archives
Flag this post
Your Transformer is Secretly an EOT Solver
elonlit.com·1d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Flag this post
Show HN: sjl – Simple JSON Logger for Rust
github.com·1d·
Discuss: Hacker News
🔐CBOR
Flag this post
Minimal Sufficiency: A Principle ‘Similar’ to End-to-End
cacm.acm.org·12h·
Discuss: Hacker News
🔗Network Calculi
Flag this post
Show HN: Farseer, rust rewrite of prophet with some extra goodies
ryanbieber.github.io·2h·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.org·1d
📝Log Parsing
Flag this post
Mr. Bones: A Pirate-Voiced Halloween Chatbot Powered by Docker Model Runner
docker.com·18h
🎙️Whisper
Flag this post