Derek Elkins: Arithmetic Functions
hedonisticlearning.com·14h·
Discuss: Hacker News
⚔️Lean Theorem
busy beaver function
ncatlab.org·4h
⚔️Lean Theorem
Rewriting Modulo Traced Comonoid Structure
arxiv.org·2d
🔄Graph Rewriting
Show HN: Novel GPT-2 sampling and memory architecture
github.com·4h·
Discuss: Hacker News
💎Information Crystallography
Scheme Basics
courses.cs.washington.edu·1d·
Discuss: Hacker News, Hacker News
🧠Lisp Dialects
how to decide on the sequence of computable numbers
academia.edu·2d·
Discuss: Hacker News, r/programming
🎞️Tape Combinatorics
Designing Trustworthy ML Models: Alan & Aida Discover Monotonicity in Machine Learning
towardsdatascience.com·1d
🧠Machine Learning
Software convergence
underlap.org·1d
🔢Denotational Semantics
Simpler Category Theory
ryanbrewer.dev·3d·
Discuss: Hacker News
🔀Category Theory
Optimizing multiprecision LLL in FLINT
fredrikj.net·2d
🧮Algebraic Datatypes
Lessons from AI Safety for Businesses
svana.name·1d·
Discuss: Hacker News
🌍Cultural Algorithms
CRYSTALS - The Gently Introduction
dev.to·1d·
Discuss: DEV
⚗️Algebraic Coding
LLMs are NOT Turing Complete (at train time), we need "train time recurrence"
fchaubard.github.io·11h·
Discuss: Hacker News
📼Tape Combinators
Lobsters Interview with Matklad
lobste.rs·23h·
Discuss: Lobsters
🦀Rust Macros
HigherOrderCO/HVM3
github.com·11h
🔗Functional Compilers
Fox pairing
ncatlab.org·1h
🔱Galois Theory
AI Code Generation: Trust and Verify, Always
thenewstack.io·23h
⚙️Proof Engineering
A better for loop?
cirw.in·1d
🦀Rust Macros
The Baby Paradox in Haskell
blog.jle.im·1d·
Discuss: Lobsters, Hacker News
🔲Proof Irrelevance
WeakC4, or Distilling an Emergent Object
2swap.github.io·13h·
Discuss: Hacker News
🔲Cellular Automata