Skip to content

Instantly share code, notes, and snippets.

View eyeinsky's full-sized avatar
🎯
Focusing

Markus Läll eyeinsky

🎯
Focusing
10 followers · 13 following
  • Estonia
View GitHub Profile
@eyeinsky
eyeinsky / Polykinded.hs
Last active February 15, 2022 17:09
Polykinded by adding the (x :: ()) kind
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE AllowAmbiguousTypes #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE NoMonomorphismRestriction #-}
{-# LANGUAGE QuantifiedConstraints #-}
@eyeinsky
eyeinsky / cook.hs
Last active February 12, 2022 18:32
With newtype Cook m a = Cook (m a)
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE AllowAmbiguousTypes #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE NoMonomorphismRestriction #-}
{-# LANGUAGE QuantifiedConstraints #-}
@eyeinsky
eyeinsky / bookmarklets.js
Created October 25, 2020 19:38
+/- 10% video speed
// -10%
javascript:(() => {
let speed = [...document.querySelectorAll('audio,video')].filter(v => v.currentTime > 0)[0].playbackRate -= .10;
console.log('video speed', speed);
})()
// +10%
javascript:(() => {
let speed = [...document.querySelectorAll('audio,video')].filter(v => v.currentTime > 0)[0].playbackRate += .10;
console.log('video speed', speed);
@eyeinsky
eyeinsky / keybase.md
Created August 21, 2016 18:05

Keybase proof

I hereby claim:

  • I am eyeinsky on github.
  • I am eyeinsky (https://keybase.io/eyeinsky) on keybase.
  • I have a public key whose fingerprint is 8249 1CAA 1375 1719 74A1 C837 DA32 FDD4 7DCD B482

To claim this, I am signing this object: