Computer Science
Profile Activity
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
~18k
people reached
  • tillmann-rendel.com
  • Member for 6 years, 11 months
  • 13 profile views
  • Last seen Nov 12 '20 at 11:35

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