work
December 14, 2022 —
sameer
Table of Contents
- 1. Things I
- 2. Don't work on
- 3. Who pays me for it:
- 4. work experience
- 5. Education
- 6. Contact
Work
1. Things I
1.1. work on
1.2. am working on
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. Can work on
1.3.1. give a Haskell talk, but rarely and provisionally
1.3.2. running my builds on sbc,soc, fpga
1.4. want to work on
1.4.1. Verifying if induction means well ordering with coq or idris and all the paper or posts I have found pairwise contradictory
Preparing for both
2. Don't work on
2.1. linkedin profile
2.2. Windows
2.3. OOP - esp Java
2.4. anything else I don't want to do
3. Who pays me for it:
3.1. blockchain folks
3.2. Processor dev folks
3.3. Who can pay me for it
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. system programmers
3.4.1. unikernels
3.4.2. Haskell/ FP consulting folks
3.5. DB folks
3.5.1. xen hypervisor and irmin
3.6. Who doesn't pay me for it
3.6.1. fast track projects - quick and dirty deliverable
4. work experience
4.1. available on request
5. Education
5.1. Dropout
5.1.1. UG iitb [2006-]
5.2. work experience available on request
6. Contact
6.1. xameer @mathstodon
<p>Tags: GHC, Lisp, Ocaml, Type Theory, Tech Stack</p>
Created: 2022-12-14 Wed 19:13