quixoticaxolotl

11 ms·

31.
by quixoticaxolotl 3y ago
> I would like to see social factors put to a similar rigor of analysis then, since it seems to me that you are proposing socialization is (1) a major factor and (2) that the socialization of women towards non-leadership roles is incorre
32.
by quixoticaxolotl 3y ago
There are some errors in your reasoning, though. Here's one. When people collect datapoints and observe a difference in one case not present in the other, they sometimes fall into the trap of thinking that their dataset is exhaustive -
33.
by quixoticaxolotl 3y ago
With respect, there are some errors in your thesis. Specifically, you're attacking some strawmen. Here's the steelmanned version of the ideas you're saying are causing issues: - Instead of defining men / women, think of
34.
by quixoticaxolotl 3y ago
Actually, you can find online examples that demonstrate how easily you can teach a neural network how to do y = x^2 https://stackoverflow.com/questions/70407674/how-to-teach-a-... Neural networks, from one perspe
35.
by quixoticaxolotl 4y ago
I get what you mean, but I think you've formulated this incorrectly. Let P(Y) be your prior about government corruption. Let X be the event that SBF is arrested. You want to compute P(Y|X) using the Bayesian update formula and then set
36.
by quixoticaxolotl 4y ago
My trouble with the argument that crypto will liberate underprivileged classes in general is that it seems to miss key holistic issues I'm enumerating below. Perhaps I'm wrong, and I'd appreciate knowing the way I'm wron
37.
by quixoticaxolotl 4y ago
Related concept: Kung Fu Chess, which is truly real-time and simultaneous: https://www.kfchess.com/
38.
by quixoticaxolotl 4y ago
Nancy Leveson's _Engineering a Safer World_ (available for free here: https://direct.mit.edu/books/book/2908/Engineering-a-Safer-W... ) is required reading, in my opinion. It talks about applying systems
39.
by quixoticaxolotl 4y ago
> it is indeed quite simple to reproduce ... with a local hidden variable theory This is not the whole truth. Bell's inequality assumes a few reasonable assumptions for hidden variable theories besides locality ( https://p
40.
by quixoticaxolotl 4y ago
You're reading too much into the use of the royal "we" here.
41.
by quixoticaxolotl 4y ago
I recognize the LaTeX theme, it's the Tufte-style book theme: https://www.overleaf.com/gallery/tagged/tufte Everything else is probably just LaTeX magic
42.
by quixoticaxolotl 4y ago
Dafny is a really cool find, thank you!
43.
by quixoticaxolotl 4y ago
I'm in software. > Anyways, in software, formal methods can absolutely show that an implementation meets a specification. In fact, that has always been one of their canonical use cases in software systems, at least since the 70s or
44.
by quixoticaxolotl 4y ago
If you are afraid of deploys, you need to lean into CI/CD and the whole DevOps movement more. That is the solution to being able to deploy without stressing about it.
45.
by quixoticaxolotl 4y ago
Formal methods will likely not help you - they can only show a _specification_ is sound, but not the _implementation_. That is, formal methods aren't testing the code you write, just the design concept behind it. For the design conce
46.
by quixoticaxolotl 5y ago
This website needs a table of contents! The user experience of needing to click through a linked list to get to a specific chapter is very suboptimal.
47.
by quixoticaxolotl 5y ago
This comment is confusing two completely separate things. There's a world of difference between not being willing to defend yourself and actively trying to come up with more aggressive and lethal weapons. The argument that "we n
48.
by quixoticaxolotl 5y ago
Eh. The "right" people can have perverse incentives. My former mentor worked at a startup called Takt that billed itself as Haskell-only. It attracted all the top minds - Runar Bjarnason, who wrote a famous Scala book, worked ther
49.
by quixoticaxolotl 5y ago
It sounds like what you want is a beta testing phase once a feature is released, not a per-PR play phase. I've had companies host release parties before, where everybody downloads the product and plays with it to identify glaring issue
50.
by quixoticaxolotl 5y ago
You answered yourself in your explanation. A picture of an imaginary pipe means the pipe it represents does not exist. At the same time, a picture of an imaginary pipe is not itself a pipe. They are two separate statements that aren'
51.
by quixoticaxolotl 5y ago
I think this is a really strong second-order point, in that Reddit is vulnerable to comments gamification in the same way Google was to SEO gamification, which sort of defeats the point of this whole enterprise.
52.
by quixoticaxolotl 5y ago
I've searched for Reddit in the past because Reddit is the only site where I can get community answers to an important question. In those cases, the community aspect mattered to me - for example, I recently moved to Boston, so I soli
53.
by quixoticaxolotl 5y ago
Ironically, there have been copious attempts at streamlining Chinese writing, the most successful attempt being simplified Chinese, so this isn't as strong a rebuttal as you'd think
54.
by quixoticaxolotl 5y ago
That's not what the parent comment was saying - they're communicating that presuming to know the truth with complete confidence is arrogant, not that actual knowledge of truth (i.e. expertise) is arrogant.
55.
by quixoticaxolotl 5y ago
> * If my business fails, I don't want to incur huge debt or losses, I want the security of a steady paycheck. I am possibly wrong, but I believe starting a company as an LLC is meant to protect against this possibility.
56.
by quixoticaxolotl 5y ago
The argument that gun ownership = right to self-defense is a non-sequitur. Self-defense is a recognized legal justification for the use of force in the States already. What you're really talking about is either one of a few different s
57.
by quixoticaxolotl 5y ago
It depends on what you're optimizing for long-term as a member of the software industry. Pure monetary compensation? The US remains the only place where salaries for junior developers begin in the early six figures and climb higher wit
58.
by quixoticaxolotl 5y ago
"Buy assets, not indulgences" is so much more accurate and catchy, imo.
59.
by quixoticaxolotl 5y ago
A recruiter related this story once at a former employer. I have no idea if it's true, but it remains incredible to tell. In a past life, he'd been hired to find a cybersecurity expert in a very niche field, where there are really
60.
by quixoticaxolotl 5y ago
> having a verifiable and auditable decentralized chain of custody back to the original mint transaction A verifiable and auditable centralized chain also works here if you trust the centralized party? I'm not seeing why decentral

More ›