🦌 ANTLR

LL(*) Parsing, Listener Pattern, Tree Walking, Grammar Analysis

CHMLib 0.40a Integer Overflow in _unmarshal_int32 / _unmarshal_uint32 During CHM Header Parsing
seclists.org·1h
🔧Error Recovery
A Lisp compiler to ARM written in Lisp (2)
forum.ulisp.com·15h·
Discuss: Hacker News
🌱Minimal Lisps
Effective Software Engineering with Claude Code
reddit.com·15h·
Discuss: r/ClaudeAI
⚡Interpreter Optimization
Reasoned Safety Alignment: Ensuring Jailbreak Defense via Answer-Then-Check
arxiv.org·17m
🪜Recursive Descent
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·19h
🪢Rope Data Structures
I built an LLM from Scratch in Rust (Just ndarray and rand)
reddit.com·1d·
Discuss: r/rust
🦀MIR Optimization
SpecVLM: Fast Speculative Decoding in Vision-Language Models
arxiv.org·17m
🌱Minimal ML
Analog IMC Attention Mechanism For Fast And Energy-Efficient LLMs (FZJ, RWTH Aachen)
semiengineering.com·12h
🗺️Region Inference
Is Recursion in LLMs a Path to Efficiency and Quality?
pub.towardsai.net·4h
🪜Recursive Descent
Comprehensive LLM Evaluation: Metrics, Methods, and Use Case Considerations
nexla.com·1d·
Discuss: DEV
🌱Minimal ML
Logic's Hidden States: Unlock Debugging Superpowers with Algebraic Thinking by Arvind Sundararajan
dev.to·15h·
Discuss: DEV
🧮Theorem Provers
How to turn Claude Code into a domain specific coding agent
blog.langchain.com·12h·
Discuss: Hacker News
🎮Language Ergonomics
Temporal Preferences in Language Models for Long-Horizon Assistance
arxiv.org·1d
🌱Minimal Languages
Show HN: Semlib – Semantic Data Processing
github.com·14h·
Discuss: Hacker News
🔍ML Language
Towards Automated Error Discovery: A Study in Conversational AI
arxiv.org·17m
🧠Semantic Parsing
DualAlign: Generating Clinically Grounded Synthetic Data
arxiv.org·17m
⚖️Weighted Automata
Joint Effects of Argumentation Theory, Audio Modality and Data Enrichment on LLM-Based Fallacy Classification
arxiv.org·17m
⚖️Inference Rules
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·1d·
Discuss: Hacker News, r/programming, r/rust
🧩Constraint Solvers
SOLID Principles for Python Developers
dev.to·13h·
Discuss: DEV
🎭Racket Modules
LLM-Based Instance-Driven Heuristic Bias In the Context of a Biased Random Key Genetic Algorithm
arxiv.org·1d
🔍ML Language