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
Readit Newsanlsh commented on Bitwarden is turning 2FA on by default for new devices bitwarden.com/help/new-de... · Posted by u/coldblues
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
anlsh commented on When Smart Ships Divide by Zer0 – Stranding the USS Yorktown (2018) medium.com/dataseries/whe... · Posted by u/smitty1e
Number divided by zero shall be zero. The possibly-floating-point exception of immediate program death is an interesting idea that has aged poorly. Loads of things go wrong in software. Div / 0 badly upsetting mechanical calculators isn't a reason for software to abort at the sight of it.
Counterarguments in comments perhaps. Someone have a driving passion for this particular edge case of missed input validation being wildly more important than all the others?
Your idea that your program should just spit out an incorrect answer when it runs into an unexpected condition? That's really stupid
anlsh commented on The NSA is just days away from taking over the internet twitter.com/Snowden/statu... · Posted by u/croes
Its inevitable because of the power dynamics between democracies and totalitarian regimes. Democracies thought that with the internet they would topple totalitarianism because of free flow of information. They forgot that totalitarian regimes can just imprison and shoot all who have access to and propagate the information. Now the wheel has turned and the same regimes are weaponizing AI and shill farms to create enough propaganda to destabilize a democracy for the price of a few dollars. We're all headed towards a global race to the bottom because of it, the dream of the early internet has been crushed because of human evil.
A ridiculous fairy tale. Dictatorships need hardly interfere with the "stability" of a society which launches a bloody and monumentally expensive temper tantrum in response to 9/11 but allows thousands more to die each year for want of basic medicines
anlsh commented on The original magic Emacs garbage collection hack (2019) akrl.sdf.org/#orgc15a10d... · Posted by u/simonpure
Who actually has issues with gc pauses? I've never noticed them on modern hardware. Are they an issue on embedded systems or something?