Lessons from scaling PostgreSQL queues to 100k events per second
rudderstack.com·2d·
Discuss: Hacker News
👁️System Observability
Don't Fall for AI: Reasons for Writers to Reject Slop
mythcreants.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Defeating Memory Leaks With Zig Allocators
tgmatos.github.io·4d·
Discuss: Hacker News, r/programming
🐫Embedded OCaml
Advice on Building Voice AI in June 2025
daily.co·6d·
Discuss: Hacker News
👁️System Observability
The Interview Question That Tells Me Everything
medium.com·2d·
Discuss: Hacker News
👁️System Observability
Rethinking Prompt Optimization: Reinforcement, Diversification, and Migration in Blackbox LLMs
arxiv.org·5d
🎮Verification Games
Where to place my homelab in this home?
i.redd.it·1d·
Discuss: r/homelab
🏠HomeLab
AirLLM: Diffusion Policy-based Adaptive LoRA for Remote Fine-Tuning of LLM over the Air
arxiv.org·4d
🐫OCaml
Measuring and predicting visual fidelity
arxiv.org·3d
👁️System Observability
The Engineer's Dilemma: A Review of Establishing a Legal Framework for Integrating Machine Learning in Construction by Navigating Precedents and Industry Expect...
arxiv.org·5d
🏹Effect Systems
Why AI Agents Need a New Kind of Browser
thenewstack.io·1d
🛡️seL4
If you want a picture of the future, imagine humans checking AI didn't make a mistake – forever
theregister.com·4d·
Discuss: Hacker News, Hacker News
✓Automated Theorem Proving
SEALGuard: Safeguarding the Multilingual Conversations in Southeast Asian Languages for LLM Software Systems
arxiv.org·5d
🔤DSLs
A Leap-on-Success Exhaustive Search Method to Find Optimal Robust Minimum Redundancy Arrays (RMRAs): New Array Configurations for Sensor Counts 11 to 20
arxiv.org·4d
🔍Formal Verification
Temperature and Persona Shape LLM Agent Consensus With Minimal Accuracy Gains in Qualitative Coding
arxiv.org·4d
✓Automated Theorem Proving
DCR: Quantifying Data Contamination in LLMs Evaluation
arxiv.org·4d
🔬Static Analysis
Show HN: Fluent-state: a new fresh take on local React state
github.com·2d·
Discuss: Hacker News
🔄Finite State Machines
Need graphics card ideas for old Supermicro X7DWE
reddit.com·20h·
Discuss: r/homelab
💾Retro Computing
A Discrete Analog of Tutte's Barycentric Embeddings on Surfaces
arxiv.org·2d
➡️Category Theory
RACER: Rational Artificial Intelligence Car-following-model Enhanced by Reality
arxiv.org·3d
🔄Finite State Machines