doofin

4 ms·

1. 1.▲
   My Scala journey from back end to chip verification(scala.ecofunctor.com)

   2 points by doofin 9mo ago|0 comments
2. 2.▲
   by doofin 5y ago

   As math is becoming harder,we also have better tool to tackle such complexity.For example,it's probably easier to use a theorem prover which supports homotopy type theory to study algebraic topology and synthetic homotopy theory.Howeve
3. 3.▲
   by doofin 5y ago

   Would you like to elaborate a bit about how those graphs are useful ? I think the graphs in roam are too dense to be useful .
4. 4.▲
   The first open source internationalization management platform(github.com)

   3 points by doofin 5y ago|0 comments