brandmeyer

NetCDF4 (built on top of HDF5 largely through sub-setting) is considerably more powerful than excel/libreoffice. Its also easy to access through widely-available libraries. I frequently use the Python `netCDF4` (yes, it really is capitalized that way) library for exploratory work.

Cone - er

But its spelled differently. The correct spelling is `conr` for Can't Operate Nuclear Reactor.

There's an old joke that all growth looks exponential when plotted on log-log paper with a fat marker.

Are you arguing for a command economy? Doing it with prices is the best possible way, because it empowers distributed decision-making.

Don't underestimate the value of practice. I've watched welders build up a bead to a thickness tolerance better than 0.001" with nothing more sophisticated than a hand-held TIG torch and wire.

It changed a ton. Over the late 90's (ie, in my day) the per-month payments were increased up to a little over 1k. The Post-9/11 GI Bill is structured very differently and is far more generous: Tuition + BAH. There's a ton of fine print around the tuition part, but in practice it really does fully cover tuition just about everywhere in the US.

In the US, the military doesn't choose the targets. Elected civilians do. The way to square those feelings is to direct them at the people who give the top-level orders, and the rhetoric used to support those orders to the public.

There is an entire branch of ethics and philosophy dedicated to the topic: Just War Theory. The US interventions in Serbia and Kuwait were both well-justified in my eyes.

We're building a highly specialized product (GNSS Radiooccultation). Its specialized enough that we have to rely on hiring people with generic skills and then developing the specialized skills to work in the domain. In essence, we are relying on internal on-the-job training to build up our team. Remote work failed for us for the same reasons that remote education has been failing everywhere: 1/4 to 1/2 of the job is adult professional education.

This is definitely not universal. Our team switched to a soft hybrid model whereby we almost always work from the office, but use WFH for deliveries, snow days, kid sick days, etc. We did that as soon as the vaccine became widely available and it completely turbocharged our productivity. We delivered more in the first three months after coming back than the preceding year of fully-remote work.

This has been the standard algorithm used by every libm for decades. Its not special to Musl.

> The imaginary number 'i' is sqrt(-1)... what does that even mean?

Relating to phase is also hard for some people, so I try to keep it even simpler.

In the same way that negative numbers provide directionality on a line, the complex numbers give directionality in rotation about the plane. The unit `i` is a counter-clockwise quarter-turn about the plane. -1 is a half-turn. -i is a a quarter-turn clockwise (or 3/4 turn counter-clockwise).

`exp(i * tau) = 1` or `exp(i * pi) = -1` are now simple identities, referring to the fact that a full turn doesn't change orientation, and a half-turn inverts it.

I've heard a variation on this that never quite made sense to me. Its possible that some relevant details were just lost in the retelling, and it goes like this:

The employee exercised his options shortly after an IPO, but before he could sell the shares. By the time he could sell the shares, the stock had fallen to the point that the proceeds from sale didn't cover his taxes due. It wasn't enough to drive them to the poor house, but it was the difference between making money and losing money.

Why would you exercise the options in this time window at all? What's the upside versus just sitting on them until the window opens up?

Why would you even be able to exercise the options in the trading blackout window? Doesn't that count as trading itself?

If both trades happened in the same calendar year, then wouldn't the capital loss from the sale wipe out the capital gain from the exercise, such that he only owed tax on the difference between the strike price and final sale price?

What am I missing from this picture?

The last couple of recessions have placed a ton of deflationary pressure on the USD, and the fed has reacted to maintain a small positive inflation by both lowering interest rates and QE.

Now that inflation is rising and the economy is also at nearly full employment, its pretty straightforward for them to raise interest rates to rein in inflation.

POSIX time isn't quite an elapsed time standard, thanks to the absence of leap seconds.

Boost doesn't even have a stable API commitment, let alone a stable ABI. Every release may require involvement from users to keep up to date.

Abseil doesn't even have releases any more. They expect you to live at head like GOOG does internally.

You can do that with boost:: or absl:: right now. No need to involve the standards committee at all.

Its not nearly enough to cover scalar arguments. You've got to cover composite arguments. time_t, fileno_t, fpos_t, etc may appear in structs, arrays, etc.

Haven't been lifted because the same regime which justified the actions in the first place is still in power doing the same things. Foreign military weapons installations didn't have anything to do with it then, and doesn't have anything to do with it now.

> Why not epoch? An integer always means epoch. A human readable timestamp, unless it's exactly ISO8601, is pretty much always ambiguous.

Because in practice, the only ubiquitous APIs for getting time since an epoch don't actually model an elapsed time standard. The odd one out is POSIX time.

Your history is wrong. The sanctions against Cuba were all well in place before Cuban missile crisis began.

Its a stupid reason. Russian military equipment uses GLONASS. Granted, GLONASS is just barely limping along, but it does work.

It sounds like you are referring to a replay attack.

Mental model tweak: The signals aren't for a specific location, they are world-wide. So the "for Las Vegas" part doesn't work.

Replay attacks are just a kind of denial of service. In that case, you may as well just use jamming. Spoofing attacks are far more dangerous, and cryptographic signing defeats them effectively.

Americans regularly protest warfare without fear of prosecution. American companies and individuals regularly avoid selling products to US-DOD and/or ICE. Witness the controversy surrounding Panantir, or DOD's JEDI project, for two recent examples. American companies and individuals regularly sanction Israel for its behavior in Palestine despite being one of our closest allies: witness the BDS movement.

The intervention in Yugoslavia was possibly most well-justified military campaign in my lifetime, even more-so than the liberation of Kuwait.

They can lobby their government to stop invading their neighbors.

None of the above. Smaller nuclear reactor projects are an effort to reduce the capital requirements to get started. There are inherent economies of scale in the physics which promote building larger reactors. Military propulsion reactors are < 1/10 the size of commercial power reactors today, and they are safe enough that we operate them with enlistees. But they are far too expensive for commercial operation.

Russia isn't as big as the USSR was. You don't need to glass Siberia to make even a limited nuclear exchange unpalatable.

GCC supports many of the same sanitizers as well, since they were originally developed for GCC. We use GNU's ubsan and asan in our automated test suite.

Consistent use of language-specific tags makes it easier for tools to switch to a dedicated foreign-language parser when they encounter a tagged raw literal. The host language just provides the capability through arbitrary matchup, but its still up to users and tool authors to use them consistently. SQL is just one example. Embedded shader programs, XML (fragments), and Protobuf literals are other possibilities.

I've said this before in another thread. The way I square this conundrum is with the notion that you are born short housing. Your parents cover your short position when you're growing up. But as an adult, renting is also continuing to short the market. Buying your first house is therefore just covering your short position.

Its buying a second house that makes your position long.