🔍 Tokenizers

Lexical Analysis, Token Recognition, State Machines, Parsing Pipeline

Translating English Sentences into Propositional Logic Statements
nbviewer.ipython.org·5d
📊LR Parsing
2025 Board Nominations: Time to Vote
clojuriststogether.org·1d
🔮Clojure
Property-based testing of batch-invariant operations
mmaaz.ca·1d·
Discuss: Hacker News
🎲Property Testing
E-Democracy Lab, BIRDBASE, Gullah Geechee, More: Tuesday ResearchBuzz, October 7, 2025
researchbuzz.me·3h
📋JSON Parsing
MathArena Apex: Unconquered Final-Answer Problems
matharena.ai·2d·
Discuss: Hacker News
🧩Constraint Solvers
LLM-Based Instance-Driven Heuristic Bias in the Context of a BRKGA
researchgate.net·2d·
Discuss: Hacker News
🪜Recursive Descent
IBM claims 45% productivity gains with Project Bob, its multi-model IDE that orchestrates LLMs with full repository context
venturebeat.com·5h
🎮Language Ergonomics
What Happens Behind the Scenes When You Run Python Code
dev.to·1d·
Discuss: DEV
🔍Execution Tracing
Building a earning app like Duolingo with React + Java backend – SEO & Routing advice?
reddit.com·1d·
Discuss: r/reactjs
🎮Language Ergonomics
Spatial Sense: Extracting the 'Where' and 'How' from Vision-Language Models by Arvind Sundararajan
dev.to·17h·
Discuss: DEV
🔍Lens Libraries
Bound-Preserving WENO Schemes for Temple-class systems
arxiv.org·11h
🧩Constraint Solvers
DRPO: Efficient Reasoning via Decoupled Reward Policy Optimization
arxiv.org·11h
⚡Partial Evaluation
Latent Uncertainty Representations for Video-based Driver Action and Intention Recognition
arxiv.org·11h
🗺️Region Inference
Building Intelligent Research Agents with OpenAI's Agents Framework
dev.to·1d·
Discuss: DEV
🎭Program Synthesis
Key components of a data-driven agentic AI application | AWS Database Blog
aws.amazon.com·1d
🤖Abstract Machines
Forking-Sequences
arxiv.org·11h
🪜Recursive Descent
Detecting Invariant Manifolds in ReLU-Based RNNs
arxiv.org·11h
🪜Recursive Descent
I Built a Prompt to Optimize My Blog for Both Google and AI Overviews
dev.to·1d·
Discuss: DEV
🎮Language Ergonomics
ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.to·2d·
Discuss: DEV
🧮Theorem Provers
SECA: Semantically Equivalent and Coherent Attacks for Eliciting LLM Hallucinations
arxiv.org·11h
✨Gleam