Generalized Algebraic Data Types, Type Witnesses, Pattern Matching, ML

People test Nano Banana with PDF paper to whiteboard. I did the exact opposite
quickchat.ai·9h·
Discuss: Hacker News
🗂️Term Indexing
Flag this post
Arc Is a Vision Problem
arxiviq.substack.com·17h·
Discuss: Substack
🌱Minimal ML
Flag this post
Automatic Syntax Error Recovery (2020)
tratt.net·20h·
Discuss: Lobsters
🔧Error Recovery
Flag this post
Package Hygiene in Alice, an experimental OCaml build system
alicecaml.org·1d·
Discuss: Hacker News
📦Package Managers
Flag this post
How LLM Inference Works
arpitbhayani.me·1d
🚀Tokenizer Performance
Flag this post
Implementing Custom Autocomplete in VSCode
dganev.com·1d·
Discuss: Hacker News
🔄Incremental Lexing
Flag this post
Understanding LLMs as Pattern Machines, Not Thinking Partners
practicalsecurity.substack.com·21h·
Discuss: Substack
🎭Program Synthesis
Flag this post
Show HN: Makefiles, Metalanguages, and Matrioshka Automata
robot-wranglers.github.io·1d·
Discuss: Hacker News
🔄Bootstrapping
Flag this post
Making SLH-DSA 10x-100x Faster
conduition.io·6h
🔗Hash Algorithms
Flag this post
October 2024 Progress in Guaranteed Safe AI
lesswrong.com·2d
📈Monotonic Logic
Flag this post
What is GNU Emacs and do you want a copy? (1986)
gnu.org·8h·
Discuss: Hacker News
📖Literate Programming
Flag this post
Maybe somebody can explain to me how weak references solve the ODR problem
devblogs.microsoft.com·1d
🔗Weak References
Flag this post
GuardScan: Building a Privacy-First SAST Tool with Multi-Language AST Parsing
reddit.com·2d·
Discuss: r/programming
⚙️TOML Parsers
Flag this post
A Subsets.py Step-by-Step Visualization! (With Lyrics)
youtube.com·1d
🔮Type Inference Visualization
Flag this post
Weekly Bookmarks
inkdroid.org·2h
🪢Rope Data Structures
Flag this post
Building an impossible Tic-Tac-Toe with Minimax and LemonadeJS
dev.to·11h·
Discuss: DEV
🎪Playground Compilation
Flag this post
Infix Versus Prefix Operators
irreal.org·15h
🎭Delimited Continuations
Flag this post
Why Not Just Train For Interpretability?
lesswrong.com·1d
🌱Minimal Interpreters
Flag this post
Set theory with types
lawrencecpaulson.github.io·2d·
🎯Type Theory
Flag this post
Question from notation in "Hacker's Delight" by Warren
reddit.com·6h·
Mathematical DSLs
Flag this post