Holding It Together
onelook.com·1d·
Discuss: Hacker News
📝Term Rewriting
ARM is great, ARM is terrible (and so is RISC-V)
changelog.complete.org·19h·
Discuss: Lobsters, Hacker News
💾Retro Computing
Arm introduces Lumex platform with SME2-enabled C1 CPU for Edge AI, Mali-G1 GPU
cnx-software.com·18h·
Discuss: Hacker News
🔧Unikernel Development
File preallocation on macOS in Ruby
tenderlovemaking.com·1d·
Discuss: Hacker News
🍎Apple
Overview of the DiskANN Project (2018–present)
harsha-simhadri.org·11h·
Discuss: Hacker News
🔧Unikernel Development
The Center for Human-Compatible Artificial Intelligence Is Hiring
humancompatible.ai·2d·
Discuss: Hacker News
💻CS
Ban&Pick: Achieving Free Performance Gains and Inference Speedup via Smarter Routing in MoE-LLMs
arxiv.org·2d
🐫OCaml
Massively Parallel Agentic Simulations with Ray
anyscale.com·5h·
Discuss: Hacker News
⚙️Operating System Design
Just Enough Automation
bevel.work·20h·
Discuss: Hacker News
🤖Program Synthesis
Real-Time Detection of Hallucinated Entities in Long-Form Generation
hallucination-probes.com·10h·
Discuss: Hacker News
📚Automata Learning
Clankers Die on Christmas
remyhax.xyz·2d·
Discuss: Hacker News
📚Automata Learning
On the Bit Size of Sum-of-Squares Proofs for Symmetric Formulations
arxiv.org·2d
🧮Lambda Calculus
A Fragile Number Sense: Probing the Elemental Limits of Numerical Reasoning in LLMs
arxiv.org·2d
📚Automata Learning
AI as teleportation
geoffreylitt.com·13h·
Discuss: Hacker News
🩹Self-Healing Systems
Show HN: Inception: Automatic Rust Trait Implementation by Induction
github.com·5d·
Discuss: Hacker News, r/rust
🔠Type-Level Programming
Deliberate Abstraction
entropicthoughts.com·3d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🤖Program Synthesis
MachineLearningLM: Continued Pretraining Language Models on Millions of Synthetic Tabular Prediction Tasks Scales In-Context ML
arxiv.org·2d
📚Automata Learning
Signals and Threads – Why ML Needs a New Programming Language
signalsandthreads.com·6d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔧Unikernel Development
Richard Feynman – There's Plenty of Room at the Bottom
muonray.blogspot.com·1h·
Discuss: Hacker News
🔧Unikernel Development
Preventing the NPM Debug/Chalk Compromise in 200 lines of JavaScript
getvouchsafe.org·6h·
Discuss: Hacker News, r/javascript, r/node
🔄Reproducible Builds