mathspp blog

442	479,485	39,354
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!

algorithms haskell mathematics programming

Remaining Tags

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