Sources: Atticus, a stealthy stablecoin banking startup, is in advanced talks to raise new funding led by Palmer Luckey at a valuation of between $1.5B and $2B (Axios)
https://www.axios.com/pro/all-deals/2025/05/30/andurils-palmer-…
Noch in Bayern. Muss ich ausnutzen.
#gmiatlichRadln #rausgeschafft
"During his time at IBM, he wrote some of the first artificial intelligence software—his "geometry theorem machine" was the first advanced AI program, and the third AI program ever. It is a logical AI system that can prove theorems in planar geometry about parallel lines, congruence, and equality and inequality of segments and angles. Like Logic Theorist, it uses heuristics."
EILMELDUNG
Brückenbauexperte fordert keine Denkverbote beim Neubau der #Carolabrücke!
htt…
from my link log —
Parametric subtyping for structural parametric polymorphism.
https://blog.sigplan.org/2025/01/29/parametric-subtyping-for-structural-parametric-polymorphism/
saved 2025-02-02
Today's solar activity - #Sun
"Hard to believe, but it has been already almost 20 years since the days when Apple plastered the halls of its Worldwide Developer Conference (WWDC) with huge posters proclaiming “Redmond, start your photocopiers” or “Mac OS X Leopard: Hasta la vista, Vista”. The decade of the 2000s, coinciding with Steve Ballmer’s tenure as CEO, is widely perceived as a lost one for Microsoft, and one of the most visible signs of that decline was, without a doubt, the “Longhorn” saga."
This https://arxiv.org/abs/2408.03431 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…
ZDF Sendung #Lanz ist heute wieder gescheitert: am Thema DebattenKultur und den Gästen. Die eigentlich brillante Maren Urner verrennt sich im dozieren, Ulf Poschardt in seiner Arroganz und Renate Künast in ihren Beispielen. Nur Boris Palmer habe ich heute zum ersten Mal verstanden.
Aggregation of vortex structures in 2D: the blob-wave system and its role in zonal flows
Franco Flandoli, Matteo Palmieri, Milo Viviani
https://arxiv.org/abs/2505.22700