๐Ÿฟ๏ธ 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

Show HN: Miniatur AI โ€“ Transform character images into figurine renders with AI
miniatur-ai.onlineยท17hยท
Discuss: Hacker News
โœ“Automated Theorem Proving
Fundamentals of Wireless Communication
web.stanford.eduยท1dยท
Discuss: Hacker News
๐Ÿ“กNetwork Protocol Design
Alterego: Speech Intent to Input
alterego.ioยท1dยท
Discuss: Hacker News, r/ErgoMechKeyboards, r/ErgoMechKeyboards
๐ŸŽApple
Beyond Markdown (2018)
johnmacfarlane.netยท1dยท
Discuss: Lobsters, Hacker News
๐Ÿ”ฌStatic Analysis
Rendering the Mandelbulb
4rknova.comยท8hยท
Discuss: Hacker News
๐Ÿ”„Finite State Machines
LLM Encoder vs. Decoder: Robust Detection of Chinese AI-Generated Text with LoRA
arxiv.orgยท6d
๐ŸงฉParser Combinators
The Gold Medals in an Empty Room: Diagnosing Metalinguistic Reasoning in LLMs with Camlang
arxiv.orgยท6d
๐ŸซOCaml
Rethinking the Chain-of-Thought: The Roles of In-Context Learning and Pre-trained Priors
arxiv.orgยท6d
โœ“Automated Theorem Proving
A Humble Blog Post
nvegater.comยท2dยท
Discuss: Hacker News
๐Ÿ’ŽRefinement Types
Why Tech Professionals Must Lead the Charge on GenAI Safety
thenewstack.ioยท2dยท
Discuss: Hacker News, r/LLM
๐Ÿ”ฌUnikernels
KRAFT: A Knowledge Graph-Based Framework for Automated Map Conflation
arxiv.orgยท1d
๐ŸซOCaml
Prompt sensitivity is more nuanced (and useful) than we think
newsletter.aimuscle.comยท6dยท
Discuss: Hacker News
โœ“Automated Theorem Proving
Analysis of Voluntarily Reported Data Post Mesh Implantation for Detecting Public Emotion and Identifying Concern Reports
arxiv.orgยท1d
๐ŸฉนSelf-Healing Systems
Entropy โ€“ Favourite at Mind Sports Olympiad
news.ycombinator.comยท1dยท
Discuss: Hacker News
๐ŸŽฎVerification Games
Language Models Do Not Follow Occam's Razor: A Benchmark for Inductive and Abductive Reasoning
arxiv.orgยท5d
๐ŸงฉParser Combinators
How To Upgrade Your MCP Server With Context Engineering
thenewstack.ioยท1d
๐Ÿ’ŽRefinement Types
JARVIS: A Neuro-Symbolic Commonsense Reasoning Framework for Conversational Embodied Agents
arxiv.orgยท5d
๐Ÿง Automated Reasoning
AIs will greatly change engineering in AI companies well before AGI
lesswrong.comยท4h
๐Ÿ‘๏ธSystem Observability
Show HN: Inception: Automatic Rust Trait Implementation by Induction
github.comยท3dยท
Discuss: Hacker News, r/rust
๐Ÿ” Type-Level Programming
FloodVision: Urban Flood Depth Estimation Using Foundation Vision-Language Models and Domain Knowledge Graph
arxiv.orgยท1d
๐ŸงฉParser Combinators
Loading...Loading more...
AboutBlogChangelogRoadmap