Atomic and Saturated Models
functor.network·2d·
Discuss: Hacker News
🔗Concatenative Theory
Beyond the Final Answer: Evaluating the Reasoning Trajectories of Tool-Augmented Agents
arxiv.org·1h
📋Souffle Datalog
ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.to·16h·
Discuss: DEV
🧮Theorem Provers
An alternative to knowledge graphs for storing loosely structured content
fleetingswallow.com·15h·
Discuss: Hacker News
🌲Tree Rewriting
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·18h·
Discuss: Hacker News
💬Interactive REPLs
How to Train an LLM to Do Proofs: Beyond Verifiable Rewards
tobysimonds.com·1d·
Discuss: Hacker News
🔍ML Language
Show HN: The Little Book of Maths for LLMs-The maths you need to understand LLMs
little-book-of.github.io·1d·
Discuss: Hacker News, r/LLM
🔍ML Language
FinReflectKG - MultiHop: Financial QA Benchmark for Reasoning with Knowledge Graph Evidence
arxiv.org·1h
📈Earley Parsing
Taming Imperfect Process Verifiers: A Sampling Perspective on Backtracking
arxiv.org·1h
🎲Parser Fuzzing
MathArena Apex: Unconquered Final-Answer Problems
matharena.ai·1d·
Discuss: Hacker News
🧩Constraint Solvers
smartgo: I wish for a Go-like language with Rust-like pointers
iio.ie·2h
🔒Rust Borrowing
How Much Should You Tell Your AI Agent?
raymondyxu.com·11h·
Discuss: Hacker News
💬Interactive REPLs
Hilbert: Recursively Building Formal Proofs with Informal Reasoning
machinelearning.apple.com·4d
📜Proof Languages
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·1h·
Discuss: DEV
🌳Pattern Match Compilation
Fun with HyperLogLog and SIMD
vaktibabat.github.io·1d·
Discuss: Hacker News, r/rust
🔢Bit Manipulation
ECS Implementation
reddit.com·20h·
Discuss: r/cpp
🤖Embedded Go
Using Information Entropy To Make Choices / Choose Experiments
blog.demofox.org·1h
🔗Hash Functions
Reflections on Designing a Search Autocomplete System
torontostudygroup.github.io·22h·
Discuss: DEV
🌿Trie Structures
Understanding the 4 Main Approaches to LLM Evaluation (From Scratch)
magazine.sebastianraschka.com·18h·
Discuss: Hacker News
🌱Minimal ML
valuetier.org (and some thoughts on LLMs)
ericphanson.com·11h·
Discuss: Lobsters, Hacker News
📚Self-Documenting Code