Area 51 » Anton Golov

172
reputation
9 views
discussion user
network profile

Registered User

name Anton Golov
member for 3 years
seen Oct 28 at 0:05
website
location Netherlands
age

I'm a student of mathematics and computer science at Utrecht University, currently fascinated by type theory and everything related to it. I started learning C++ in 2008, and have since then also picked up Python, C#, and Haskell. I'd like to learn Agda or Idris soon.

Apart from that, I play go (less often than I'd like), try to learn Lojban (with less success than I'd like), and am a member of Biton.

I am also known as jesyspa elsewhere on the net.

0

Proposals


0

Current Commitments


0

Fulfilled Commitments


4

Followed

123
followers

Compilers

For researchers and developers who want a serious and high-level answer on specialized topics on compiler architecture, e.g. parsing, type checking, intermediate code, optimizations, architecture specific optimizations and others.
define
commit
beta
66
followers

Constructed Languages

For people who wish to learn, practice, or discuss constructed languages such as Esperanto, Interlingua, Lojban, Klingon, and others. Questions about cultures that have developed among speakers of these languages are also welcome.
define
commit
beta
34
followers

Tea

For everything tea-related, from Camellia Sinensis to your favorite blend. How to drink it, how to make it, how to enjoy the most of it...
define
commit
beta
22
followers

Artificial Life

For those fascinated by artificial organisms, populations or ecosystems. Simulations of specific aspects of life or fully open ended evolution in artificial environments. Applying this to practical problems, engaged in pure research or just curious.
define
commit
beta

1

Example Question


3

Votes Cast

3 up

0 down