🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
📚 Automata Learning

Grammatical Inference, TTT, L#, automata learning

Understanding LLMs: Insights from Mechanistic Interpretability
lesswrong.com·2d
🧩Parser Combinators
The Paradigm
nonint.com·1h·
Discuss: Hacker News
🔄Finite State Machines
Adaptive generative moment matching networks for improved learning of dependence structures
arxiv.org·17h
🧩Parser Combinators
Systems Engineering for Agentic Applications
agenticapplications.substack.com·8h·
Discuss: r/programming
🩹Self-Healing Systems
Show HN: Fine-tuned Llama 3.2 3B to match 70B models for local transcripts
bilawal.net·3h·
Discuss: Hacker News
🧩Parser Combinators
Effective learning: Twenty rules of formulating knowledge (1999)
supermemo.com·6h·
Discuss: Hacker News
✓Automated Theorem Proving
What Does AI Do?
joecooper.me·3h·
Discuss: Hacker News
✓Automated Theorem Proving
Baby's first type checker
austinhenley.com·1d·
Discuss: Lobsters, Hacker News
🐫OCaml
Model-Task Alignment Drives Distinct RL Outcomes
arxiv.org·17h
🧩Parser Combinators
Pretraining a LLM with less than $50 budget which outperforms Google BERT
medium.com·1h·
Discuss: Hacker News, r/LLM, r/LocalLLaMA
🧩Parser Combinators
Simple but Powerful Pratt Parsing
matklad.github.io·3d·
Discuss: r/programming
🧩Parser Combinators
Context Engineering: A Primer
okigu.com·11h·
Discuss: Hacker News
🔍Formal Verification
R-4B: Incentivizing General-Purpose Auto-Thinking Capability in MLLMs via Bi-Mode Annealing and Reinforce Learning
arxiv.org·17h
🧩Parser Combinators
Creating micro-lessons from spaced repetition mistakes
rickcarlino.com·20h·
Discuss: Hacker News
🎮Verification Games
What AI chatbots are doing under the hood
gilesthomas.com·3d·
Discuss: Hacker News
🧩Parser Combinators
Lively Linear Lisp (1992)
plover.com·19h·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Normality and the Turing Test
arxiv.org·17h
🧠Automated Reasoning
AI Chatbot vs Workflow vs Agent
medium.com·5h·
Discuss: r/programming
✓Automated Theorem Proving
BED-LLM: Intelligent Information Gathering with LLMs and Bayesian Experimental Design
arxiv.org·17h
✓Automated Theorem Proving
HCCM: Hierarchical Cross-Granularity Contrastive and Matching Learning for Natural Language-Guided Drones
arxiv.org·17h
🧩Parser Combinators
Loading...Loading more...
AboutBlogChangelogRoadmap