Crypto-notes
2017-11-25
Comprehensive notes on Bitcoin, Ethereum, and blockchain technology - exploring how cryptocurrencies are systems for securely transmitting and storing value with applications beyond just money.
Blog
Less fragmented properties with Hedgehog
2017-04-10
Port property-based tests from QuickCheck 2 and FsCheck 2 to Hedgehog, demonstrating how Hedgehog reduces setup phase fragmentation in property testing.
Property-based testing becomes easier with Hedgehog
2017-04-09
Discover Hedgehog, a new property-based testing system that makes properties less fragmented, provides automatic shrinking, and offers fine-grained control over generated values.
Write you some QuickCheck - Properties that hold under certain conditions
2016-06-13
Part of the QuickCheck from scratch series, implementing conditional properties that only hold under certain preconditions using the Gen and Property modules in F#.
Write you some QuickCheck - Properties
2016-05-27
Learn how to write assertions about logical properties that functions should fulfill in QuickCheck, using List.rev as an example to understand property-based testing fundamentals.
Atom + Stack = no globally installed GHC/packages
2016-05-19
Set up a clean Haskell development environment using Stack to avoid global GHC installations and atom-haskell for integrated tooling with ghc-mod, hlint, and stylish-haskell.
Write you some QuickCheck - Shrinking lists
2016-04-10
Part of the QuickCheck from scratch series, implementing list shrinking functions that drop elements to find minimal counterexamples when properties fail.