LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?
arxiv.org·19h
🔍ML Language
Neuro-Symbolic AI
en.wikipedia.org·9h·
Discuss: Hacker News
🎭Program Synthesis
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.com·1d·
Discuss: Hacker News
🧮Combinator Calculus
A Function Generator From The Past
hackaday.com·5h
🔌Microcontrollers
(Forward) automatic implicit differentiation in Rust with num-dual 0.12.0
reddit.com·8h·
Discuss: r/rust
⚡Partial Evaluation
Three Solutions to Nondeterminism in AI
blog.hellas.ai·2d·
Discuss: Hacker News
✅Type Checking
Using AI for candidate ranking with RavenDB
ayende.com·11h
🎮Language Ergonomics
Effective C++ – Hour 10
jtag.bearblog.dev·1d
🧸Toy Compilers
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
🏛️Elm Architecture
Haskell Weekly Issue 493
haskellweekly.news·1d·
Discuss: Hacker News
⚡functional programming
Scalable Semantic Map Generation via Hierarchical Graph Optimization
dev.to·4h·
Discuss: DEV
🗺️Region Inference
GaloisInc/parameterized-utils
github.com·2d
📏Linear Haskell
Let's Write a Macro in Rust
hackeryarn.com·7h·
Discuss: Hacker News
🦀Rust Macros
Three ways formally verified code can go wrong in practice
buttondown.com·6h
📜Proof Languages
Working on Hard Problems
danvk.org·1d
🤐Zipper Structures
Operable Software
ferd.ca·10h·
Discuss: Hacker News
✅Configuration Validation
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·19h
🔍ML Language
Experimenting with ACL2 and Claude Code
mikedodds.org·11h·
Discuss: Hacker News
💬Interactive REPLs
Estimating Fair Graphs from Graph-Stationary Data
arxiv.org·19h
🗺️Region Inference
A Gaussian Leftover Hash Lemma for Modules over Number Fields
eprint.iacr.org·3d
🔗Borrowing Extensions