Viewing profile — NovemberWhiskey

Even for drones that are reusable: if there’s a substantial performance advantage to using a primary cell then you might just want to do that if you’re relatively price insensitive…

The real problem is that sticking an idempotency key onto an operation doesn’t make it idempotent. It may improve efficiency where a protocol doesn’t assure exactly-once delivery o…

The real world is full of relationships that may or may not exist. What’s the referent of “my spouse” if I’m unmarried? Is your point here that every pointer type for which this ca…

I mean, the fundamental premise of formal methods is that assurance of correctness is achieved through unambiguous specification/modeling and mathematical proof. The extent to whic…

Things can only be used securely if they have properties that can be reasoned about and relied upon. This is why we don't usually have critical processes that depend on "human alwa…

"Soft" realtime just means that you have a time-utility function that doesn't step-change to zero at an a priori deadline. Virtually everything in the real world is at least a soft…

I am not sure that static analysis is ever going to give answers to those questions. I think the best you can hope to do is surface knowledge about the tacit assumptions about depe…

Outside of a very narrow range of safety- or otherwise ultra-critical systems, no-one is designing for actual guarantees of performance attributes like throughput or latency. The c…

When I saw the title here, my first thought was “wow, these RISC-V ISA extensions are getting out of hand”

Could you tell me why you think that? In NYC, prior to Uber entering the market, taxi medallions changed hands for up to $1mm. Prices were fixed by the TLC. If these are no strong …

Last time I checked, neither Uber nor Lyft were profitable (at all!) before the 2023-2024 time period.

So - putting aside the other waffle and snide remarks - you’re agreeing with me that, in NYC at least, taxis were operated as a cartel?

Classic indications of a cartel (in the economic sense) are deliberate limitations of supply and fixing of prices through collusion. I don’t know about other cities, but NYC absolu…

Isn’t this what Car2X was supposed to do?

Meet the QWAC. https://en.m.wikipedia.org/wiki/Qualified_website_authentica...

So, in your mind, when the Federal Reserve prints a dollar bill - what's happening in accounting terms? I don't think your understanding of the way this works is consistent with th…

You have a very strange idea of how government works. You don’t get a veto on all speech from anyone who receives funds from the public purse, and it’s not a First Amendment issue …

That’s a very odd perspective. Could you explain how government research funding constitutes forced speech? If an individual who receives a government tax credit (say EITC) speaks …

Kafka for small message volumes is one of those distinct resume-padding architectural vibes.

Lithium-ion is an umbrella term that properly includes common cell chemistries like lithium iron phosphate (LFP), lithium nickel manganese cobalt oxide (NMC) and lithium nickel cob…

I think this depends very much on how you use the tools. My experience with email is that people have subject lines, email explicitly identifies to and cc recipients; email is thre…

That's transparently obvious if you read the press release: Trump analogizes his own personal treatment by the Justice Department with that of Ulbricht c.f. "weaponization of the j…

Bernie Ebbers and Jeff Skilling both got more than 20 years for Enron. The CEO and co-owner of NCFE got 30 years and 25 years respectively for their role in a securities and wire f…

On the contrary, his not guilty plea, his ongoing insistence on his innocence, and libertarian true-believer tendencies etc. suggest the opposite.

So all the people who got convicted for selling firearms on Silk Road, how'd that happen then?