Type Theory Resources, Programming Language Theory, Formal Systems, Beginner Guides
Cactus Language • Semantics 1
inquiryintoinquiry.com·50m
Constraint Satisfaction Approaches to Wordle: Novel Heuristics and Cross-Lexicon Validation
arxiv.org·12h
Claude Code sucks but is still useful: experiences maintaining Julia’s SciML scientific computing infrastructure
stochasticlifestyle.com·10h
Functional Threading “Macros”
aartaka.me·1d
Footnotes to a couple of weeks: Category mistakes, Dutch courtyards, Martinů
logicmatters.net·2d
Seriously Testing LLMs
satisfice.com·15h
Loading...Loading more...