🔒 Type Safety

Memory Safety, Rust Ownership, Linear Types, Resource Management

The Python Coding Stack: And Now You Know Your ABC
thepythoncodingstack.com·14h
⚡Effectful Programming
Flag this post
Kimi Linear: An Expressive, Efficient Attention Architecture
arxiviq.substack.com·4h·
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
Superhuman AI for Multiplayer Poker
science.org·5h·
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·17h·
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
Show HN: sjl – Simple JSON Logger for Rust
github.com·2d·
Discuss: Hacker News
🔐CBOR
Flag this post
Show HN: Farseer, rust rewrite of prophet with some extra goodies
ryanbieber.github.io·22h·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Minimal Sufficiency: A Principle ‘Similar’ to End-to-End
cacm.acm.org·1d·
Discuss: Hacker News
🔗Network Calculi
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.org·1d
📝Log Parsing
Flag this post
Tik Tok saved $300000 per year in computing costs by having an intern partially rewrite a microservice in Rust.
linkedin.com·2d·
Discuss: r/programming
🔩Systems Programming
Flag this post
Digest #186: Inside the AWS Outage, Docker Compose in Production, F1 Hacks and 86,000 npm Packages Attacks
devopsbulletin.com·17h
❄️Nix Adoption
Flag this post
A portable picokernel for async I/O
ryansepassi.com·1d·
Discuss: Hacker News
🔩Systems Programming
Flag this post
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.com·2d·
Discuss: Hacker News, r/programming
🦀Rust Macros
Flag this post
Building Spokane Tech: Part 9
dev.to·1d·
Discuss: DEV
📦Container Security
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·3h·
Discuss: DEV
🗜️LZW Variants
Flag this post
Org Mode as Architecture Notebook
blog.wilcoxd.com·1d·
Discuss: Hacker News
🔩Systems Programming
Flag this post
Your Transformer is Secretly an EOT Solver
elonlit.com·1d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·1d·
Discuss: Hacker News
🔨Compilers
Flag this post
Fixing Type Hints for Callable Objects with Custom Signatures in Dagster
dev.to·4d·
Discuss: DEV
🦀Rust Verification
Flag this post