Daniel Fabian
Daniel Fabian
This is a port from the DWM website. I use a 55" 4k screen and nmaster is really useful in that scenario.
I just followed the tutorial and tried setting up wifi for my nixos install using nix-sops and it seems to work just fine when I make a `nixos-rebuild switch`. However,...
I just installed the plugin and it works really nicely. Just one thing, I haven't figured out how to do, is: How can I restore my original key map as...
Hello, I'm trying to figure out if there's a docker image with this. My background being, that I'm considering to set up a binary cache and because it would be...
https://github.com/ExceLint/ExceLint-addin/blob/4d8d60e2d1deba7f3f340bedd886488b36277774/excelint/core/ExceLintTypes.ts#L17 I think your `polyFold`, i.e. a typical `F#`-style fold is available in javascript if you pass in an initial value and a generic arg. See this TypeScript signature coming...
I would love to get some kind of equivalent of the pinned / mini view in Helmod/FP. Would any of those options be relatively easy to support: - have a...
I'm interested in interop for the lean theorem prover. Rust would be a great candidate for that since lean's memory model is not extremely far from rust's with borrowing, no...
I've been working through mathematics in lean and I've found on the same page multiple incomplete proofs that I just didn't notice. As it stands it puts a red squiggly...