Notes

1.1.1. issues like

1. space leaks with and number of calls made to writer monads
   
2. slow compilation of zk-roofs
   
3. rarely extend existing emacs packages for nyxt
   
4. nixos-ci+git, sharing,deploying code over ssh (includes the unpaid work, IP available on request)
   

1.2.1. My builds for ocaml-xenstore, sbcl work on my nix-shell(s) , once I can't think of any more of such shells, I ll use them as buildinput reference for my remote-flakes

1.3.1. give a Haskell talk, but rarely and provisionally

1.3.2. running my builds on sbc,soc, fpga

1.4.1. Verifying if induction means well ordering with coq or idris and all the paper or posts I have found pairwise contradictory

3.3.1. verification and proof engineering folks

3.3.2. Secure Microkernel folks

3.3.3. sel4 and also freeRTOS, mBed, Genode,

3.4.1. unikernels

3.4.2. Haskell/ FP consulting folks

3.5.1. xen hypervisor and irmin

3.6.1. fast track projects - quick and dirty deliverable

5.1.1. UG iitb [2006-]