Easy dynamic dispatch using GLIBC Hardware Capabilities
kvr.at·2d·
Discuss: Lobsters, Hacker News, r/programming
📦Unikernel Systems
C++: Maps on Chains
bannalia.blogspot.com·4d·
Discuss: Hacker News
🏹Effect Systems
Mill: A Better Build Tool for Java, Scala, & Kotlin
mill-build.org·2d·
Discuss: Hacker News
🔄Reproducible Builds
Methodological Flaws Undermining Recent AI 'Scheming' Claims
aipanic.news·19h·
Discuss: Hacker News
🎮Verification Games
MVC Isn't MVC – Collin Donnell
collin.blog·2d·
Discuss: Hacker News
🏹Effect Systems
The Ideological Gravity of FOSS
gizvault.com·23h·
Discuss: r/programming
🔬Unikernels
Building Your First ETL Pipeline in Rust
ryuru.com·6d·
Discuss: r/programming
🔬Static Analysis
Hacking Coroutines into C
wiomoc.de·2d·
Discuss: Lobsters, Hacker News, r/C_Programming, r/programming
🔄Finite State Machines
How Not to Think About Cells
subanima.org·15h·
Discuss: Hacker News
➡️Category Theory
Can LLMs Reliably Simulate Real Students' Abilities in Mathematics and Reading Comprehension?
arxiv.org·1d
🎮Verification Games
Ramanujan-Computing: Distributed Computing with Idle Smart Devices: Open-Source
news.ycombinator.com·2d·
Discuss: Hacker News
📦Unikernel Systems
Investigating the Robustness of Extreme Precipitation Super-Resolution Across Climates
arxiv.org·9h
🧱Immutable Infrastructure
Information geometric regularization of the barotropic Euler equation
arxiv.org·9h
🐫OCaml
SAND: Boosting LLM Agents with Self-Taught Action Deliberation
arxiv.org·4d
🎮Verification Games
Computational algorithm for downward continuation of gravity anomalies
arxiv.org·1d
✓Automated Theorem Proving
BURN: Backdoor Unlearning via Adversarial Boundary Analysis
arxiv.org·9h
🔬Unikernels
Fine-tuning ORBGRAND with Very Few Channel Soft Values
arxiv.org·1d
🐫OCaml
Maneuver Detection via a Confidence Dominance Maneuver Indicator
arxiv.org·1d
✓Automated Theorem Proving
Context Forge – A CLI-first tool for managing Claude context and AI workflows
github.com·2d·
Discuss: Hacker News
🤖Program Synthesis
3D forest semantic segmentation using multispectral LiDAR and 3D deep learning
arxiv.org·1d
🧗Climbing Tech