Skip to content

Instantly share code, notes, and snippets.

View jisantuc's full-sized avatar

James Santucci jisantuc

View GitHub Profile
;;; packages.el --- scala-metals layer packages file for Spacemacs.
;;
;; Copyright (c) 2012-2017 Sylvain Benner & Contributors
;;
;; Author: James <james@shenzhen.internal.azavea.com>
;; URL: https://github.com/syl20bnr/spacemacs
;;
;; This file is not part of GNU Emacs.
;;
;;; License: GPLv3
nix-env -i hello
nix-env --uninstall hello
# sandboxing
nix-shell -p hello
# time traveling
nix-env --list-generations
nix-env --switch-generation 1
{
"id": "testexperiment",
"evalUri": "/tmp/eval/testexperiment",
"trainUri": "/tmp/train/testexperiment",
"predictUri": "/tmp/predict/testexperiment",
"chipUri": "/tmp/chip/testexperiment",
"task": {
"taskType": "OBJECT_DETECTION",
"predictBatchSize": 10,
"objectDetectionConfig": {
@jisantuc
jisantuc / laws-based-testing.md
Created January 16, 2020 02:21
patat presentation on laws-based testing
title author patat
Laws-based Testing
James Santucci
wrap margins
true
left right
40
40
module Main where
newtype Foo = Foo { module :: String }
-- fine but the syntax highlighter hates it
foo :: Foo
foo = Foo { module: "hi" }
-- also fine but the syntax highlighter hates it
getModule :: Foo -> String