hither_shores

13 ms·

61.
by hither_shores 4y ago
Being able to opt in to unsoundness is arguably a feature, but TypeScript is still unsound even without using assertions or `any`.
62.
by hither_shores 4y ago
> Almost all bugs are logic bugs or inconsistent state bugs (thanks OOP!), almost none are type bugs. With a sufficiently powerful type system (and typescript is basically the only non-functional language that makes the cut here) these a
63.
by hither_shores 4y ago
You can just borrow your intuition for when to use point-free style: `>=>` is to do-notation as `f . g` is to `\x -> let y = g x in f y`.
64.
by hither_shores 4y ago
> by constant time i mean O(1) O(1) in what ?
65.
by hither_shores 4y ago
> Instead of (or in addition to) donating convert your USD to Glo and it will passively generate money for GiveDirectly. Our goal is to scale up the available money for GiveDirectly to give away. That GiveDirectly isn't already doin
66.
by hither_shores 4y ago
Investment managers and the administrators who manage them, mostly. Senior school administrators often make high 6 - low 7 figures, but 2+ million is quite rare.
67.
by hither_shores 4y ago
Feudalism, to the extent that it's a coherent concept at all, refers to a particular form of social organization prominent in medieval Europe. It is not a catch-all for all premodern societies.
68.
by hither_shores 4y ago
> If you are going to invest into something, it should be good investment that gives returns. An Useless degree clearly do not give enough returns not even to pay for itself. You're assuming that individuals capture the entirety of
69.
by hither_shores 4y ago
> If there's no good structure to build on, the units to be replaced will constrain the architecture of the new ship. Which is why you do it in stages: add scaffolding until local rewrites are possible, then rewrite the business log
70.
by hither_shores 4y ago
> Witness the pain of making JSON fit the type system in a lot of statically typed languages. In something like Java, sure. But Java is to static types as BASIC is to structured programming: the execution is so primitive that reasonable
71.
by hither_shores 4y ago
> like how to use FP to solve expression problem Some common approaches: - Tagless final style: https://okmij.org/ftp/tagless-final/ - Datatype-generic programming: https://markkarpov.com/tutori
72.
by hither_shores 4y ago
> But in the end we need to converge programming, math and logic, and once this is done, we will be ready for anything. And we won't need monads as a crutch, forced upon us by a type system. 1. Math is filled to the brim with monads
73.
by hither_shores 4y ago
GP was obviously using "100" to mean "many", not "literally exactly 100".
74.
by hither_shores 4y ago
> all publicly available interview questions (published on leetcode, interview prep groups, or anywhere else) are prohibited. And how thoroughly is that prohibition enforced? Do you scrape libgen, for instance? Coursework on university
75.
by hither_shores 4y ago
In principle, this means you can ask mypy to check arbitrary properties of your code at compile-time. (It won't necessarily succeed, because not all properties can be checked, but you can make it try). In practice, python is very poo
76.
by hither_shores 4y ago
You're thinking of Peano numerals. The Church encoding of 3 is `lambda f: (lambda x: f(f(f(x))))`
77.
by hither_shores 4y ago
> Rome once had a democracy sort of right? Not really. The Roman Republic had legislative assemblies and elected magistrates, but the deck was firmly stacked in favor of the aristocracy. Votes in the Centuriate assembly, which elected al
78.
by hither_shores 4y ago
> Or maybe the feature you adopted does get standardized but in a slightly different and incompatible way and now you've got a big problem on your hands. Haskell is de facto a single-implementation language: an extension is not goi
79.
by hither_shores 4y ago
> But it is tremendously wasteful to make a complete copy of a large data structure! You don't make a complete copy: you make a shallow copy of the spine, and then only descend along the fields you actually modify. The number of ope
80.
by hither_shores 4y ago
GP's claim is a little too strong, but in my experience most uses of `useMemo` / `useCallback` are only necessary because people define things in the wrong scope, or write giant spaghetti components with 15 different props and no
81.
by hither_shores 4y ago
That "swimming" in curved spacetime is possible is well-known. The paper describes the implementation of a system for doing so.
82.
by hither_shores 4y ago
Sure, sensationalist copy as well. The point is that press releases are written by people who neither know nor care about the subject, and can't be trusted to accurately reflect the state of the field or the content of the papers they
83.
by hither_shores 4y ago
No, it really is possible to violate momentum conservation in suitably curved spacetimes. But this is a straightforward consequence of the laws of physics, not a "defiance" of them: it falls right out of general relativity. We sti
84.
by hither_shores 4y ago
Press releases don't get peer reviewed: they're not by or for researchers. Hence the sensationalist title. The actual paper ( https://www.pnas.org/doi/10.1073/pnas.2200924119 ) was peer reviewed, and is pe
85.
by hither_shores 4y ago
At these scales, there are no rigid bodies, and so no single "chunk". If the giant-impact account is correct, the moon coalesced out of ejecta in orbit. > And why wouldn't the chunk either escape or fall back down, rejoini
86.
by hither_shores 4y ago
> Again, I'm on the outside looking in, I don't work in the field so I'm not 100% sure if this is accurate It's not. Point by point: > I've always heard that string theory was an untestable theory True in a ce
87.
by hither_shores 4y ago
> PV = nRT For an ideal gas. Plasmas are extremely far from being ideal gases. > According to some models. Do these models have reproducible experimental evidence? Yes, general relativity is extremely well supported by the evidence.
88.
by hither_shores 4y ago
> The results of using basis vectors for derivations aren’t riddled with artifacts of any particular coordinate system, as it would become immediately clear when expressing Christoffel symbols, for example - they wouldn’t be equal with o
89.
by hither_shores 4y ago
> What if the "dark matter" is actually ions not observable from our telescopes? We have radio telescopes that can see all the way down to a few tens of MHz. This is far colder than the CMB, and certainly much too cold for the
90.
by hither_shores 4y ago
> I have to admit that it smells like phlogiston and aether to me You know what else smells like phlogiston? Oxygen. There really is an invisible, odorless, tasteless gas responsible for combustion, plant growth, and breathing. 17th cent

More ›