DoctorOetker

9 ms·

1.
by DoctorOetker 4d ago
I can't even parse your question.
2.
by DoctorOetker 4d ago
I wouldn't call the situation settled, nor do I expect we will ever find out what truly happened: - a rare low likelihood sequence of coincidences - deliberate frontier lab behavior, setting intellectual interrupts on LLM "aha&quo
3.
by DoctorOetker 5d ago
I wouldn't expect them to destroy that industry, imagine global squadrons of academics and mathematicians focusing their attention on LLM's, training algorithms, scaling laws, ... they're gonna try and beat the incumbent fron
4.
by DoctorOetker 5d ago
The actual story can be found here: https://archive.org/details/further-nonsense-verse-and-prose...
5.
by DoctorOetker 5d ago
from a signed image you can always extract just the image
6.
by DoctorOetker 5d ago
its conflicting desiderata: a videographer doesn't want to constantly power a device to maintain provable continuity, but screen attacks necessitate such a scheme a continuous stream of video from factory to customer to observation sho
7.
by DoctorOetker 7d ago
I know its the wrong take away, but some would summarize it as: 1) first dissuade others from proving the theorem 2) use child labor to actually prove the theorem
8.
by DoctorOetker 8d ago
carrying a radiation source doesn't sound very opsec either to be honest...
9.
by DoctorOetker 8d ago
Not a word about promoter sequences. Imagine cellular activity as an industry zone, its not just what you can or can not make, its also 'for what concentrations of chemical species, what transcription rates should be used' so apar
10.
by DoctorOetker 10d ago
> I feel fear about an impending doom. Yudkowsky's argument that a superintelligent AI will inevitably destroy humanity seems to have no flaw. Becoming or being more cost-effective than humans, doesn't give machines supernatura
11.
by DoctorOetker 10d ago
I don't dispute the truth of the theorem (since I possess my own proof of it, much more concise than the putative Lean or Wiles proofs, i.e. just a few pages). The Lean system has already experienced soundness bugs. The question is, wi
12.
by DoctorOetker 11d ago
I wish they would cryptographically sign the repository, so potential Lean "exploits" can be discovered in due time.
13.
by DoctorOetker 11d ago
I consider Metamath a lot more lean than "Lean", calling something such and so doesn't make it so in comparison to its peers.
14.
by DoctorOetker 11d ago
would you assess Metamath systems more robust in adversarial settings, because the verifier is so short?
15.
by DoctorOetker 12d ago
Mine is much shorter though...
16.
by DoctorOetker 12d ago
do you have a reference where that claim is demonstrated?
17.
by DoctorOetker 12d ago
It's strange that agriculture incurred so large losses, I would expect precision farming to rely on RTK (with relatively close reference base station at a fixed location). The article doesn't mention, but how immune or affected we
18.
by DoctorOetker 14d ago
that's a very longwinded claim that inference providers are sampling with temperature T=0, but is that even true? a sufficient explanation would be merely sampling at a lower temperature compared to human sources providing similar cont
19.
by DoctorOetker 15d ago
you convinced me with this concise argument so the fragment-recombining future looks like robot archaeology: fragment collection done by careful robots documenting and keeping statistics on each grain of sand or potential fragment, those da
20.
by DoctorOetker 15d ago
How certain are we really that not the materials but the resulting figurine is authentic? From Wikipedia on the Lion-man (English): > It was not until archaeologist Joachim Hahn started an inventory and assembly of more than 200 fragme
21.
by DoctorOetker 16d ago
how do you explain the females do and the males don't? that sounds like a systematic occurrence
22.
by DoctorOetker 17d ago
Fine, in that case, why is it a disadvantage for the males? Now please don't tell me "it doesn't have to be a disadvantage for males, it might just be an advantage for females" !
23.
by DoctorOetker 17d ago
"perhaps it would be best to let the browsers do it on screens, and typesetting software for printed materials, since they have access to the font, size, text region boundaries, it comes at the small cost that users don't actually
24.
by DoctorOetker 17d ago
> Among primatologists, bearded capuchins are famous for using stone tools to obtain food. They’ve been observed placing palm nuts on a hard surface and smashing them with rocks to reveal the tasty kernels inside. Wild females have also
25.
by DoctorOetker 17d ago
nobody is worried about about the arbitrarian aspects? What if you are interested in developing your own OS (a task that would have been monumental but may become trivial with LLMs in the future)? Why is the proper level the OS? Why not the
26.
by DoctorOetker 17d ago
a lot of people get stuck, or code up a naive brute force algorithm and call it a day, nothing intrinsically forces a coder that refuses to look at the work of others to write better code.
27.
by DoctorOetker 17d ago
I can find a kernel of truth in both statements: As long as the literature contains insights a reader isn't aware about, reading the literature is low-hanging fruit compared to having to derive all the things yourself. As soon as the l
28.
by DoctorOetker 18d ago
> [...] enabled sloppy / low-skill "exploit the whole Internet" actors [...] Is there a modern equivalent for AI enabled script kiddies? slop kiddies?
29.
by DoctorOetker 18d ago
none of the links actually work, twitch or kick
30.
by DoctorOetker 19d ago
reverse causation? if the stated premise were true, it should be easy to plot.

More ›