The Easiest Way to Build a Type Checker
jimmyhmiller.com·12h·
Discuss: Hacker News
⬌Bidirectional Typing
Flag this post
LLM on AWS with Bedrock and Understanding Non-Determinism in Generative Models
dev.to·12h·
Discuss: DEV
💻Local LLMs
Flag this post
Automatic Syntax Error Recovery (2020)
tratt.net·20h·
Discuss: Lobsters
🌳Incremental Parsing
Flag this post
No Deus ex Machina
thestoicprogrammer.substack.com·21h·
Discuss: Substack
🔩Systems Programming
Flag this post
Understanding LLMs as Pattern Machines, Not Thinking Partners
practicalsecurity.substack.com·20h·
Discuss: Substack
💧Liquid Types
Flag this post
Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·10h
λLambda Encodings
Flag this post
POPL Paper—Hyperfunctions: Communicating Continuations
doisinkidney.com·5d
🔗Functional Compilers
Flag this post
Set theory with types
lawrencecpaulson.github.io·2d·
Discuss: Hacker News, Hacker News
🔤Type Theory
Flag this post
Understanding intrinsically disordered protein regions and their roles in cancer
phys.org·1d
⚙️ABNF Mining
Flag this post
Rethinking C++: Architecture, Concepts, and Responsibility
blogs.embarcadero.com·3d·
Discuss: Hacker News
🛠Language Design
Flag this post
Incorporating Self-Rewriting into Large Language Model Reasoning Reinforcement
arxiv.org·2d
🌳Context free grammars
Flag this post
Dingo: A Meta-Language for Go
github.com·5h·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Flag this post
Where "Simulation" Came From
decomposition.al·2d·
Discuss: Hacker News
🔤Type Theory
Flag this post
Show HN: I ended up vibecoding a full fledged interpreter when ads annoyed me
pseudorun.tech·13h·
Discuss: Hacker News
🦀Rust Macros
Flag this post
WebAssembly Still Expanding Frontend Uses 10 Years Later
thenewstack.io·14h
🕸️WebAssembly
Flag this post
Infix Versus Prefix Operators
irreal.org·15h
🧠Lisp Dialects
Flag this post
Vibe Coding a Compiler: From Natural Language to LLVM IR
medium.com·1d·
Discuss: Hacker News
🔗Concatenative Programming
Flag this post
The Architect’s Mindset: Structuring Data for Robust AI Pipelines
dev.to·2d·
Discuss: DEV
💧Liquid Types
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·6h
🌀Brotli Internals
Flag this post
Railway Oriented Programming
fsharpforfunandprofit.com·3d·
Discuss: Hacker News
🧬Functional Programming
Flag this post