Notes from AusNOG 2025
blog.apnic.net·6h
🕸️Mesh Networking
Calculus Made Easy by Silvanus P. Thompson
calculusmadeeasy.org·1d·
Discuss: Hacker News
📐Document Calculus
Folks, we have the best π
lcamtuf.substack.com·19m·
Discuss: Substack
📐Mathematical Art
A New Method for Estimating P2P Network Size
eli.sohl.com·2d·
Discuss: Hacker News
📊Count-Min Sketch
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·9h·
🧮Z3 Solver
Engineers Bring Quantum Internet to Commercial Fiber for the First Time
scitechdaily.com·4h
⚛️Quantum Codecs
Physics-Defying Marketing: Review of a Misleading Vendor Article, and a VNA Calibration Primer
niconiconi.neocities.org·12h
⚙️Cassette Mechanics
built fasterpc bc i was frustrated with the usual distributed service comms, no more rest apis, or heavy MQs
github.com·9h
gRPC
Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
arxiv.org·3h
🎯Performance Proofs
Automated DSL Optimization for Spiking Neural Network Hardware Synthesis
dev.to·1d·
Discuss: DEV
🧠Neural Codecs
The Security Challenges of HTTP/3 and QUIC – What You Need to Know
medium.com·15h·
Discuss: Hacker News
🌐Network Protocols
Disaggregated Inference at Scale with PyTorch and VLLM
pytorch.org·1d·
Discuss: Hacker News
LZ4 Streaming
Where did DNSSEC go wrong?
blog.apnic.net·13h·
Discuss: Hacker News
🌐DNS Security
Call Center Staffing Calculator
callcentercalculator.com·2d·
Discuss: Hacker News
Format Verification
Project: Pi Stats
connortumbleson.com·4h
🕵️Domain Enumeration
Redundancy
reddit.com·9h·
Discuss: r/homelab
🏠Homelab Federation
The hidden trade-offs of fine-grained progressive rollouts
surfingcomplexity.blog·1d·
Discuss: Hacker News
🌊Stream Processing
LAVa: Layer-wise KV Cache Eviction with Dynamic Budget Allocation
arxiv.org·3h
💻Local LLMs
The Infrastructure Physics Problem Behind AI’s Data Center Crisis
telecomramblings.com·2d
🌊Stream Processing