srcreigh

22 ms·

301.
by srcreigh 3y ago
Yeah I have read that too. You may be mixing up with chaitins incompleteness though partly. As far as I can tell it has the same quality as busy beaver numbers: for a given axiomatic system there is a limit. Therefore no system can comput
302.
by srcreigh 3y ago
Yes but no. Algorithm for BB numbers and halting problem can implement each other, but both provably don’t exist in the first place, so that’s a bit like proving 2 is odd implies 3 is even and vice versa. Anyway, the point is that the halti
303.
by srcreigh 3y ago
That’s the halting problem, I’m referring to busy beaver numbers.
304.
by srcreigh 3y ago
> It's essentially true that we (humans) cannot rely on varying our axioms indefinitely because we'd have to perform the incalculable search. I think what you're saying though is something like, the theory is already prett
305.
by srcreigh 3y ago
That’s the thing, I don’t think busy beaver numbers are undecidable. Every TM with n states will or won’t halt, and there isn’t any reason to think we can’t prove whether it halts or not. Every proof for undecidability use hypothetical TM
306.
by srcreigh 3y ago
This is false. You’d never get the answer with that strategy, since some of the machines will never halt, but you wouldn’t know if the ones you have left are going to halt or not. Te winning strategy is to A) prove all the machines that don
307.
by srcreigh 3y ago
f(n) = name of top pop song in the year n defined for n>=1950 This doesn’t seem computable, yet we can definitely figure out its values. Anyways, I believe my point above is in alignment with Scott Aaronson, so if you’ve read that I’m cu
308.
by srcreigh 3y ago
Scott Aaronson addresses this. Uncomputable does not mean unsolvable by humans. It just means there’s no axiomatic system powerful enough to enumerate all the busy beaver numbers. Rather we’ll need axiomatic system A for the first few, th
309.
by srcreigh 3y ago
I prefer busy beaver numbers to undecidability. The halting problem has a flaw in that it asks for finite code to predict halting for any arbitrary program, which to me seems intractable despite the logical paradoxes involved. Busy beaver n
310.
by srcreigh 3y ago
it’s just the reality of language in America. Anti vax people tend to use the word jab mockingly, others call it the vaccine or the COVID shots. For example you’d never hear someone say “I just got my Covid jab”.
311.
by srcreigh 3y ago
If you freeze them first, sure
312.
by srcreigh 3y ago
Enough people use for free products, free products take over, paid products no longer exist (or reduced options by 50x), free products stagnate, we end up behind on quality of services by a long shot.
313.
by srcreigh 3y ago
Postgres doesn’t support b-trees for primary storage, so data can’t be automatically clustered, which reduces efficiency for joins by 50x. MySQL and SQLite don’t have this issue.
314.
by srcreigh 3y ago
Any sufficiently powerful API could be misused anyway. Don’t have any regrets for not adding another one into the mix.
315.
by srcreigh 3y ago
The greatest loss of the 21st century is how far behind we are in all the industries you list. Not to mention news. The option to pay today’s kingpin isn’t any recompense.
316.
by srcreigh 3y ago
“I genuinely don’t have an operational definition for what it means to use diagonalization” - Terry Tao
317.
by srcreigh 3y ago
The opportunity cost of the advertising industry is incalculable. Entire industries are snuffed because kingpin ad networks can make a few dollars per year per person by having a free app with ads in that space. Less choice for the consumer
318.
by srcreigh 3y ago
Sounds like graphQL except it’s actually decent. Must have been nice.
319.
by srcreigh 3y ago
ITT we’re all learning why people don’t honestly share their mistakes. Be better folks.
320.
by srcreigh 3y ago
Thanks. Reinstalling fixed it for me. Funnily enough, when I tried to download Chrome setup again on Windows, Edge had a popup which blocked the Chrome download. Close the popup, no chrome setup. Try again, popup again, close the popup, no
321.
by srcreigh 3y ago
clicking [Enable this item] brings the user back to the same page
322.
Bitwarden has been disabled in Chrome [img](imgur.com)
64 points by srcreigh 3y ago|19 comments
323.
by srcreigh 3y ago
Your categories of friends are pretty basic. I’m sure if you tried to categorize them as say “honest” aka “courage to share opinions” they’d all fit in one category.
324.
by srcreigh 3y ago
I’d rather not call it diagonalization at all. Nothing about turings construction enumerates many machines and builds a new machine to flip some aspect of the other machines on the list. It’s more like the liar paradox akin to Gödel first i
325.
by srcreigh 3y ago
Google search is only 99k qps
326.
by srcreigh 3y ago
Its Engl-ish. Emphasis on the -ish. They’re all fine.
327.
by srcreigh 3y ago
As of last month the bound has been reduced slightly to 745. Scott Aaronson has a positive view of BB(n) being independent of ZFC. He says, we’ll need different foundations to solve k>n. And the different foundations will have their own
328.
by srcreigh 3y ago
The odds that any 2000 bit random input TM ever reaches a similar input tape/current state is 0. Just imagine the average TM which receives 2000 bits of random input in the first 2000 slots of the tape after every operation. What you’r
329.
Will AI destory us? – AI Virtual Roundtable [video](youtube.com)
1 points by srcreigh 3y ago|1 comments
330.
by srcreigh 3y ago
with Eliezer Yudkowsky, Gary Marcus, Scott Aaronson

More ›