🔒 Type Safety

Memory Safety, Rust Ownership, Linear Types, Resource Management

Fitment is Solved. The Next Million-Dollar Problem is Ranking.
shaped.ai·1d
🔗Topological Sorting
Make any website load faster with 6 lines of HTML
docuseal.com·1d·
Discuss: Hacker News, r/webdev
🌐Web Standards
Proximity Audio/Video Technology
thegamer.com·23h·
Discuss: Hacker News
🏺Gaming Archaeology
When Memcpy Betrays You: A Lesson in Overlapping Buffers and Ancient Toolchains
blog.mycal.net·6d·
Discuss: Hacker News
🧠Separation Logic
Thoughts on an open source deployment platform?
zeitwork.com·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Aoostar WRT Max - great specs, shit quality
youtu.be·1d·
Discuss: r/homelab
🌡️Preservation Entropy
Inside TSMC, the $1 Trillion Ghost Foundry Behind Nvidia's Crown
howardyu.substack.com·1d·
Discuss: Substack
🖥️Terminal Renaissance
How Runtime Hardening Enforces AI, Cloud Native Security
thenewstack.io·4d
🛡️eBPF Security
Why the Uber Rich Are Rushing Into Tokenised Assets — And What It Means for You
hackernoon.com·1d
🔍BitFunnel
Car theft with transponder: Mercedes, Porsche escape class action lawsuit
heise.de·23h
📜Proof Carrying Code
Comparing Normalizing Flows with Kernel Density Estimation in Estimating Risk of Automated Driving Systems
arxiv.org·2d
🧠Machine Learning
Linux's Lockdown LSM Back To Being Maintained For Restricted Computing
phoronix.com·1d
🔍eBPF
Reverse engineering some updates to Claude
simonwillison.net·1d
🏺ZIP Archaeology
Understanding the KNN Algorithm: Finding Your Nearest Neighbors
dev.to·4h·
Discuss: DEV
🗂️Vector Search
Charting the Course: Future Innovations for NFT Marketplace dApp
hackernoon.com·2d
🌊Streaming Systems
FGFP: A Fractional Gaussian Filter and Pruning for Deep Neural Networks Compression
arxiv.org·2d
📊Quantization
Security Tensors as a Cross-Modal Bridge: Extending Text-Aligned Safety to Vision in LVLM
arxiv.org·4d
🤖Advanced OCR
The Double-Edged Sword of AI in Software Engineering: Balancing Power and Peril
dev.to·1d·
Discuss: DEV
📏Code Metrics
(1) Fitting hierarchical models in genetics, (2) A Stan model that runs faster with with 400,000 latent parameters, (3) Super-scalable penalized maximum likelih...
statmodeling.stat.columbia.edu·1d
🧮Kolmogorov Complexity
Invisible Architectures of Thought: Toward a New Science of AI as Cognitive Infrastructure
arxiv.org·1d
🌍Cultural Algorithms