Keyboards from My Collection
aresluna.org·17h·
Discuss: Hacker News
💾Retro Computing
Trapped in the Infinite Honey Pot
brianschrader.com·15h·
Discuss: Hacker News
🩹Self-Healing Systems
Agents need a new retrieval engine
hornet.dev·18h·
Discuss: Hacker News
📝Term Rewriting
The Rare Book Thesis for an AI World
ktledger.com·8h·
Discuss: Hacker News
🧠Automated Reasoning
What AI chatbots are doing under the hood
gilesthomas.com·4d·
Discuss: Hacker News
📚Automata Learning
Breaking Verifiable Abstractions
alperenkeles.com·1d·
Discuss: Hacker News, r/programming
🔍Formal Verification
Tried parsing invoices with GPT-4o, Claude Sonnet 3.5 & Invofox API (Python). Here's what I found.
reddit.com·1d·
Discuss: r/programming
🐫Embedded OCaml
LLM Evaluation: Practical Tips at Booking.com
booking.ai·4d·
Discuss: Hacker News
🎮Verification Games
Revisiting Landmarks: Learning from Previous Plans to Generalize over Problem Instances
arxiv.org·1d
📐Denotational Semantics
Compiling Dinner
gist.github.com·4d·
Discuss: Hacker News
🤖Program Synthesis
Civics Is Boring. So, Let's Encrypt Something
queue.acm.org·3h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Improving Aviation Safety Analysis: Automated HFACS Classification Using Reinforcement Learning with Group Relative Policy Optimization
arxiv.org·1d
📚Automata Learning
A Unified Theory of Language
arxiv.org·4d
📚Automata Learning
Ari Lamstein: Free Course: Learn to Build Data Apps with Streamlit!
arilamstein.com·6h·
Discuss: Hacker News
💎Refinement Types
Show HN: I Built an AI Comic Maker That Adds Quizzes (MCQs) for Kids
github.com·13h·
Discuss: Hacker News
🎮Verification Games
The use of Claude Code in SciML repos
discourse.julialang.org·3d·
Discuss: Hacker News
💎Refinement Types
The gen on function perilogues (2010)
jdebp.uk·9h·
Discuss: Hacker News
🐫Embedded OCaml
A letter to the C-suite: think carefully before hiring MLEs
parsed.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
From Multi-Head to Latent Attention: The Evolution of Attention Mechanisms
vinithavn.medium.com·3d·
Discuss: Hacker News
📚Automata Learning
GDS Agent: A Graph Algorithmic Reasoning Agent
arxiv.org·4d
🧠Automated Reasoning