💻 CS

computer science, automata, theory, computation

Show HN: Zomni – An AI sleep coach that personalizes CBT-I for everyday use
apps.apple.com·2d·
Discuss: Hacker News
🍎Apple
Under the Hood of AFD.sys Part 1: Investigating Undocumented Interfaces
leftarcode.com·2d·
Discuss: Hacker News
🌐NetworkProtocols
Show HN: We built Source to solve for full funnel attribution for B2B companies
source.app·12h·
Discuss: Hacker News
🔄Reproducible Builds
Intel prepares for Nova Lake CPUs with new Linux support — retiring 20-year-old 'Family 6' designation in favor of 'Family 18'
tomshardware.com·2d·
Discuss: Hacker News
💾Retro Computing
Operation Pineapple Express Used Signal to Evacuate Afghan Allies
brave.com·1d·
Discuss: Hacker News
🍎Apple
The Craftsman Mindset: Lessons from Four Weeks Offline
cekrem.github.io·2d·
Discuss: r/programming
🔬Static Analysis
Apple’s New ‘Answers’ Team Eyes ChatGPT-Like Product in AI Push
bloomberg.com·2d·
Discuss: Hacker News
🍎Apple
Google Zero and the ad-funded net crash
manton.org·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Show HN: An API to extract structured data from any document without training
ninjadoc.ai·4d·
Discuss: Hacker News
🐫Embedded OCaml
Sync primitives are Functionally Complete
kprotty.me·5d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🐫OCaml
AI Code Review the Right Way
hackaday.com·4d
🛡️seL4
Show HN: NameFast – Instantly find available names for your SaaS idea
news.ycombinator.com·1d·
Discuss: Hacker News
🍎Apple
Hybrid Shifted Gegenbauer Integral-Pseudospectral Method for Solving Time-Fractional Benjamin-Bona-Mahony-Burgers Equation
arxiv.org·5d
🐫OCaml
Why You Shouldn’t Treat Your Database as an Integration Platform
medium.com·3d·
Discuss: Hacker News, Hacker News, r/programming
🛡️seL4
Databricks VP: Don’t Try To Speed AI Evolution Through Brute Force
thenewstack.io·1d
🤖Program Synthesis
Rust, Python, and TypeScript: the new trifecta
smallcultfollowing.com·6d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
⚙️PL Implementation
RecUserSim: A Realistic and Diverse User Simulator for Evaluating Conversational Recommender Systems
arxiv.org·5d
✓Automated Theorem Proving
Data Labeling Is the Hot New Thing in AI
spectrum.ieee.org·4d·
Discuss: Hacker News, r/technews
🧗Climbing Tech
Show HN: QuantumFlow Toolkit – An open-source framework hybrid quantum workflows
github.com·2d·
Discuss: Hacker News
📦Unikernel Systems
Modern, lightweight RN modal library with reanimated (3/4) and gesture support
github.com·1d·
Discuss: Hacker News
🍎Apple