Wildon's Weblog wildonblog.wordpress.com

Lean 4 tactics

wildonblog.wordpress.com·11w

Lean 4 and the Curry–Howard correspondence

wildonblog.wordpress.com·14w

Evaluating Gemini 3.0 Pro ‘Deep Think’ on American Mathematical Monthly Problems

wildonblog.wordpress.com·19w

Proofs of $q$-binomial identities by counting subspaces

wildonblog.wordpress.com·30w

The continuation monad: a mathematical introduction

wildonblog.wordpress.com·39w

Sampling from the tail end of the normal distribution

wildonblog.wordpress.com·67w

Lifting set/multiset duality

wildonblog.wordpress.com·77w

Lifting the ‘stars and bars’ identity

wildonblog.wordpress.com·86w

Notes on the Wedderburn decomposition

wildonblog.wordpress.com·88w

Eigenvalues of the Kneser graph

wildonblog.wordpress.com·153w

Commuting group actions

wildonblog.wordpress.com·159w

Scrapbook on plethysms

wildonblog.wordpress.com·188w

Parallelism in Haskell

wildonblog.wordpress.com·211w

Q is for quantum

wildonblog.wordpress.com·238w

Playing the majority game with boolean formulae

wildonblog.wordpress.com·242w

Log in to enable infinite scrolling