📞 Session Types

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

How to prevent spam accounts: 8 key techniques
fingerprint.com·6h
🎯Threat Hunting
Compromised npm package threatens developer projects
reversinglabs.com·1d
📦Package Managers
US feds crack down on Russian cryptocurrency exchange Garantex
metacurity.com·8h
🎫Kerberos Attacks
Controversial quantum-computing paper gets hefty correction — but concerns linger
nature.com·1d
⚛️Quantum Tape
What's Left for Frontend Engineers?
unplannedobsolescence.com·3d·
Discuss: Lobsters
📰RSS Archaeology
For Some Patients, the ‘Inner Voice’ May Soon Be Audible
nytimes.com·1d·
Discuss: Hacker News
👂Audio Evidence
Database.news – curated list of database news from authoritative sources
database.news·4d·
Discuss: Lobsters, Hacker News
🦴Database Paleontology
I've reviewed one hundred 3D printers — these are the best features that have become non-negotiable
tomshardware.com·10h
🖥️Modern Terminals
Is your Open-Source project's traction real or noise?
news.ycombinator.com·1d·
Discuss: Hacker News
🔓Open Source Software
Patches Posted For Raspberry Pi 5 Ethernet With The Upstream Linux Kernel
phoronix.com·4h
🔌Single Board PC
Sentry Adds Tool for Monitoring MCP Servers to APM Platform
devops.com·1d
👁️Observatory Systems
Python 3.14 Release Candidate Lands: Faster Code, Smarter Concurrency
realpython.com·4d
🌀Brotli Internals
Downgrade Attack Allows Phishing Kits to Bypass FIDO
darkreading.com·1d
🔓Hacking
Building an Agentic RAG Workflow in n8n (Step-by-Step Guide)
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Automated Assessment of Turbine Blade Erosion using Multi-Modal Data Fusion & Deep Learning
dev.to·1d·
Discuss: DEV
🏺Computational Archaeology
Building Modern Proxmox Infrastructures in 2025: Automated, Scalable, and Open for Everyone
gyptazy.com·4d
🔗Proxmox Clustering
3D Microfluidic Structures via Selectively-Patterned ALD: A Scalable Fabrication Protocol
dev.to·6h·
Discuss: DEV
🔧Cassette Engineering
TeamMedAgents: Enhancing Medical Decision-Making of LLMs Through Structured Teamwork
arxiv.org·3d
🔲Cellular Automata
Ethics2vec: aligning automatic agents and human preferences
arxiv.org·3d
🤖AI Curation
Touch Speaks, Sound Feels: A Multimodal Approach to Affective and Social Touch from Robots to Humans
arxiv.org·3d
✋Tactile Computing