miniblog.

← Back to all posts
Sep 19, 2017 at 20:42
Proving that two funcs are equivalent is undecidable in general. Still, this SO answer describes some amazing tools!
haskell - How to compare two functions for extensional equivalence, as in (λx.2*x) == (λx.x+x)? - Stack Overflow
haskell - How to compare two functions for extensional equivalence, as in (λx.2*x) == (λx.x+x)? - Stack Overflow

Related Posts

Jul 21, 2026 at 08:19
23
I find myself just taking photos of documents for submitting forms, rather than scanning. Scanning still feels more 'official' (a PDF instead of a JPG) but the sheer convenience of using a phone wins every time. I've rarely seen organisations complain about photos.
Jun 16, 2026 at 21:02
4
One month after configuring my VPS to reboot weekly, and I'm *still* finding services that aren't properly configured to start on boot. I'm developing a newfound appreciation for tools like Chaos Monkey.
Mar 16, 2026 at 23:57
I've released difftastic 0.68! A smaller update, but still worth upgrading: * Improved Bash, C, Go, Lua, Nix, Perl, Python, Rust, Scala, Swift and YAML parsing. * Minor display and git compatibility fixes.
PhotoPhoto
Release 0.68.0 · Wilfred/difftastic
Release 0.68.0 · Wilfred/difftastic
Difftastic is a structural diff tool that understands syntax. See the manual to get started, and the changelog for historical changes. Git Support Fixed an issue where git with difftastic would ter...