🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🧩 Parser Combinators

Parsing Expression Grammars, Recursive Descent, Monadic Parsing

Lambda@Home: Run AWS Lambda Functions Locally with Docker
reddit.com·7h·
Discuss: r/homelab
🐳Containerization
Index Personality Typologies on Groups
justismills.substack.com·7h·
Discuss: Substack
➡️Category Theory
Discover the Power of LangGraph: My Adventure in Building GPT-Newspaper
blog.tavily.com·4d·
Discuss: r/programming
✓Automated Theorem Proving
Are LLMs better suited for PR reviews than full codebases?
news.ycombinator.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
Augment, Complement and Empower Yourself
arttuv.com·3d·
Discuss: Lobsters, Hacker News
✓Automated Theorem Proving
Zero-shot Generalization in Inventory Management: Train, then Estimate and Decide
arxiv.org·2d
📚Automata Learning
Enhancing Technical Documents Retrieval for RAG
arxiv.org·2d
⚙Operational Semantics
Knowledge Integration for Physics-informed Symbolic Regression Using Pre-trained Large Language Models
arxiv.org·3d
✓Automated Theorem Proving
Unleashing the Hound: How AI Agents Find Deep Logic Bugs in Any Codebase
muellerberndt.medium.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
The Three Sacred Guardrails of AI
aboard.com·3d·
Discuss: Hacker News
🔬Static Analysis
Are We SOLID Yet? An Empirical Study on Prompting LLMs to Detect Design Principle Violations
arxiv.org·3d
🎮Verification Games
Casual Productivity with LLMs
kylekukshtel.com·5d·
Discuss: Hacker News
💎Refinement Types
MAGneT: Coordinated Multi-Agent Generation of Synthetic Multi-Turn Mental Health Counseling Sessions
arxiv.org·2d
🎮Verification Games
ML Systems: Motivating Dense Models
jacobkahn.me·3d·
Discuss: Hacker News
🧮Lambda Calculus
Binary Quantization For LLMs Through Dynamic Grouping
arxiv.org·3d
🐫Embedded OCaml
In Defense of AI Evals
sh-reya.com·2d·
Discuss: Hacker News
📊Runtime Verification
When LLM Meets Time Series: Can LLMs Perform Multi-Step Time Series Reasoning and Inference
arxiv.org·4d
📚Automata Learning
Extracting OPQRST in Electronic Health Records using Large Language Models with Reasoning
arxiv.org·4d
📚Automata Learning
PARCO: Phoneme-Augmented Robust Contextual ASR via Contrastive Entity Disambiguation
arxiv.org·2d
📚Automata Learning
Building LangGraph: Designing an Agent Runtime from First Principles
blog.langchain.com·2d·
Discuss: Hacker News
⚙Operational Semantics
Loading...Loading more...
AboutBlogChangelogRoadmap