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

Little Procedural Island I've been working on
v.redd.it·9h·
📚Self-Documenting Code
Flag this post
Cure - Verification-First Programming for the BEAM
cure-lang.org·1d·
Discuss: Lobsters
📡Erlang BEAM
Flag this post
Amazon gets hit by a Comet
platformer.news·7h
Gleam
Flag this post
Pain Points of OCaml
quamserena.com·1d·
🐪OCaml
Flag this post
Benchmarking the cost of Java's EnumSet - A Second Look
kinnen.de·13h·
Discuss: r/programming
Interpreter Optimization
Flag this post
Creating a Linux Application Using VSCodium, Cline, OpenRouter, and Claude
taosecurity.blogspot.com·1d·
🔗Language Toolchains
Flag this post
What does the ideal information environment look like?
defenderofthebasic.substack.com·1d·
Discuss: Substack
🎯Symbolic Execution
Flag this post
Gathering ingredient status on recipe pages and then filtering recipes by status
reddit.com·18h·
Discuss: r/ObsidianMD
🗺️Stack Mapping
Flag this post
Artificial intelligence: Nirvana or apocalypse?
mathscholar.org·11h
🎭Program Synthesis
Flag this post
DEEP: A Discourse Evolution Engine for Predictions about Social Movements
arxiv.org·1d
🔄Incremental Parsers
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
Automated Sentiment-Driven Resource Allocation for Community Resilience Planning
dev.to·14h·
Discuss: DEV
🧠Semantic Parsing
Flag this post
Being "Usefully Concrete"
lesswrong.com·11h
🔗Concatenative Theory
Flag this post
v2.0.11: ## Major changes in 2.0
github.com·1d
💬Error Messages
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
Ariadne: A Controllable Framework for Probing and Extending VLM Reasoning Boundaries
arxiv.org·1d
🔮Metacircular Evaluators
Flag this post
Weak-To-Strong Generalization
lesswrong.com·3d
🔍ML Language
Flag this post