Constraint Catalog
sofdem.github.io·1d
🎯Constraint Programming
Research Areas in Interpretability (The Alignment Project by UK AISI)
lesswrong.com·1d
🔗Parser Combinators
JavaScript Types: What Are They and How Do You Check Them?
howtogeek.com·1d
📐Type Theory
Onboarding for Coding Agents
fuzzycomputer.com·2h·
Discuss: Hacker News
🧩Theorem Proving
Python Scripts – From Classroom to Community - 1
brezular.com·22h
📝Lisp
You're Not Chatting. You're Folding the Universe.
github.com·1d·
Discuss: r/LLM
🧫Cellular Automata
🔗 Upside-Down Development
jardo.dev·3d
📐Type Theory
The Parallel Lives of an AI Engineer
worksonmymachine.ai·2h·
Discuss: Hacker News
🤖Sci-Fi
News for July 2025
ptreview.sublinear.info·16h
⚖Algorithmic Game Theory
RAG: The System Works (Terms and Conditions Apply)
esrmnt.bearblog.dev·10h
👐Open Source Software
On This Day in Math - August 1
pballew.blogspot.com·1d·
Discuss: www.blogger.com
🧩Theorem Proving
Macros, Matter, & Malleability
clojurecivitas.github.io·1d
📝Lisp
Reverse engineering some updates to Claude
simonw.substack.com·16h·
Discuss: Substack
🏗️Software Architecture
The Road Not Taken: Why Mars Chose Manual Recursion Over the Visitor Pattern 🛤️
dev.to·2d·
Discuss: DEV
📝Lisp
Simple Java Project: Basic Contact Book (Console-Based) — Detailed Guide
dev.to·3h·
Discuss: DEV
⚙Functional Programming
LLGuidance: Making Structured Outputs Go Brrr
guidance-ai.github.io·2d·
Discuss: Hacker News
🔧Compiler Design
TypeScript 5.9 Adds Expandable Hovers
i-programmer.info·2d
📐Type Theory
Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification
harmonic.fun·3d·
Discuss: Hacker News
🧩Theorem Proving
Rust, Python, and TypeScript: the new trifecta
smallcultfollowing.com·2d·
Discuss: Hacker News
📐Type Theory
Notes and Takes from Computer Systems, A Programmer's Perspective - Chapter 1, from a Non-CS Grad
youtube.com·2d·
Discuss: DEV
🏗Computer Architecture