🔒 Type Safety

Memory Safety, Rust Ownership, Linear Types, Resource Management

Joy & Curiosity #60
registerspill.thorstenball.com·1d
🎯Content Recommendation
Flag this post
Programming for Computations: Matlab/Octave
link.springer.com·6h·
Discuss: Hacker News
📐Error Bounds
Flag this post
kadena-io/pact-5
github.com·10h
🔓Open Source Software
Flag this post
Let Hypothesis Break Your Python Code Before Your Users Do
towardsdatascience.com·2d
🧪Property-Based Testing
Flag this post
Yes, you should understand backprop (2016)
karpathy.medium.com·1d·
Discuss: Hacker News
🧠Learned Codecs
Flag this post
Per-request isolation in TinyKVM explained
fwsgonzo.medium.com·3d·
Discuss: Hacker News
🌊Streaming Systems
Flag this post
GHC Developer Blog: GHC 9.14.1-rc1 is now available
haskell.org·4d
🔗Functional Compilers
Flag this post
The Hardest Bug to Fix Is Ambiguity
dev.to·6h·
Discuss: DEV
⚖️Hoare Logic
Flag this post
The Collapse of Centralized AI Discovery
aivojournal.org·4h·
Discuss: Hacker News
🎯Threat Hunting
Flag this post
Reasoning Models Sometimes Output Illegible Chains of Thought
arxiv.org·6h
🧠Intelligence Compression
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
🚀 Go Faster: Cutting the Slack in GC with Smart Memory Allocation
dev.to·5d·
Discuss: DEV
🧠Memory Allocators
Flag this post
Pushing Python to 20,000 Requests Sent/Second
dev.to·8h·
Discuss: DEV
🌊Stream Processing
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·3d·
Discuss: Hacker News
🦀Rust Macros
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·14h·
Discuss: DEV
⚖️Feed Ranking
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
Robust Control Synthesis via Persistent Homology-Guided Network Pruning
dev.to·18h·
Discuss: DEV
🌐Computational Topology
Flag this post
Ehxb | Path Traversal Vulnerabilities
infosecwriteups.com·2h
💣ZIP Vulnerabilities
Flag this post