💻 CS

computer science, automata, theory, computation

Mosaic Launches an Internet Revolution (2004)
nsf.gov·16h·
Discuss: Hacker News
📡Network Protocol Design
Preface to a Dictionary of the English Language (1755)
gutenberg.org·13h·
Discuss: Hacker News
🐫OCaml
Show HN: Novaflow (YC S25) – AI Data Analyst for Life Science Researchers
novaflowapp.com·7h·
Discuss: Hacker News
🔄Reproducible Builds
The Machine Stops by Oliver Sacks
newyorker.com·1d·
Discuss: Hacker News
💾Retro Computing
Coded my homelab from scratch using Ansible
i.redd.it·13h·
Discuss: r/homelab
🏠HomeLab
Richard Feynman and the Connection Machine
longnow.org·2d·
Discuss: Hacker News
🔄Finite State Machines
Mutual Information Free Topological Generalization Bounds via Stability
arxiv.org·3d
➡️Category Theory
Operator-based machine learning framework for generalizable prediction of unsteady treatment dynamics in stormwater infrastructure
arxiv.org·5d
🏹Effect Systems
zkSDK: Streamlining zero-knowledge proof development through automated trace-driven ZK-backend selection
arxiv.org·4d
🔄Reproducible Builds
SynthEHR-Eviction: Enhancing Eviction SDoH Detection with LLM-Augmented Synthetic EHR Data
arxiv.org·2d
🐫OCaml
Air-FedGA: A Grouping Asynchronous Federated Learning Mechanism Exploiting Over-the-air Computation
arxiv.org·4d
🖥️Self-hosted Infrastructure
DpDNet: An Dual-Prompt-Driven Network for Universal PET-CT Segmentation
arxiv.org·2d
🤖Program Synthesis
From Autonomy to Agency: Agentic Vehicles for Human-Centered Mobility Systems
arxiv.org·5d
🔄Finite State Machines
Opting Out of Generative AI: a Behavioral Experiment on the Role of Education in Perplexity AI Avoidance
arxiv.org·2d
🎮Verification Games
Rationale-Enhanced Decoding for Multi-modal Chain-of-Thought
arxiv.org·2d
🔄Finite State Machines
Truth-value judgment in language models: 'truth directions' are context sensitive
arxiv.org·2d
✓Automated Theorem Proving
Representing Guardedness in Call-by-Value and Guarded Parametrized Monads
arxiv.org·5d
➡️Category Theory
ATC/OSDI 2025 Impressions
muratbuffalo.blogspot.com·16h·
Discuss: Hacker News
🔬Unikernels
Experimental Ground-State Energy of a 125-Site Flat Kagome Antiferromagnet via Hamiltonian Engineering on Quantum Computer
arxiv.org·3d
🐫OCaml
Detection of Intelligent Tampering in Wireless Electrocardiogram Signals Using Hybrid Machine Learning
arxiv.org·3d
🌐NetworkProtocols