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·12h·
Discuss: Lobsters, Hacker News
💾Retro Computing
Arm introduces Lumex platform with SME2-enabled C1 CPU for Edge AI, Mali-G1 GPU
cnx-software.com·11h·
Discuss: Hacker News
🔧Unikernel Development
Trial and Error Driven Development
stevenoxley.com·4h·
Discuss: Hacker News
🎮Verification Games
You Can Just Do Things
elite-ai-assisted-coding.dev·8h·
Discuss: Hacker News
✓Automated Theorem Proving
Causal Artificial Intelligence [Free Textbook]
causalai-book.net·2d·
Discuss: Hacker News
📚Automata Learning
File preallocation on macOS in Ruby
tenderlovemaking.com·1d·
Discuss: Hacker News
🍎Apple
Overview of the DiskANN Project (2018–present)
harsha-simhadri.org·4h·
Discuss: Hacker News
🔧Unikernel Development
Using Linters to Direct Agents
factory.ai·1d·
Discuss: Hacker News
🔄Reproducible Builds
The Center for Human-Compatible Artificial Intelligence Is Hiring
humancompatible.ai·1d·
Discuss: Hacker News
💻CS
Rootly joins Groq OpenBench with an SRE-focused benchmark
rootly.com·2d·
Discuss: Hacker News
👁️System Observability
Scaffolding for production vibe coding
interjectedfuture.com·1d·
Discuss: Hacker News
🔬Static Analysis
Hnfm: Building a local-first AI podcast generator for Hacker News
briancaffey.github.io·21h·
Discuss: Hacker News
🐳Containerization
Go Is the Language of Vibe Coding
sinwoobang.notion.site·3d·
Discuss: Hacker News
💎Refinement Types
A new experimental Go API for JSON
go.dev·2d·
Discuss: Lobsters, Hacker News, r/golang
🌐NetworkProtocols
Ban&Pick: Achieving Free Performance Gains and Inference Speedup via Smarter Routing in MoE-LLMs
arxiv.org·1d
🐫OCaml
Just Enough Automation
bevel.work·13h·
Discuss: Hacker News
🤖Program Synthesis
Real-Time Detection of Hallucinated Entities in Long-Form Generation
hallucination-probes.com·3h·
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·1d
🧮Lambda Calculus