📞 Session Types

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

OpenAI kills “short-lived experiment” where ChatGPT chats could be found on Google
malwarebytes.com·1h
📰RSS Reading Practices
How Microsoft defends against indirect prompt injection attacks
msrc.microsoft.com·3d
🔓LDAP Injection
Postgres 18 beta2: large server, sysbench
smalldatum.blogspot.com·2d·
Discuss: smalldatum.blogspot.com
⚡Performance Tools
Is Pydantic as safe as it is popular?
nocomplexity.substack.com·3d·
Discuss: Substack
🧪Binary Fuzzing
A local, portable, single-file web server in C
macrobean.site·2d·
Discuss: Hacker News
🕸️WebAssembly
Cheating on Quantum Computing Benchmarks
schneier.com·1d·
Discuss: Hacker News
⚛️Quantum Tape
A Retrospective on Paradigms of AI Programming (2002)
norvig.com·4d·
Discuss: Hacker News
🔗Lisp
A Friendly Guide to Session Management, Cookies, and Authentication
infosecwriteups.com·3d
🛡️Security Headers
Speed Is the Killer Feature
bdickason.com·1d·
Discuss: Hacker News
🖥️Modern Terminals
HIRE A LEGITIMATE RECOVERY CONSULTANT FOR CRYPTO AND ASSETS RECOVERY - META TECH RECOVERY PRO
dev.to·1d·
Discuss: DEV
🧬PostgreSQL Forensics
Industrial control systems: Updates close malware loopholes
heise.de·2d
🔐Systems Hardening
The Most Beautiful Data Structures (and How to Try Them Locally)
dev.to·5d·
Discuss: DEV
🌳Huffman Trees
Backend Is Harder Than Frontend
dev.to·23h·
Discuss: DEV
🔗Hypermedia APIs
Is the cloud the wrong place for AI?
techradar.com·1d
🖥️Self-hosted Infrastructure
Why 2025 Is the Year of the Developer-Creator
dev.to·4h·
Discuss: DEV
🚀Indie Hacking
Vulnerability Mitigation System (VMS): LLM Agent and Evaluation Framework for Autonomous Penetration Testing
arxiv.org·2d
🛡️WASM Sandboxing
Optimizing enterprise AI assistants: How Crypto.com uses LLM reasoning and feedback for enhanced efficiency
aws.amazon.com·3d
✨Effect Handlers
Planning My First Homelab Server (NAS, Media, VMs, Docker) – Need Advice on Older but Efficient hardware
reddit.com·1h·
Discuss: r/homelab
🏠HomeLab
When no one shows up (at first): Navigating the uncertainties of participatory workshops in interdisciplinary research
arxiv.org·12h
🏛Digital humanities
AWS Serverless implementation of all of the OpenAI API documentation examples
github.com·2d·
Discuss: Hacker News
🔌Archive APIs