| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | isabelle env: expose the mkEnv function | stuebinm | 2022-12-17 | 1 | -7/+8 |
| | | |||||
| * | add isabelle 2022 | stuebinm | 2022-12-14 | 1 | -14/+30 |
| | | |||||
| * | bump isabelle to 2021-1 | stuebinm | 2022-01-23 | 1 | -2/+2 |
| | | |||||
| * | isabelle: allow bringing one's own nixpkgs | stuebinm | 2022-01-22 | 1 | -1/+2 |
| | | |||||
| * | obs-qmlview for nix | stuebinm | 2021-09-11 | 3 | -0/+110 |
| | | |||||
| * | playing around with IO in Nix | stuebinm | 2021-07-20 | 3 | -0/+260 |
| | | |||||
| * | isabelle fhs env for NixOS | stuebinm | 2021-07-16 | 2 | -0/+49 |
| | | |||||
| * | turing machine in nix | stuebinm | 2021-06-08 | 2 | -0/+110 |
| | | |||||
| * | nixos oci container: add tag option | stuebinm | 2021-05-31 | 1 | -1/+2 |
| | | |||||
| * | nixos-modules oci container: keep to the spec | stuebinm | 2021-05-31 | 1 | -2/+2 |
| | | | | | | | | | | | turns out you can break the image spec in subtle ways and instead of telling anyone about it, docker will just guess what was meant and do whatever. podman won't, and actually keeps to the spec. it should work with both now ... | ||||
| * | hakyll wrapped in a nix derivation | stuebinm | 2021-05-28 | 19 | -0/+638 |
| | | | | | (see the Readme.org file for more information) | ||||
| * | pretty printing formulae for sequence calculus | stuebinm | 2021-05-22 | 1 | -0/+15 |
| | | | | | | | problem: minikanren may return a set of constraints, which aren't very obvious for how to pretty-print them (currently they're just displayed as an empty []). | ||||
| * | Sequence calculus in miniKanren | stuebinm | 2021-05-19 | 2 | -0/+113 |
| | | | | | barfing out tautologies for free! | ||||
| * | nix oci container: add escape hatch to docker config | stuebinm | 2021-05-17 | 1 | -10/+11 |
| | | | | | | | | | This now allows to write arbitrary values into the config of the docker containers generated, if so desired. It also now creates working directories /before/ executing any preStart scripts (which would lead to crashes before). | ||||
| * | better nix-modules in oci container | stuebinm | 2021-05-12 | 2 | -32/+47 |
| | | | | | | | | | Short overview: - cleaner code - more comments - support for systemd services that are configured via `serviceConfig` - got rid of bash (using dash for everything now) | ||||
| * | nixos zoom iso: some comments on what this is | stuebinm | 2021-05-08 | 1 | -4/+19 |
| | | |||||
| * | experimenting with nixos modules in oci containers | stuebinm | 2021-05-07 | 4 | -0/+170 |
| | | | | | See the Readme.org file for what this is. | ||||
| * | simple nixos-based live system that runs zoom | stuebinm | 2021-04-13 | 2 | -0/+39 |
| | | | | | | | | the nixos-installer is non writable by default, so this is basically a completely stateless system that can run any software which I don't normally want to run (with some exceptions), but still frequently need for some reason ... | ||||
| * | simple ffi with rust and haskell | stuebinm | 2021-04-11 | 8 | -0/+82 |
| | | | | | so far, only calling rust from haskell, not the other way round. | ||||
| * | age-wasm: add a function for asymmetric decryption | stuebinm | 2021-04-04 | 1 | -1/+20 |
| | | | | | | | | This is intended for misusing an age private key as "passphrase" for decrypting a document. This is not really recommended, but it is useful, since symmetric encryption in web assembly takes some orders of magnitude (1-2 minutes) longer than asymmetric decryption. | ||||
| * | age-wasm: move into subdirectory | stuebinm | 2021-04-04 | 8 | -4/+0 |
| | | |||||
| * | add simple readme | stuebinm | 2021-04-04 | 1 | -0/+21 |
| | | |||||
| * | usable interface for encryption (pubkey) and decryption (passphrase) | stuebinm | 2021-04-04 | 4 | -8/+2673 |
| | | |||||
| * | proof of concept: age in wasm in a browser | stuebinm | 2021-04-01 | 6 | -0/+1384 |
 |
index : playground | |
| place for smaller experiments which may or may not grow into larger things |
| summaryrefslogtreecommitdiff |