ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.to·11h·
Discuss: DEV
🧮Theorem Provers
MathArena Apex: Unconquered Final-Answer Problems
matharena.ai·19h·
Discuss: Hacker News
🎯Constraint Solving
A grand week
blog.mitrichev.ch·11h·
Discuss: blog.mitrichev.ch
🎯Constraint Solving
Iteration is all you need: ARC-2 solver inspired by Grover's search algorithm
github.com·1d·
Discuss: Hacker News
🎭Program Synthesis
How to Train an LLM to Do Proofs: Beyond Verifiable Rewards
tobysimonds.com·1d·
Discuss: Hacker News
🔍ML Language
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·7h·
Discuss: r/programming
🧠Memory Models
Mixture of Experts Implementation using Granite4: Harnessing Specialization with the Latest Granite Family Model
dev.to·12h·
Discuss: DEV
🔍ML Language
Using Palm Jumeirah's Design to Visualize the Elliptic Curve Method
codingpirate.com·1h·
Discuss: Hacker News
🔢Algebraic Datatypes
The Inverse Matrix problem
talesfrom.dev·54m
🚂Error Propagation
A PhD in Snapshots
rbharath.github.io·29m·
Discuss: Hacker News
🎯Finite Automata
Property-based testing of batch-invariant operations
mmaaz.ca·2h·
Discuss: Hacker News
🎲Property Testing
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·14h·
Discuss: Hacker News
💬Interactive REPLs
Ask HN: Systems Development Path
news.ycombinator.com·1d·
Discuss: Hacker News
🦀MIR Optimization
Prompting Techniques for Specialised LLMs
gg.forem.com·8h·
Discuss: DEV
🎨Domain-Specific Languages
"Bridge sorting" problem
reddit.com·10h·
Discuss: r/compsci
🪢Rope Data Structures
Embracing the parallel coding agent lifestyle
simonw.substack.com·6m·
Discuss: Substack
⚡Live Coding
In calculus, going from a single variable to millions of variables is hard.
threadreaderapp.com·6h
🧮Combinator Calculus
Atomic and Saturated Models
functor.network·2d·
Discuss: Hacker News
🔗Concatenative Theory
Automated Microfluidic Device Characterization via Iterative Bayesian Optimization and Digital Twin Validation
dev.to·3h·
Discuss: DEV
🔬Nanopasses
Google Chrome RCE (No Sandbox) via CanonicalEquality:EqualValueType()
ssd-disclosure.com·5h·
Discuss: Hacker News
🛡️Stack Safety