♒️

reading between the dots

[Emad @EMostaque]

As shocking as the Kimi K3 release.

Massive performance gain was just with post-training

Model is 3x smaller than GLM 5.2 (10x smaller than K3) & works on a MacBook / Spark

This is Q1 flagship (Opus 4.6/GPT 5.4) level for < $0.28/m tokens (100x cheaper)

[Matt @Mattmaximo]

Hermes just negotiated my Spectrum bill down 58%

[♒️ @xtrasoular]

https://t.co/pNln6qth86

[♒️ @xtrasoular]

@nabeelqu

[Nabeel S. Qureshi @nabeelqu]

Wittgenstein's critique of many philosophical problems that they're like frame control: basically, the words you use trap you into a certain way of seeing the world, and from *that* perspective the problem appears impossible to solve. The phrase 'solve alignment' is like this.

[MTS @MTSlive]

SITUATION DETECTED: The White House Office of Science and Technology Policy has released a report directing federal research funding toward individual scientists and AI use rather than universities, per WSJ.

The directives will shape about $200B in annual federal R&D spending.

[♒️ @xtrasoular]

https://t.co/9HX1gNJmN6

[Cooking with Chris @coookwithchris]

Socosani is the best source of silica ~108 mg/L and is one of the best ways to detox aluminum!

Silica binds with aluminum ions to form hydroxyaluminosilicates — non-toxic form that the body can’t easily reabsorb

These are filtered by the kidneys and flushed out in urine

It also supports collagen production for skin, hair, nails, and joints!

[Jared Duker Lichtman @jdlichtman]

This is quite a remarkable result:

Posed in 1939, the Jacobian conjecture is one of the central open problems in algebraic geometry, but was just disproved by Alpoge, Matthew, and Claude Fable 5.

The Jacobian conjecture roughly says that a multivariable polynomial F has an inverse function (made out of polynomials) provided the Jacobian is non-singular (i.e. matrix of partial derivatives has non-zero determinant). This condition is neccessary by the Inverse Function Theorem from multivariable calculus. The hard question is whether it is also sufficient.

Evidently, Fable found that

F(x,y,z) = ((1+xy)^3 z + y^2 (1+xy) (4+3xy), y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy), 2 x - 3 x^2 y - x^3 z)

has det(J_F) = -2 non-zero. However F is not invertible, since F sends three different pts (0, 0, -1/4), (1, -3/2, 13/2), and (-1, 3/2, 13/2) to the same image (-1/4, 0, 0).

Beyond the disproof itself, it would be value to know if a suitably refined conjecture is recoverable. Per @Acer, GPT5.6 has proposed:
"A constant-Jacobian polynomial local biholomorphism with no loss of sheets at infinity—e.g. a proper Keller map—is an automorphism."
I would be interested to know if any algebraists (e.g. @levent @littmath) have a reaction to this...

A further twist to the story:
Not only was the Jacobian conjecture one of the central open problems in algebraic geometry, it was (a special case of) Yitang Zhang's PhD problem!

The catch was that Zhang's advisor had him solve it, assuming a lemma of his advisor. But that lemma turned out to be false! As a result, Zhang's thesis crumbled and he then struggled to get recommendation letters and a permanent academic position. Despite all this, Zhang went on to prove bounded gaps between primes!

This is one of the most inspiring stories in modern mathematics, and was a motivation for me to work in the same area for my doctorate.

[Yoon @nicoscosc]

Walter Benjamin:

“Childhood, knowing no preconceived opinions, has none about life. It is as dearly attached (though with just as strong reservations) to the realm of the dead, where it juts into that of the living, as to life itself.”

(“A Berlin Chronicle,” tr. Jephcott)

[♒️ @xtrasoular]

https://t.co/75GNpEEziR

[Alex Cheema @alexocheema]

Running Kimi K3 on my desk?

It will require 4 x 512GB M3 Ultra Mac Studios (2TB @ 3.2TB/s).

Waiting on active parameter count, but based on the rumours I expect we can run it at 30+ tok/sec with MTP + Tensor Parallelism using RDMA over Thunderbolt 5.

Prefill will be slow but 512GB M5 Ultra should make that ~5x faster (expecting in October).

It will be on local dot ai with full benchmarks as soon as the weights drop. Comment below for early access - sending access codes out throughout the day.

[♒️ @xtrasoular]

https://t.co/ZqOWcHinfO

[Kimi.ai @Kimi_Moonshot]

Introducing Kimi K3: Open Frontier Intelligence

🔹 2.8 Trillion Parameters, 1 Million Context, Native Multimodal
🔹 Kimi Delta Attention enables up to 6.3x faster decoding in million-token contexts
🔹 Attention Residuals deliver ~25% higher training efficiency at <2% additional cost
🔹 Built for long-horizon agentic coding and self-evolving workflows

Kimi K3 is now live on on https://t.co/zrk6zZxZUo, Kimi Work, Kimi Code, and the Kimi API.
Open Weights by July 27, 2026.

🔗 API: https://t.co/XCrgjXAqMw
🔗 Tech blog: https://t.co/YTfiMSNM1f

[♒️ @xtrasoular]

Legends

[UNLIMIT @UNLIMIT_UNL]

WE ARE THE CHAMPIONS!!!!! 🏆
#UNILIMIT #UNLWIN #EWC26

[♒️ @xtrasoular]

https://t.co/6GrqEBlzxp

[Cloudflare @Cloudflare]

We're opening the waitlist for our Monetization Gateway, which will allow you to charge for any web page, dataset, API, or MCP tool behind Cloudflare. The charges will settle in stablecoins over the x402 open protocol. https://t.co/pvICtEIixj

[♒️ @xtrasoular]

https://t.co/Yy9tnuQIK5

[♒️ @xtrasoular]

https://t.co/v0ot0oeGfN

[♒️ @xtrasoular]

https://t.co/mC0uYqd1tt

[♒️ @xtrasoular]

https://t.co/7XCKjKxhWy

[♒️ @xtrasoular]

https://t.co/KgOyr7ZCYO