Smarter AI for Critical Operations: Why Data Matters
thenewstack.io·20h
👁️System Observability
How do I get better at programming
google.com·2d·
Discuss: r/programming
💻CS
Science of Chess: How does chess calculation depend on words vs. pictures?
lichess.org·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Citizen Science is All Fun and Games
hackaday.com·2d
🔬Unikernels
An LLM Router That Thinks Like an Engineer
medium.com·20h·
Discuss: Hacker News
📡Network Protocol Design
Hacking Coroutines into C
wiomoc.de·3d·
Discuss: Lobsters, Hacker News, r/C_Programming, r/programming
🔄Finite State Machines
An Adaptive Volatility-based Learning Rate Scheduler
arxiv.org·9h
🔠Type-Level Programming
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·9h
🔍Formal Verification
CortexFlow/CortexBrain: Open Source eBPF-based Container Networking Infrastructure and Monitoring Platform for cloud and edge devices built in Rust
reddit.com·6h·
Discuss: r/programming
⚙️Operating System Design
Large Language Models and Non-Negative Matrix Factorization for Bioacoustic Signal Decomposition
arxiv.org·1d
➡️Category Theory
Show HN: Portia – A stateful Crew AI alternative, with auth and 1000 tools
github.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Enhancing Clinical Text Classification via Fine-Tuned DRAGON Longformer Models
arxiv.org·1d
🏹Effect Systems
MP1: Mean Flow Tames Policy Learning in 1-step for Robotic Manipulation
arxiv.org·1d
🔄Finite State Machines
BURN: Backdoor Unlearning via Adversarial Boundary Analysis
arxiv.org·1d
🔬Unikernels
COLI: A Hierarchical Efficient Compressor for Large Images
arxiv.org·9h
🐫OCaml
Agent-based visualization of streaming text
arxiv.org·1d
✓Automated Theorem Proving
Measuring the Impact of Early-2025 AI on Experienced Open-Source Developer Productivity
arxiv.org·1d
🏹Effect Systems
Information Must Flow: Recursive Bootstrapping for Information Bottleneck in Optimal Transport
arxiv.org·1d
🔠Type-Level Programming
Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
arxiv.org·6d
✓Automated Theorem Proving
Last Layer Hamiltonian Monte Carlo
arxiv.org·1d
💻CS