Term Rewriting, E-graphs, Optimization, Equational Reasoning
Song recommendations with F# free monads
blog.ploeh.dk·15h
International Conference on Enumerative Combinatorics and Applications ICECA 2025 (August 25-27, 2025)
gilkalai.wordpress.com·1d
FLINT: Fast Library for Number Theory
flintlib.org·4h
What writing a failed rock-paper-scissors program taught me (or should have taught me) about sample size and uncertainty
statmodeling.stat.columbia.edu·8h
Sets & Heaps in Haskell and Rust
mmhaskell.com·13h
‘Ten Martini’ Proof Uses Number Theory to Explain Quantum Fractals
quantamagazine.org·8h
Loading...Loading more...