AI slop fills the information void of Air India crash investigation
theaircurrent.com·23h·
Discuss: Hacker News
👁️System Observability
Quadratic Forms Beyond Arithmetic
ams.org·4d·
Discuss: Hacker News
🐫OCaml
Why Every Go Library Should Implement Must* Methods
blog.cansu.dev·4d·
Discuss: Hacker News
🛡️seL4
Introducing the Herb Linter, Formatter, and a Vision for the Future of Rails Views
marcoroth.dev·4d·
Discuss: Lobsters, r/programming
🐫Embedded OCaml
kernel_task and summer heat
eclecticlight.co·10h·
Discuss: Hacker News
🍎Apple
UK health service AI tool generated a set of false diagnoses for one patient that led to him being wrongly invited to a diabetes screening appointment
fortune.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Chess Llama - Training a tiny Llama model to play chess
lazy-guy.github.io·2d·
Discuss: Hacker News, r/LocalLLaMA, r/programming
🎮Verification Games
Grafana and LLMs
opeonikute.dev·4d·
Discuss: Hacker News
👁️System Observability
Made-to-order DNA goes big: new tech doubles size of custom genetic sequences
nature.com·6h·
Discuss: Hacker News
🤖Program Synthesis
Response to DHH on the gift of open source
bholmes.dev·1d·
Discuss: Hacker News
🔄Reproducible Builds
Generating Production-Ready MCP Servers
withcoherence.com·5d·
Discuss: Hacker News
🌐NetworkProtocols
Solving the Context Rot Problem for Coding Agents
install.md·5d·
Discuss: Hacker News
✓Automated Theorem Proving
Bell Labs Takes A Topological Approach To Quantum 2.0
nextplatform.com·1d·
Discuss: Hacker News
📦Unikernel Systems
EU study on AI and copyright suggests overturning the current opt-out approach
pcgamer.com·1d·
Discuss: Hacker News
🔬Unikernels
A tiny CMS built on Cloudflare Workers and D1, no back end required
github.com·18h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Generative Distribution Distillation
arxiv.org·13h
🤖Program Synthesis
DynImg: Key Frames with Visual Prompts are Good Representation for Multi-Modal Video Understanding
arxiv.org·13h
🔄Finite State Machines
SDK for the tony 65c02-based portable game consoles
github.com·1d·
Discuss: Hacker News
💾Retro Computing
Effective Practices for Coding with a Chat-Based AI
infoq.com·5d·
Discuss: Hacker News
⚙️PL Implementation
Driving Platform Adoption: Community Is Your Value
thenewstack.io·1d
🔄Reproducible Builds