The Easiest Way to Build a Type Checker
โ
Type Checking
Flag this post
Concept-Based Generic Programming -- Bjarne Stroustrup
isocpp.orgยท9h
๐๏ธType Indexing
Flag this post
Automatic Syntax Error Recovery (2020)
๐งError Recovery
Flag this post
Why Not Just Train For Interpretability?
lesswrong.comยท1d
๐ฑMinimal Interpreters
Flag this post
<p>**Abstract:** This paper introduces a novel framework, the Automated Semantic Alignment & Contextual Translation Consistency Verification (ASC-TCV) syst...
freederia.comยท2d
๐Backus-Naur Form
Flag this post
NLP Datasets for Idiom and Figurative Language Tasks
arxiv.orgยท2d
โกTokenizer Benchmarks
Flag this post
GuardScan: Building a Privacy-First SAST Tool with Multi-Language AST Parsing
โ๏ธTOML Parsers
Flag this post
Markdown Is Holding You Back
๐Self-Documenting Code
Flag this post
A Pattern Language for Pattern Languages
mcqn.netยท7h
๐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
People test Nano Banana with PDF paper to whiteboard. I did the exact opposite
๐๏ธTerm Indexing
Flag this post
Infix Versus Prefix Operators
irreal.orgยท15h
๐ญDelimited Continuations
Flag this post
10 Essential Java Libraries - How Essential Are They Really?
hackernoon.comยท1d
๐งAPI Design
Flag this post
Show HN: Another JSON Alternative
๐JSON Parsing
Flag this post
Loading...Loading more...