Computer Science
Meta user
Network profile
394
reputation
1
4

Toxaris

Apparently, this user prefers to keep an air of mystery about them.

3
answers
0
questions
~17k
people reached
  • tillmann-rendel.com
  • Member for 5 years, 4 months
  • 11 profile views
  • Last seen Dec 30 '18 at 0:10

Communities (27)

Top network posts

Top tags (12)

Score 19
Posts 2
Posts % 67
Score 19
Posts 1
Score 19
Posts 1
Score 19
Posts 1
Score 8
Posts 1
Score 8
Posts 1
View all tags →

Top posts (3) All Questions Answers | Votes Newest

19 How can I explain to my parents that I study programming languages? May 1 '16
8 Given the “programs as proofs” isomorphism, how do we know that the program isn't lying? Mar 9 '15
0 Is there a decidable algorithm to compose two well-behaved recursive functions that work on a recursive tree datatype? Apr 21 '14

Badges (5)

Gold

—

Silver

1

Rarest

Bronze

4

Rarest