Free PLTL algebras and a coalgebraic extension of hyperdoctrines
topos.institute·1d
🧮Algebraic Archives
BBR Powers Google, YouTube, Spotify, Netflix
blog.aarjun.tech·8h·
Discuss: Hacker News
📞WebRTC
Metasploit Wrap Up 10/09/2025
rapid7.com·4d
🛡️eBPF Security
Dev Services for Spring Boot Using Arconia
thomasvitale.com·2d·
Discuss: Hacker News
🔌Archive APIs
I Built an AI Flood Forecasting System with Next.js 15 &
future.forem.com·1d·
Discuss: DEV
🌊Streaming Systems
Legend-state: High performance state and local first sync
legendapp.com·3d·
Discuss: Hacker News
🌊Streaming Systems
Why Nix Will Win (and What's Stopping It): A 3-Year Production Story
ryanrasti.com·4d·
Discuss: Hacker News, Hacker News
❄️Nix Adoption
ReactOS Making Progress On Windows WDDM Driver Support
phoronix.com·13h
🕸️WASM Archives
Show HN: Tabsdata – Pub/Sub for Tables to Replace ETL Pipelines
news.ycombinator.com·8h·
Discuss: Hacker News
🚚Data Migration
Cold Calculation
kae3g.codeberg.page·2d·
Discuss: Hacker News
⚡Incremental Computation
Prompting Test-Time Scaling Is A Strong LLM Reasoning Data Augmentation
arxiv.org·19h
📏Linear Logic
Logits Replay + MoClip: Stabilized, Low-Cost Post-Training with Minimal Forgetting
arxiv.org·19h
💻Local LLMs
On Estimation of Angles of Arrival in Monostatic ISAC Without Instantaneous Transmit CSI
arxiv.org·19h
ℹ️Information Theory
Whose Ops is it Anyway? How IDPs, AI and Security are Evolving Developer Culture
devops.com·4d
❄️Nix Adoption
Master Web Fuzzing: A Cheat‑Sheet to Finding Hidden Paths
infosecwriteups.com·15h
🧪Binary Fuzzing
Applied Materials preps for 'Angstrom Era' in chipmaking — spearheaded by its new Kinex, Xtera, and PROVision 10 systems
tomshardware.com·1d
⚡Nordic Processors
GNN Predictions: Hidden Bugs and the Verification Nightmare by Arvind Sundararajan
dev.to·3d·
Discuss: DEV
⚙️Proof Engineering
How I provide technical clarity to non-technical leaders
seangoedecke.com·1d·
Discuss: Hacker News
⚙️Proof Engineering
Run n8n for Free in Production - Full Guide
dev.to·1d·
Discuss: DEV
⚙️Batch Processing
Real-Time Anomaly Attribution via Hybrid Graph Neural Network & Causal Inference
dev.to·4d·
Discuss: DEV
🔍Vector Forensics