Jan van Brügge

@jvanbruegge.cerberus-systems.de

40 Followers 36 Following

Serval cards from the game Fantasy Realms. If a card mentions another card by name, the name is underlined in the color of its suit. For example, the Hydra gives bonus points for the Swamp, which is a Floor card, so the name "Swamp" is underlined in dark blue
A chocolate cake with a Haskell logo made out of marzipan on top.
A screenshot of a very broken GitHub mobile website
A screenshot of the mobile GitHub website that shows the read me of the nixpkgs repo. It does not fill the width of the screen
Screenshot of the following Haskell code: data Elem a = MkElem { left :: Elem a, x :: a, right :: Elem a } value :: Elem a -> a value y = y.x mkRing :: Int -> Elem Int mkRing size = start where (start, final) = go final 0 go prev !n = let x = MkElem prev n (if n == size - 1 then start else next) (next, end) = go x (n + 1) in (x, if n == size - 1 then x else end) left :: Int -> Elem a -> Elem a left 0 x = x left n x = left (n - 1) x.left right :: Int -> Elem a -> Elem a right 0 x = x right n x = right (n - 1) x.right ring :: Elem Int ring = right 50 $ mkRing 100
A screenshot of Neovim with the cursor on a GHC-style note. In a window on the lower screen it shows two file paths with line numbers and short previews of note references
Anna Lapwood on the organ in the concert hall of Dortmund
Github issue comment: @jvanbruegge Just want to let you know, this plugin is awesome! It is awesome to explore a codebase using Goto Definition for the notes. It also motivates me to write more notes, as they are trivial to discover now and make it much easier to document architectural decisions. This message is just to let you know, I appreciate this plugin a lot, I deeply underestimated how useful it would be!
A complicated mess of combinators and assembly machines
DO = (unit, bind) => f => { const gen = f() const next = acc => { const {done, value} = gen.next(acc) return done ? unit(value) : bind(value)(next) } return next() } // specific DO instance for Either: doEither = DO(unit, bind) With this, we can use a slightly weird, but much more readable do notation: input = 42 result = doEither(function* () { a = yield divide(42, input) b = yield divide(42, a), c = yield divide(b, a), return c; }) console.log(prettyEither(result)) // "Right 42"