The Easiest Way to Build a Type Checker
jimmyhmiller.com·12h·
Discuss: Hacker News
⬌Bidirectional Typing
Flag this post
Building an impossible Tic-Tac-Toe with Minimax and LemonadeJS
dev.to·11h·
Discuss: DEV
⚔️Lean Tactics
Flag this post
Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·10h
λLambda Encodings
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·7h
🌀Brotli Internals
Flag this post
The Machine Learning Roadmap
github.com·8h·
Discuss: Hacker News
🎵Audio ML
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔗Combinatory Logic
Flag this post
Automatic Syntax Error Recovery (2020)
tratt.net·20h·
Discuss: Lobsters
🌳Incremental Parsing
Flag this post
Where "Simulation" Came From
decomposition.al·2d·
Discuss: Hacker News
🔤Type Theory
Flag this post
Understanding LLMs as Pattern Machines, Not Thinking Partners
practicalsecurity.substack.com·21h·
Discuss: Substack
💻Programming languages
Flag this post
Understanding intrinsically disordered protein regions and their roles in cancer
phys.org·1d
⚙️ABNF Mining
Flag this post
A Loopy Holiday Gift Exchange
thefiddler.substack.com·1d·
Discuss: Substack
🌳Trie Structures
Flag this post
Set theory with types
lawrencecpaulson.github.io·2d·
Discuss: Hacker News, Hacker News
🔤Type Theory
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
Safeguarded AI (Part 2)
johncarlosbaez.wordpress.com·3d
⚙️Proof Engineering
Flag this post
Typechecking is undecideable when 'type' is a type
dspace.mit.edu·5d·
Discuss: Lobsters, Hacker News, r/programming
🔗Dependently Typed
Flag this post
Incorporating Self-Rewriting into Large Language Model Reasoning Reinforcement
arxiv.org·2d
💻Programming languages
Flag this post
A Subsets.py Step-by-Step Visualization! (With Lyrics)
youtube.com·1d
📚Lempel-Ziv
Flag this post
Evolution Strategies at the Hyperscale
eshyperscale.github.io·2d·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Writing Type-Safe Generics in C
hackaday.com·5d
💧Liquid Types
Flag this post
No Deus ex Machina
thestoicprogrammer.substack.com·22h·
Discuss: Substack
🔩Systems Programming
Flag this post