Viewing profile — colevee
colevee
HN member- Joined
- Thu, Aug 01, 2024, 4:36 PM UTC
- HN karma
- 1
- Public activity
- 4 items
- HN profile
- View on Hacker News ↗
About colevee
No profile information was provided.
Recent public activity
-
comment
Comment #41148502
Your intuition is right. The total functions are not even a provable set. So they are definitely not recursive or even FNP; never mind TFNP. Provability of the total functions woul…
-
comment
Comment #41143256
[dead]
-
comment
Comment #41133039
[dead]
-
comment
Comment #41132460
> Yeah the whole post is stupid, but it’s also just wrong: c is not bound by pointer size. > But let’s just go nuts: you can make a Turing machine in C that implements the tape as …