Trapped in the Infinite Honey Pot
brianschrader.com·9h·
Discuss: Hacker News
🩹Self-Healing Systems
Agents need a new retrieval engine
hornet.dev·11h·
Discuss: Hacker News
📝Term Rewriting
Toad: Universal TUI for Agentinc Coding from Will McGugan (Rich/Textual)
elite-ai-assisted-coding.dev·1d·
Discuss: Hacker News
🔧Unikernel Development
Show HN: I Made an ESP32 On-Call Beeper
techsquidtv.com·2h·
Discuss: Hacker News
🩹Self-Healing Systems
The Rare Book Thesis for an AI World
ktledger.com·2h·
Discuss: Hacker News
🧠Automated Reasoning
What AI chatbots are doing under the hood
gilesthomas.com·3d·
Discuss: Hacker News
📚Automata Learning
Breaking Verifiable Abstractions
alperenkeles.com·1d·
Discuss: Hacker News, r/programming
🔍Formal Verification
Revisiting Landmarks: Learning from Previous Plans to Generalize over Problem Instances
arxiv.org·1d
📐Denotational Semantics
Tried parsing invoices with GPT-4o, Claude Sonnet 3.5 & Invofox API (Python). Here's what I found.
reddit.com·20h·
Discuss: r/programming
🐫Embedded OCaml
LLM Evaluation: Practical Tips at Booking.com
booking.ai·3d·
Discuss: Hacker News
🎮Verification Games
Improving Aviation Safety Analysis: Automated HFACS Classification Using Reinforcement Learning with Group Relative Policy Optimization
arxiv.org·1d
📚Automata Learning
Compiling Dinner
gist.github.com·4d·
Discuss: Hacker News
🤖Program Synthesis
The use of Claude Code in SciML repos
discourse.julialang.org·3d·
Discuss: Hacker News
💎Refinement Types
Apertus: a fully open, transparent, multilingual language model
ethz.ch·7h·
Discuss: Hacker News, r/LocalLLaMA
🔬Unikernels
A Unified Theory of Language
arxiv.org·4d
📚Automata Learning
Show HN: I Built an AI Comic Maker That Adds Quizzes (MCQs) for Kids
github.com·7h·
Discuss: Hacker News
🎮Verification Games
The gen on function perilogues (2010)
jdebp.uk·3h·
Discuss: Hacker News
🐫Embedded OCaml
GDS Agent: A Graph Algorithmic Reasoning Agent
arxiv.org·4d
🧠Automated Reasoning
Output Schema for CodeAct AI Agents: From Trial-and-Error to Predictive Planning
huggingface.co·2d·
Discuss: Hacker News
✓Automated Theorem Proving
From Multi-Head to Latent Attention: The Evolution of Attention Mechanisms
vinithavn.medium.com·3d·
Discuss: Hacker News
📚Automata Learning