📞 Session Types

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

Declarative HTML Binding in Only 20 Lines of Code! (and Signals) | That HTML Blog
thathtml.blog·3d
🦀Rust Macros
We Keep Reinventing CSS, but Styling Was Never the Problem
denodell.com·2d·
Discuss: Hacker News
🦋Format Metamorphosis
OpenSSH Post-Quantum Cryptography
openssh.com·3d·
Discuss: Lobsters, Hacker News, r/linux
🔐Quantum Security
AI Is Forgetting Everything – and It's Killing You
amirkabbara.substack.com·3h·
Discuss: Substack
🌍Cultural Algorithms
40 years of Windows: How Windows 7 cleansed the sins of Vista
tomshardware.com·13h
🧲RISC-V Archaeology
Microsoft Patch Tuesday, August 2025 Edition
krebsonsecurity.com·2d·
Discuss: Hacker News
🎫Kerberos Exploitation
Why it’s a mistake to ask chatbots about their mistakes
arstechnica.com·2d·
Discuss: Hacker News, r/LocalLLaMA
🎙️Whisper
Assessing Engineering Student Perceptions of Introductory CS Courses in an Indian Context
arxiv.org·2d
💻CS
TensorFlow Graph Optimization With Grappler
hackernoon.com·2d
✨Effect Handlers
Beyond Prompt-Induced Lies: Investigating LLM Deception on Benign Prompts
arxiv.org·3d
💻Local LLMs
AIxCC and RoboDuck
theori.io·3d·
Discuss: Hacker News
🧪Binary Fuzzing
The Case for Apache Airflow and Kafka in Data Engineering
dev.to·3d·
Discuss: DEV
🌊Streaming Systems
Noise-Aware Generative Microscopic Traffic Simulation
arxiv.org·2d
🔲Cellular Automata
Automated Defect Classification in Wafer Fabrication via Multi-Modal Data Fusion and Graph Neural Networks
dev.to·1d·
Discuss: DEV
📄Document Digitization
Adaptive Flight Control via Hybrid Model Predictive Control & Robust Observer Design
dev.to·2d·
Discuss: DEV
⚡Incremental Computation
A Neurosymbolic Framework for Interpretable Cognitive Attack Detection in Augmented Reality
arxiv.org·22h
🔍Vector Forensics
Evaluating Contrast Localizer for Identifying Causal Unitsin Social & Mathematical Tasks in Language Models
arxiv.org·1d
✨Effect Handlers
Build a conversational natural language interface for Amazon Athena queries using Amazon Nova
aws.amazon.com·1d
🌀Brotli Internals
Multi-Sequence Parotid Gland Lesion Segmentation via Expert Text-Guided Segment Anything Model
arxiv.org·22h
📄Text Segmentation
Blending Imitation and Reinforcement Learning for Robust Policy Improvement
arxiv.org·2d
🔲Cellular Automata