The Sacrilegious Coder
medium.comยท9hยท
Discuss: DEV
๐Ÿ“šSelf-Documenting Code
Flag this post
When Minds Meet Cultures: A New Way of Understanding How Language Emerged
anthropology.netยท2d
๐Ÿ”ฌprogramming language theory
Flag this post
Show HN: I ended up vibecoding a full fledged interpreter when ads annoyed me
pseudorun.techยท15hยท
Discuss: Hacker News
๐ŸŒฑMinimal Interpreters
Flag this post
Dingo: A Meta-Language for Go
github.comยท6hยท
๐Ÿค–Embedded Go
Flag this post
How LLM Inference Works
arpitbhayani.meยท1d
๐Ÿš€Tokenizer Performance
Flag this post
Set theory with types
lawrencecpaulson.github.ioยท2dยท
๐ŸŽฏType Theory
Flag this post
Symmetry Solved: Lightning-Fast Algorithms Unlock New Optimization Possibilities
dev.toยท1dยท
Discuss: DEV
๐ŸŽจGraph Coloring
Flag this post
LLM on AWS with Bedrock and Understanding Non-Determinism in Generative Models
dev.toยท13hยท
Discuss: DEV
๐Ÿ“ŠLR Parsing
Flag this post
Understanding PL/SQL Collections: Associative Arrays, Nested Tables, and VARRAYs
dev.toยท5hยท
Discuss: DEV
๐Ÿ“‹Row Typing
Flag this post
Can questions rigidly designate intentions? File under: Rolling my own metaethics by Mason Broxham
greaterwrong.comยท2d
โš–๏ธInference Rules
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.orgยท2d
๐Ÿ”ถLattice Theory
Flag this post
Automatic Syntax Error Recovery (2020)
tratt.netยท22hยท
Discuss: Lobsters
๐Ÿ”งError Recovery
Flag this post
Arc Is a Vision Problem
arxiviq.substack.comยท18hยท
Discuss: Substack
๐ŸŒฑMinimal ML
Flag this post
HinTel-AlignBench: A Framework and Benchmark for Hindi-Telugu with English-Aligned Samples
arxiv.orgยท3d
โšกTokenizer Benchmarks
Flag this post
Olmo 3 is a fully open LLM
simonwillison.netยท8h
๐Ÿ”ML Language
Flag this post
RFT Theorems
reddit.comยท1dยท
Discuss: r/compsci
๐Ÿ”ขAlgebraic Datatypes
Flag this post