Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·1d
🔗Unification Algorithms
My First Week of Vibecoding
underreacted.leaflet.pub·2h·
Discuss: Hacker News
✨Gleam
BQN "Macros" with •Decompose (2023)
saltysylvi.github.io·6h·
Discuss: Hacker News
🔧Scheme Macros
Revisiting Karpathy's 'Unreasonable Effectiveness of Recurrent Neural Networks'
gilesthomas.com·4h·
Discuss: Hacker News
🪜Recursive Descent
Slip – A Lisp System in JavaScript
lisperator.net·15h·
Discuss: Hacker News
🌱Minimal Lisps
Cactus Language • Semantics 3
inquiryintoinquiry.com·13h
📋Backus-Naur Form
Haskell Weekly Issue 493
haskellweekly.news·1d·
Discuss: Hacker News
⚡functional programming
Building the Reasoning Engine at Axiom
axiommath.ai·9h·
Discuss: Hacker News
🎭Program Synthesis
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
📋Datalog
Let's Write a Macro in Rust
hackeryarn.com·13h·
Discuss: Hacker News
🦀Rust Macros
Assuring Agent Safety Evaluations By Analysing Transcripts
lesswrong.com·19h
✨Effect Inference
LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?
arxiv.org·1d
🔍ML Language
From Text to Token: How Tokenization Pipelines Work
paradedb.com·1d
🔍Tokenizers
Built FoldCMS: a type-safe static CMS with Effect and SQLite with full relations support (open source)
reddit.com·13h·
Discuss: r/reactjs
📚Stack Languages
Java Isn't Verbose – You Are
dev.to·18h·
Discuss: DEV
🎮Language Ergonomics
Functions are Asymmetric
elbeno.com·6h
😴Lazy Evaluation
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·1d·
Discuss: Hacker News, r/programming
📝Rope Editors
Python 3.14 brings template string literals, free-threading, and stdlib subinterpreters
alternativeto.net·1d
⚡Incremental Parsing
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·1d·
Discuss: Hacker News, r/programming
🤐Zipper Structures
Show HN: I built a LSP with its own parser to learn Rust
github.com·1h·
Discuss: Hacker News
⚙️TOML Parsers