c-cube
c_cube@hachyderm.io
<p>My current interest revolve around OCaml, Rust, automatic theorem proving, SMT and SAT solving, learning computer graphics.</p>
Posts
-
View post
@pzmyers Don't worry, giant octopuses are suckers for you too. Many suckers, in fact.