📞 Session Types

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

OpenAI launches powerful ChatGPT agent that automates complex tasks for Pro, Plus, and Team
the-decoder.com·6h
⚡Proof Automation
Secure Endpoint: Real Results in Efficacy, Simplicity, and Faster Detection
blogs.cisco.com·12h
🌐Network Security
Logical implication is a comparison operator
btdmaster.bearblog.dev·5h·
Discuss: Hacker News
🔲Proof Irrelevance
Thoughts on edent's 'We've got to stop sending files to each other'
neilzone.co.uk·9h
✅Document Verification
How TPMs Work and Why We Added Support in Bottlerocket
molnett.com·10h·
Discuss: Hacker News, r/linux
🔒Hardware Attestation
Code Execution Through Email: How I Used Claude to Hack Itself
pynt.io·17h·
Discuss: Hacker News
🔓Hacking
Why 1Password hasn't released an MCP server
blog.1password.com·23h·
Discuss: Hacker News
🔌Interface Evolution
Show HN: Kannel SMS gateway fork with WAP removed
sysadmin.lol·3d·
Discuss: Hacker News
🔌Interface Evolution
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·3d
🧠Computational Logic
Reversing Google's New VM-Based Integrity Protection: PairIP
blog.byterialab.com·2d·
Discuss: Hacker News
🌐WASI
Future-Proof Programming Languages
log.schemescape.com·3d·
Discuss: Hacker News
💻programming languages
All the wrong ways to think about AI customer support
mux.com·1d·
Discuss: Hacker News
🏠Homelab Automation
[P] Cogency – ReAct agents in 3 lines, out of the box (Python OSS)
reddit.com·2h·
Discuss: r/MachineLearning
🌀Brotli Internals
The power of the Unix philosophy for LLM agentic tools
blog.korny.info·11h·
Discuss: Hacker News
🐚Shell Calculus
The Order of Things: Why You Can't Have Both Speed and Ordering in Distributed Systems
architecture-weekly.com·3d·
Discuss: Hacker News, r/programming
🗄️PostgreSQL WAL
The Fundamental Failure-Mode Theorem: Systems lie about their proper functioning
devblogs.microsoft.com·1d·
Discuss: Hacker News
💾Persistence Strategies
Agent Memory with Spring AI & Redis
dev.to·1d·
Discuss: DEV
⚡Redis Internals
Protocols for Verifying Smooth Strategies in Bandits and Games
arxiv.org·1d
🎯Performance Proofs
SmartDocs AI - Intelligent Documentation Search with Algolia MCP Server
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Let's Think in Two Steps: Mitigating Agreement Bias in MLLMs with Self-Grounded Verification
arxiv.org·20h
📏Linear Logic