Skip to main content
Computer Science
Mike Spivey's user avatar
Mike Spivey's user avatar
Mike Spivey's user avatar
Mike Spivey
  • Member for 6 years, 8 months
  • Last seen this week
Profile Activity
Stats
221
reputation
6k
reached
1
answer
0
questions
Communities
View all
About

teaches Computer Science at the University of Oxford.

Badges
This user doesn’t have any gold badges yet.
1
silver badge
7
bronze badges
Top tags
12
Score
1
Posts
100
Posts %
12
Score
1
Posts
100
Posts %
12
Score
1
Posts
100
Posts %
12
Score
1
Posts
100
Posts %
Top posts
answer
12
Could Gödel’s incompleteness theorem be circumvented with a quine?
Mar 14, 2022
Top network posts
View all network posts
44
Why does UNIX ed not have a prompt by default
25
Why did SMARTDRV have to be started with /x when DOS started?
11
Local infix operator definition in Haskell
8
Why is -1L * -9223372036854775808L == -9223372036854775808L
8
How should one interpret the Haskell character '\250'