Computer Science
Profile Activity
Meta user
Network profile
1,150
reputation
7
15

xuq01

Mathematician and theoretical computer scientist in training.

15
answers
4
questions
~11k
people reached
  • Japan
  • Member for 3 years, 9 months
  • 68 profile views
  • Last seen Aug 20 at 3:20

Communities (33)

Top network posts

Top tags (31)

Score 52
Posts 5
Posts % 26
Score 45
Posts 1
Score 21
Posts 8
Score 11
Posts 2
Score 11
Posts 2
Score 7
Posts 2
View all tags →

Top posts (19)

All Questions Answers
Votes Newest
45 Do any programming languages use general recursive functions as their basis? Jul 30 '18
6 What are the concequences of the unit type and the unit value being the same? Jul 14 '18
6 How CompCert “proves” different things in its codebase Jun 29 '18
5 An example of something you can formally verify with proofs in Software Development Jun 23 '18
4 What is a fixpoint? Jun 25 '17
4 Can String be a subtype of Character in a programming language? May 14 '17
3 What does it mean that a let-binding can be treated polymorphically, only if its right-hand side is a syntactic value? Sep 4 '19
3 The first Turing machine Dec 20 '18
3 Given a Turing machine M, is there a TM that computes the number of states M has? Jun 21 '18
3 Introduction to type theory for a beginner? May 4 '18
View all questions and answers →

Badges (22)

Gold

—

Silver

7

Rarest

Bronze

15

Rarest

View all badges →