SP3269

Lots of concerns in the discussion yet the fact is that e-voting is used for quite a long time in Estonia, and proved robust and secure. It will scale well. Check the source code.

I believe the Swiss also open sourced their e-voting software.

PR firms such as Spitfire Strategies got steadily growing stream of business. It’s great for the GDP, diversifies the economy from compute-centric growth.

Nobody ever referred to software as “samizdat”, and there was no concept of “freeware” - everything was “free”, including stolen Western software. Source: I’m from there and then.

Call for people who severely dislike Jira to chip in $1 each, that should give you some runway.

Making Kubernetes a centre of everything. This one, they won’t sunset, because it helps selling GCP services.

It’s hard decision, but it has to be made.

I’m not building space elevator.

I’m missing Marc Bolan.

Few years ago I became interested in modelling complex societal and economic processes. That led me to discovering NetLogo, a multiagent-based programming and modelling environment derived from Logo. Can recommend! https://en.wikipedia.org/wiki/NetLogo

Interestingly, in his ICM 2026 lecture, Terence Tao specifically mentioned that Lean is not based on ZFC.

From Mojo Wikipedia article: ``` The intention behind Mojo is to bridge the gap between Python’s ease of use and the fast performance required for cutting-edge AI applications. ```

Basically, same raison d'etre as that of Julia.