GTP

31 ms·

631.
by GTP 2y ago
My memories of theoretical computer science are quite rusty, but I seem to see an issue with your argument: if you need enumeration you meet semidecidability. In other words, if you start generating the proofs and you find the one you were
632.
by GTP 2y ago
> Best you can do is some level or radioactivity that we're fine with in animals but not in humans because we're hypocrites. I don't know if this is the case, but if the life expectancy of rhinos is much less than humans,
633.
by GTP 2y ago
How does this compare with Google's NotebookLM?
634.
by GTP 2y ago
I think there's no substitute for doing your own research and comparing the results.
635.
by GTP 2y ago
Reading the article, I'm not able to answer your question. But the decrease in fossil fuels consumption doesn't seem to have any link with the abandonment of nuclear power. They cite other things as the driving factors. Archived a
636.
by GTP 2y ago
He seems to be already fully booked until the 13th of August, must have been really successful, or maybe just the result of the exposure on HN? Hopefully people aren't booking spots just to troll.
637.
by GTP 2y ago
> Easy, SSD NVMe was never recognised by the BIOS, according to it there was no disk. I'm missing something here. I assume that, if something isn't recognized at the BIOS level, then the OS can't do anything about it?
638.
by GTP 2y ago
IIRC the very first installations of Linix started with Minix as a base, that then was "patched" into Linux. So it was more than just the filesystem. But yes, Torvalds wasn't happy with Minix, and Tanenbaum wasn't happy
639.
by GTP 2y ago
It's funny to see how they highlight that it inspired Linux, ehile Tanenbaum heavily criticized it for not being a microkernel :D
640.
by GTP 2y ago
UEFI issues? This sounds really strange to me. Can I ask what the problem was and which distro were you using?
641.
by GTP 2y ago
Not having read this Borges' short novel, I suspect OP might be seeing in it more than what's there. But it still was a very nice read during along train commute.
642.
by GTP 2y ago
> So when presented with the encoded N, the original number could be any other number with the same number of digits Not necessarily the same number of digits, when changing the base the number of digits may change as well. E.g., decimal
643.
by GTP 2y ago
> the number of divisors will differ in non-primes Could you please present an example of this?
644.
by GTP 2y ago
Larry Page and Sergei Brin even stated very clearly in their original paper that using ads as revenue source can impact the quality of results returned from the search engine.
645.
by GTP 2y ago
Yes, but it's really hard to see a technical solution to this problem, short of having locked down hardware that only runs signed government-approved models and giving unlocked hardware only to research centers. Which is a solution tha
646.
by GTP 2y ago
If we decide not to gamble on that outcome, what would you do differently than what is being done now? The EU already approved the AI act, so legislation-wise we're already facing the problem.
647.
by GTP 2y ago
I missed it last night, but I heard it will repeat it tonight. I'm going to try to see it. It's unheard of at this latitute, currently I'm on an island in Tuscany, center of Italy. Edit: I found online that the last one visib
648.
by GTP 2y ago
Cool as in cold? :D
649.
by GTP 2y ago
I think that if you filter-out the exaggerations in the article, the general message is still worth to reflect on. Some process doesn't get more efficient just by virtue of using a computer, and many tools we have now are more about go
650.
by GTP 2y ago
> i suppose if i absolutely needed to access any finances from my mobile device, it certainly wouldn't be from one of said institution's own mobile apps, but via web browser. I used to do home banking from my bank's websit
651.
by GTP 2y ago
> We can of course choose not to participate in this still if we don't want to. The problem is that the alternatives are lacking, at least for the smartphone world. While on my PC I run a Linux distro, efforts like the PinePhone are
652.
by GTP 2y ago
I think you replied to the wrong reply.
653.
by GTP 2y ago
I'm not answering your question here, just saying my opinion on C++ vs Rust. I think that the big high-level difference (before diving into details like ownership and the borrow checker) is that C++'s safety is opt-in, while Rust&
654.
by GTP 3y ago
> What you'd expect is that somebody made a list of targets, and then the thresholds were intentionally defined to include those targets and nobody else. Probably you're right, but the list of targets itself would be arbitrary,
655.
by GTP 3y ago
Surely that limit is the result of some political discussion, thus arbitrary. But I think there is no scientific way of setting such limit, so any limit you come up with will be arbitrary.
656.
by GTP 3y ago
> Their sales champions in 2023 were XBox, Azure and Microsoft 365. Indeed, but they're going to ditch Microsoft 365 as well.
657.
by GTP 3y ago
I'm not sure businesses would be interested in a modular laptop, I always assumed they prefer to just buy new ones when the time comes rather than having someone spending the time to service them for the needed uogrades. Currently, the
658.
by GTP 3y ago
Maybe you then run into a social problem: while the PageRank algorithm would dictate to downrank BBC in that case, would the search engine provider actually be willng to downrank such a popular organization? Think even about places that spe
659.
by GTP 3y ago
I think there could also be the converse problem: quality content hosted on some small website could be hard to discover in the first place, since no one links at it.
660.
The Backrooms(en.wikipedia.org)
2 points by GTP 3y ago|0 comments

More ›