1,045 karma · joined March 6, 2009
[ my public key: https://keybase.io/clord; my proof: https://keybase.io/clord/sigs/krTEbnhXaURpsY0ID80LEGUxq4yo4VuWODHIYiqaFsA ]
Really, they are adding a new view, so perhaps this is like Haskell lenses, where you can make views with a different type that acts on underlying data
What does it mean for a date to be utc? my date, but in the utc timezone? Usually when I write a date to a file, I want a naive date; since that’s the domain of the data. 2020-12-12 sales: $500. But splitting that by some other timezone seems to be introducing a mistake.
Often I want to think in local naive time too, especially for things like appointments that might change depending on dst or whatever. Converting to utc involves some scary things. Timestamps are also useful but I don’t want to transcode my data sometimes as the natural format is the most correct.
Not really a paradox.
- `unknown` is the intersection (&) of all types, including an internal one that has no shape or characteristics. `unknown | {int: number}` should be `{int: number}`. `unknown & T` is always `unknown`, any characteristic T has will be discarded by the intersection.
- `any` is the union (|) of all types, including that internal one that can be anything, and yes, `unknown` too. `(any & {int: number})` should be `{int: number}`. also, `const x: any = 5 as unknown`. Union with `any` should always produce `any`.
e.g.,
foo :: Int -> 3::Int | 4::Int
foo 4 = 4
foo _ = 3
bar :: 3::Int | 4::Int -> Bool
bar 4 = True
bar 3 = False
-- (bar 12) is a compiler error, and no need to handle other patterns
baz :: 3::Int | 2::Int -> Bool
bar 3 = True
bar x = False -- Type of x is 2::Int
Companies like consumer reports should do this sort of thing.
async foo() {
let y = awaited(); // as in article
let p = async notAwaited();
// do stuff
let z = await p;
}Also, many ads now are like insider jokes, trying to poke a certain market.
I notice people who are used to it can just stare at the tv during the ads, even during a conversation. They go to the bathroom at the recap part of the show. I think TV ads are crafted to create a partial attention.
A centralized database handles consistency, and vends data closures to distributed applications for in-process querying (and those closures reconcile via something like CRDT back to the core db).
Does this exist?
I'd pick a centralized network-reachable database with a strong relational schema for write-heavy applications, and a lighter in-process system for something that is mostly reads and where latency matters. It's not a false dichotomy — but more like a continuum that certainly includes both extremes on it.
I’d love to see some memes of classic mac apps and this email stuck to it.
I was worried they would be more susceptible to ads. Ut it’s the opposite.
https://rationalwiki.org/wiki/Roko%27s_basilisk
Edit: I mean it’s similar in that at some point you’re punishable for knowing and still preventing the AI instead of not bringing it about. I feel about the same with both scenarios.
That said, the late-term and even post-term abortions that are happening now mean that if I am forced to choose between complete restriction and late/post, I will support whatever laws restrict late/post even if it’s overly restrictive. It is insane that these things are being conflated under the same term and that is shifting liberals such as myself farther from leftists just because the extreme position is so abhorrent.
Elon’s meme with the left running further left and then calling everyone else bigots is relevant here.