IsTom

16 ms·

391.
by IsTom 1y ago
The fact that the code is displayed on back on the screen is just a cherry on top.
392.
by IsTom 1y ago
You could require that submissions include an expletive or anything else that LLMs are sanitized to not produce. With how lazy these people are that ought to filter out at least some of them.
393.
by IsTom 1y ago
EROI for them is really bad.
394.
by IsTom 1y ago
With some investment you can make solar panels locally, you can't produce new oil deposits.
395.
by IsTom 1y ago
> includes a fee called the “core technology commission” of 5% on all digital purchases made outside the App Store. Aaand they still don't get it.
396.
by IsTom 1y ago
That's like saying that you can make profit off credit card debt if rates are negative. It's not a real-world case and nobody is going to offer that, it's not an analysis of any insurance that actually happens.
397.
by IsTom 1y ago
You need to compare money paid for mortgage minus price of house against money paid for rent (when you're left with no assets after all the years of paying it).
398.
by IsTom 1y ago
Ad hoc Prolog
399.
by IsTom 1y ago
> It is not really expensive but there are parts and labour involved. My SO's phone battery was busted after 3 years of use and replacing it would cost half of a new phone. Replacements battery itself is cheap, but amount of labor i
400.
by IsTom 1y ago
> It's always made me curious why foreign governments allow their critical technical infrastructure to come from other nations That was part of "end of history" politics, that we've reached a stable democratic state n
401.
by IsTom 1y ago
> fun will always be dictated by how often you win Matchmaking is designed so that you win roughly 50% of the time (except for the very top), no matter how well you play. If you focus on playing better it's going to be a treadmill b
402.
by IsTom 1y ago
On the other side of the coin, once some part of government contacted us about a project they wanted done. I don't even remember what it was, but it was something very simple that we estimated (with huge margins) to be 3 months of work
403.
by IsTom 1y ago
And the part that is substrate, not the packaging is tiny and thin. It's much less than a gram of material in CPUs and even less in smaller chips. That's not going to be a significant part of final price. Also remember that silico
404.
by IsTom 1y ago
If you want to only have one possible past (i.e. can't destroy information) then when you end up in one branch of quantum state you need to "store" enough information to separate you form other branches and you really do need
405.
by IsTom 1y ago
Does its price really matter for amounts used in chips?
406.
by IsTom 1y ago
There's already drugs that work like that (e.g. DNP) and they're dangerous exactly because they work this way. There's no mention in the article that this one would be safer.
407.
by IsTom 1y ago
> In what sense can a finite set exist and be finite when it is unfindable, unverifiable, and has unboundable size? The way I see it is that an existence of proof isn't required for something to be true. Something being true is a ma
408.
by IsTom 1y ago
Is it just me or the glass design makes everything look disabled? Why are you supposed think that these are active when they're all gray?
409.
by IsTom 1y ago
Holy moly, they weren't joking about being out of this world.
410.
by IsTom 1y ago
> is unwrapping IO one of the things that, if you do it, you're own your own and may segfault? It's just not something you do, I don't think there is any specific reason to do that. And article itself says > Using this
411.
by IsTom 1y ago
Certainly makes them easier to disassemble and move elsewhere.
412.
by IsTom 1y ago
> Decibels aren't units... they are ratios. Until they are a ratio to a specific arcane reference level as mentioned in the article.
413.
by IsTom 1y ago
You could have log Watts or something, it doesn't have to be dB to be logarithmic.
414.
by IsTom 1y ago
One one hand yes, on the other there might be some problems that are inherently difficult to parallelize (alternating machine PTIME is the same as deterministic PSPACE) where space doesn't buy you much. The jump from paper from t/
415.
by IsTom 1y ago
It might be using some nonlocal context e.g. something similar was proved earlier in the proof and the reader is assumed to remember and/or generalize this or there's some assumptions that are stated only in the beginning. There&#
416.
by IsTom 1y ago
Human-written proofs are not written in Lean to be checked easily and there'll be potentially many formalizations for written prose and only some of them will be what the author intended. You need to pick the right formalization before
417.
by IsTom 1y ago
For some reason there is always a demographic of people who have a need to defend big corps, like they don't defend themselves already.
418.
by IsTom 1y ago
Which is against with GDPR, Meta got a 200 million euro fine for this.
419.
by IsTom 1y ago
When github was getting popular it was not owned by MS.
420.
by IsTom 1y ago
I wonder if at some point LLM would "give up" when given a difficult to satisfy types and insert nonterminating code / bottoms instead.

More ›