Viewing profile — de_keyboard

Could the "sync" mechanism be provided by iCloud, Dropbox, etc. so long as it's end-to-end encrypted? Managing a vault server sounds like a pain.

If many different "states" are used for one big architecture, how are the boundaries between them managed? Under one state, Terraform will spot issues here during `plan`, but with …

Not disagreeing, but you might find it interesting to learn about the history of the term "jaywalking"

> Flix looks like Scala, but its type system is based on Hindley-Milner. Ahh why?! Scala is FP larping as OOP. Great type system, poor syntax.

Does Nostr have any mechanisms to ensure anonymity, or can the relay log everything?

Be sure to checkout Koyaanisqatsi if you like experimental films and Philip Glass

But then you are working on half as many things.

Indeed. Feels like vast majority of the TV worth watching is HBO. I value my time so I'd rather have access to a few HBO series / year than an endless sea of A/B dross.

At work I am always hopping between F# and JavaScript and I'm convinced that if more people had this experience they would want the pipe operator in JavaScript. Unfortunately it's …

The F# syntax is an incredibly simple bit of syntactic sugar. Just replace this: x |> f With this: f(x) For the join example, you must do this: xs |> (x => x.join(' ')) It de-sugar…

Until it's not though. This is a pretty major architectural constraint on your code that you would not hit quite so early with a faster language.

> First Law > A robot may not injure a human being or, through inaction, allow a human being to come to harm. Hmmm I wonder about trolley problems

RAII can push resources to a collection that is disposed later

I am very bullish on Carbon. Using C++ semantics will make switching and integration much easier.

Will we care about proofs and type-systems once we have AI systems that reliably answer questions like "does this code do X?" and "under what conditions does this code violate inva…

Funny what gets picked up. I'm not convinced Neuromancer is a good movie plot-wise, and it risks looking like a cheap Blade Runner clone. Why can't someone adapt Consider Phlebas? …

Dune was enjoyable and all but HE SKIPPED THE DINNER SCENE arguably one of the most important bits!

It's a bit old but more people need to know about Tigris and Euphrates.