The real serverless compute to database connection problem, solved
vercel.com·3d·
Discuss: Hacker News
⎈Kubernetes
The AI tool that could make manufacturing faster and more efficient—by using Lego bricks
techxplore.com·2d·
Discuss: Hacker News
🤖Program Synthesis
Intriguing Properties of GPT-OSS Jailbreaks
xlabaisecurity.com·3d·
Discuss: Hacker News
🌐NetworkProtocols
Please Don't Promote Wayland
stoppromotingwayland.netlify.app·4d·
Discuss: Hacker News
❄️Nixified Development
The Equality Delete Problem in Apache Iceberg
risingwave.com·2d·
Discuss: Hacker News
🧱Immutable Infrastructure
Pace Layering an Application Portfolio
frederickvanbrabant.com·5d·
Discuss: Hacker News, r/programming
🔄Reproducible Builds
Scaling Interpretability
anthropic.com·5d·
Discuss: Hacker News
🐫Embedded OCaml
It's Not Context Engineering, It's Context Authoring
tonyalicea.dev·4d·
Discuss: r/SoftwareEngineering, r/programming
🤖Program Synthesis
Automation Tools Are Fast... Until You Pay
medium.com·6d·
Discuss: Hacker News
💾Retro Computing
Efficient Volume Computation for SMT Formulas
arxiv.org·3d
✓Automated Theorem Proving
Apple @ Work: Apple won’t fix enterprise macOS backups, but Backblaze will
9to5mac.com·19h
🍎Apple
Stay calm. Keep going. AI must wait or the bubble will burst
smartmic.bearblog.dev·3d·
Discuss: Hacker News
⚙️PL Implementation
Mathematical Computation and Reasoning Errors by Large Language Models
arxiv.org·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Someone talk me out of this...
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Learning Optimal and Fair Policies for Online Allocation of Scarce Societal Resources from Data Collected in Deployment
arxiv.org·4d
🏹Effect Systems
Physiological Signal-Driven QoE Optimization for Wireless Virtual Reality Transmission
arxiv.org·3d
⚙️Operating System Design
Considering a AMD Ryzen 7600X unsure if it plays well with Unraid / TrueNAS or Debian 13?
reddit.com·3d·
Discuss: r/homelab
🏠HomeLab
Feature Impact Analysis on Top Long-Jump Performances with Quantile Random Forest and Explainable AI Techniques
arxiv.org·3d
🏔️climbing
Long time lurker, half baked photo and a questions
i.redd.it·1d·
Discuss: r/homelab
🏠HomeLab
PersonaEval: Are LLM Evaluators Human Enough to Judge Role-Play?
arxiv.org·2d
🛡️seL4