saevarb’s gists

saevarb / foo.hs

Created February 14, 2018 20:53

	{-# LANGUAGE TypeFamilies #-}
	{-# LANGUAGE FunctionalDependencies #-}
	{-# LANGUAGE MultiParamTypeClasses #-}
	{-# LANGUAGE ScopedTypeVariables #-}
	import Data.Proxy
	data UTCTime
	data ID a
	data GenTable a

	data Connection

saevarb / ToJSON.hs

Created February 8, 2018 12:34

	instance (ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g, ToJSON h, ToJSON i) => ToJSON2 ((,,,,,,,,,,) a b c d e f g h i) where
	liftToJSON2 toJ _ toK _ (a, b, c, d, e, f, g, h, i, j, k) = Array $ V.create $ do
	mv <- VM.unsafeNew 11
	VM.unsafeWrite mv 0 (toJSON a)
	VM.unsafeWrite mv 1 (toJSON b)
	VM.unsafeWrite mv 2 (toJSON c)
	VM.unsafeWrite mv 3 (toJSON d)
	VM.unsafeWrite mv 4 (toJSON e)
	VM.unsafeWrite mv 5 (toJSON f)
	VM.unsafeWrite mv 6 (toJSON g)

saevarb / Parser.hs

Created January 6, 2018 18:29

	module Parser where

	import Control.Applicative
	import Data.Functor

	import Text.Megaparsec
	import Text.Megaparsec.Char

	type Parser = Parsec String String

saevarb / Day9.hs

Created December 10, 2017 22:47

	module Day9 where

	import Control.Applicative
	import Text.Megaparsec
	import Text.Megaparsec.String
	import Data.Tree
	import Data.Monoid
	import Data.Maybe
	import Control.Monad (void)
	import Text.Printf

saevarb / PQHeap.java

Created November 29, 2017 22:26

	import java.util.Arrays.*;

	public class PQHeap implements PQ {
	private Element[] heap;
	private int heapSize;
	private int maxElems;

	public PQHeap(int maxElems) {
	this.heap = new Element[maxElems];
	this.heapSize = 0;

saevarb / gist:0c6e37edd5c5e99c0ec2cef7a8d7c5f4

Created July 31, 2017 13:10

	spang [1:03 PM]
	Hvis du tager en bachelor i datalogi, er du ikke Datalog. Det er du, når du tager kandidaten.


	danniehansenweb [2:26 PM]
	joined #random


	sbrg [2:40 PM]
	@spang Uh.. nej?

saevarb / deps.txt

Created July 24, 2017 11:42

	Possibly confusing dependencies found:
	[lein-cljsbuild "1.1.4"] -> [fs "1.1.2"] -> [org.clojure/clojure "1.3.0"]
	overrides
	[lein-ring "0.12.0"] -> [leinjacker "0.4.2"] -> [org.clojure/core.contracts "0.0.1"] -> [org.clojure/core.unify "0.5.3"] -> [org.clojure/clojure "1.4.0"]
	and
	[lein-ring "0.12.0"] -> [leinjacker "0.4.2"] -> [org.clojure/core.contracts "0.0.1"] -> [org.clojure/clojure "1.4.0"]
	and
	[lein-figwheel "0.5.9"] -> [simple-lein-profile-merge "0.1.4"] -> [org.clojure/clojure "1.6.0"]
	and
	[lein-ring "0.12.0"] -> [org.clojure/data.xml "0.0.8"] -> [org.clojure/clojure "1.4.0"]

saevarb / errors.txt

Created July 24, 2017 11:40

	Exception in thread "main" java.lang.NoClassDefFoundError: org/eclipse/jetty/http/HttpParser$ProxyHandler, compiling:(ring/adapter/jetty.clj:27:9)
	at clojure.lang.Compiler.analyzeSeq(Compiler.java:6875)
	at clojure.lang.Compiler.analyze(Compiler.java:6669)
	at clojure.lang.Compiler.analyzeSeq(Compiler.java:6856)
	at clojure.lang.Compiler.analyze(Compiler.java:6669)
	at clojure.lang.Compiler.analyze(Compiler.java:6625)
	at clojure.lang.Compiler$BodyExpr$Parser.parse(Compiler.java:6001)
	at clojure.lang.Compiler$LetExpr$Parser.parse(Compiler.java:6319)
	at clojure.lang.Compiler.analyzeSeq(Compiler.java:6868)
	at clojure.lang.Compiler.analyze(Compiler.java:6669)

saevarb / project.clj

Created July 24, 2017 11:37

	(defproject dashboard "0.1.0-SNAPSHOT"
	:repositories {"my.datomic.com" {:url "https://my.datomic.com/repo"
	:creds :gpg}}
	:dependencies [[org.clojure/clojure "1.8.0"]
	[org.clojure/clojurescript "1.9.229"]
	[org.clojure/core.async "0.3.443"]
	[reagent "0.6.0"]
	[re-frame "0.9.4"]
	[re-frisk "0.4.5"]
	[com.datomic/datomic-pro "0.9.5561.50"]

saevarb / *kasiski*.txt

Created July 17, 2017 22:43

Sævar Berg saevarb