The Easiest Way to Build a Type Checker
โ
Type Checking
Flag this post
Show HN: I ended up vibecoding a full fledged interpreter when ads annoyed me
๐ฑMinimal Interpreters
Flag this post
Automatic Syntax Error Recovery (2020)
๐งError Recovery
Flag this post
Concept-Based Generic Programming -- Bjarne Stroustrup
isocpp.orgยท9h
๐๏ธType Indexing
Flag this post
Why Not Just Train For Interpretability?
lesswrong.comยท1d
๐ฑMinimal Interpreters
Flag this post
10000
jro.sgยท18h
๐ฆExecutable Size
Flag this post
Infix Versus Prefix Operators
irreal.orgยท15h
๐ญDelimited Continuations
Flag this post
A Subsets.py Step-by-Step Visualization! (With Lyrics)
youtube.comยท1d
๐ฎType Inference Visualization
Flag this post
Incorporating Self-Rewriting into Large Language Model Reasoning Reinforcement
arxiv.orgยท2d
๐ชRecursive Descent
Flag this post
SoX_ng
๐ฑForth Kernels
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ยท23h
โ๏ธInference Rules
Flag this post
How LLM Inference Works
arpitbhayani.meยท1d
๐Tokenizer Performance
Flag this post
The Secret Life of Python: Bytecode Secrets - What Python Really Runs
๐Bytecode Interpreters
Flag this post
A WebAssembly Interpreter
๐WASM Runtimes
Flag this post
Loading...Loading more...