In my mind this is it, the colloquial seasons, and with vague boundaries depending on feeling, whereas the calendar "seasons" are there just to quarter the year artificially.
It's so funny to me that you compare a decapitation strike with the stated aim of regime change to vandalism; I'd compare the actions taken to Iran in 2025 to vandalism over this.
There are areas of mathematics where the standard proofs are very interesting and require insight, often new statements and definitions and theorems for their sake, but the theorems and definitions are banal. For an extreme example, consider Fermat's Last Theorem.
Note on the other hand that proving standard properties of many computer programs are frequently just tedious and should be automated.
Yes, but > 90% of the proof work to be done is not that interesting insightful stuff. It is rather pattern matching from existing proofs to find what works for the proof you are currently working on.
If you've ever worked on a proof for formal verification, then its...work...and the nature of the proof probably (most probably) is not going to be something new and interesting for other people to read about, it is just work that you have to do.
I think I have your new build(s) as I can play from the archive, but the contrast is still too low for me. Note that displays are different, so it's likely that things are more indistinct for me than for you. I've just played through the archive, and all my mistakes came from off-by-one errors because the grid lines were indistinct and I misplaced the holes.
Hmm I think you made the grid lines thicker? I prefer it, but the thickness looks inconsistent (several divisions of the paper do not seem have thicker grid lines on my display)
I think we may have similar perspectives. Regarding empirical knowledge, consider when the knowledge is in relation to chaotic systems. Characterize chaotic systems at least as systems where inaccurate observations about the system in the past and present while useful for predicting the future, nevertheless see the errors grow very quickly for the task of predicting a future state. Then indeed, prediction is difficult.
One domain of knowledge I think you have yet to mention. We can talk about fundamentally computationally hard problems. What comes to mind regarding such problems that are nevertheless of practical benefit are physics simulations, material simulations, fluid simulations, but there exist problems that are more provably computationally difficult. It seems to me that with these systems, the chaotic nature is one where even if you have one infinitely precise observation of a deterministic system, accessing a future state of the system is difficult as well, even though once accessed, memorization seems comparatively trivial.
In the US context, it is much harder for distant enemies to target energy supply chains that are entirely located on domestic soil, like, say, most renewables.
Well no one is targeting US petro installations either. But again, supply chain disruption elsewhere will raise global prices just like it does with our domestic petro prices.
Feels like PV boosters these days are just completely and totally unaware of where these things actually come from and who controls the material supply chain.
Your feelings are likely off - most people know that the materials used in solar panels are widely available across the globe and that China dominates the manufacturing process due to the US abdicating interest in manufacturing and renewables.
Why would Iran end up further isolated due to this war, and out of escalation? (your sentence is slightly ambiguous so I assume that you are referring to it.) If it successfully asserts control over the Strait as it seems to presently be doing, it should be able to negotiate a peace favorable to itself. Even with the status quo, I don't know how that figures into things, but the US has temporarily lifted sanctions on Iranian oil.
I don't follow the news very well, but from what I know the claim that you make isn't very obviously true but needs some evidence for it to stand.
I think this is the elephant in the roomt - in terms of quantifiable goals, Iran is winning this thing. I think they're going to want to punish the US and Israel to an extent where they will be reluctant to feel this particular sting again, and they want to assert their ability to control the strait. And it's working! They're clearly demonstrating that the US cannot simply decide when this is over and dictate terms, because Iran can pinch off an important vein of global commerce and probably sustain that pressure for far longer than it can be tolerated by other economies.
They've already gotten one concession in terms of this temporary sanctions relief, even as Trump frames it as a domestic emergency measure and repeatedly declares total victory each day of the conflict. They also got him to back off on targeting their power plants by promising to retaliate in kind against the power infrastructure of US aligned states in range.
I think the US has the ability to beat Iran in a fight, but it does not have the preparation or the resolve to do so at this time, because this is some halfcocked nonsense plan with amorphous goals that they thought would be over in a week.
My take is quite different. Every device that I use to do internet banking or things of that nature, I'm very happy to delegate security to companies, and consider that already I trust said bank with my finances. If I want a device I "fully control", then I don't expect a bank to trust it, I don't expect to do internet banking on it or other sensitive stuff of that nature. And that's the status quo even with Google implementing this, open-source OSes still exist, just don't expect internet banking to happen on them.
reply