🐿️ 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

Discover the Power of LangGraph: My Adventure in Building GPT-Newspaper
blog.tavily.com·4d·
Discuss: r/programming
✓Automated Theorem Proving
Using Claude Code to modernize a forgotten Linux kernel driver
dmitrybrant.com·21m·
Discuss: Hacker News
🔧Unikernel Development
Show HN: A livestream of all image descriptions (alt text) on Bluesky
bobbiec.github.io·6h·
Discuss: Hacker News
🍎Apple
Splitting a long string in lines efficiently
lemire.me·4h·
Discuss: Hacker News
🐫Embedded OCaml
Augment, Complement and Empower Yourself
arttuv.com·3d·
Discuss: Lobsters, Hacker News
✓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
Zero-shot Generalization in Inventory Management: Train, then Estimate and Decide
arxiv.org·2d
📚Automata Learning
Building LangGraph: Designing an Agent Runtime from First Principles
blog.langchain.com·2d·
Discuss: Hacker News
⚙Operational Semantics
The Three Sacred Guardrails of AI
aboard.com·3d·
Discuss: Hacker News
🔬Static Analysis
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
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
In Defense of AI Evals
sh-reya.com·2d·
Discuss: Hacker News
📊Runtime Verification
ML Systems: Motivating Dense Models
jacobkahn.me·4d·
Discuss: Hacker News
🧮Lambda Calculus
Awesome AI Agent Frameworks
github.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
LLMs from Scratch Using Middle School Math – TDS Archive
medium.com·3d·
Discuss: Hacker News
📚Automata Learning
Binary Quantization For LLMs Through Dynamic Grouping
arxiv.org·3d
🐫Embedded OCaml
When LLM Meets Time Series: Can LLMs Perform Multi-Step Time Series Reasoning and Inference
arxiv.org·4d
📚Automata Learning
Loading...Loading more...
AboutBlogChangelogRoadmap