playground - place for smaller experiments which may or may not grow into larger things

	Commit message (Collapse)	Author	Age	Files	Lines
*	isabelle-fhsenv: add libraries for F# code genHEAD master	stuebinm	2023-04-28	1	-0/+2
\|
*	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