Mastering Claude Code โ A Free Open-Source Handbook for Developers
๐ญProgram Synthesis
Flag this post
The Sacrilegious Coder
๐Self-Documenting Code
Flag this post
I'm a thirty year old dude who wants to start over and learn to program and motivation is really hard to come by.
๐Literate Programming
Flag this post
Langโs theorem โ Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.comยท9h
๐งฎCombinator Calculus
Flag this post
A Pattern Language for Pattern Languages
mcqn.netยท6h
๐Backus-Naur Form
Flag this post
Show HN: I ended up vibecoding a full fledged interpreter when ads annoyed me
๐ฑMinimal Interpreters
Flag this post
Concept-Based Generic Programming -- Bjarne Stroustrup
isocpp.orgยท8h
๐๏ธType Indexing
Flag this post
No Deus ex Machina
๐Forth Compilers
Flag this post
Building an impossible Tic-Tac-Toe with Minimax and LemonadeJS
๐ชPlayground Compilation
Flag this post
Automatic Syntax Error Recovery (2020)
๐งError Recovery
Flag this post
Formatively Assessing Student Thinking
kgmathminds.comยท15h
๐Educational Compilers
Flag this post
It's LIT! Reliability-Optimized LLMs with Inspectable Tools
arxiv.orgยท3d
๐ชRecursive Descent
Flag this post
Learnify โ Online Education & Courses Elementor Pro Template Kit
kalkis-research.comยท2h
๐Teaching Compilers
Flag this post
Typst for Your Code Blocks
lambdaland.orgยท3d
โจCode Formatting
Flag this post
The Easiest Way to Build a Type Checker
โ
Type Checking
Flag this post
Math And Programming - Perfectly Matched
i-programmer.infoยท1d
๐Literate Programming
Flag this post
Loading...Loading more...