DoctorOetker

5 ms·

31.
by DoctorOetker 1mo ago
carrying a radiation source doesn't sound very opsec either to be honest...
32.
by DoctorOetker 1mo 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
33.
by DoctorOetker 1mo 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
34.
by DoctorOetker 1mo 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
35.
by DoctorOetker 1mo ago
I wish they would cryptographically sign the repository, so potential Lean "exploits" can be discovered in due time.
36.
by DoctorOetker 1mo 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.
37.
by DoctorOetker 1mo ago
would you assess Metamath systems more robust in adversarial settings, because the verifier is so short?
38.
by DoctorOetker 1mo ago
Mine is much shorter though...
39.
by DoctorOetker 1mo ago
do you have a reference where that claim is demonstrated?
40.
by DoctorOetker 1mo 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
41.
by DoctorOetker 1mo 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
42.
by DoctorOetker 1mo 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
43.
by DoctorOetker 1mo 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
44.
by DoctorOetker 1mo ago
how do you explain the females do and the males don't? that sounds like a systematic occurrence
45.
by DoctorOetker 1mo 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" !
46.
by DoctorOetker 1mo 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
47.
by DoctorOetker 1mo 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
48.
by DoctorOetker 1mo 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
49.
by DoctorOetker 1mo 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.
50.
by DoctorOetker 1mo 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
51.
by DoctorOetker 1mo ago
> [...] enabled sloppy / low-skill "exploit the whole Internet" actors [...] Is there a modern equivalent for AI enabled script kiddies? slop kiddies?
52.
by DoctorOetker 1mo ago
none of the links actually work, twitch or kick
53.
by DoctorOetker 2mo ago
reverse causation? if the stated premise were true, it should be easy to plot.
54.
by DoctorOetker 2mo ago
107.2 % of statistics are undiagnosed
55.
by DoctorOetker 2mo ago
From the language of the paper, replace the commentor's "broken" with "mutant type" instead of unaffected "wild type"
56.
by DoctorOetker 2mo ago
> If I were to include additional biological possibilities, I'd include: a) birth control -> waiting to have children until a later age, more de novo mutations due to age. Surely it should be easy to collect the data to plot such
57.
by DoctorOetker 2mo ago
For single celled organisms "epigenetic" effects carry non-basepair state from a single-cell parent cell individual to its single-cell children cell individuals after cell division, For multi-cellular organisms "epigenetic&qu
58.
by DoctorOetker 2mo ago
this ignores evolution theory: the cells in the leg, arm, brain, etc. share the exact same genome variation, so selection pressure rewards coherent action in the interest of the individual organism. thats not true for different players in s
59.
by DoctorOetker 2mo ago
I think you will find little support for your suggestion that when you huurtehoog give up on something, the whole world should also give up on it, without rigorous proof of the proclaimed hopelessness.
60.
by DoctorOetker 2mo ago
It's not like the waste of a waterfall: the potential energy loss across a waterfall ignores the loss of freshwater. Suppose you drink water from a river and piss in the river so the water ends up in the ocean, later someone diverts th

More ›