Readit Newsanlsh commented on NIST's DeepSeek "evaluation" is a hit piece erichartford.com/the-demo... · Posted by u/aratahikaru5
What an arrogant and slavish comment. Truth may be the first casualty of any war, yet here you are celebrating its demise so that war may be waged more thoroughly.
I wonder what it's like to be so convinced of your righteousness of your cause that reality itself is seondary. What a joke you are.
anlsh commented on Bitwarden is turning 2FA on by default for new devices bitwarden.com/help/new-de... · Posted by u/coldblues
If anyone works at bitwarden can you get your UI people to stop retheming for the upteenth time and instead make the "detailed view" of any entry read-only by default? Every time I need to access my notes on an entry I'm scared that I'll accidentally typo a letter into my password or a 2fa code or something
anlsh commented on NASA: Mystery of Life's Handedness Deepens nasa.gov/science-research... · Posted by u/bookofjoe
There's a bootstrapping problem, though.
Not at all, think about it
anlsh commented on NASA: Mystery of Life's Handedness Deepens nasa.gov/science-research... · Posted by u/bookofjoe
It's still not obvious how they could be separated at all by pre-biotic processes. You need to go from (in principle anyway) a pretty well-mixed 50-50 mixture to basically only lefties. I believe this is still one of the bigger problems for abiogenesis, and frankly I think you're being too glib about the antimatter problem too. I expect we're eventually going to find out about specific mechanisms that cause those.
A very plausible explanation is that the separation was biotic
anlsh commented on Code that helped end Apartheid wired.com/story/plaintext... · Posted by u/impish9208
Why does a password-protected zip file reveal a list of the files within lol?
If I'm understanding this right, we'd have been hosed if the files had been TARd first?
anlsh commented on When Smart Ships Divide by Zer0 – Stranding the USS Yorktown (2018) medium.com/dataseries/whe... · Posted by u/smitty1e
Neither. I guess we'll try argument from authority. A sibling post called out pony.
Lean, coq, isabelle define integer division by zero to be zero. E.g. https://xenaproject.wordpress.com/2020/07/05/division-by-zer...
So by case analysis either:
- I am a moron, and so are the developers of lean, coq and isabelle
- Most of the responders to this thread are failing to think for themselves
- Responders all think "number" must mean "real number"
Reading through the various responses, it's looking somewhat likely that "number" means "real number" for most people here. And divide zero on the reals is not well formed. Which is weird given it's a programming themed board and your language is far more likely to give you integers mod word size and floating point than real numbers.
By "number" I mean "the number your computer can represent", which appears to have been accidental trolling on my part. The reference to a mechanical calculator struggling was perhaps insufficient.
Ok now we're talking: important clarifications. Neat read on the type systems. But this part is extremely important:
> The idiomatic way to do it is to allow garbage inputs like negative numbers into your square root function, and return garbage outputs. It is in the theorems where one puts the non-negativity hypotheses.
The equivalent condition here would be for everyone to include "zero-ness" checks on their numeric inputs. But that's awful, because whereas everyone agrees that nullptr is a meaningless pointer, zero is in fact a perfectly good integer/float whatever. So now you have something worse than null pointers- which have course caused us a huge amount of pain ever since being inflicted on the world
So x / 0 = 0 is still a terrible, terrible, idea. But introduce something like the floating-point equivalent of NaN, and say x / 0 = NaN, and now your outputs will at least be obviously wrong, instead of just silently wrong
Dead Comment
So in my .profile I've got
``` alias gg="NEOGIT_SLAVE=1 nvim" ```
It's definitely not perfect but it's good enough to work for basic committing/rebasing flows and it's faster than booting up emacs for the same purpose.