Show HN: VS Code extension revealed I only code 51% of my 'deep work' time
floustate.com·14h·
Discuss: Hacker News
👁️System Observability
A guide on reading PostgreSQL query plans
prateekcodes.dev·1d·
Discuss: Hacker News
👁️System Observability
Alterai
alterai.dev·1d·
Discuss: Hacker News
🌐NetworkProtocols
Book review: A New Kind of Science (2005)
bactra.org·5d·
Discuss: Hacker News
💻CS
AI Agents for Freight Brokers
kolank.ai·1d·
Discuss: Hacker News
✓Automated Theorem Proving
The Ideological Gravity of FOSS
gizvault.com·14h·
Discuss: r/programming
🔬Unikernels
GitHub – pollen-robotics/AmazingHand: Code and model to control the AH
github.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
Using Clouds for too long might have made you incompetent
loudwhisper.me·2d·
Discuss: Hacker News
⎈Kubernetes
Modeling Partially Observed Nonlinear Dynamical Systems and Efficient Data Assimilation via Discrete-Time Conditional Gaussian Koopman Network
arxiv.org·1d
🐫OCaml
Bridging the Plausibility-Validity Gap by Fine-Tuning a Reasoning-Enhanced LLM for Chemical Synthesis and Discovery
arxiv.org·4d
✓Automated Theorem Proving
Barriers in Integrating Medical Visual Question Answering into Radiology Workflows: A Scoping Review and Clinicians' Insights
arxiv.org·1d
🐫OCaml
10 Insights from Integrating AI into My Coding Workflow
thenewstack.io·3d
✓Automated Theorem Proving
PGD-based optimization of 3D bobsleigh track centerlines from 2D centerlines for simulation applications
arxiv.org·1d
🧗Climbing Tech
Temporal Motifs for Financial Networks: A Study on Mercari, JPMC, and Venmo Platforms
arxiv.org·1d
🔄Finite State Machines
A modular, LLM-agnostic fullstack agent framework
github.com·1d·
Discuss: Hacker News
🐫OCaml
Automated Reasoning for Vulnerability Management by Design
arxiv.org·6d
✓Automated Theorem Proving
The Bitter Lesson (2025)
artfintel.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
arxiv.org·5d
✓Automated Theorem Proving
I need help with building my first homelab since chatgpt or anyone else doesn't respond
reddit.com·18h·
Discuss: r/homelab
🏠HomeLab
crawl4ai: The Adaptive Intelligence Update
github.com·2d·
Discuss: Hacker News
👁️System Observability