Keyboards from My Collection
aresluna.org·5h·
Discuss: Hacker News
💾Retro Computing
Agents need a new retrieval engine
hornet.dev·5h·
Discuss: Hacker News
📝Term Rewriting
Can Multimodal LLMs Solve the Basic Perception Problems of Percept-V?
arxiv.org·1d
📚Automata Learning
What Unix Pipelines Got Right (and How We Can Do Better)
programmingsimplicity.substack.com·19h·
Discuss: Substack
⚙️Operating System Design
Trapped in the Infinite Honey Pot
brianschrader.com·3h·
Discuss: Hacker News
🩹Self-Healing Systems
A letter to the C-suite: think carefully before hiring MLEs
parsed.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
There's a gap between AI coding demos and daily reality
github.com·2h·
Discuss: Hacker News
🤖Program Synthesis
MyGO: Memory Yielding Generative Offline-consolidation for Lifelong Learning Systems
arxiv.org·1d
📚Automata Learning
Inverting the Xorshift128 random number generator
littlemaninmyhead.wordpress.com·1d·
Discuss: Hacker News, r/programming
🐫Embedded OCaml
Prompt Engineering for Grok Code Fast 1
docs.x.ai·4d·
Discuss: Hacker News
🔬Static Analysis
Output Schema for CodeAct AI Agents: From Trial-and-Error to Predictive Planning
huggingface.co·1d·
Discuss: Hacker News
✓Automated Theorem Proving
What AI chatbots are doing under the hood
gilesthomas.com·3d·
Discuss: Hacker News
📚Automata Learning
LLM Evaluation: Practical Tips at Booking.com
booking.ai·3d·
Discuss: Hacker News
🎮Verification Games
Breaking Verifiable Abstractions
alperenkeles.com·21h·
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·14h·
Discuss: r/programming
🐫Embedded OCaml
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
Toad: Universal TUI for Agentinc Coding from Will McGugan (Rich/Textual)
elite-ai-assisted-coding.dev·19h·
Discuss: Hacker News
🔧Unikernel Development
Apertus: a fully open, transparent, multilingual language model
ethz.ch·1h·
Discuss: Hacker News, r/LocalLLaMA
🔬Unikernels