Computer Science
Mike Battaglia's user avatar
Mike Battaglia's user avatar
Mike Battaglia's user avatar
Mike Battaglia
  • Member for 10 years, 1 month
  • Last seen more than a month ago
Profile Activity
Stats
837
reputation
12k
reached
2
answers
25
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
17
bronze badges
Top tags
View all tags
4
Score
4
Posts
15
Posts %
0
Score
12
Posts
44
Posts %
0
Score
6
Posts
22
Posts %
0
Score
6
Posts
22
Posts %
0
Score
4
Posts
15
Posts %
0
Score
4
Posts
15
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
13
Random Access Machines with only addition, multiplication, equality
Jun 14, 2017
question
10
Do there exist "O(1)-complete" problems?
Jun 14, 2017
question
7
In a bloom filter, why does the optimal number of hashes *increase* with the number of bits in the filter?
Jun 1, 2018
question
6
Do "Type-2" Turing machines with infinite length inputs have more computational power?
May 22, 2018
question
5
How hard is random SAT?
Sep 30, 2021
question
4
Real RAMs with "reasonable" operations
Jul 2, 2017
question
4
How many "compressible" strings are there?
Nov 18, 2019
answer
4
Does the unsolvability of the halting problem imply the existence of Turing machines which cannot be proven either to halt or not halt?
Apr 15
question
3
"Insensitive" CNF/DNF SAT always satisfying same number of clauses
Jun 18, 2017
question
3
Infinite Boolean circuits as a model of computation
Sep 20, 2017
Top network posts
View all network posts
41
Is the theory of dual numbers strong enough to develop real analysis, and does it resemble Newton's historical method for doing calculus?
31
Elements in $\hat{\mathbb{Z}}$, the profinite completion of the integers
31
Are Conway's omnific integers the Grothendieck group of the ordinals under commutative addition?
27
Are Conway's combinatorial games the "monster model" of any familiar theory?
26
What "metatheory" did early set theory/logic researchers use to prove semantic results?

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.