🔒 Type Safety

Memory Safety, Rust Ownership, Linear Types, Resource Management

On This Dayin Math - November 2
pballew.blogspot.com·11h·
Discuss: www.blogger.com
⚙️Proof Engineering
Flag this post
My slightly cobbled together but freshly tidied mini home lab
reddit.com·22h·
Discuss: r/homelab
🖥Home Lab Setup
Flag this post
TinyML is the most impressive piece of software you can run on any ESP32
xda-developers.com·2d
📊Quantization
Flag this post
Loro Protocol: a wire protocol designed for real-time CRDT sync
loro.dev·21h·
Discuss: Hacker News
🌐WebSocket Framing
Flag this post
to transaction or not to transaction
reddit.com·20h·
Discuss: r/golang
💾Persistence Strategies
Flag this post
Notes by djb on using Fil-C with Debian multiarch
cr.yp.to·2d·
Discuss: Lobsters, Hacker News, Hacker News
🐚Bash Monads
Flag this post
Rdza – Rust Programming, in Polish
github.com·2d·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Debian’s APT Package Manager to Integrate Rust Code by May 2026
linuxiac.com·18h·
Discuss: r/linux
🦀Rust Borrowing
Flag this post
Kimi Linear: An Expressive, Efficient Attention Architecture
arxiviq.substack.com·17h·
Discuss: Substack
🧠Machine Learning
Flag this post
A hitchhiker's guide to CUDA programming
seanzhang.me·2d·
Discuss: Hacker News
⚡SIMD Vectorization
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.com·2d·
Discuss: Hacker News
🎯Gradual Typing
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
I created Open Source Kubernetes tool called Forkspacer to fork entire environments + dataplane, it is like git but for kubernetes.
reddit.com·1d·
Discuss: r/kubernetes
❄️Nix Flakes
Flag this post
Async/Await is finally back in Zig
charlesfonseca.substack.com·1d·
Discuss: Substack
🌊Stream Processing
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·8h·
Discuss: DEV
🎯Dependent Types
Flag this post
Show HN: sjl – Simple JSON Logger for Rust
github.com·2d·
Discuss: Hacker News
🔐CBOR
Flag this post
Learning to program "recycles" preexisting F-P pop codes of logical algorithms
jneurosci.org·2h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Unvanquished now cross-compiles Linux macOS and Windows from Debian Docker image
unvanquished.net·3d·
Discuss: Hacker News
🕸️WASM Archives
Flag this post
The ZeroAccess Developer and His Windows Kernel-Mode Debugger
r136a1.dev·1h·
Discuss: Hacker News
🛡️eBPF Security
Flag this post
Building a Full-Stack Stats Utility App with Node, React, Rust, and Python
dev.to·7h·
Discuss: DEV
🌊Stream Processing
Flag this post