💻 CS

computer science, automata, theory, computation

Breaking down the Single-Email XPIA Vulnerability Enabling Complete Gmail Data Exfiltration in Zapier Auto-Reply Agents
repello.ai·1d·
Discuss: r/programming
🌐NetworkProtocols
Common Expression Language – Fast, safe expression language
cel.dev·4d·
Discuss: Hacker News
⚙️PL Implementation
Morse Code
kmcd.dev·4d·
Discuss: Hacker News
🐫Embedded OCaml
It's time for modern CSS to kill the SPA – Jono Alderson
jonoalderson.com·21h·
Discuss: Lobsters, Hacker News
🧱Immutable Infrastructure
The Signal Protocol Explained #1: Implementing the Post-Quantum Extended Diffie-Hellman (PQXDH) protocol in Rust
kerkour.com·3d·
Discuss: Hacker News
🌐NetworkProtocols
First You Create the Work and Then the Work Creates You: Nietzsche's Life
ristonthomas.com·11h·
Discuss: Hacker News
🔬Unikernels
Hackers—hope to defect to Russia? Don’t Google “defecting to Russia.”
arstechnica.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
Show HN: Reviving the Mailbox app nostalgia by rebooting a 0 inbox mail app
two-trick-pony-nl.github.io·2d·
Discuss: Hacker News
🍎Apple
I built a smart photo organizer that automatically finds solo portraits using AI face detection on macOS
reddit.com·1d·
Discuss: r/programming
🍎Apple
From Envoy to Consul chasing a latency spike across a globally distributed stack
koyeb.com·1d·
Discuss: Hacker News
👁️System Observability
Chatbots to robots: The rise of 'physical AI'
computerworld.com·5d·
Discuss: Hacker News
🤖Program Synthesis
System boot loops when vt-d or virtualisation is enabled
reddit.com·21h·
Discuss: r/homelab
📦Unikernel Systems
Hackaday Podcast Episode 330: Hover Turtles, Dull Designs, and K’nex Computers
hackaday.com·1d
💾Retro Computing
OPEN: A Benchmark Dataset and Baseline for Older Adult Patient Engagement Recognition in Virtual Rehabilitation Learning Environments
arxiv.org·1d
🎮Verification Games
Advanced version of Gemini with Deep Think officially achieves gold-medal standard at the International Mathematical Olympiad
deepmind.google·5d·
Discuss: Lobsters, Hacker News
✓Automated Theorem Proving
CPC-CMS: Cognitive Pairwise Comparison Classification Model Selection Framework for Document-level Sentiment Analysis
arxiv.org·5d
✓Automated Theorem Proving
Learning-Based Modeling of a Magnetically Steerable Soft Suction Device for Endoscopic Endonasal Interventions
arxiv.org·4d
🐫Embedded OCaml
Principles and Reasons Behind Automated Vehicle Decisions in Ethically Ambiguous Everyday Scenarios
arxiv.org·5d
🔄Finite State Machines
Major Quantum Computing Advance Made Obsolete by Teenager
quantamagazine.org·2d·
Discuss: Hacker News
🔬Unikernels
Beyond Binary Rewards: Training LMs to Reason About Their Uncertainty
arxiv.org·3d
🎮Verification Games