Skip to content

Instantly share code, notes, and snippets.

View quchen's full-sized avatar
🦉

David Luposchainsky quchen

🦉
View GitHub Profile
import qualified Data.Set as S
import System.IO.Unsafe
import System.Directory
import System.Environment
import Control.Exception
import Data.List
newtype Song = Song String
deriving (Show, Read, Eq)
@quchen
quchen / productive_haskell_prerequisites.md
Last active September 10, 2017 22:18
Productive Haskell prerequisites

Public service annoucement

List of things you don't have to know to be producive in Haskell:

  • Category theory
  • Type theory
  • Constructive mathematics
  • Lambda calculus
@quchen
quchen / keybase.md
Last active February 13, 2018 14:53

Keybase proof

I hereby claim:

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

To claim this, I am signing this object:

@quchen
quchen / fusion2018.html
Last active July 17, 2018 12:19
Links to scraped Fusion 2018 livesets
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="utf-8">
<title>Fusion 2018 – Scraped Soundcloud links</title>
</head>
<body>
<h1>Fusion 2018 – Scraped Soundcloud links</h1>
#!/usr/bin/env stack
{- stack
--resolver lts-12.0
--install-ghc
runghc
--package text
--package vector
--package base
--package random
--
module Main (main) where
-- Does not typecheck yet :-(
main = putStr (hello (:) [] succ minBound)
s f g x = f x (g x)
k x _ = x
hello :: (char -> io -> io) -> io -> (char -> char) -> char -> io
hello = s (s (k s) (s (k (s (k s))) (s (k (s (k (s (k s))))) (s (s (k s) (s (k
(s (k s))) (s (k (s (k (s (k s))))) (s (s (k s) (s (k (s (k s))) (s (k (s (k
ColorDataFunction[
97,
"Indexed",
{1, Infinity, 1},
(ToColor[
If[
1 <= #1 <= 10,
{
RGBColor[0.368417, 0.506779, 0.709798],
RGBColor[0.880722, 0.611041, 0.142051],
@quchen
quchen / trolling_haskell
Last active February 24, 2024 01:30
Trolling #haskell
13:15 <xQuasar> | HASKELL IS FOR FUCKIN FAGGOTS. YOU'RE ALL A BUNCH OF
| FUCKIN PUSSIES
13:15 <xQuasar> | JAVASCRIPT FOR LIFE FAGS
13:16 <luite> | hello
13:16 <ChongLi> | somebody has a mental illness!
13:16 <merijn> | Wow...I suddenly see the error of my ways and feel
| compelled to write Node.js!
13:16 <genisage> | hi
13:16 <luite> | you might be pleased to learn that you can compile
| haskell to javascript now