Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·13h
🔗Unification Algorithms
An enough week
blog.mitrichev.ch·21h·
Discuss: blog.mitrichev.ch
🧩Constraint Solvers
From Documents to Dialogue: A step-by-step RAG Journey
dev.to·3h·
Discuss: DEV
💬Interactive REPLs
Efficient and accurate search in petabase-scale sequence repositories
nature.com·2d·
Discuss: Hacker News
📝Text Algorithms
Why Future AIs will Require New Alignment Methods
lesswrong.com·2h
🎭Program Synthesis
Cactus Language • Semantics 3
inquiryintoinquiry.com·1h
📋Backus-Naur Form
Randomized and quantum approximate matrix multiplication
arxiv.org·13h
🔬Nanopasses
Working on Hard Problems
danvk.org·1d
🤐Zipper Structures
AI Just Got Better at Counting Trees
hackernoon.com·2d
🌲Deforestation
Sorting encrypted data without decryption: a practical trick
github.com·2h·
Discuss: DEV
🔗Hash Functions
Basketball trivia, editing distances, and derangement
leancrew.com·1d
📐String Similarity
Experimenting with ACL2 and Claude Code
mikedodds.org·5h·
Discuss: Hacker News
💬Interactive REPLs
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·1d·
Discuss: Hacker News, r/programming
🤐Zipper Structures
Built FoldCMS: a type-safe static CMS with Effect and SQLite with full relations support (open source)
reddit.com·1h·
Discuss: r/reactjs
📚Stack Languages
METRICALARGS: A Taxonomy for Studying Metrical Poetry with LLMs
arxiv.org·13h
⚡Tokenizer Benchmarks
Parameterized Complexity of s-Club Cluster Edge Deletion
arxiv.org·1d
🌲Deforestation
Indexing, Hashing & Query Optimization in SQL — A Practical Guide
dev.to·2d·
Discuss: DEV
📈Query Optimization
An enough week
blog.mitrichev.ch·21h·
Discuss: blog.mitrichev.ch
🌲Deforestation
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·15h·
Discuss: Hacker News, r/programming
📝Rope Editors
Stop Spraying & Praying: An Engineer's Guide to Account-Based Marketing
getmichaelai.com·6h·
Discuss: DEV
🎮Language Ergonomics