🔒 Type Safety

Memory Safety, Rust Ownership, Linear Types, Resource Management

Uncovering the DNS Underbelly of UNC5174: The Shift from SNOWLIGHT to VShell
circleid.com·7h
📡DNS Archaeology
STH Hardware Upgrades 2025 Edition
servethehome.com·1d
🖥️Modern Terminals
Information modeling example: Call sheet
disruptivearchitecture.info·1d
🚚Data Migration
MakeShift: Security Analysis of Shimano Di2 Wireless Gear Shifting in Bicycles
usenix.org·11h·
Discuss: Hacker News
📼Cassette Networking
Coming to ISO C++ 26 Standard: An AI Acceleration Edge
thenewstack.io·5d·
Discuss: Hacker News
🔩Systems Programming
How I Doubled My Lookup Performance with a Bitwise Trick
maltsev.space·4d
🔢Bitwise Algorithms
Reversing Google's New VM-Based Integrity Protection: PairIP
blog.byterialab.com·4d·
Discuss: Hacker News
🌐WASI
Show HN: Open-source project that use LLM as deception system
news.ycombinator.com·6h·
Discuss: Hacker News
🕵️Vector Smuggling
Simplify serverless development with console to IDE and remote debugging for AWS Lambda
aws.amazon.com·2d
🌐WASI
GarageMinder: Automatic Garage Door
hackaday.com·15h
🏠Home Automation
GoXStream: My Go Stream Processing Side Project
reddit.com·12h·
Discuss: r/golang
🌊Streaming Systems
Usage Rules: Leveling the Playing Field for AI-Assisted Development
zachdaniel.dev·1d·
Discuss: Hacker News
⚡Proof Automation
Frequently Asked Questions about FHE
jeremykun.com·1d·
Discuss: Lobsters, Hacker News
🔐Homomorphic Encryption
Python Fundamentals: cassandra-driver
dev.to·1d·
Discuss: DEV
🔀CRDT
Thought Purity: Defense Paradigm For Chain-of-Thought Attack
arxiv.org·2d
🛡️Proof-Carrying Archives
Why do teams still prefer using Kyverno when K8s supports Validating Admission Policy since 1.30 ????
reddit.com·7h·
Discuss: r/kubernetes
❄️Nix Flakes
Reframing Software Development as a Spiritual Exercise
dev.to·8h·
Discuss: DEV
🧲Magnetic Philosophy
🛡️ Paladin-mini: Open-Source Grounding Model That Actually Works in Production
dev.to·2d·
Discuss: DEV
⚡Proof Automation
How to Develop a Web Application for 10K+ Users, Heavily Performing I/O-Bound Operations
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Machine Learning Fundamentals: dropout example
dev.to·1d·
Discuss: DEV
🌊Streaming Systems