Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·18h
🔗Unification Algorithms
Building the Reasoning Engine at Axiom
axiommath.ai·2h·
Discuss: Hacker News
🎭Program Synthesis
Cactus Language • Semantics 3
inquiryintoinquiry.com·6h
📋Backus-Naur Form
Built FoldCMS: a type-safe static CMS with Effect and SQLite with full relations support (open source)
reddit.com·6h·
Discuss: r/reactjs
📚Stack Languages
Let's Write a Macro in Rust
hackeryarn.com·6h·
Discuss: Hacker News
🦀Rust Macros
From Documents to Dialogue: A step-by-step RAG Journey
dev.to·8h·
Discuss: DEV
💬Interactive REPLs
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·18h
🔍ML Language
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
🏛️Elm Architecture
Slip – A Lisp System in JavaScript
lisperator.net·8h·
Discuss: Hacker News
🌱Minimal Lisps
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·1d·
Discuss: Hacker News, r/programming
🤐Zipper Structures
An enough week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
🌲Deforestation
Experimenting with ACL2 and Claude Code
mikedodds.org·9h·
Discuss: Hacker News
💬Interactive REPLs
Logical Operators & Control Flow
github.com·12h·
Discuss: DEV
🎭Delimited Continuations
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·12h
🧮Combinator Calculus
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·20h·
Discuss: Hacker News, r/programming
📝Rope Editors
Python 3.14 brings template string literals, free-threading, and stdlib subinterpreters
alternativeto.net·1d
⚡Incremental Parsing
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
📋Datalog
⚙️ C in Action: Real Projects You Can Build to Master It
dev.to·6h·
Discuss: DEV
🪄C Metaprogramming
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·18h
λLambda Calculus
Categorical systems theory
topos.institute·10h
🔗Category Theory