You must be logged in to sponsor carnotweat
Become a sponsor to sameer gupta
- Possible proof engineer from Emacs
- Trying to make my reproducible remote distributed nixos builds reliable- across the processors
- I ll try to do include on Jetson Nano , now that Nvidia released its kernel driver as opensource .
- Using ski calculus with Agda and Coq for deducing Nats and applying the results so obtained, for elementary theorem proving.
- Funds
- More connectors, adapters, jumpers, boards, remote systems ( Not cloud or Microservices) and Research.