zamadatix

5 ms·

1.
by zamadatix 5d ago
Is there a way to circumvent it other than use ancient firmware?
2.
by zamadatix 5d ago
The answer to what I'd say if this were about primes and a program which blocks outputting them in pure mathematics, despite there being infinitely many, would be (using a similar type of argument I gave early on for the current discus
3.
by zamadatix 5d ago
Following on for clarity, this is why the Duo lacks a dynamic aperture. Seems they must have been quite squeezed for space.l indeed. Even on the 18 Pro Max the 8x zoom of the telephoto lens is just the 4x using the same 12 MP crop of the 48
4.
by zamadatix 5d ago
Reminds me of the very early LlMs. I also sometimes miss the sheer demented horror of early image models told to generate images of biology.
5.
by zamadatix 6d ago
Importantly, this works for stars relatively close to us (the farthest I can find is 16,000 light years for one hyper giant) but the majority of the stars catalogued in even our own galaxy have only been assigned a radius via taking the tem
6.
by zamadatix 6d ago
I've given notes of where in Turing's paper any type use triviality could be found, with direct page citations of the relevant original math, along with the mathematical reasons it doesn't have anything to do with the plain E
7.
by zamadatix 6d ago
Usually there has never been a tool which performed the part relevant to getting any credit. E.g. in the first famous computer assisted proof (of the four color theorem) the computer only executed the resulting calculations defined from the
8.
by zamadatix 6d ago
The sources are public lists on the internet and the result is a combined file you click to download, none of this requires the agent even run on your PC if you don't trust your sandboxes - you can hope the agent deletes OpenAI's
9.
by zamadatix 6d ago
I'd expect that from a Christian as well, but not in the channel they bill as "I explore the world using science. That is pretty much all there is to it" in the description. It's even more than fine to have a channel whi
10.
by zamadatix 6d ago
Nothing is solved in isolation but credit usually goes to wherever the new work in the paper comes from instead of the whole mountain of previous mathematics or existing tools used. The most relevant of those get referenced and then this re
11.
by zamadatix 6d ago
Amateur stargazer's understanding: Depending what kind of reading material you're looking for (e.g. high level details or mathematically/jargon dense papers) look for things discussing "Rosseland optical depth" and
12.
by zamadatix 7d ago
If you wish to say you have a counterclaim to the idea mistakes can be blocked regardless if every program can be proven to halt which is based in mathematical reasoning you must be able to state or produce the claim in the actual mathemati
13.
by zamadatix 7d ago
The article even says it was "easier" than that - it is a word in a list of known codewords (but slightly off the expected time). The hard part is not that it's impossible for you to do at home, it's that nobody in 100 y
14.
by zamadatix 7d ago
It's not everyone though.
15.
by zamadatix 7d ago
> This is a simple restatement of the original claim, and it is false. The program being discussed is subject to the Turing Halting Problem. The program being tested, the same. Lean, the prover and the final authority, the same. All are
16.
by zamadatix 8d ago
The halting problem applying to all systems is not the same as the halting problem being relevant to all claims about halting of systems (unless those claims can also be rigorously proven to match the conditions of the generalized halting p
17.
by zamadatix 8d ago
Without debating the general topic, I think it's important https://news.ycombinator.com/item?id=27068148 be shared any time the above is. That's not to say the comment is perfect or something, but many of the part
18.
by zamadatix 8d ago
Graybeards in computer science sometimes need to remember the halting problem only states you cannot make a general algorithm which answers the halting question for all possible program+input pairs. Importantly, it does not state it's
19.
by zamadatix 8d ago
Certainly not all articles; most edits I make stick. The problem is it sticks out as an extremely sore experience when it is the case, so that's what you hear about.
20.
by zamadatix 8d ago
It took me a second too but "WHO IS IN SPACE? | ©2026 Smarter Every Day" is "this site" in: > Finding out this site is basically just a copy of something that already existed and something they knew existed just furth
21.
by zamadatix 8d ago
Many science channels are run by Christians without these issues, that wasn't the problem.
22.
by zamadatix 8d ago
Maybe you value the few cents (the .50c above seems more like a phrase than an actual value, that much actual cost would be the same as nearly a full days worth of a ChatGPT Plus subscription to combine some lists) over the 10 minutes but I
23.
by zamadatix 8d ago
It would certainly be easiest/cheapest to do it wherever the majority of the traffic already flows.
24.
by zamadatix 8d ago
The doubt is more "how will tech companies use passkeys as an excuse to do something stupid" than "passkeys themselves must have inherent problems because tech companies are pushing them". Passkeys could be the savior of
25.
by zamadatix 8d ago
I believe it works like this: - You write (or at least own verification of) LAWS.bend and don't give the AI you're going to writing the rest of the .bend code control of that file at any point - You ask your AI agent to write the
26.
by zamadatix 8d ago
I used to operate several dozen 10G/25G/40G/100G taps which fed a series of tools in the DC at a regional healthcare back in the day. 80% of the relevant outcome was typically to get a true-to-the-wire sniffer capture (switch
27.
by zamadatix 8d ago
11% is also a really saying a fraction, 11 per-cent or 11/100, but there's nothing wrong with that feeling more natural to some and it is at least a nice shorthand way for the written form. "A ninth the size" is a simila
28.
by zamadatix 8d ago
If they had it build it from public sources then I assume it was combined via tool usage rather than direct generation. Beyond the hallucination risk, the latter would just be a waste of tokens & time.
29.
by zamadatix 8d ago
I agree it makes little sense in a literal mathematical take but "it's 9x smaller" or is too much of linguistic advantage compared to "the original is 9x larger" or "it's 1/9th as large" to expec
30.
by zamadatix 8d ago
Conflict of objectives is fine, it's not like we have a single provider of models vying for us to spend our money on. Something like collusion and price fixing across the industry would be a bit different.

More ›