📞 Session Types

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

Short Term vs Long Term Canary Credentials | Tracebit
tracebit.com·17h
🏺Kerberos Archaeology
Flag this post
Logseq to Obsidian
nithinbekal.com·1d
🏺Format Archaeology
Flag this post
Our latest commitments in AI and learning
blog.google·8h
🗺️Competency Maps
Flag this post
Val Town 2023-2025 Retrospective
macwright.com·17h
🚀Indie Hacking
Flag this post
InfoSec News Nuggets 11/11/2025
aboutdfir.com·2h
🔓Hacking
Flag this post
Control Is a Drug
psychotechnology.substack.com·20h·
Discuss: Substack
⬜Minimalism
Flag this post
OpenAI readies GPT-5.1 Thinking model ahead of Gemini 3 Pro
testingcatalog.com·2d·
Discuss: Hacker News
🔍Concolic Testing
Flag this post
Show HN: Pingu Unchained an Unrestricted LLM for High-Risk AI Security Research
pingu.audn.ai·3d·
Discuss: Hacker News
🏠Homelab Pentesting
Flag this post
Termix 1.8.0: SSH Client with Completely Revised Server Monitoring
heise.de·21h
📟Terminals
Flag this post
The social contract of open source
snarky.ca·1d·
Discuss: Hacker News
🔓Open Source Software
Flag this post
Giveaway Week 2025 winners announced!
cnx-software.com·8h
🔌Single Board PC
Flag this post
FFmpeg to Google: Fund Us or Stop Sending Bugs
thenewstack.io·1h
🔓Open Source Software
Flag this post
EU to replace cookie consent pop-ups with browser-based mechanism
cyberinsider.com·7h·
Discuss: Hacker News
🔤EBCDIC Privacy
Flag this post
ELA-1574-1 dcmtk security update
freexian.com·10h
🛡️eBPF Security
Flag this post
Repository Pattern in Golang: A Practical Guide
dev.to·4d·
Discuss: DEV
✅Format Verification
Flag this post
Tech With Tim: 7 Python Anti Patterns to Avoid
dev.to·21h·
Discuss: DEV
⚔️Lean Tactics
Flag this post
Modal dialogs without React (or JavaScript)
laktek.com·15h·
Discuss: Hacker News
🪟Awesome windows command-line
Flag this post
My AI-Powered Life as a Senior Software Engineer
dev.to·3h·
Discuss: DEV
🌀Brotli Internals
Flag this post
Agentic AI: How Autonomous AI Agents Will Transform Business Workflows
dev.to·2d·
Discuss: DEV
⚙️TLA+
Flag this post
IonQ's Q3: Inflection Is Near
seekingalpha.com·1d
🔍Information Retrieval
Flag this post