🌲 Tree Rewriting

Term Rewriting Systems, AST Transformation, Optimization Rules, Pattern Matching

Little Procedural Island I've been working on
v.redd.it·12h·
Discuss: r/proceduralgeneration
📚Self-Documenting Code
Flag this post
Cure - Verification-First Programming for the BEAM
cure-lang.org·2d·
Discuss: Lobsters
📡Erlang BEAM
Flag this post
Amazon gets hit by a Comet
platformer.news·10h
✨Gleam
Flag this post
Pain Points of OCaml
quamserena.com·1d·
Discuss: Lobsters, Hacker News
🐪OCaml
Flag this post
How Sohith Yalamati’s Universal Data Ingestion System Redefined Enterprise Data Processing
hackernoon.com·7h
💾Persistent Heaps
Flag this post
Why AI’s hallucinations are like the illusions of narcissism
psyche.co·1h
✨Effect Inference
Flag this post
Testing Cursor's New Model: Composer
shuttle.dev·12h
🌊Async Compilers
Flag this post
Benchmarking the cost of Java's EnumSet - A Second Look
kinnen.de·16h·
Discuss: r/programming
⚡Interpreter Optimization
Flag this post
Creating a Linux Application Using VSCodium, Cline, OpenRouter, and Claude
taosecurity.blogspot.com·1d·
Discuss: www.blogger.com
🔗Language Toolchains
Flag this post
What does the ideal information environment look like?
defenderofthebasic.substack.com·1d·
Discuss: Substack
🎯Symbolic Execution
Flag this post
Artificial intelligence: Nirvana or apocalypse?
mathscholar.org·14h
🎭Program Synthesis
Flag this post
Understanding Tokenization in Large Language Models
pub.towardsai.net·1d
⚡Tokenizer Benchmarks
Flag this post
LLM-Driven Cost-Effective Requirements Change Impact Analysis
arxiv.org·1d
🚚Code Migration
Flag this post
Being "Usefully Concrete"
lesswrong.com·13h
🔗Concatenative Theory
Flag this post
Automated Sentiment-Driven Resource Allocation for Community Resilience Planning
dev.to·17h·
Discuss: DEV
🧠Semantic Parsing
Flag this post
Towards Selection of Large Multimodal Models as Engines for Burned-in Protected Health Information Detection in Medical Images
arxiv.org·7h
✨Effect Inference
Flag this post
Semantic search with embeddings in JavaScript: a hands-on example using LangChain and Ollama
dev.to·2d·
Discuss: DEV
🧠Semantic Parsing
Flag this post
GraphMD – LLMs Powered Literate Programming Environment for Markdown Documents
github.com·2d·
Discuss: Hacker News
📚Self-Documenting Code
Flag this post
Quantum-Resistant Federated Learning: Implementing Post-Quantum Cryptography for Secure Model Aggregation in Cross-Silo Envir...
dev.to·2h·
Discuss: DEV
🔗Hash Functions
Flag this post
Ariadne: A Controllable Framework for Probing and Extending VLM Reasoning Boundaries
arxiv.org·1d
🔮Metacircular Evaluators
Flag this post