Why We Created Turso, a Rust-Based Rewrite of SQLite
thenewstack.io·1h
💾Minimal Databases
Notes from building a “who is doing what right now on our website?” presence feature with Action Cable
island94.org·1h
⚡Live Coding
How we trained an ML model to detect DLL hijacking
securelist.com·8h
🏷️Memory Tagging
Public Key Infrastructure with Secure Shell
free-pmx.org·1d·
Discuss: r/homelab
🔐Capability Protocols
Hilbert: Recursively Building Formal Proofs with Informal Reasoning
machinelearning.apple.com·4d
📜Proof Languages
Claude Code sucks but is still useful: experiences maintaining Julia’s SciML scientific computing infrastructure
stochasticlifestyle.com·9h
🌳Tree Shaking
nfc-laboratory: NFC signal and protocol analyzer using SDR receiver
github.com·1h·
Discuss: Lobsters, Hacker News
🌐Network Protocols
Index-mcp native Rust
github.com·3h·
Discuss: r/rust
🚂Cranelift Backend
Tinfoil Chat – Onion-routed, endpoint secure messaging system
github.com·2d·
Discuss: Hacker News
🛡️Security Type Systems
Understanding RS256: A Deep Dive into Asymmetric Encryption
dev.to·2d·
Discuss: DEV
🔗Hash Functions
Unlocking Uniqueness: Mastering the Unique Character Algorithm in Go
dev.to·35m·
Discuss: DEV
🌿Trie Variants
expressjs/express
github.com·14h
🔮Metacircular Evaluators
The Stack Unpacked Episode 4: to Query or Not to Query
dev.to·3h·
Discuss: DEV
🗄️Database Engines
The Ultimate Guide to Building Real-Time Apps with SignalR
dev.to·2d·
Discuss: DEV
🔗Concurrency Primitives
Beyond the Proxy: Building a Secure, Observable Serverless API with Amazon API Gateway
dev.to·21h·
Discuss: DEV
📡Network Serialization
Creating a sandbox to test/learn pfSense and other tools without disrupting household internet
reddit.com·1d·
Discuss: r/homelab
🔐Capability Protocols
🔐Back to the Roots: Nostalgic Journey to University CTF Battles of the Early 2010s
dev.to·11h·
Discuss: DEV
🛡️Security Type Systems
The AI Agent Onboarding Problem (The Real Version)
dev.to·6h·
Discuss: DEV
🎯Finite Automata
Adaptive Social Navigation via Hierarchical Reinforcement Learning with Probabilistic Interaction Models
dev.to·4h·
Discuss: DEV
🚶Tree-walking
CPU Cache-Friendly Data Structures in Go: 10x Speed with Same Algorithm
skoredin.pro·9h·
Discuss: Hacker News
⚡Cache Optimization