Eyes Unclouded - Session 8
mediumsandmessages.bearblog.dev·7h
🧩Theorem Proving
RELEASING KARL DOCS
karldocs.netlify.app·14h·
Discuss: DEV
🔗Parser Combinators
Chromahack, a programming language
blog.libove.org·1d
🔧Compiler Design
The Summer of Codex
paylias.xyz·13h·
Discuss: Hacker News
⚙Functional Programming
Categorising My Daily Todo List with Deepseek-R1
bentasker.co.uk·2d·
Discuss: Hacker News
🔗Parser Combinators
Reverse engineering some updates to Claude
simonw.substack.com·1d·
Discuss: Substack
🏗️Software Architecture
Symbol-Level Editing
sysprogs.com·18h·
Discuss: Hacker News
🔧Compiler Design
Onboarding for Coding Agents
fuzzycomputer.com·12h·
Discuss: Hacker News
🧩Theorem Proving
Why not? Developing ABox Abduction beyond Repairs
arxiv.org·3d
🧩Theorem Proving
Connect AI to microM8 Apple IIe Emulator and turtleSpaces Logo using MCP (Model Context Protocol) for ‘Vibe Coding’ and other activities…
paleotronic.com·6h
🔧Compiler Design
How to Write Inductive Invariants
quint-lang.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🤝Protocol Design
Show HN: Accelerate AI agent development by grounding AI assistant in local docs
github.com·9h·
Discuss: Hacker News
🧩Theorem Proving
My Journey to Pure No-Code Addition (Spoiler: Plot Twist Ending)
news.ycombinator.com·2d·
Discuss: Hacker News
⚙Functional Programming
Hierarchical Reasoning Model
threadreaderapp.com·5h
🎲Probabilistic Programming
Engineering With Java: Digest #58
javabulletin.substack.com·1d·
Discuss: r/programming
🏗Computer Architecture
So I tried Unity and I'm back to Godot.
reddit.com·2h·
Discuss: r/godot
👐Open Source Software
Numbers are weird (article)
tomscheers.github.io·4h·
Discuss: r/C_Programming
🧠Memory Management
RAG: The System Works (Terms and Conditions Apply)
esrmnt.bearblog.dev·21h
👐Open Source Software
You're Not Chatting. You're Folding the Universe.
github.com·1d·
Discuss: r/LLM
🧫Cellular Automata
A love letter to legacy projects
frederickvanbrabant.com·1d·
Discuss: r/webdev
📦WebAssembly