💻 CS

computer science, automata, theory, computation

Scarcity, Inventory, and Inequity: A Deep Dive into Airline Fare Buckets
blog.getjetback.com·3h·
Discuss: Hacker News
📡Network Protocol Design
Show HN: The only privacy focused digital business card platform
getcardova.com·1d·
Discuss: Hacker News
🍎Apple
Show HN: Make fake ChatGPT chats for memes and pranks
fakechatgpt.com·10h·
Discuss: Hacker News
🌐NetworkProtocols
You Are The Code - a programming puzzle game where bugs EAT your code
store.steampowered.com·6d·
Discuss: r/programming
🎮Verification Games
A Look Back at WeChat's PhxSQL and the 'Fastest Majority'
supasaf.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
A Startup is Selling Data Hacked from Peoples’ Computers to Debt Collectors
404media.co·10h·
Discuss: Hacker News
🍎Apple
Leprechauns, Root Causes, and Other Fairy Tales
tomdalling.com·15h·
Discuss: Hacker News
🏹Effect Systems
Israeli forces launch ground assault in central Gaza for first time
bbc.com·13h·
Discuss: Hacker News
🏔️climbing
Testing Quantum Theory in Curved Spacetime
physics.aps.org·39m·
Discuss: Hacker News
🐫OCaml
Defeating Memory Leaks With Zig Allocators
tgmatos.github.io·6d·
Discuss: Hacker News, r/programming
🐫Embedded OCaml
Critical SharePoint Zero-Day (CVE-2025-53770) Under Active Exploitation
cisa.gov·12h·
Discuss: Hacker News
🛡️seL4
Selling your digital soul to use Bluesky's DMs isn't just a bad idea, it's the law
theregister.com·14h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Rethinking CLI Interfaces for AI
notcheckmark.com·2d·
Discuss: Lobsters, Hacker News
🔍Formal Verification
Connecting legibility to theory building in programming
ashwinsundar.com·6d·
Discuss: Hacker News
🔬Static Analysis
The power of the Unix philosophy for LLM agentic tools
blog.korny.info·4d·
Discuss: Hacker News
🛡️seL4
eslint-config-prettier Compromised: How npm Package with 30 Million Downloads Spread Malware
safedep.io·4h·
Discuss: Hacker News, r/opensource, r/programming
❄️Nixified Development
EV-STLLM: Electric vehicle charging forecasting based on spatio-temporal large language models with multi-frequency and multi-scale information fusion
arxiv.org·6d
🔄Finite State Machines
Sparse Autoencoders Can Capture Language-Specific Concepts Across Diverse Languages
arxiv.org·5d
🐫OCaml
Ask HN: Thinking About a Health Analytics Startup. Would Hospitals Even Use It?
news.ycombinator.com·36m·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
A Leap-on-Success Exhaustive Search Method to Find Optimal Robust Minimum Redundancy Arrays (RMRAs): New Array Configurations for Sensor Counts 11 to 20
arxiv.org·5d
🔍Formal Verification