MathArena Apex: Unconquered Final-Answer Problems
matharena.ai·22h·
Discuss: Hacker News
🧩Constraint Solvers
ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.to·14h·
Discuss: DEV
🧮Theorem Provers
A grand week
blog.mitrichev.ch·14h·
Discuss: blog.mitrichev.ch
🧩Constraint Solvers
Property-based testing of batch-invariant operations
mmaaz.ca·4h·
Discuss: Hacker News
🎲Property Testing
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·16h·
Discuss: Hacker News
💬Interactive REPLs
Understanding the 4 Main Approaches to LLM Evaluation (From Scratch)
magazine.sebastianraschka.com·16h·
Discuss: Hacker News
🌱Minimal ML
Iteration is all you need: ARC-2 solver inspired by Grover's search algorithm
github.com·1d·
Discuss: Hacker News
🧩Constraint Solvers
Atomic and Saturated Models
functor.network·2d·
Discuss: Hacker News
🔗Concatenative Theory
How to Train an LLM to Do Proofs: Beyond Verifiable Rewards
tobysimonds.com·1d·
Discuss: Hacker News
🔍ML Language
Solving 2-SAT
nima101.github.io·4d·
Discuss: Hacker News
🧩SAT Solvers
Mixture of Experts Implementation using Granite4: Harnessing Specialization with the Latest Granite Family Model
dev.to·14h·
Discuss: DEV
🔍ML Language
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·9h·
Discuss: r/programming
🧠Memory Models
LLM-Based Instance-Driven Heuristic Bias in the Context of a BRKGA
researchgate.net·1d·
Discuss: Hacker News
🪜Recursive Descent
Prompting Techniques for Specialised LLMs
dev.to·10h·
Discuss: DEV
🎮Language Ergonomics
The Inverse Matrix problem
talesfrom.dev·3h
🚂Error Propagation
Generative AI finds antimicrobial peptides against multidrug-resistant bacteria
nature.com·1d·
Discuss: Hacker News
🗺️Region Inference
Using Palm Jumeirah's Design to Visualize the Elliptic Curve Method
codingpirate.com·3h·
Discuss: Hacker News
🔢Algebraic Datatypes
An alternative to knowledge graphs for storing loosely structured content
fleetingswallow.com·13h·
Discuss: Hacker News
🌲Tree Rewriting
Ask HN: Systems Development Path
news.ycombinator.com·1d·
Discuss: Hacker News
🦀MIR Optimization
Hilbert: Recursively Building Formal Proofs with Informal Reasoning
machinelearning.apple.com·4d
📜Proof Languages