This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# This is from NixOS. | |
# Each line is mapping from xorg.${pkgName} to the binaries that it contains. | |
bdftopcf: bdftopcf | |
fontutil: bdftruncate ucs2any | |
gccmakedep: gccmakedep | |
iceauth: iceauth | |
imake: cleanlinks mkhtmlindex imake mergelib xmkmf ccmakedep mkdirhier revpath makeg | |
libXpm: sxpm cxpm | |
lndir: lndir | |
luit: luit |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
After automatically updating Postgres to 10.0 via Homebrew, the pg_ctl start command didn't work. | |
The error was "The data directory was initialized by PostgreSQL version 9.6, which is not compatible with this version 10.0." | |
Database files have to be updated before starting the server, here are the steps that had to be followed: | |
# need to have both 9.6.x and latest 10.0 installed, and keep 10.0 as default | |
brew unlink postgresql | |
brew install postgresql@9.6 | |
brew unlink postgresql@9.6 | |
brew link postgresql |
Electric Clojure implements a form of arrowized continuous time dataflow programming with extensions for network-transparent function composition.
- The Haskell School of Music: From Signals to Symphonies (2018) — best starting point and also a great intro to Haskell.
- The Essence of Dataflow Programming (2006) great category theory overview of dataflow programming; missing Applicative (2008), Free monad and Cofree comonad
- Push-pull functional reactive programming, Elliot (2009)
- Breaking down FRP, Jane Street (2014) — good concise comparision of many FRP aspects; missing discussion of discrete vs continuous
- [Compiling to Categories, Elliott (2017)](http
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
(ns prepl | |
(:require [clojure.core.server :as s] | |
[missionary.core :as m]) | |
(:import (java.io PipedReader PipedWriter) | |
(java.util.concurrent Executors))) | |
(defn remote " | |
Returns a function taking a `java.io.PipedWriter` and returning a flow connecting to a remote prepl on given `host` and | |
`port`, sending the content of the pipe to the remote peer and emitting received evaluation results. The pipe is closed | |
on flow cancellation. |