Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.orgยท13h
๐ŸงฎTheorem Proving
Let's Write a Macro in Rust
hackeryarn.comยท1hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Cactus Language โ€ข Semantics 3
inquiryintoinquiry.comยท1h
๐Ÿ”ขDenotational Semantics
An enough week
blog.mitrichev.chยท21hยท
๐Ÿ“ˆLinear programming
Building Self-Correcting Database Agents with Meta's Llama-4-Scout: From Natural Language to SQL Insights
dev.toยท1dยท
Discuss: DEV
๐Ÿ—„๏ธDatabase Internals
Show HN: Using an LLM to sensibly sort a shopping receipt
treblig.orgยท1dยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
Neuro-Symbolic AI
en.wikipedia.orgยท3hยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Three ways formally verified code can go wrong in practice
buttondown.comยท20m
๐Ÿ“œProof Carrying Code
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.orgยท13h
๐Ÿ”—Graph Isomorphism
LINQ and Learning to Be Declarative
nickstambaugh.devยท1dยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
Building your MCP server with Laravel
sevalla.comยท1dยท
Discuss: Hacker News
๐Ÿ‘‘Isabelle
Tool or Agent? The impact of AI in your code and in your wallet It all boils down to math again!
blog.codeminer42.comยท1d
โšกProof Automation
Toy Binary Decision Diagrams
philipzucker.comยท4d
๐ŸงฎAlgebraic Datatypes
From Documents to Dialogue: A step-by-step RAG Journey
dev.toยท3hยท
Discuss: DEV
๐Ÿ“ŠMulti-vector RAG
Experimenting with ACL2 and Claude Code
mikedodds.orgยท5hยท
Discuss: Hacker News
๐Ÿ‘‘Isabelle
Ship Broken Things
matmul.netยท22hยท
Discuss: Hacker News
๐Ÿ”—Topological Sorting
The effective LLM multi-tenant security with SQL
getbruin.comยท22hยท
Discuss: Hacker News
๐Ÿ—„๏ธDatabase Internals
CaRT: Teaching LLM Agents to Know When They Know Enough
arxiv.orgยท13h
๐Ÿ”ฒCellular Automata
Access Control Policy Generation from High-Level Natural Language Requirements
dl.acm.orgยท1dยท
Discuss: Hacker News
๐Ÿ”’Language-based security
Getting a Hypergraph of Functions to a Browser
systeminit.comยท1dยท
Discuss: Hacker News
๐Ÿ“E-graphs