What i’m doing now

last updated on 120年00月18日 at 14時

• exploring mathematical type systems, programming language design.
• playing with a “safety-first” operating system design.
• striving to be awesome!~

The Now Movement started by Derek Sivers.