📞 Session Types

Protocol Safety, Communication Correctness, Type-driven Development, Concurrency

Discretizing and quantizing neural nets
danmackinlay.name·2d
📊Quantization
Analysis: How SEO/AI Spam Got Onto a Government Domain & More
goughlui.com·8h
🌐WARC Forensics
ToolShell: Remote Code Execution in Microsoft SharePoint (CVE-2025-53770)
lab.wallarm.com·1d
🌐WASI
Monotonic and Wall Clock Time in the Go time package
victoriametrics.com·2d·
Discuss: Hacker News
🎯Emulator Accuracy
RFC 9773: Acme Renewal Information (ARI) Extension
datatracker.ietf.org·2d·
Discuss: Lobsters, Hacker News
📋Format Specification
Fixing Auth for Personal AI Agents
vivekhaldar.com·18h·
Discuss: Hacker News
🏠Homelab Automation
Ask HN: Why can't database files be safely synchronized, can we ever get there?
news.ycombinator.com·2d·
Discuss: Hacker News
📲syncthing
Reverse engineering GitHub Actions cache to make it fast
blacksmith.sh·3d·
Discuss: Hacker News
🏎️Varnish Cache
Why I Do Programming
esafev.com·1d·
Discuss: Hacker News
🔩Systems Programming
The Custom Tenant Code Nightmare (and How to Wake Up)
eloquentarchitecture.com·5d·
Discuss: Hacker News
🔌Interface Evolution
When to use model distillation in production
inference.net·2d·
Discuss: Hacker News
💻Local LLMs
How Top Startups Are Launching Tokens Faster With These Development Services
dev.to·1d·
Discuss: DEV
🔗Blockchain Archives
Modern Data Warehousing: Principles, Design, and Best Practices
dev.to·1d·
Discuss: DEV
🗄️Database Internals
Multimodal Fusion via Hypergraph Autoencoder and Contrastive Learning for Emotion Recognition in Conversation
arxiv.org·2d
🎙️Whisper
AI Can Verify Your ID in Seconds — Here’s How It Works
hackernoon.com·2d
🤖Archive Automation
Towards Microgrid Resilience Enhancement via Mobile Power Sources and Repair Crews: A Multi-Agent Reinforcement Learning Approach
arxiv.org·2d
🤝Consensus Networks
thinking to go with a cheaper alt to wiz, what y'all think?
reddit.com·3d·
Discuss: r/kubernetes
🔍eBPF
Forget prompt engineering. Context is the new compute
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
SnippetSearch: Code Snippets Discovery Engine for Developers
dev.to·1d·
Discuss: DEV
🔍BitFunnel
Tabular Diffusion based Actionable Counterfactual Explanations for Network Intrusion Detection
arxiv.org·3d
🧠Machine Learning