You Can Now Talk to the Statues at Versailles, Thanks to A.I
news.artnet.com·14h·
Discuss: Hacker News
🏹Effect Systems
Access Linux file systems from Apple silicon Macs
eclecticlight.co·1d·
Discuss: Hacker News
🍎Apple
Spacebar Clicker – Ultimate Auto Clicker Game Online
spacebarclickers.online·12h·
Discuss: Hacker News
🎮Verification Games
UK use of AI to tackle asylum backlog led to 'serious errors' in 9% of cases
inews.co.uk·22h·
Discuss: Hacker News
✓Automated Theorem Proving
Postgres Replication Slots: Confirmed Flush LSN vs. Restart LSN
morling.dev·1d·
Discuss: Lobsters, Hacker News, r/programming
📡Network Protocol Design
The Curse of the A-Word
temporal.io·1d·
Discuss: Hacker News
🐫OCaml
D-Wave's open-source toolkit integrates quantum computing into AI training
siliconangle.com·20h·
Discuss: Hacker News
📦Unikernel Systems
The Mysterious AI Company Abandoning the Cloud
marketsaintefficient.substack.com·22h·
Discuss: r/programming
🖥️Self-hosted Infrastructure
Less Glue, More Product: Why Elixir Shrinks Architectural Complexity
iamkonstantin.eu·4d·
Discuss: Lobsters, Hacker News
🧱Immutable Infrastructure
I Spent $500 To Test Devin For Prompt Injection So That You Don't Have To
embracethered.com·6h·
Discuss: Hacker News
🛡️seL4
Introducing AI Grounding with Brave Search API, providing enhanced search performance in AI applications
brave.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Improving performance of content-centric networks via decentralized coded caching for multi-level popularity and access
arxiv.org·1d
📡Network Protocol Design
2025 One Hertz Challenge: Blinking an LED the Very Old Fashioned Way
hackaday.com·20h
🐫Embedded OCaml
Real-Time Conflict Prediction for Large Truck Merging in Mixed Traffic at Work Zone Lane Closures
arxiv.org·1d
🔄Finite State Machines
Patho-AgenticRAG: Towards Multimodal Agentic Retrieval-Augmented Generation for Pathology VLMs via Reinforcement Learning
arxiv.org·1d
🐫OCaml
Hearing More with Less: Multi-Modal Retrieval-and-Selection Augmented Conversational LLM-Based ASR
arxiv.org·1d
🐫OCaml
Modos Developer Kit Now Live on Crowd Supply
modos.tech·1d·
Discuss: Hacker News
💾Retro Computing
L3M+P: Lifelong Planning with Large Language Models
arxiv.org·1d
✓Automated Theorem Proving
Show HN: Dinoki – Privacy-First Desktop AI with Pixel Pets (6MB Native)
news.ycombinator.com·23h·
Discuss: Hacker News
💾Retro Computing
Alignment Monitoring
arxiv.org·2d
🔍Formal Verification