Proof Assistants Meta
wizzwizz4's user avatar
wizzwizz4's user avatar
wizzwizz4's user avatar
wizzwizz4
  • Member for 1 year, 3 months
  • Last seen more than a month ago
  • (e^π - π) metres west of previously observed location
Profile Activity
Stats
443
reputation
390
reached
1
answer
0
questions
Communities
View all
About

I help people write code, when I'm not needing help myself. I use Firefox.

I'm a moderator on Retrocomputing Stack Exchange. (It turns out that moderatoring is hard.)

Useful links:

Pronouns: writer's discretion; if in doubt, use your own.

Badges
This user doesn’t have any gold badges yet.
1
silver badge
4
bronze badges
Top tags
11
Score
1
Posts
100
Posts %
11
Score
1
Posts
100
Posts %
Top posts
All Questions Answers
Score Newest
answer
11
What should the name of our main chatroom be?
Feb 8, 2022
Top network posts
View all network posts
238
An apology to our community, and next steps
116
We are updating our Code of Conduct and we would like your feedback
115
How is it possible that classic 3D video games such as Super Mario 64 and Ocarina of Time can contain such bizarre "glitches"?
99
How was early randomness generated?
84
Why was BASIC built into so many operating systems?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.