Theoretical Computer Science
Rexcirus's user avatar
Rexcirus's user avatar
Rexcirus's user avatar
Rexcirus
  • Member for 4 years, 6 months
  • Last seen more than a week ago
Profile Activity
Stats
214
reputation
394
reached
1
answer
1
question
Communities
View all
About

lorenzopieri.com

Badges
This user doesn’t have any gold badges yet.
1
silver badge
5
bronze badges
Top tags
1
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
Top posts
All Questions Answers
Score Newest
question
8
Is Gödel's speed-up theorem an instance of Blum's speedup theorem?
Feb 10, 2020
answer
1
What's the state of research on automated theorem proving?
Jul 1, 2022
Top network posts
View all network posts
30
Biggest successful secret project in history?
25
How do I pass parameters via url in django?
21
Is the "Chinese room" an explanation of how ChatGPT works?
21
Examples of "unsuccessful" theories with afterlives
20
Curvature Invariants in General Relativity and Singularities

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.