The Easiest Way to Build a Type Checker
โ
Type Checking
Flag this post
Learning Tractable Distributions Of Language Model Continuations
arxiv.orgยท2d
๐LR Parsing
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
Automatic Syntax Error Recovery (2020)
๐งError Recovery
Flag this post
People test Nano Banana with PDF paper to whiteboard. I did the exact opposite
๐๏ธTerm Indexing
Flag this post
10 Essential Java Libraries - How Essential Are They Really?
hackernoon.comยท1d
๐งAPI Design
Flag this post
Announcing ml-container-creator for easy BYOC on SageMaker
aws.amazon.comยท2d
๐Tablegen
Flag this post
War Machine
mbutler.orgยท4h
๐Lua
Flag this post
Exploring structured generation with FoundationModels
onlyfunc.comยท2d
๐Tablegen
Flag this post
FAWK: LLMs can write a language interpreter
๐ชOCaml
Flag this post
A small fine-tune of Gemma 3 4B focused on translation and text transformation
๐คLanguage Tokenizers
Flag this post
<p>**Abstract:** This paper introduces a novel framework for automated paleo-climate reconstruction and anomaly detection using a structured multi-modal data in...
freederia.comยท12h
๐ณTree Diffing
Flag this post
Concept-Based Generic Programming -- Bjarne Stroustrup
isocpp.orgยท9h
๐๏ธType Indexing
Flag this post
Loading...Loading more...