🔍 Tokenizers

Lexical Analysis, Token Recognition, State Machines, Parsing Pipeline

Vikings believe Will Reichard's missed FG vs. Browns hit camera wire in London: Sources
nytimes.com·7h
🐍lisp
Mastodon comments for Zola
failsafe.monster·8h·
Discuss: r/webdev
⚡Incremental Parsing
Language Agnostic Programming: Why you may still need code
joaquimrocha.com·1d·
Discuss: Hacker News
🔬programming language theory
From Blockchain to AI: Applying Cryptographic Primitives to Secure Intelligent Systems. Ask Me Anything about SMPC, Key Management, and Code Audits for AI.
reddit.com·2h·
Discuss: r/rust
🛡️Security Type Systems
Delegating the Grunt Work: AI Agents for UI Test Development
blog.scottlogic.com·22h·
Discuss: Hacker News
🎭Program Synthesis
Telling the Difference Between Memories & Logical Guesses
lesswrong.com·1h
🧠Memory Ordering
Bound-Preserving WENO Schemes for Temple-class systems
arxiv.org·2h
🧩Constraint Solvers
AI Agents for Marketing: A Real-World Content Automation Case Study
dev.to·1d·
Discuss: DEV
🎮Language Ergonomics
DRPO: Efficient Reasoning via Decoupled Reward Policy Optimization
arxiv.org·2h
⚡Partial Evaluation
Latent Uncertainty Representations for Video-based Driver Action and Intention Recognition
arxiv.org·2h
🗺️Region Inference
Key components of a data-driven agentic AI application | AWS Database Blog
aws.amazon.com·23h
🤖Abstract Machines
Detecting Invariant Manifolds in ReLU-Based RNNs
arxiv.org·2h
🪜Recursive Descent
Forking-Sequences
arxiv.org·2h
🪜Recursive Descent
I Built a Prompt to Optimize My Blog for Both Google and AI Overviews
dev.to·16h·
Discuss: DEV
🎮Language Ergonomics
SECA: Semantically Equivalent and Coherent Attacks for Eliciting LLM Hallucinations
arxiv.org·2h
✨Gleam
I built RAGSharp: a lightweight RAG library for .NET
dev.to·12h·
Discuss: DEV
💬Smalltalk VMs
ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.to·1d·
Discuss: DEV
🧮Theorem Provers
H-DDx: A Hierarchical Evaluation Framework for Differential Diagnosis
arxiv.org·2h
🏗️MLIR
Python + EVM without the paper cuts: a senior playbook for fast, correct, and scalable reads
dev.to·10h·
Discuss: DEV
🌐Network Protocols
The Rust Advantage: Building Bulletproof Systems When AI Writes Half Your Code
dev.to·7h·
Discuss: DEV
🦀MIR Optimization