Everyone does optimization of model serving because it's good for every player in there.

(Also the water consumption thing is not a real issue.)

Is (2) generating less heat so that the laws of thermodynamics account for the increased amount of "useful stuff" generated (the organized information)? Switch (2) for a bitcoin miner if you prefer.

Is the act of increasing order in the data, somehow costing some energy? Is there a fundamental minimum cost to flipping bits? Something about the switch of energy to matter and back, seems involved here.

I think the nature of computation is holding some secrets about the meaning of the universe, if there is any.

Nodes shouldn't be observers. End users should be the observers. The ordering of event only matters from the perspective of the "I'm adding this to my shopping cart and clicking the buy button and then it said I bought it" story being internally consistent. The observer here is the end user and the end user knows what happens-before relationships were.

Databases should flip this ordering inside out and let the observers (or proxies for them) report what they did in which order. And it just happens that protocols for doing this already exist: distributed tracing encodes these relations.

A meaningful global order doesn't exist and attempts to conjure one only conjure a meaningless one, or one that throws away a lot of turns trying to perfectly order everything from some arbitrary internal observer.

I've found that similarly to how teams can degrade into spending more time bikeshedding and on the watercooler than on work, agents also tend to end up spending way too much time coordinating as opposed to doing the work. And so I rediscovered that it's better to have one agent that's the Manager (on a Manager Schedule) and the rests be builders (on a Builder's Schedule), where the manager might be interrupt driven, but the builders need to be able to focus for a while without interruption (context poisoning).

Thanks for writing this and demonstrating that writing about anything is useful to share knowledge and practices. In the end, I learned a lot from Martin Fowler and his gang and I guess I should pay back and write about my own discoveries, however trivial they seem to me.

It's like creating conditions for a race where they structurally have months of advance. And realistically they have a credible shot at establishing the standard due to their weight in the industry, and control of the most popular AI distribution method (Claude).

So they create the race, knowing the race is what will likely establish the standard, and using some pretext to prevent other competitive athletes from training for it in advance. Other athletes only get to start when the gun fires.

"Commoditize your complement" -> https://www.joelonsoftware.com/2002/06/12/strategy-letter-v/

Yes, online policies are wild and not lightweight at all.

I do think a proposal that AI-filters content on small forums is a bit weird, and probably clumsy. But Korea faces a real problem and usually leans toward a bias to action and "just do it". It leads to weird stuff but also to dynamic problem solving. The part I'm trying to preempt here is measuring this against so called "universal" values; these French Revolution/Enlightenment ideas of universal rights aren't really universal, they're one culture's logic, consistent inside its own bubble but exported like it's the default for everyone. I'll say, I do like them. But other self-consistent logics exist, and I think Korea's set is one of them. It's going to sound cliché but it leans on harmony and the group where the Western one leans on the individual. Both produce aberrations, only different ones.

For example, first time I came here I thought it's crazy to have so many speeding cameras and CCTVs everywhere. Years later I didn't so much "got used to it" but I think it's a tradeoff that mostly works and I grew to appreciate it.

Korea prefers lightweight polices (literally friendly looking) with a lot of automated, bulk enforcement, instead of sparse enforcement backed by the occasional armored truck. That's a design choice, not a slide into dystopia.

So all I'm trying to convey is, keep an open mind, and don't apply some supposed "universal" mindset blindly. Critique the mechanism all you want. Just don't do it by treating one culture's values as the yardstick everyone else gets measured by.

Fwiw I think it's a misfire. But I don't think it's a slippery-slide down dystopia. It's just Tuesday.

I wrote about this a bit on my blog[1], different angle but along the same line. You explain TLA+ and model checking well which makes the case concrete.

I'm curious of you have thoughts on these other methods and tools like P, Lean, Dafny, etc?

[1]: https://aybabt.me/blog/correctness-agentic-world

I was there for a couple years after the acquisition and just couldn't stand seeing it. I felt I was becoming useless working in a mad house that was becoming more maddening everyday. And MSFT just keeps replacing leadership with more and more disconnected people who just don't get it, who just never used GitHub like the OG users did. Two years ago I interviewed again for my old team, largely out of curiosity, and the Microsoft engineering manager asked me some brain teaser question as my interview. The disconnect is just too large.

They don't take GitHub seriously. It's a toy to MSFT and vibes matter more than the product itself. And they hire for it using MSFT drone logic, fill it with people hired and profiled to be MSFT-lifers, and these two things don't mix.

Sorry I don't have anything great to say. And of course, many of these MSFT folks were actually damn good, but they were swimming in a sea of MSFT drone.

There is nothing wrong with speechwriters. Various authors spilled out their thoughts in rough format and had writers turn them into better structured, prosed and understandable projections. Hand writing each sentence that is presented as an end-product to the reader doesn't solve that problem.

Forcibly coupling the two is an arbitrary choice that may be a valid tradeoff for some and not so for others, and not so for _all_ writing.

I'm not good at looping through a document with proper english prose. My writing is raw, particular, and I gloss over a lot of details. LLMs help me turn my shitty extensive notes in bad grammar and syntax, into shareable and understandable artifacts. They help me turn more of my thoughts into ingestable communication by others. Without AI, I communicate less of my thoughts due to friction. My thoughts are formed and authored and written, but not in a format consumable by anyone else.

Ebikes help older riders keep riding.

What matters is not just what you plan to do, but what your opponent thinks you'll do. The US in general believes that China wants to invade or control Taiwan in some way. This mere belief is sufficient to cause it to take action.

Whether China plans to actually invade or blockade Taiwan or not doesn't matter if the US thinks it will. AFAICT the US is convinced it will, and the mere threat of this is enough to justify Venezuela and Iran, I believe. Higher oil prices are less worse than no more semiconductors.

And I think Russia might have gained some territory, but at the cost of being completely sucked into the conflict, having lost strategically by (1) being unable to support and defend its proxies and (2) having its arsenal and technology thoroughly analyzed and proven ineffective against US weapons. All actors involved know this and it will not remain, but until solved this means that the US knows it can strike countries defended by Russian weapons, at least until counter measures are researched, developed and distributed. This is a temporary advantage and moment of clarity that lasts a few years, not a sustained advantage.

The risk of the US being equally sucked into Iran and suffering the same fate is very high. And China's best strategy here is probably to sit and wait and help US opponents keep the US busy for a while, like the US did on Ukraine with Russia.

(2) Iran has a temporary but unsustainable interest in constricting traffic, and it's not the only country who could impose a filter there. The mere credible threat of a strike on shipping is enough to stop it, so other countries basically have an equivalent capability to restrict traffic. And all countries, including Iran, are unable to sustain a prolonged closure. The current situation is an unstable, non-equilibrium situation for Iran and it's neighbors.

Overall, all of it doesn't really matter to the US because simply taking Iran off the supply chain of China is good for them. They spin the narrative about starting the war for a variety of other reasons so that they can justify the pain it inflicts on their allies (Korea, Japan - very dependent on those hydrocarbons too, and EU) and choke China's oil supplies without looking intentional. Last time the US overtly blockaded an asian nation's oil supplies, Pearl Harbour happened.

Which is another reason why China had such a structural incentive to move toward solar power, battery storage and renewables in general while also powering most of their early growth with dirty power plants.

I think Trump wants to be remembered for having neutered the China threat and having restored American supremacy and dynamism, and doesn't care too much about what it will cost at the next federal elections. I think he cares more about his legacy and wanting to be remembered as a historical figure on the strategic level. He's portrayed as being merely a fool with self interested dictatorial tendencies but I think attributing such simple intentions to him is self deception and leads to poor analysis. It doesn't pay to trivialize figures for disliking them or their actions.

Without taking camp here, I'll say that taking Trump for a fool is shortsighted, in my opinion.

(1) reducing oil shipments to China is good posturing for the US; hence Venezuela and Iran ahead of 2028. These are shaping operations. China suffers more from these conflicts than the US.

(2) Iran isn't the only one who can control passage throught the strait. All gulf countries can do so. If Iran can cheaply cut off passage, so can Saudi Arabia and UAE and everyone else there. They all have a long term mutual need in keeping this strait open.

All these recent analysis of conflicts in isolation, which always assume a lot of self-interest in disliked politicians, seem to make the analysts and authors blind to a much more probable and sensible grand strategy. Russia invading Ukraine and failing, has been the greatest strategic gift Russia could give to the US against China in setting the stage for shaping a defence of, and deterring an offensive on, Taiwan. Russia lost the ability to defend its proxies at a cost asymetrically small to the US. Hamas broke rank and allowed Israel to eventually decapitate Iran's proxies and air-defense step by step instead of all at once, setting the stage for the opportunity of the current war. And Russia being distracted also gave the US carte-blanche in Venezuela, not only via distraction but by proving that Russian air-defense isn't the thread it was thought to be.

The remaining strategic tension, in my humble opinion, is whether the US depletes its stockpiles too much without a caught up manufacturing capability, so that a Taiwan conflict becomes easy to win by default for China (via a blockade which would essentially be a cold war with few deaths and minimal damage) or if the weakened China (due to oil constraints) would be simply unable to attack in 2028, the strategic window when it can do so.

The situation, in my eyes, is evolving in a state where only two modes become dominant and both are slightly better for Taiwan.