mathspp blog

401	437,500	36,874
articles	words	lines of code

14th Jun 2019

This post gives the source code for a small Haskell program that finds if a formula is a tautology.

haskell logic programming

25th Oct 2017

Progress is great and new things are always exciting... but that doesn't mean old things don't have any value!

mathematics algorithms haskell programming

Remaining Tags

arithmetic numpy invariants graphs modular arithmetic game theory generators fractals optimisation chess nnfwp textual pytest json induction vscode uv sequences llm oop networking opinion simulation probability regex parsers testing lsbasi-apl javascript fp concurrency pandas rust typing pigeonhole principle primes image processing web development matlab haskell automatons computation theory open source data structures repl github polars metaprogramming numerical analysis floats statistics group theory data science rationals random walks streamlit artificial intelligence grammars flask origami polynomials shell topology diophantine equations scroll art set theory hypothesis brainfuck matplotlib