Tootfinder

Sources: Nvidia is in advanced talks to acquire Tel Aviv-based AI21, which is building its own LLMs, for $2B to $3B; the deal would resemble an acquihire (CTech)
https://www.calcalistech.com/ctechnews/article/rkbh00xnzl

Nvidia in advanced talks to acquire AI21 in $2-3 billion deal focused on talent
EXCLUSIVE: The move would mark Nvidia’s fourth major Israeli purchase and signal the limits of Israel’s LLM ambitions.

Los penquistas De Saloon se adelantaron a los lanzamientos de los viernes y publicaron ayer miércoles su nuevo disco de estudio. Es el primero en mšs de 10 años. Se llama «El Sonido del Misterio».
https://album.link/s/7mH8exw4lH8DQKkgw90HRz

♫ Top 5 artists of the Last.week: Dolly Parton (1) Frank Sinatra (1) Leona Lewis (1) Michael Bublé (1) Stevie Wonder (1). #myweekcounted 7 Scrobbles with Lastfm #music via @…

EU leaders delay Ukraine loan using Russian assets, task commission with working out legal route: https://benborges.xyz/2025/10/23/eu-leaders-delay-ukraine-loan.html

Moody Urbanity - Everyone 👹
情绪化城市 - 每个人 👹
📷 Pentax MX
🎞️ Orwo Wolfen P400
#filmphotography #Photography #blackandwhite

In a tense meeting at the White House on Friday,
Trump tossed aside maps of the front line,
and urged Kyiv to concede its entire Donbas region to Russia to clinch a deal
Ukrainian President Volodymyr Zelensky is rallying the support of his European partners
after the bruising meeting with Trump,
in which he was told to make concessions to end the war or risk facing destruction at the hands of Russia.


After tense Trump meeting, Zelensky seeks European support
In an often fraught encounter, Trump told Zelensky to accept Putin’s latest deal or face destruction at Russian hands, according to those familiar with events.

OMG ¿Qué clase de señal divina es esta? 😱
#31Minutos

IEEE Spectrum writer Dina Genkina compiles this list of top computing stories from 2025. The list includes subjects ranging from the year's top programming languages, to data centers on the Moon.
"The Top 8 Computing Stories of 2025"
https://spectrum.ieee.org/top-computin

I formalized my first very simple lemma in #leanprover:
A binomial is a polynomial with at most two monomials. If you multiply a monomial with a binomial you get a binomial. This is the distributive law and the fact that monomial times monomial is a monomial.
I used llm help and I don't understand everything written, but this is how I proved it in lean. Now off to the races!
(Lana Del Rey goes well with Lean-ing...)

♫ Top 5 artists of the Last.week: Dolly Parton (1) Frank Sinatra (1) Leona Lewis (1) Michael Bublé (1) Stevie Wonder (1). #myweekcounted 7 Scrobbles with Lastfm #music via @…