Skip to content

Instantly share code, notes, and snippets.

Avatar

Vilem buggymcbugfix

View GitHub Profile
View connect-forti-vpn.applescript
-- Connect to FortiClient VPN. Uses of `delay` here are nothing short of an ugly HaCk.
-- You may need to adjust the delays to work on your system. Also make sure with your
-- sysadmin that it is ok to hard-code your password (see below*) as THIS IS NOT SECURE.
-- !!!USE THIS SCRIPT AT YOUR OWN RISK!!!
-- trick taken from [1] to avoid long GUI delay
ignoring application responses
tell application "System Events" to tell application process "FortiClientAgent"
click menu bar item 1 of menu bar 2
end tell
View keybase.md

Keybase proof

I hereby claim:

  • I am buggymcbugfix on github.
  • I am buggymcbugfix (https://keybase.io/buggymcbugfix) on keybase.
  • I have a public key ASA_Ar84jtYMoLEOldsPGc2u1osS7Lph38hEgrqjIrPCzgo

To claim this, I am signing this object:

@buggymcbugfix
buggymcbugfix / Commit.hs
Created Jul 22, 2019 — forked from i-am-tom/Commit.hs
Apply your function parameters in any order, for no reason other than that you can.
View Commit.hs
{-# lAnGuAgE DataKinds #-}
{-# LaNgUaGe FlexibleInstances #-}
{-# lAnGuAgE FunctionalDependencies #-}
{-# LaNgUaGe KindSignatures #-}
{-# lAnGuAgE TypeFamilies #-}
{-# LaNgUaGe TypeOperators #-}
{-# lAnGuAgE UndecidableInstances #-}
module Commit where
import Data.Kind (Constraint, Type)
@buggymcbugfix
buggymcbugfix / cloudSettings
Last active Dec 2, 2021
Visual Studio Code Settings Sync Gist
View cloudSettings
{"lastUpload":"2021-12-02T13:15:12.045Z","extensionVersion":"v3.4.3"}
@buggymcbugfix
buggymcbugfix / sexy-chicken-schnitzel.md
Last active Jun 15, 2020
Sexy Chicken Schnitzel Recipe
View sexy-chicken-schnitzel.md

Sexy Chicken Schnitzel

  • 2 chicken breasts (schnitzel sliced)
  • Herb rub
    • Handful Parsley
    • Handful Coriander
    • 1/2 Green chilli (without the seeds)
    • 2 cloves of garlic
    • thumb of ginger
    • 2 tsp harissa
View SNatX.hs
#!/usr/bin/env stack
{- stack script
--resolver nightly-2018-11-23
--package sbv
-}
{-# LANGUAGE DeriveAnyClass #-}
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE BlockArguments #-}
View covariance-contravariance.hs
-- Kudos to Dominic Orchard
{-# LANGUAGE InstanceSigs #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
-- P is contravariant in a
-- P is covariant in b
data P a b = P (a -> b)
View writing-papers-spj.md

Writing a paper, according to SPJ

Source: https://www.cis.upenn.edu/~sweirich/icfp-plmw15/slides/peyton-jones.pdf

  1. Abstract (4 sentences, write last; used by program committee members to decide which papers to read)
    1. State the problem
    2. Say why it’s an interesting problem
    3. Say what your solution achieves
    4. Say what follows from your solution
  2. Introduction (1 page)
View monoidal-vs-kleisli-monad.md

Monad (monoidal)

return : a -> T a
join : T (T a) -> T a

functor :
  object mapping: T : Type  -> Type
  morphism mapping :
   (a -> b)
View pangaea.hs
{-# LANGUAGE RecordWildCards #-}
{-# LANGUAGE ScopedTypeVariables #-}
module Main where
import Control.Monad.Random.Class
import Control.Monad.Reader
import Data.Foldable (for_)
import Graphics.Rendering.Cairo hiding (x, y)
import qualified Numeric.Noise.Perlin as P
import System.Random