🔒 Type Safety

Memory Safety, Rust Ownership, Linear Types, Resource Management

Rust Coreutils 0.3.0: Up to 3.7x Faster Than GNU Tools
heise.de·6d
🦀Rust Macros
Flag this post
Three Realisms and The Idea of Sheaves
youtube.com·3d
🧮Theoretical Computer Science
Flag this post
Using the expand and contract pattern for schema changes
prisma.io·2d·
Discuss: Hacker News
🔄Schema Evolution
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock – Part 1
aws.amazon.com·2d
⚡Proof Automation
Flag this post
ArkRegex: A drop in replacement for new RegExp() with types
arktype.io·5d·
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·4d
🔗Functional Compilers
Flag this post
A Deep Dive into Gorm: Architecture, Workflow, Tips, and Troubleshooting for Go’
dev.to·17h·
Discuss: DEV
💾SQLite
Flag this post
Notes by djb on using Fil-C with Debian multiarch
cr.yp.to·3d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🐚Bash Monads
Flag this post
Dynamic Resource Allocation in CXL-Enabled Heterogeneous Compute Clusters
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Flag this post
to transaction or not to transaction
reddit.com·1d·
Discuss: r/golang
💾Persistence Strategies
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.com·3d·
Discuss: Hacker News
🎯Gradual Typing
Flag this post
Rdza – Rust Programming, in Polish
github.com·2d·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Building Yantra: A Visual Workflow Automation Engine
patali.dev·1h·
Discuss: Hacker News
🌊Stream Processing
Flag this post
Debian’s APT Package Manager to Integrate Rust Code by May 2026
linuxiac.com·1d·
Discuss: r/linux
🦀Rust Borrowing
Flag this post
THE LEAN MEAN MEME MACHINE
dev.to·7h·
Discuss: DEV
⚖️Feed Ranking
Flag this post
Kimi Linear: An Expressive, Efficient Attention Architecture
arxiviq.substack.com·1d·
Discuss: Substack
🧠Machine Learning
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
github.com·2d·
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
Robust Control Synthesis via Persistent Homology-Guided Network Pruning
dev.to·11h·
Discuss: DEV
🌐Computational Topology
Flag this post