The real serverless compute to database connection problem, solved
vercel.com·2d·
Discuss: Hacker News
⎈Kubernetes
The AI tool that could make manufacturing faster and more efficient—by using Lego bricks
techxplore.com·1d·
Discuss: Hacker News
🤖Program Synthesis
Please Don't Promote Wayland
stoppromotingwayland.netlify.app·3d·
Discuss: Hacker News
❄️Nixified Development
The fixed length bottleneck and the feed forward network
gilesthomas.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Not So Direct I/O
jmcph4.dev·4d·
Discuss: Lobsters, Hacker News
⚙️Operating System Design
The Equality Delete Problem in Apache Iceberg
risingwave.com·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Pace Layering an Application Portfolio
frederickvanbrabant.com·4d·
Discuss: Hacker News, r/programming
🔄Reproducible Builds
Scaling Interpretability
anthropic.com·4d·
Discuss: Hacker News
🐫Embedded OCaml
It's Not Context Engineering, It's Context Authoring
tonyalicea.dev·3d·
Discuss: r/SoftwareEngineering, r/programming
🤖Program Synthesis
Three big lessons from the GPT-5 backlash
platformer.news·4d·
Discuss: Hacker News
🔬Unikernels
Show HN: Astro Personal Portfolio and Blog with Perfect Lighthouse Scores
github.com·1d·
Discuss: Hacker News
🍎Apple
Efficient Volume Computation for SMT Formulas
arxiv.org·2d
✓Automated Theorem Proving
Mathematical Computation and Reasoning Errors by Large Language Models
arxiv.org·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Learning Optimal and Fair Policies for Online Allocation of Scarce Societal Resources from Data Collected in Deployment
arxiv.org·3d
🏹Effect Systems
Stay calm. Keep going. AI must wait or the bubble will burst
smartmic.bearblog.dev·2d·
Discuss: Hacker News
⚙️PL Implementation
Physiological Signal-Driven QoE Optimization for Wireless Virtual Reality Transmission
arxiv.org·2d
⚙️Operating System Design
Considering a AMD Ryzen 7600X unsure if it plays well with Unraid / TrueNAS or Debian 13?
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Someone talk me out of this...
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Feature Impact Analysis on Top Long-Jump Performances with Quantile Random Forest and Explainable AI Techniques
arxiv.org·2d
🏔️climbing
Long time lurker, half baked photo and a questions
i.redd.it·10h·
Discuss: r/homelab
🏠HomeLab