for all the people posting founding in Ireland or Estonia (or England!!) etc. The local bureaucracies will spend infinite resources on nailing anyone down on the place of business being != to where the registration is. That is coercing one way or another to incorporate with the full overhead locally after all and most importantly that taxes are not happening in Ireland but to feed the local administration.
the real problems with administration dome starts after founding in many but not all European countries.
There is light at the end of the tunnel as an EU Inc. is proposed.
However the bureaucrats in probable but all countries will try to water it down to pointless to keep or extend their responsibility territory and duties.
the GPU builds are very high stakes games of depreciation: if the mission life is e.g. 4 years you win, if a disrupting ASIC for the transformer comes in you lose.
As of today the gamblers seem to win, demand even for A100s, H100s is high prices are even rising.
it would be really interesting when that moment was at probably OpenAI when they realized that this was doing more than next word prediction but signs of <you name it>
what could go wrong in the recursive loops running today 24/7 probably. Attended/unattended almost makes no difference any more, no human can grasp probably numerous changes per iteration. This is outright dangerous.
V being collinear is obvious, the question is/was also which additional orthogonal projections such as camera position for vision would improve the transformer.
it's not a new question if the as-is programming languages are optimal for LLMs: a language for LLM use would have to strongly typed. But that's about it for obvious requirements.
-- process ran from 1934 to 2026
-- terminated with SKIP
-- no deadlock detected
-- all assertions satisfied
-- trace: ⟨ quicksort, hoare_logic, csp, monitors,
-- dining_philosophers, knighthood, turing_award,
-- billion_dollar_apology, structured_programming,
-- unifying_theories, ... ⟩
-- trace length: ∞
The channel is closed. The process has terminated.
The algebra endures.
unless its greatly exagerated - he was quite mind sharp in his 80s
SIR_TONY_HOARE = μX • (think → create → give → X)
-- process ran from 1934 to 2026
-- terminated with SKIP
-- no deadlock detected
-- all assertions satisfied
-- trace: ⟨ quicksort, hoare_logic, csp, monitors,
-- dining_philosophers, knighthood, turing_award,
-- billion_dollar_apology, structured_programming,
-- unifying_theories, ... ⟩
-- trace length: ∞
The channel is closed. The process has terminated.
The algebra endures.
looks like he is trying to make a point that the actual (formal) proof for 2Z + 1 (odd numbers) is still human - by himself that is. Not sure who came up with the core modular arithmetic idea of with s = 0 k increasing by 2 mod m.