bopbeepboop

31 ms·

121.
by bopbeepboop 6y ago
This is super unpopular, but I think young marriages actually give women more autonomy. When you’re 18, marry a 30 year old guy — then take 6 years for undergrad, have three kids along the way, and let him pay for it. Then do graduate schoo
122.
by bopbeepboop 6y ago
I’m not familiar with category theory in depth, but homotopy type theory uses category theory for its semantic model and HoTT’s a big deal in the automated reasoning world. > Others thought it was pretty and useful for identifying simila
123.
by bopbeepboop 6y ago
Not the person you’re asking, but the “aha” moment for me was connecting whiteboard diagrams with type theory. Whiteboard diagrams work because they’re a categorical diagram related to the semantics of the program I’m trying to write. In th
124.
by bopbeepboop 6y ago
What word in the subheading do you believe is like “female” in your example? “Postdoctoral”? I’m genuinely confused here. It sounds like “experts surprised professional chemist solves problem in particle physics”. “Professional chemist” is
125.
by bopbeepboop 6y ago
“In the ballpark” It’s not really new, to say that you should use simple heuristics to bound fancy math. Physics does it all the time — eg, unless you’re standing next to a black hole, your Newtonian and relativistic calculations should nea
126.
by bopbeepboop 6y ago
> the growing percentage who coreside with their parents all contribute significantly to the decline in casual sex > find no evidence that trends in young adults’ economic circumstances I... uh... can’t make sense of these two stateme
127.
by bopbeepboop 6y ago
Algorithms aren’t necessarily finite, eg “while True, print 1”. Also, an irrational exponent is the product of component factors. b = Prod(0,inf) a^[x_i * 10^(-i)] = a^x So even with irrational numbers, operations can be decomposed - such a
128.
by bopbeepboop 6y ago
It’s not like that at all. It’s like reporting “chemist solves problem in particle physics” — which is interesting and a bit unexpected, but not at all an unrelated factoid about the person in the way marital status would be.
129.
by bopbeepboop 6y ago
Yes — the goal of DDD is to explain why that’s a bad idea. For two reasons. 1. It makes your code a mess. 2. You probably wrote the wrong thing anyway, because how do you know what the customer wants if you don’t even know what they do? DDD
130.
by bopbeepboop 6y ago
To elaborate — Domain driven design is about understanding the business requirements enough to know “this is fundamental to the domain” versus “this is going to change next month”. In the accounting example, when you talk to the accountants
131.
by bopbeepboop 6y ago
“Antiracism” is another name for “critical race theory” which inherits from the general Marxist body of philosophy, of which “critical blah theory” tends to be a common name. Like “people’s republic” — it’s a fashion thing. https:/&#x
132.
by bopbeepboop 6y ago
CA prop 16 https://en.wikipedia.org/wiki/2020_California_Proposition_16 WA prop 1000 https://www.washingtonpolicy.org/publications/detail/initiat...