Where is Mathematics Going? Large Language Models and Lean Proof Assistant
hackaday.com·1d
⚙️Proof Engineering
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
🔗Concatenative Programming
LLMs and reinforcement learning
sicpers.info·14h
⚔️Lean Tactics
No Bullshit Guide to Statistics prerelease
minireference.com·6h·
Discuss: Hacker News
🧮Kolmogorov Bounds
Has anyone tried csprimer and have any reviews on it?
csprimer.com·10h·
Discuss: Hacker News
💻CS
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·1h·
Discuss: DEV
📊Multi-vector RAG
Slip – A Lisp System in JavaScript
lisperator.net·10h·
Discuss: Hacker News
🔗Lisp
BQN "Macros" with •Decompose (2023)
saltysylvi.github.io·1h·
Discuss: Hacker News
🦀Rust Macros
Less Is More: Recursive Reasoning with Tiny Networks
github.com·2d·
Discuss: Hacker News
📊Quantization
Ship Broken Things
matmul.net·1d·
Discuss: Hacker News
🔗Topological Sorting
Toy Binary Decision Diagrams
philipzucker.com·4d
🧮Algebraic Datatypes
Three Solutions to Nondeterminism in AI
blog.hellas.ai·2d·
Discuss: Hacker News
🎯Performance Proofs
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.org·23h·
Discuss: Hacker News
🔢Reed-Solomon Math
The Mondrian introduction to functional optics
marcosh.github.io·3d·
Discuss: Lobsters, Hacker News
⟷Bidirectional Programming
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
📐E-graphs
GNN Predictions: Hidden Bugs and the Verification Nightmare by Arvind Sundararajan
dev.to·1h·
Discuss: DEV
⚙️Proof Engineering
On the Pure Quantum Polynomial Hierarchy and Quantified Hamiltonian Complexity
arxiv.org·1d
⚛️Quantum Algorithms
CaRT: Teaching LLM Agents to Know When They Know Enough
arxiv.org·19h
🔲Cellular Automata
Parameterized Complexity of s-Club Cluster Edge Deletion
arxiv.org·1d
🧮Kolmogorov Complexity
Can AI Co-Design Distributed Systems? Scaling from 1 GPU to 1k
harvard-edge.github.io·1h·
Discuss: Hacker News
🎯Performance Proofs