Area 51 » Anton Golov

177
reputation
12 views
discussion user
network profile

Registered User

name Anton Golov
member for 3 years
seen Feb 4 at 8:46
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


3

Followed

89
committed

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
108
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
98
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

1

Example Question


3

Votes Cast

3 up

0 down