💻 CS

computer science, automata, theory, computation

Ask HN: Anyone need GIS with good ML integration?
harsil.com·19h·
Discuss: Hacker News
🔤DSLs
The High Stakes of Biometric Surveillance
techpolicy.press·6h·
Discuss: Hacker News
🐫Embedded OCaml
Automerge 3.0
automerge.org·1d·
Discuss: Hacker News
🔄Reproducible Builds
The Bytebot Core – From Linux Container to Agent Control Surface
bytebot.ai·3d·
Discuss: Hacker News
💾Retro Computing
Algorithms for making interesting organic simulations
bleuje.com·2d·
Discuss: Lobsters, Hacker News, Hacker News
🎮Verification Games
Show HN: OrioleDB Beta12 Features and Benchmarks
orioledb.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Streamline Global Client Communication with 20 Secure Accounts
news.ycombinator.com·2h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Using data version control to build better AI factories
lakefs.io·1d·
Discuss: Hacker News
🔄Reproducible Builds
How Not to Think About Cells
subanima.org·1d·
Discuss: Hacker News
➡️Category Theory
Paul Smith to join Anthropic as Chief Commercial Officer
anthropic.com·1d·
Discuss: Hacker News
🤖Program Synthesis
How much attention do you need, really? Experiments in O(1) task completion
notion.so·2d·
Discuss: Hacker News
🏹Effect Systems
Thoughts on Building with AI
gouthamve.dev·1d·
Discuss: Hacker News
🔄Reproducible Builds
Show HN: From Zod schema to agent-ready MCP server – minimal, typed, deployable
github.com·22h·
Discuss: Hacker News
🌐NetworkProtocols
What Factors Affect LLMs and RLLMs in Financial Question Answering?
arxiv.org·2d
✓Automated Theorem Proving
SAGE: A Context-Aware Approach for Mining Privacy Requirements Relevant Reviews from Mental Health Apps
arxiv.org·1d
🛡️seL4
Multimodal Cardiovascular Risk Profiling Using Self-Supervised Learning of Polysomnography
arxiv.org·1d
✓Automated Theorem Proving
Neural Two-Stage Stochastic Optimization for Solving Unit Commitment Problem
arxiv.org·1d
🔄Finite State Machines
MoCap-Impute: A Comprehensive Benchmark and Comparative Analysis of Imputation Methods for IMU-based Motion Capture Data
arxiv.org·1d
🔠Type-Level Programming
Towards High Supervised Learning Utility Training Data Generation: Data Pruning and Column Reordering
arxiv.org·1d
🧪Property-Based Testing
MoSAiC: Multi-Modal Multi-Label Supervision-Aware Contrastive Learning for Remote Sensing
arxiv.org·2d
🔠Type-Level Programming