Reid D McKenzie

Results 86 comments of Reid D McKenzie

`docker build - < Dockerfile` - it would probably be easy to metaprogram the docker build using a custom pseudo-dockerfile over stdin, and managing putting a minimal build context together...

In [rules_zapp](https://github.com/arrdem/rules_zapp) I "solved" this problem by authoring a zipapp "compiler" whose primary purpose is to have special knowledge of the structure of a `.runfiles` tree so that assets from...

Don't bother. As long as you have imperative semantics as opposed to lambda calculus normalization / evaluation in the dependent types predicate system, simplification (creating interior codepaths where all contracts...

So Shen is super interesting (despite its other various insanities) because it uses a language level implementation of prolog to do arbitrary constraint search / proof for typechecking. The runtime...

I would _love_ having a visual indicator for staged lines. More than once I've just unstaged a whole buffer because I forgot what I had and hadn't staged.

Today I deployed an update to [Grimoire](https://www.conj.io/) which swaps out this cheatsheet for a new masonry based rendition of the same content ([source](https://github.com/clojure-grimoire/grimoire/blob/develop/src/main/grimoire/web/views/content/cheatsheet.clj)). The structural issue with this cheatsheet as...

You're welcome to the Oxlang reader... right now it just reads Clojure but it's fast and easy to hack on.

Option 1 seems bad, option 3 I don't follow the downsides of. I'm leaning 2 by default but I don't feel like I have an informed opinion here.