Automatic Syntax Error Recovery (2020)
🔧Error Recovery
Flag this post
Concept-Based Generic Programming -- Bjarne Stroustrup
isocpp.org·8h
🗂️Type Indexing
Flag this post
Learning Tractable Distributions Of Language Model Continuations
arxiv.org·2d
📊LR Parsing
Flag this post
The Easiest Way to Build a Type Checker
✅Type Checking
Flag this post
I built a task system that survives Claude sessions and works across any AI tool - entirely made with Claude Code
💬Interactive REPLs
Flag this post
People test Nano Banana with PDF paper to whiteboard. I did the exact opposite
🗂️Term Indexing
Flag this post
The age of personalized software
discuss.samsaffron.com·47m
🎮Language Ergonomics
Flag this post
Show HN: I ended up vibecoding a full fledged interpreter when ads annoyed me
🌱Minimal Interpreters
Flag this post
Taming the Data Beast: Build Pipelines That Bend, Not Break by Arvind Sundararajan
📋JSON Parsing
Flag this post
original ↗
zylstra.org·5h
🏠indieweb
Flag this post
<p>**Abstract:** This paper introduces a novel system for automating the formalization and verification of proofs within Homotopy Type Theory (HoTT). Leveraging...
freederia.com·21h
⚖️Inference Rules
Flag this post
My code is 100% AI generated
jda.bearblog.dev·12h
📚Self-Documenting Code
Flag this post
The Real Python Podcast – Episode #275: Building a FastAPI Application & Exploring Python Concurrency
realpython.com·1d
💬Interactive REPLs
Flag this post
Beyond the Changelog: Engineering Your Blog for B2B Thought Leadership
🎮Language Ergonomics
Flag this post
Letting coding agents access runtime output (my current approach)
📚Self-Documenting Code
Flag this post
A Pattern Language for Pattern Languages
mcqn.net·6h
📋Backus-Naur Form
Flag this post
Loading...Loading more...