Computer Science
Profile Activity
Network profile
356
reputation
2
7

Anton Golov

I'm a student of mathematics and computer science at Utrecht University, currently fascinated by compilers and everything that has to do with them. I started learning C++ in 2008, and have since then also picked up Python, C#, and Haskell.

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.

3
answers
1
question
~3k
people reached
  • Netherlands
  • jesyspa
  • Member for 7 years, 2 months
  • 19 profile views
  • Last seen 2 days ago

Communities (40)

Top network posts

Top tags (9)

Score 10
Posts 2
Posts % 50
Score 10
Posts 1
Score 10
Posts 1
Score 10
Posts 1
Score 8
Posts 1
Score 8
Posts 1
View all tags →

Top posts (4)

All Questions Answers
Votes Newest
10 Is there an algorithm for converting Turing machines into equivalent Lambda expressions? Oct 23 '15
8 What is the Curry-Howard analogue for linear logics? Oct 25 '15
3 Is halting problem computable for particular inputs/assumptions Mar 8 '18
3 How do stable functions 1 => 1 relate to Bool? Sep 4 '14

Badges (9)

Gold

—

Silver

2

Rarest

Bronze

7

Rarest