kortex

49 ms·

661.
by kortex 4y ago
Looks like they are trying to put civil asset forfeiture on the blockchain. I've always wondered, would it be possible to have a system which is resistant to rubber hose cryptanalysis? Maybe a poison pill system which locks an asset un
662.
by kortex 4y ago
Anyone who's spent any amount of time looking into industrial and engineering disasters knows about Bangqiao. It's up there among the greatest single event losses of human life from human-created (non-war, non-disease) catastrophi
663.
by kortex 4y ago
Is there a name for the ` <@ ` operator? Been calling it the tornado operator but I haven't found anything indicating an "official" name.
664.
by kortex 4y ago
Bottom line is: time is quite complicated, and things get messy when you try to overload different usages or engineering constraints. Including but not limited to: - small, limited, and/or fixed data size - compatibility across systems
665.
by kortex 4y ago
The GIL is a good decision and has been a sound engineering tradeoff for decades. It's only been the past few years that running the interpreter without a GIL has been even remotely feasible (cf the gilectomy project). The GIL is a r
666.
by kortex 4y ago
High praise, thank you! Also, I realized there may indeed be a class of reals that are a subset of the reals, which might not actually exist. Within the reals, you have: - Reals equal to integers and rationals: Exist insofar as integer&#x2F
667.
by kortex 4y ago
> If unicorns exist, but humans can never observe them do you really care whether they exist or not? I do, actually. It depends what you are using the unicorns for. If you use them for their blood for extending your lifespan, no they do
668.
by kortex 4y ago
Why does the existence or absence of a finite name affect the reality of a number? You can put every real number in a one-to-one correspondence with itself. Or a one-to-one correspondence of f(x). This is a really interesting thought experi
669.
by kortex 4y ago
Of the three linguistic entities in this sentence, only one is well defined. Let's rephrase from a question to a statement and look at the veracity: "Real numbers are real". - "Real Numbers" - this is the one thing
670.
by kortex 4y ago
It's not totally right , but it's not totally wrong , either, kind of like the way the dimensions of the space shuttle booster are directly affected by the size of a pair of Roman war horses' asses. CRLF was used verily hea
671.
by kortex 4y ago
Absolutely. I've owned many machines and driven two Mac OSX, basically every Windows since 3.1, Linux Mint, Ubuntu 14.4-20.4, and several generations of Android. OSX for me wins reliability and user experience, hands-down. XP service p
672.
by kortex 4y ago
Ehhhhhh depends a lot on the circumstances and the hospital/center. In theory, yeah, in practice, it's a lot harder for patients to refuse treatment, for one reason or another.
673.
by kortex 4y ago
Ion canon ready... I could see a microwave power satellite being deployed despite obvious cost inefficiencies, specifically because of the ability to zap things (defensive, hopefully ). It could also be helpful anywhere needing mobile short
674.
by kortex 4y ago
It's fine if one wants to avoid working with a good person to do a bad thing. But if you make that choice, then it's often seen as highly hypocritical to work with a bad person in any capacity. Badness is an absorbing value if you
675.
by kortex 4y ago
I find Twisted less accessible and more opaque than async. It's also more "bolted on" in that it's an entirely separate library/framework outside the standard lib. Async might technically be bolted on, but no worse
676.
by kortex 4y ago
I think WiFi is better abstracted and layer-delineated though. Wifi has a lot of complexity but it largely feels like necessary complexity, and the physical layer, data layer, and application layer all mostly stay in their lane. Bluetooth i
677.
by kortex 4y ago
It depends who, what, and when the error is about. Failures are generally a bathtub curve. You have a high rate at start (usually configuration issues), some fairly fixed rate during operation, and then more at end of lifecycle (exhaustion,
678.
by kortex 4y ago
Sure, but my point was there that it's really easy to use KVs as a backing store for tags, which you can implement anywhere and easily serialize. Sets, if you have to do something like transform it to JSON, you have a choice to make: d
679.
by kortex 4y ago
> It means that you're building a knowledge base. That's precisely the problem. You started with tags and now you are building a knowledge base. You wanted a banana and now you have a gorilla holding a banana and the whole jung
680.
by kortex 4y ago
Nice that the ROS community is starting to get hip to web/cloud community innovations. Back when I worked on ROS heavily (about 2 years ago), it felt like there were tons of cases of Not Invented Here syndrome. Rosparam server, service
681.
by kortex 4y ago
I think tag aliases are fine, but in my opinion, tags should not have hierarchies. That is just opening the can of ontology worms, and most systems are ill-equipped to deal with ontologies...including ontological systems. Tags are just dumb
682.
by kortex 4y ago
This drives me absolutely bonkers. We had a situation in a machine learning context where we should have been treating the output of a detector as NaN (it was deliberately opting out), but instead it was falling back to zero. Last I checked
683.
by kortex 4y ago
They are complementary. I've had code reviews pick up gaps in unit tests (e.g. the code is covered, but the state space isn't), and I've had code reviews miss some absolute doozies. Also code review is as much about sharing k
684.
by kortex 4y ago
That's assuming the thing you are currently doing is what crashes, and not instead creating data (a document, a compiled binary, a financial transaction, a crypto key) which is silently corrupted and the corruption is only detected way
685.
by kortex 4y ago
I'm in Upstate New York and despite my penchant for gardening, I'm hardly an agricultural worker. Any urban-geofenced product is useless to me and the half a million folks in the greater capitol area and nearby counties aside from
686.
by kortex 4y ago
Lidar can't see through fog (or snow/rain to enough of a degree), which is one reason tesla has avoided it. Do you mean radar? In the case of radar, I would hope that it becomes a base features of all cars eventually to avoid&#x
687.
by kortex 4y ago
As of recent I've been weirdly fascinated with codecs, serialization protocols, file formats, and the like. It scratches that low-level hacking itch (I spent most of my professional programming in web dev space) without as much commitm
688.
by kortex 4y ago
I think you added some zeroes there. HMS Queen Elizabeth carries about 1.75 million gallons of fuel [1]. she has to fuel up about twice to sail 26,000 Nmi [2]. Pacific is about 8000 Nmi, so round tripping would be roughly a full tank. 1) h
689.
by kortex 4y ago
I love this idea. I would wager that calcium carbonate dust has a higher ballistic coefficient than SOx (ratio of mass to cross section, a measure of ability to stay aloft), meaning if we overdo it (unlikely but the most common concern), th
690.
by kortex 4y ago
Even if we don't figure out green hydrogen for some time, I'd be okay with diverting some amount of fossil fuel consumption to essential chemical processes, like Haber-Bosh ammonia and plastics, while cutting drastically the syste

More ›