💻 CS

computer science, automata, theory, computation

Prompts are Operating Systems
helloscribe.medium.com·2d·
Discuss: r/programming
⚙️Operating System Design
Overview of the DiskANN Project (2018–present)
harsha-simhadri.org·1h·
Discuss: Hacker News
🔧Unikernel Development
Unicode 17.0 Release Announcement
blog.unicode.org·1d·
Discuss: Lobsters, Hacker News
🔤DSLs
Conway's Law and Data Modeling
practicaldatamodeling.substack.com·8h·
Discuss: Substack
📡Network Protocol Design
Real-Time Detection of Hallucinated Entities in Long-Form Generation
hallucination-probes.com·52m·
Discuss: Hacker News
📚Automata Learning
HN: Arambh Labs: agentic platform for cyber defense
arambhlabs.com·2h·
Discuss: Hacker News
🩹Self-Healing Systems
On the weird economics of semiconductors and GenAI
gauthierroussilhe.com·3h·
Discuss: Lobsters, Hacker News
⚙️Operating System Design
Neural Logic Gates
blog.typeobject.com·3d·
Discuss: Hacker News
🧩Separation Logic
From Staff Messages to Actionable Insights: A Multi-Stage LLM Classification Framework for Healthcare Analytics
arxiv.org·1d
⚙Operational Semantics
A Secure Sequencer and Data Availability Committee for Rollups (Extended Version)
arxiv.org·1d
🎮Verification Games
Writing Code Is Easy. Reading It Isn't
idiallo.com·2d·
Discuss: Hacker News, r/programming
🔬Static Analysis
A Multi-Modal Deep Learning Framework for Colorectal Pathology Diagnosis: Integrating Histological and Colonoscopy Data in a Pilot Study
arxiv.org·1d
🐳Containerization
Hyperbolic Large Language Models
arxiv.org·1d
📚Automata Learning
Risk-averse Fair Multi-class Classification
arxiv.org·1d
🧠Automated Reasoning
Plantbot: Integrating Plant and Robot through LLM Modular Agent Networks
arxiv.org·1d
🩹Self-Healing Systems
Algebraic Effects in Practice with Flix
relax.software·3d·
Discuss: Lobsters, Hacker News, r/programming
🏹Effect Systems
Show HN: Oboe, a generalized AI-powered learning platform
news.ycombinator.com·8h·
Discuss: Hacker News
🎮Verification Games
Show HN: LibPolyCall – Zero-Trust Polyglot FFI with Perfect State Reproduction
github.com·23h·
Discuss: Hacker News
🌐NetworkProtocols
A Stroke-Level Large-Scale Database of Chinese Character Handwriting and the OpenHandWrite_Toolbox for Handwriting Research
arxiv.org·1d
📚Automata Learning
Eat Your Vegetables Before AI Dessert
writings.alethia.news·1d·
Discuss: Hacker News
🩹Self-Healing Systems