Ukv

20 ms·

241.
by Ukv 1y ago
I believe the problem there is that the constructed F(F) input itself would not run in finite space: * F(F) internally runs its implementation of D's code on (F, F) * ...which runs F(F) plus some constant-factor-overhead * ...which run
242.
by Ukv 1y ago
> About the bcrypt thing... yeah, so one way you can do it is write a program that generates all possible keys starting with the letter 'a', and tests them. Then you run your halting oracle on that, and if it returns true you k
243.
by Ukv 1y ago
> If I make the input system large enough then you don't have enough space in your decider to save all the states We have cycle detection algorithms that don't require saving all states and work in the same big-O space complexi
244.
by Ukv 1y ago
> Yes, if you ask the same question with a fixed (finite) memory restriction on everything, the answer is uninteresting. To me, this is... uninteresting. It tells you nothing about the underlying logical structure of your problem, which
245.
by Ukv 1y ago
> [...] that mentioned a name in the subject and lacked content it could read. It assumed without further evidence [...] It did read the email's content, using it to support its conclusion, and it frames its answer as "strongly
246.
by Ukv 1y ago
The recent high level of funding (Stargate, HUMAIN, ...), seemingly prompted mostly by LLMs, could plausibly be an emperor's new clothes fear of missing out among investors - will have to wait and see how it pans out. But for 2010s-era
247.
by Ukv 1y ago
> What is it with people who get all nitpicky about Ryanair charging on a per use basis? People book with Ryanair expecting the advertised price, then get caught out by added fees for what typically comes standard. > Maybe they should
248.
by Ukv 1y ago
> while the silicon closest to its capabilities needs more like tens of kW. I think looking at power consumption for the very edge of what technology is just barely capble of may be misleading, since that's inherently at one extreme
249.
by Ukv 1y ago
> > There is no bright line [...] > Except for, you know, being able to spend it where you buy things? [...] The extent to which you can use it to buy things is a good metric, but I think that comes in varying degrees rather than b
250.
by Ukv 1y ago
> [noyb:] But Meta is even limiting this (statutory) right by saying that it only applies if people opt-out before the training has started. Meta will likely also be unable to comply with other GDPR rights (like the right to be forgotten
251.
by Ukv 1y ago
No hard data to back this up, but anecdotally I'd place the AI/copyright sentiment shift around mid-late 2022. DALL-E 2 experimentation (e.g: [0]) in early-mid 2022 seemed to just about sneak by unaffected, receiving similar posit
252.
by Ukv 1y ago
> But will they be exchanging anything, and would that anything be worth calling "information"? If I'm understanding, the main idea is for it to figure out language/grammar rules, which would then enable communication
253.
by Ukv 1y ago
> signed version of the open-source password manager KeePass [...] KeePass’s actual source code was altered [...] risks of trusted software being hijacked To be clear, as far as I'm able to tell from the report, the actual KeePass i
254.
by Ukv 1y ago
> [What happened] Recently, it was reported to us that a now former Fosstodon moderator, on a separate platform, took part in harmful engagement towards marginalized communities Statements like these always make me curious to see what in
255.
by Ukv 1y ago
"Well-known" email addresses (e.g: gaben@valvesoftware.com, president@whitehouse.gov) also seem to show up in these mentioned stealer logs on https://haveibeenpwned.com/ - which makes me suspect addresses are extr
256.
by Ukv 1y ago
> The reason that’s okay is because you aren’t competing against the initial source material. I don't mean to claim that search engine image thumbnailing is like-to-like in every consideration, just that it demonstrates there's
257.
by Ukv 1y ago
> That only works if you consider learning or transformation to be something that does not rely on the human spirit. Even changes made using simple non-ML algorithms can be transformative according to fair use doctrine, like the thumbnai
258.
by Ukv 1y ago
I agree that the US needs to invest far more in public transport. I don't think that's mutually exclusive with Waymo working on their electric autonomous vehicles, nor that halting Waymo's testing would lead to greater access
259.
by Ukv 1y ago
Using "a pre-trained T5-XXL encoder" for text encoding, and "operating on latents from the pre-trained VAE from Flux Schnell". To my understanding they've trained the denoising U-net using licensed data, but it is s
260.
by Ukv 1y ago
> i am suspicious of all the anti-human-driver comments [...] I am not convinced that public testing of such services is safe There are currently over a million fatalities from road traffic crashes every year, being the leading cause of
261.
by Ukv 1y ago
> your ship needs to be repaired on the way, do you need to have repair tools, materials, for that on board ? Seafaring cargo ship can not be going 100 years without repair. I bet space ship can not go either. Seems clear that yes, you w
262.
by Ukv 1y ago
The author did specifically point out that > Using Google during rounds is technically cheating - I’m unsure about visiting domains you find during the rounds though. It certainly violates the spirit of the game, but it also shows the mo
263.
by Ukv 1y ago
> (of course Wikipedia is probably "manufactured narrative", right?). Wikipedia aims to represent the current consensus of reputable sources ("Verifiability, not truth"). I think that's often pragmatic - but it d
264.
by Ukv 1y ago
From the comments: > C "strings" work the way they do because C is a low level language, where you want to be able to do low-level things when necessary. It's a feature, not a deficiency. Are NUL-terminated strings really
265.
by Ukv 1y ago
Of the signals used to indicate crawling is prohibited, robots.txt is probably the most effective; OpenAI, Google, Anthropic, Meta, and CommonCrawl all claim to respect it. That often provokes a response of "well they're lying&quo
266.
by Ukv 1y ago
I feel `skip` may have been a better name, but disagree with it being logically difficult to parse beyond that. If I'm reading a loop and see for x in y { if exclusions.contains(x) { skip; } if x.children.length =
267.
by Ukv 1y ago
Were there any serious claims that street lights would entirely eliminate crime? A "sizable reductions in nighttime outdoor index crimes" sounds like a pretty positive result.
268.
by Ukv 1y ago
> Any guesses for best possible interpretion? The Russians have infiltrated their PCs with keyloggers [...] Best possible case I see would be that the whistleblower has made some mistake (or is being intentionally dishonest). Seems plaus
269.
by Ukv 1y ago
> Apple allows no-questions-asked full-refund returns for two weeks. That's the bare legal minimum in the EU. Many anti-competitive practices are not things consumers find out about within some short fixed period of time, if at all,
270.
by Ukv 1y ago
There's a range of anti-competitive behavior which can subvert that ideal, and as such there's regulation aimed to prevent it. Apple used to forbid apps from telling users about Apple's 30% cut or cheaper places to buy the ap

More ›