Skip to content

Instantly share code, notes, and snippets.

View jonschoning's full-sized avatar

Jon Schoning jonschoning

75 followers · 19 following
View GitHub Profile
@jonschoning
jonschoning / records.cs
Created November 13, 2020 01:39
using System;
static void Run()
{
Employee foo = new Employee("Aysha", "Stein", "1234");
Person bar = (Person)foo with { FirstName = "John", LastName = "Doe"};
Console.WriteLine($"foo: {foo}");
Console.WriteLine($"bar: {bar}");
@jonschoning
jonschoning / .xscreensaver
Created August 3, 2020 05:42
# XScreenSaver Preferences File
# Written by xscreensaver-demo 5.42 for jon on Mon May 4 21:24:53 2020.
# https://www.jwz.org/xscreensaver/
timeout: 1:00:00
cycle: 1:00:00
lock: True
lockTimeout: 0:00:00
passwdTimeout: 0:05:00
visualID: default
@jonschoning
jonschoning / index.html
Last active June 21, 2020 20:07
https://repl.it/@EdwardCunningh2/Random-Roads
<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0, maximum-scale=1.0, user-scalable=no" />
<title>Random Roads</title>
<link href="style.css" rel="stylesheet" type="text/css" />
<script src="//cdnjs.cloudflare.com/ajax/libs/seedrandom/3.0.5/seedrandom.min.js"></script>
</head>
@jonschoning
jonschoning / continuations-and-reduction-semantics.md
Created June 16, 2020 02:26 — forked from lexi-lambda/continuations-and-reduction-semantics.md

Monads and delimited control are very closely related, so it isn’t too hard to understand them in terms of one another. From a monadic point of view, the big idea is that if you have the computation m >>= f, then f is m’s continuation. It’s the function that is called with m’s result to continue execution after m returns.

If you have a long chain of binds, the continuation is just the composition of all of them. So, for example, if you have

m >>= f >>= g >>= h

then the continuation of m is f >=> g >=> h. Likewise, the continuation of m >>= f is g >=> h.

@jonschoning
jonschoning / cardDatabase.ini
Created May 29, 2020 00:14
[sets]
10E\enabled=true
10E\isknown=true
10E\sortkey=325
2ED\enabled=true
2ED\isknown=true
2ED\sortkey=474
2XM\enabled=false
2XM\isknown=true
2XM\sortkey=4
@jonschoning
jonschoning / fonts.conf
Created May 12, 2020 02:51
.config/fontconfig/fonts.conf
<?xml version='1.0'?>
<!DOCTYPE fontconfig SYSTEM 'fonts.dtd'>
<fontconfig>
<dir>/home/jon/.Fontmatrix/Activated</dir>
<alias>
<family>serif</family>
<!-- <prefer><family>DejaVu Serif</family></prefer> -->
<prefer><family>Bitstream Vera Serif</family></prefer>
</alias>
<alias>
@jonschoning
jonschoning / keybindings.json
Created April 30, 2020 19:18
keybindings.json
// Place your key bindings in this file to override the defaults
[
{
"key": "ctrl+shift+e",
"command": "workbench.action.toggleSidebarVisibility"
}
]
@jonschoning
jonschoning / C19-Primal-Genesis.txt
Last active April 9, 2020 22:46
C19-Primal Genesis
// C19-Primal Genesis
// 99 Maindeck
// 5 Artifact
1 Mimic Vat
1 Soul Foundry
1 Lightning Greaves
1 Sol Ring
1 Idol of Oblivion
@jonschoning
jonschoning / twittermute.txt
Created January 24, 2020 23:59 — forked from IanColdwater/twittermute.txt
Here are some terms to mute on Twitter to clean your timeline up a bit.
Mute these words in your settings here: https://twitter.com/settings/muted_keywords
ActivityTweet
generic_activity_highlights
generic_activity_momentsbreaking
RankedOrganicTweet
suggest_activity
suggest_activity_feed
suggest_activity_highlights
suggest_activity_tweet
@jonschoning
jonschoning / stack-ghcid.el
Created December 19, 2019 14:53 — forked from wraithm/stack-ghcid.el
;; Set ghcid-target to change the stack target
(setq ghcid-target "")
(setq ghcid-height 15)
(defun ghcid-stack-cmd (target)
(format "stack ghci %s --test --bench --ghci-options=-fno-code" target))
(setq ghcid-buf-name "*ghcid*")
(define-minor-mode ghcid-mode