This blog post series has moved here.
You might also be interested in the 2016 version.
Gabriel Adomnicai gabesoft
davidallsopp
/ PropertyTests.scala
Last active
September 16, 2020 14:07
Examples of writing mixed unit/property-based (ScalaTest with ScalaCheck) tests. Includes tables and generators as well as 'traditional' tests.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| /** | |
| * Examples of writing mixed unit/property-based (ScalaCheck) tests. | |
| * | |
| * Includes tables and generators as well as 'traditional' tests. | |
| * | |
| * @see http://www.scalatest.org/user_guide/selecting_a_style | |
| * @see http://www.scalatest.org/user_guide/property_based_testing | |
| */ | |
| import org.scalatest._ |
dorchard
/ gist:7ed17c66677a64d069ff
Last active
August 30, 2016 05:53
My QuickCheck instance for Data.Matrix (square matrices)
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| instance (Arbitrary a) => Arbitrary (Matrix a) where | |
| -- NB: for square matrices | |
| arbitrary = sized (\n -> do xs <- vectorOf (n*n) arbitrary | |
| return $ matrix n n (\(i, j) -> xs !! ((i-1)*n + (j-1)))) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # Hello, and welcome to makefile basics. | |
| # | |
| # You will learn why `make` is so great, and why, despite its "weird" syntax, | |
| # it is actually a highly expressive, efficient, and powerful way to build | |
| # programs. | |
| # | |
| # Once you're done here, go to | |
| # http://www.gnu.org/software/make/manual/make.html | |
| # to learn SOOOO much more. |
Want to use Nix for development but you're not sure how? Concerned about the
fluidity of nixpkgs channels or not being able to easily install arbitrary
package versions?
When I first heard about Nix it seemed like the perfect tool for a developer. When I tried to actually use it for developing and deploying web apps, though, the pieces just didn't seem to add up.
yoshuawuyts
/ Q&A.md
Created
March 16, 2016 05:58
— forked from novaluke/0-Q&A.md
I want to use Nix for development, but... -- answers to common concerns about Nix
Want to use Nix for development but you're not sure how? Concerned about the
fluidity of nixpkgs channels or not being able to easily install arbitrary
package versions?
When I first heard about Nix it seemed like the perfect tool for a developer. When I tried to actually use it for developing and deploying web apps, though, the pieces just didn't seem to add up.
ivanbrennan
/ show-256-colors.sh
Last active
August 12, 2023 20:12
Use Bash to show all 256 colors supported by xterms
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/usr/bin/env bash | |
| PADDING='Padding' | |
| main() { | |
| local xterm_start=0 \ | |
| xterm_width=8 \ | |
| xterm_height=2 | |
| local cube_start=$((xterm_start + xterm_width * xterm_height)) \ |
OlderNewer