Scaling Expert Oversight of AI: HackerOne's Human-in-the-Loop Methodology
hackerone.com·4h
🔍Static Analysis
How to model the world? Introduction to Laplace Neuron
abibulic.github.io·2d·
Discuss: Hacker News, Hacker News
🧫Cellular Automata
DEPTH: Hallucination-Free Relation Extraction via Dependency-Aware Sentence Simplification and Two-tiered Hierarchical Refinement
arxiv.org·17h
🔗Parser Combinators
An Update on Pytype
github.com·1d·
Discuss: Hacker News
🧮Programming Language Theory
Optimizing multiprecision LLL in FLINT
fredrikj.net·21h
🧭SMT Solvers
Enhance AI agents using predictive ML models with Amazon SageMaker AI and Model Context Protocol (MCP)
aws.amazon.com·1d·
Discuss: Hacker News
⚖️Logic Programming
Project Mordenite (what if Small Language Models improved the way we hire? )
designswarm.com·11h
🧮Programming Language Theory
Unification
eli.thegreenplace.net·3d·
Discuss: Hacker News
📝Lisp
GPT-5 and SQL code generation
beekeeperstudio.io·7h·
Discuss: Hacker News
🎲Probabilistic Programming
Rewriting Modulo Traced Comonoid Structure
arxiv.org·17h
🔄Category Theory
Wrote my own global ~/.claude/CLAUDE.md, how does it look
reddit.com·13h·
Discuss: r/ClaudeAI
🧩Theorem Proving
SEO “Chunk Optimization” is Overrated
ahrefs.com·9h
🔗Parser Combinators
Compute Where It Counts: a trainable LLM sparsity enabling 4x CPU speed
crystalai.org·1d·
Discuss: Hacker News
🔗Parser Combinators
MCP Agents vs. Classic RAG: Rethinking Retrieval for Internal Chatbots
pub.towardsai.net·8h
🔗Parser Combinators
Evaluating Multilingual and Code-Switched Alignment in LLMs via Synthetic Natural Language Inference
arxiv.org·17h
🔧Compiler Design
Show HN: Using Common Lisp from Inside the Browser
turtleware.eu·9h·
Discuss: Lobsters, Hacker News
📝Lisp
The Hierarchical Reasoning Model
jdsemrau.substack.com·1d·
Discuss: Substack
🎲Probabilistic Programming
Efficient Constraint-Aware Flow Matching via Randomized Exploration
arxiv.org·1d
🎯Constraint Programming
Discovering Backdoor Triggers
lesswrong.com·2d
🧭SMT Solvers
How to Build a Compiler: A Step-by-Step Outline for Creating a custom compiler in C from scratch
dev.to·1d·
Discuss: DEV
🔧Compiler Design