North American Mobile Driver License
aamva.org·2h·
Discuss: Hacker News
🔤DSLs
The value of chess pieces according to Stockfish
lichess.org·20m·
Discuss: Hacker News
✓Automated Theorem Proving
What's next for Meta's giant Louisiana data center project?
nola.com·16h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
FastVLM: Efficient Vision Encoding for Vision Language Models
machinelearning.apple.com·1d·
Discuss: Hacker News
🔄Finite State Machines
PageRank in the Age of AI
tomtunguz.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Detecting Organic Contaminants with Less Data
mirawelner.com·2d·
Discuss: Lobsters, Hacker News
🧪Property-Based Testing
We Need a European Sovereign Tech Fund
github.blog·22h·
Discuss: Hacker News, r/linux
🔬Unikernels
Al could be hiding its thoughts: Tech giants warn of 'Chain of Thought'
economictimes.indiatimes.com·18h·
Discuss: Hacker News
🔍Formal Verification
Press Any Key for Bay Area House Party
astralcodexten.com·2d·
Discuss: Hacker News
💾Retro Computing
How AI Can Degrade Human Performance in High-Stakes Settings
ai-frontiers.org·5d·
Discuss: Hacker News
👁️System Observability
Contextualizing ancient texts with generative neural networks
nature.com·14h·
Discuss: Hacker News
🎮Verification Games
Nuclear fusion startup claims to have cracked alchemy
telegraph.co.uk·1d·
Discuss: Hacker News
🐫OCaml
Kimi K2 vs Sonnet 4 for Agentic Coding (Tested on Claude Code)
composio.dev·15h·
Discuss: Hacker News, r/LocalLLaMA
🐫Embedded OCaml
Designing an Open Source Multimeter: the HydraMeter
hackaday.com·3d
💾Retro Computing
Glaze: Fast, in memory, JSON and reflection library for modern C++
github.com·17h·
Discuss: Hacker News
📦Unikernel Systems
Image memorability predicts social media virality and externally-associated commenting
arxiv.org·2h
➡️Category Theory
ReMeREC: Relation-aware and Multi-entity Referring Expression Comprehension
arxiv.org·2h
🏹Effect Systems
Trump just unveiled his plan to put AI in everything
theverge.com·13h·
Discuss: Hacker News
🤖Program Synthesis
CAPRI-CT: Causal Analysis and Predictive Reasoning for Image Quality Optimization in Computed Tomography
arxiv.org·2h
🎮Verification Games
Development and Deployment of Hybrid ML Models for Critical Heat Flux Prediction in Annulus Geometries
arxiv.org·2d
🔍Formal Verification