im3w1l

3 ms·

1.
by im3w1l 11d ago
I don't think incompleteness disproves my idea, at least not trivially. Let's take the case of ZF vs ZFC. I would say that ZF can simulate ZFC. To create a simulation we want a function f from statements in ZFC to statements in so
2.
by im3w1l 11d ago
Just like turing machines are universal in the sense that they can all emulate each other, I feel like there should be some universal logic that can emulate any other logical theory. Something like the gödel numbering construction maybe? Th
3.
by im3w1l 11d ago
If something can be proven there is a finite length proof, and if you check lengths one by one eventually you will reach a high enough length for a valid proof.
4.
by im3w1l 11d ago
I specifically said that it will prove everything that can be proven , conceding that some statements cannot be proven no matter what you do.
5.
by im3w1l 11d ago
A very simple program that loops over all strings and feeds them into a proof verifier should eventually prove every statement that can be proven, as far as I can tell?
6.
by im3w1l 11d ago
You are thinking on the wrong level. Of course we don't have an encyclopedic knowledge of the world encoded into our genome. It's like we have certain structures of the world hard coded, and they may use different learning algorit
7.
by im3w1l 11d ago
Personally I think the dirty secret of the brain is that a lot of things are hard coded. And many things that we need to learn are also hard coded except that some parameters need to be tuned. If we puke, the brain will not do general avers
8.
by im3w1l 13d ago
It kinda rubbed me the wrong way that he considered both the lost sale and the value of the goods as part of the cost. That's double counting.
9.
by im3w1l 14d ago
It does indeed mean ideological alignment. But we don't get to leave the answer blank. They have to pick an ideology to put in there, and whatever they pick will have huge consequences.
10.
by im3w1l 15d ago
It's kinda a throw-away remark in the middle, but I thought it was really cool to realize that speakers produce an on-axis net-blow and an off-axis net-suck.
11.
by im3w1l 19d ago
For public transit in my city they have an official website where you can type in where you are and where you want to go and it plan it all for you. Can choose from arrive asap to picking a time when you want to depart or a time you want to
12.
by im3w1l 20d ago
Does that mean you can build precedents with "matchfixing"? Like pay the plaintiff under the table to throw his case by presenting really bad arguments? And then subsequent cases must reference that result?
13.
by im3w1l 23d ago
You are making an argument against caching it at all which is clearly not what they want. So the comparison must be uncompressed storage vs compressed storage. The compression cost is always the same. The storage cost depends on how long yo
14.
by im3w1l 24d ago
Well what do you want? Presenting clear, desirable, and achievable visions and trying to build consensus for how AI should develop is crucial at this point in time.
15.
by im3w1l 24d ago
> Ban construction (...) and let the economy and market forces compete to find the cheapest alternative This sounds nice and unbiased on paper, but often this means that rather than expanding alternatives, the poor are simply made to go
16.
by im3w1l 1mo ago
I don't think it's really a tradeoff and rather that Ebola is simply bad at its job. Why? Because it's primarily a bat virus (and it's basically asymptomatic in bats) that ended up where it doesn't belong and wreaks
17.
by im3w1l 1mo ago
This framing seems like the correct one, but I think that just like being physically sedentary leads to weakness of muscles and joints and health problems, so being mentally sedentary could also lead to a mind that is weakened in the long t
18.
by im3w1l 1mo ago
Can we pick and choose the good without the bad? If we agree stability is a net-negative we could just say there will be a list of blessed trustworthy libraries with extra scrutiny and bureaucracy (make no mistake this is completely necessa
19.
by im3w1l 1mo ago
This is why you dont use linear save frequency. 5 min, 10 min, half an hour, one hour, two hours etc
20.
by im3w1l 1mo ago
You are basically arguing that travelers with little to lose from a delay should subsidize travelers with a lot to lose, they would pay the same ticket prize but end up with different payouts. I don't think that's reasonable. If y
21.
by im3w1l 1mo ago
Adaption is just how the body works though. From the perspective of someone living in the mountains, descending to sea level is "addictive" in that they will get air withdrawals (altitude sickness) when coming back.
22.
by im3w1l 1mo ago
Producer and consumer sides are tied. If there is strong demand for windows development then there will be money sloshing around which will attract devs. I predict demand will decrease, at least for this particular niche. To go even further
23.
by im3w1l 1mo ago
One trend to watch is AI cheat devices. Instead of running detectable software they have a fully separate device that uses AI for object detection and aimbotting. If cheaters move to using those, then the argument for kernel mode anticheat
24.
by im3w1l 1mo ago
Counterpoint: These are temporary growing pains that will be resolved in 10-ish years.
25.
by im3w1l 1mo ago
Something I've been thinking about is that a physical book is a physical artifact, and it's age and authenticity can be verified by treating it as such. In contrast a digital book has no such marks. It's impossible to tell if
26.
by im3w1l 1mo ago
Not sure if it will work or not, but I think it's our best shot.
27.
by im3w1l 1mo ago
By creating a culture of live and let live. Maybe giving some activities legal protections that didn't use to need them in the past. Non-discrimination rules related to them. And being more careful than ever to not let a government be
28.
by im3w1l 1mo ago
Wifi imaging has been a publicly known technique for years. I think the news is more how good it's gotten.
29.
by im3w1l 1mo ago
I'm personally bearish on privacy. As the cost of surveillance comes down we will see more and more actors able to conduct surveillance until even bored kids with pocket money and an afternoon can do it. Denying the """g
30.
by im3w1l 2mo ago
Well the title of this very post is about the ABI. The ABI provides some guarantees on what the compiler output will be. It guarantees that parameters will be read from certain registers and results will be written to other registers. Most

More ›