Token Models as Statistical Simulations: A Different Take
medium.com·5h·
Discuss: Hacker News
📚Automata Learning
Evals in the Age of Jarvis
lesswrong.com·9h
📊Runtime Verification
LingoDB – Data Processing with Compiler Technology
lingo-db.com·1d·
Discuss: Hacker News
🔤DSLs
Polymorphism for Beginners
roscidus.com·1d·
Discuss: Hacker News
🐫OCaml
Tokenization Strategies for Low-Resource Agglutinative Languages in Word2Vec: Case Study on Turkish and Finnish
arxiv.org·3d
📚Automata Learning
Transforming Recursion into Iteration for LLVM Loop Optimizations
dspace.mit.edu·11h·
Discuss: Hacker News
⚙️PL Implementation
The low-cost path to AI Mastery
antonyarkov.substack.com·17h·
Discuss: Substack
✓Automated Theorem Proving
Effect Systems vs. Print Debugging: A Pragmatic Solution
blog.flix.dev·22h·
Discuss: Hacker News
🔬Static Analysis
My computer science RELEARNING progress logs
rbcrossley.github.io·19h·
Discuss: r/programming
💻CS
Building sub-100ms autocompletion for JetBrains IDEs
blog.sweep.dev·2d·
Discuss: Hacker News
📚Automata Learning
MLOps Fundamentals: 6 Principles That Define Modern ML Operations (from the author of LLM Engineering Handbook)
javarevisited.substack.com·2d·
Discuss: r/programming
🔄Reproducible Builds
Three Meanings of Effects
burakemir.ch·2d·
Discuss: Hacker News
🏹Effect Systems
LLM-Deflate: Extracting LLMs into Datasets
scalarlm.com·1d·
Discuss: Hacker News
📚Automata Learning
Building tenets: Intelligent context aggregation for AI pair programming
jddunn.github.io·3d·
Discuss: Hacker News
📚Automata Learning
Brzozowski Derivatives: An Exercise in Combinatory Style
blog.zdsmith.com·6d·
Discuss: Lobsters, Hacker News
🐫OCaml
Building Search for this Site – Search on a static site
alexleighton.com·20h·
Discuss: Hacker News
🐫Embedded OCaml
How to stop functional programming
brianmckenna.org·16h·
Discuss: Hacker News, r/programming
🏹Effect Systems
Running a RAG powered language model on Android using mediapipe
darrylbayliss.net·1d·
Discuss: Hacker News
📚Automata Learning
Receipt parsing – A comparison between a small and a medium sized model
blog.yasuflores.me·1d·
Discuss: Hacker News
🍎Apple
Vibe-coding and open-source: 286k LoC, 2 months
github.com·1d·
Discuss: Hacker News
🔬Static Analysis