Type Theory and Functional Programming (1999) [pdf]
dev.to·1h·
Discuss: DEV
🔤Type Theory
Functional genetic programming and exhaustive program search with combinator expressions (2007)
cs.hmc.edu·23h·
Discuss: Lobsters
🔗Functional Compilers
Chain-in-Tree: Back to Sequential Reasoning in LLM Tree Search
arxiv.org·11h
🧮SMT Solvers
mathematics of the impossible: Revision. Feedback welcome especially on chapters 1,2,3
emanueleviola.wordpress.com·2h
🎞️Tape Combinatorics
Using an LLM on the Advent of Code
funcall.blogspot.com·1d·
Discuss: www.blogger.com
⚔️Lean Tactics
Solving 2-SAT
nima101.github.io·11h·
Discuss: Hacker News
🔗Constraint Handling
Double Maths First Thing: Issue 38
aperiodical.com·7h
📐Mathematical Art
First Day: A New Chapter at the JKU
stefan-marr.de·8h
🔩Systems Programming
Is sound gradual typing dead? Performance problems in Typed Racket
dl.acm.org·4d·
Discuss: Hacker News
🎯Gradual Typing
Proving the Infinitude of Primes in Knuckledragger
philipzucker.com·3d
🧮Theorem Proving
The Intuition Behind How Large Language Models Work, Part I
mark-riedl.medium.com·19h·
Discuss: Hacker News
🤖Grammar Induction
Sguaba: Type-safe spatial math in Rust
youtube.com·2d·
Discuss: Lobsters, Hacker News
🦀Rust Borrowing
The Causal Abstraction Network: Theory and Learning
arxiv.org·11h
🕸️Algebraic Topology
Apply the Trie: Word Search
mmhaskell.com·2d·
Discuss: Hacker News
🌳Trie Structures
Making sense of parameter-space decomposition
lesswrong.com·3d·
Discuss: Hacker News
🧮Kolmogorov Bounds
Enzymatic Cascade Optimization for Enhanced Lignocellulosic Ethanol Production via Bayesian Hyperparameter Tuning
dev.to·50m·
Discuss: DEV
☕Precision Brewing
Expanding Computation Spaces of LLMs at Inference Time
arxiv.org·1d
💻Local LLMs
Haskell WebAssembly for Browser Interaction
funwithfunctions.com·15h·
Discuss: Hacker News
🛡️WASM Security
Evaluating Double Descent in Machine Learning: Insights from Tree-Based Models Applied to a Genomic Prediction Task
arxiv.org·11h
🧠Machine Learning
A Puzzling Performance Puzzle
kodewerk.com·1d·
Discuss: Hacker News
🧪Binary Fuzzing