semessier

6 ms·

1.
by semessier 6d ago
well it also influenced judgement: the freshly Lou Gerstner Jr. who later danced the elephant into muddy waters appointed "Internet Division" head below https://blog.irvingwb.com/blog/2005/11/the_ibm
2.
by semessier 27d ago
I would parse it as event sourcing at its finest + cqrs
3.
by semessier 1mo ago
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.
4.
by semessier 3mo ago
cudos
5.
by semessier 3mo ago
Apple should be required to make RAM including notebooks customer-upgradeable/swappable including LPCAMM2.
6.
by semessier 3mo ago
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
7.
by semessier 3mo ago
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 wa
8.
by semessier 3mo ago
this is an all-stock transaction. No cash spent.
9.
by semessier 3mo ago
and where is the Transformer library ;)
10.
by semessier 3mo ago
this is an empirical engineering paper with theoretical dressing, it would not need to be a theorem paper of course.
11.
by semessier 3mo ago
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 p
12.
by semessier 3mo ago
this lacks the math for any bold claims
13.
by semessier 3mo ago
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>
14.
by semessier 3mo ago
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.
15.
by semessier 3mo ago
V being collinear is obvious, the question is/was also which additional orthogonal projections such as camera position for vision would improve the transformer.
16.
by semessier 5mo ago
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.
17.
by semessier 6mo ago
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.
18.
by semessier 6mo ago
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
19.
by semessier 6mo ago
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: ⟨ qu
20.
by semessier 7mo ago
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.
21.
by semessier 7mo ago
that's pretty shallow for the front page. What would be interesting in this context are things such MXFP4 quantization etc. not commonplaces.
22.
by semessier 8mo ago
that's not a proof
23.
by semessier 8mo ago
a parameterization would be helpful for machine designers probably
24.
by semessier 9mo ago
He was Right on outsourcing, wrong on everything else. Gerstner joined IBM in 1993 with the company in a very bad situation and immediately killed the "Baby Blues" breakup plan - no more independent product units for PCs, various
25.
by semessier 9mo ago
triggering the cold signal artificially might be an approach
26.
by semessier 9mo ago
> No standard has ever been developed using money obtained by selling copies of the standard. unfortunately there are examples in the Telecom world
27.
by semessier 9mo ago
11 billion invested in multiple hardware developments including moonshots would have been more sensible that for Kafka operator (remember MQSeries/MQ btw)
28.
by semessier 9mo ago
the price sounds a little bit high from a technical perspective
29.
by semessier 10mo ago
without having implemented inference, just by looking at it from a math perspective this is base linear algebra/BLAS. I am very much wondering what a lean inference optimized API with covering 80% of all use cases across dtypes and spa
30.
by semessier 11mo ago
Hence lossless does not seem plausible

More ›