PostgreSQL Aggregation Processing Speed
blog.kagamino.dev·5h·
Discuss: Hacker News
📋JSON Parsing
Why We Created Turso, a Rust-Based Rewrite of SQLite
thenewstack.io·6h
💾Minimal Databases
How we trained an ML model to detect DLL hijacking
securelist.com·13h
🏷️Memory Tagging
Hilbert: Recursively Building Formal Proofs with Informal Reasoning
machinelearning.apple.com·4d
📜Proof Languages
How Much Should You Tell Your AI Agent?
raymondyxu.com·1d·
Discuss: Hacker News
💬Interactive REPLs
Claude Code sucks but is still useful: experiences maintaining Julia’s SciML scientific computing infrastructure
stochasticlifestyle.com·15h
🌳Tree Shaking
Understanding HSTS: The Backbone of Modern Web Security
hackernoon.com·18h
🌐Network Protocols
Dinner Plans & Distributed Systems : A Fun Guide to Consensus
dev.to·2d·
Discuss: DEV
🤝Session Protocols
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·17h·
Discuss: DEV
🌳Pattern Match Compilation
Are there any parameter level WAF firewalls? Preferably open source.
reddit.com·2d·
Discuss: r/cybersecurity
🛡️Parser Security
Q-Learning with Shift-Aware Upper Confidence Bound in Non-Stationary Reinforcement Learning
arxiv.org·17h
⚡Partial Evaluation
nfc-laboratory: NFC signal and protocol analyzer using SDR receiver
github.com·7h·
Discuss: Lobsters, Hacker News
🌐Network Protocols
LLMs one-box when in a "hostile telepath" version of Newcomb's Paradox, except for the one that beat the predictor
lesswrong.com·12h
✅Type Checking
Creating a sandbox to test/learn pfSense and other tools without disrupting household internet
reddit.com·1d·
Discuss: r/homelab
🔐Capability Protocols
Tinfoil Chat – Onion-routed, endpoint secure messaging system
github.com·2d·
Discuss: Hacker News
🛡️Security Type Systems
Node.js Streams in Production
dev.to·14h·
Discuss: DEV
📋JSON Parsers
# Building Production-Ready LLM Applications: Introducing llama-app-generator
dev.to·3h·
Discuss: DEV
📋Tablegen
Bridging the Prediction Error Method and Subspace Identification: A Weighted Null Space Fitting Method
arxiv.org·17h
📡Async Channels
Real-Time Server Monitoring with Go and WebSockets
dev.to·5h·
Discuss: DEV
🌍HTTP Servers
Building High-Performance TCP Servers in Go: Custom Binary Protocols for Ultra-Low Latency Applications
dev.to·4d·
Discuss: DEV
🌍HTTP Servers