Skip to main content
Computer Science
2080's user avatar
2080's user avatar
2080's user avatar
2080
  • Member for 6 years, 7 months
  • Last seen this week
Profile Activity
Stats
203
reputation
1k
reached
2
answers
16
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
1
silver badge
8
bronze badges
Top tags
View all tags
0
Score
7
Posts
39
Posts %
0
Score
6
Posts
33
Posts %
0
Score
4
Posts
22
Posts %
0
Score
3
Posts
17
Posts %
0
Score
3
Posts
17
Posts %
0
Score
2
Posts
11
Posts %
Top posts
View all questions and answers
question
5
Find the darkest region in the sky
Oct 1, 2022
question
3
Fastest possible (direct?) simulation of one tape turing machines by a small one tape Universal Turing Machine
May 17
question
2
Reasoning about resources: "resource logics"?
Jan 16, 2019
question
2
Given two data feeds, find out if they capture the same information
Apr 1, 2019
question
2
Compiler that compiles to a Universal Turing Machine (UTM) tape program?
Apr 22
question
1
Recognizing a trajectory from a set
Mar 30, 2020
question
1
Is proving NP-(in)completeness generally NP-complete?
Dec 13, 2021
question
1
Given a set of railroad tracks of certain shapes, find all closed tracks that can be build with it
Sep 8, 2023
question
1
Intuitive explanation/overview of non-looping non-termination proofs
Apr 23
question
1
Constraints on the order of program semantics given by an enumeration of turing-complete system programs
May 20
Top network posts
View all network posts
26
Given a legal chess position, is there an algorithm that generates a series of moves that lead to it?
26
What are these undersea lines all around Hawaii?
22
What is the deepest Stockfish evaluation of the standard initial position that has ever been done?
22
During WWII, did the Allies know about the location and significance of the Wolf's Lair? If so, why did they not attack it?
21
Does seeing a gravitationally lensed/magnified galaxy imply that they could also see us as well?