Skip to content

Instantly share code, notes, and snippets.

View smatting's full-sized avatar

Stefan Matting smatting

14 followers · 0 following
View GitHub Profile
@smatting
smatting / failing_tests.txt
Created January 12, 2024 19:45
Testing: /home/stefan/repos/neogit/tests/specs/neogit/popups/remote_spec.lua
Fail || remote popup can add remote
...enary.nvim/start/plenary.nvim/lua/plenary/async/util.lua:37: Blocking on future timed out or was interrupted.
./tests/util/git_harness.lua:69: ...n/repos/neogit/tests/specs/neogit/popups/remote_spec.lua:38: Expected objects to be the same.
Passed in:
(table: 0x7f5d7833f410) {
[1] = 'foo'
[2] = 'origin' }
Expected:
(table: 0x7f5d78339958) {
@smatting
smatting / gist:799ffdf03eb61efd12c27d1f7c951929
Created January 23, 2021 09:11
dir locals
;; ((haskell-mode
;; (haskell-completion-backend . lsp)))
((haskell-mode . ((haskell-completion-backend . lsp)
(lsp-haskell-server-wrapper-function . (lambda (argv)
(append
(append (list "nix-shell" "-I" "." "--command" )
(list (mapconcat 'identity argv " "))
)
(list (concat (lsp-haskell--get-root) "/shell.nix"))
@smatting
smatting / dd-questions.md
Last active December 10, 2020 07:53
My questions for bolt12's Article on Denotational Semantics

Questions on https://github.com/bolt12/advent-of-haskell-dd

In the the section "Calculating an implementations":

  1. I'm not sure if I undertand the paragraph under the 'IsStack' class definition. If I try to use my own words I understood it as:

    You can get Functor implementation for s for free by using using two facts

    • the Homomorhism Property for mu: mu (fmap f s) = fmap f (mu s)
  • mu and mu' are inverse
@smatting
smatting / generics.hs
Last active January 18, 2019 16:37
{-# LANGUAGE DeriveGeneric #-}
-- {-# LANGUAGE FlexibleInstances #-}
-- {-# LANGUAGE UndecidableInstances #-}
{-# LANGUAGE TypeOperators #-}
-- {-# LANGUAGE StandaloneDeriving #-}
{-# LANGUAGE DefaultSignatures #-}
module Foo.Gen
where
@smatting
smatting / sum-types.hs
Last active November 1, 2018 17:32
newtype Choice l = Choice [(Float, l)]
newtype Deterministic a = Deterministic a
newtype ChoicePlus l = ChoicePlus [l]
class Laralable l a where
larala :: l -> Larala a
instance Laralable (Deterministic a) a
where
larala (Deterministic y) = return y
@smatting
smatting / gist:1fb06359603c2613c872
Last active January 13, 2016 09:54
http://giphy.com/gifs/eye-26tPjoOKLVZVulIyY/fullscreen
http://giphy.com/gifs/woahdude-pupil-dilation-fthifQTEunRhC/fullscreen
http://giphy.com/gifs/xT77Y62zPz0SbpoRWM/fullscreen
http://giphy.com/gifs/3oxRmERnzko8Vo1duM/fullscreen
@smatting
smatting / dabblet.css
Created November 5, 2013 14:21
The first commented line is your dabblet’s title
/**
* The first commented line is your dabblet’s title
*/
background: #f06;
background: linear-gradient(45deg, #f06, yellow);
min-height: 100%;
@smatting
smatting / dabblet.css
Created November 5, 2013 11:34
The first commented line is your dabblet’s title
/**
* The first commented line is your dabblet’s title
*/
background: #f06;
background: linear-gradient(45deg, #f06, yellow);
min-height: 100%;
@smatting
smatting / dom.cljs
Last active December 17, 2015 23:38
(ns sftl.dom
(:require [clojure.browser.event :as event]
[clojure.browser.dom :as dom]))
(def source (dom/get-element "source"))
(def destination (dom/get-element "destination"))
(dom/append source
(dom/element "Testing me ")
(dom/element "out!"))
@smatting
smatting / gist:1869962
Created February 20, 2012 16:18
ExecJS::RuntimeError in Home#index
Showing /home/stefan/Projekte/Programmieren/gtd/app/views/layouts/application.html.erb where line #6 raised:
(in /home/stefan/Projekte/Programmieren/gtd/app/assets/javascripts/home.js.coffee)
Extracted source (around line #6):
3: <head>
4: <title>Gtd</title>