🔍 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·6h
📋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·8h
🎮Language Ergonomics
Responsible AI: How PowerSchool safeguards millions of students with AI-powered content filtering using Amazon SageMaker AI
aws.amazon.com·23h
🏰Capability Machines
Built a small Rust-based LC-3 linter & formatter — feedback welcome!
reddit.com·15h·
Discuss: r/rust
🚂Cranelift Backend
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·20h·
Discuss: DEV
🔍Lens Libraries
Latent Uncertainty Representations for Video-based Driver Action and Intention Recognition
arxiv.org·14h
🗺️Region Inference
Key components of a data-driven agentic AI application | AWS Database Blog
aws.amazon.com·1d
🤖Abstract Machines
MindsDB Knowledge Bases: Revolutionizing AI-Powered Data Queries with SQL Algebra
dev.to·1d·
Discuss: DEV
🎓Educational Databases
Detecting Invariant Manifolds in ReLU-Based RNNs
arxiv.org·14h
🪜Recursive Descent
Forking-Sequences
arxiv.org·14h
🪜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·14h
✨Gleam