Hacker News: semessier

New comment by semessier in "Git at any scale"

semessier — Fri, 21 Aug 2026 00:13:01 +0000

I would parse it as event sourcing at its finest + cqrs

New comment by semessier in "Managing AI Coding Costs at Scale"

semessier — Sat, 08 Aug 2026 01:11:22 +0000

not sure about the use of exponential and efficiency frontier here, these have formal sides to them but seem to be used rather inflationary and colloquially.

New comment by semessier in "I built a GPU back end for Emacs"

semessier — Thu, 25 Jun 2026 17:58:36 +0000

cudos

New comment by semessier in "Apple increases MacBook and iPad prices by 20%"

semessier — Thu, 25 Jun 2026 17:25:17 +0000

Apple should be required to make RAM including notebooks customer-upgradeable/swappable including LPCAMM2.

New comment by semessier in "Founding a company in Germany: €9600, 152 days and I still can't send an invoice"

semessier — Wed, 24 Jun 2026 17:07:55 +0000

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.

New comment by semessier in "Founding a company in Germany: €9600, 152 days and I still can't send an invoice"

semessier — Wed, 24 Jun 2026 13:09:13 +0000

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.

New comment by semessier in "SpaceX to buy Cursor for $60B"

semessier — Tue, 16 Jun 2026 13:20:47 +0000

this is an all-stock transaction. No cash spent.

New comment by semessier in "Ultrafast machine learning on FPGAs via Kolmogorov-Arnold Networks"

semessier — Wed, 10 Jun 2026 04:12:23 +0000

and where is the Transformer library ;)

New comment by semessier in "Trees to Flows and Back: Unifying Decision Trees and Diffusion Models"

semessier — Sun, 07 Jun 2026 04:42:22 +0000

this is an empirical engineering paper with theoretical dressing, it would not need to be a theorem paper of course.

New comment by semessier in "Google to pay SpaceX $920M a month for compute capacity at xAI data centers"

semessier — Sat, 06 Jun 2026 18:27:22 +0000

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.

New comment by semessier in "Trees to Flows and Back: Unifying Decision Trees and Diffusion Models"

semessier — Sat, 06 Jun 2026 18:07:54 +0000

this lacks the math for any bold claims

New comment by semessier in "Ask HN: What was your "oh shit" moment with GenAI?"

semessier — Sat, 06 Jun 2026 01:32:05 +0000

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

New comment by semessier in "When AI Builds Itself: Our progress toward recursive self-improvement"

semessier — Fri, 05 Jun 2026 03:33:52 +0000

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.

New comment by semessier in "Do transformers need three projections? Systematic study of QKV variants"

semessier — Fri, 05 Jun 2026 03:16:43 +0000

V being collinear is obvious, the question is/was also which additional orthogonal projections such as camera position for vision would improve the transformer.

New comment by semessier in "Caveman: Why use many token when few token do trick"

semessier — Sun, 05 Apr 2026 18:29:33 +0000

the real interesting question would be if it then does its language-based reasoning also in short form and if so if quality is impacted.

New comment by semessier in "Kotlin creator's new language: a formal way to talk to LLMs instead of English"

semessier — Thu, 12 Mar 2026 17:32:19 +0000

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.

New comment by semessier in "Tony Hoare has died"

semessier — Tue, 10 Mar 2026 22:27:54 +0000

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.

New comment by semessier in "Tony Hoare has died"

semessier — Tue, 10 Mar 2026 08:03:54 +0000

unless its greatly exagerated - he was quite mind sharp in his 80s

SIR_TONY_HOARE = μX • (think → create → give → X)

New comment by semessier in "Claude's Cycles [pdf]"

semessier — Tue, 03 Mar 2026 22:08:53 +0000

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.

New comment by semessier in "Two different tricks for fast LLM inference"

semessier — Sun, 15 Feb 2026 11:54:07 +0000

that's pretty shallow for the front page. What would be interesting in this context are things such MXFP4 quantization etc. not commonplaces.