Skip to content

Instantly share code, notes, and snippets.

View buggymcbugfix's full-sized avatar

Vilem Liepelt buggymcbugfix

51 followers · 12 following
View GitHub Profile
@buggymcbugfix
buggymcbugfix / connect-forti-vpn.applescript
Last active March 2, 2021 10:32
Connect to FortiClient VPN
-- 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
@buggymcbugfix
buggymcbugfix / keybase.md
Created January 7, 2020 21:58

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 July 22, 2019 12:39 — forked from i-am-tom/Commit.hs
Apply your function parameters in any order, for no reason other than that you can.
{-# 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 February 23, 2022 08:24
Visual Studio Code Settings Sync Gist
{"lastUpload":"2022-02-23T08:24:19.468Z","extensionVersion":"v3.4.3"}
@buggymcbugfix
buggymcbugfix / sexy-chicken-schnitzel.md
Last active June 15, 2020 10:17
Sexy Chicken Schnitzel Recipe

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
@buggymcbugfix
buggymcbugfix / SNatX.hs
Created November 25, 2018 23:39
#!/usr/bin/env stack
{- stack script
--resolver nightly-2018-11-23
--package sbv
-}
{-# LANGUAGE DeriveAnyClass #-}
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE BlockArguments #-}
@buggymcbugfix
buggymcbugfix / covariance-contravariance.hs
Created September 18, 2018 20:57
-- 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)
@buggymcbugfix
buggymcbugfix / writing-papers-spj.md
Created July 16, 2018 18:32

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)
@buggymcbugfix
buggymcbugfix / monoidal-vs-kleisli-monad.md
Last active June 8, 2018 17:03

Monad (monoidal)

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

functor :
  object mapping: T : Type  -> Type
  morphism mapping :
 (a -> b)
@buggymcbugfix
buggymcbugfix / pangaea.hs
Created May 8, 2018 23:22 — forked from 5outh/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