George Mich

Software Engineer. Tech, politics and music nerd.

[Nikhil saini @iNikhilsaini]

These visuals from the floods in Rasuwa, Nepal are absolutely horrific. The scale of the destruction looks unreal, almost like a scene from a disaster movie.The entire Himalayan belt needs to seriously work on better early warning systems for such flash floods. Prayers for everyone affected. 🙏

[Paul Dix @pauldix]

I think the release of Bun 1.4 marks the end of programming as we know it. Anthropic and OpenAI developers live in the near future and if we pay attention, it's what's coming for the rest of us by next year: https://t.co/zD9ZDfhVAV

[liam cunningham @liamcunningham1]

Israeli defence minister Katz has issued a decree to execute any child flying a kite.
Don’t forget to remain silent about this!

Silence is complicity.
Silence is taking the side of the psychopaths.
Silence is taking the side of those committing genocide.

[Tom Morello @tmorello]

This is big

[Jeremy Corbyn @jeremycorbyn]

Israel has said that paper kites flown by Palestinian children will be treated as weapons of war.

Read that again.

This is the reality of genocide: the total destruction of innocence, freedom and joy.

End all military cooperation with Israel, now.

[Mohamad Safa @mhdksafa]

Israel is the only country in the world that can bomb 9 countries and invade 3 neighboring countries in one year; kill 100,000 people—including 25,000 children—in 1,000 days; displace nearly 6 million people in 3 countries; starve 2 million people in Gaza; violate Geneva and Vienna Conventions, international law, human rights, and state sovereignty; kidnap, rape and torture children and women; shoot, imprison and murdering; and still be perceived as the victim.

[I ❤️ Snooker @ILoveSnooker_]

The most outrageous shot in the history of snooker?

[NetworkChuck @NetworkChuck]

I think I'm finally making the switch.....and I think you should too. (@dhh convinced me)

-----> this....just might be....the YEAR OF THE LINUX DESKTOP!!

🚨 NEW VIDEO (LINK BELOW) 🚨

[DHH @dhh]

THE ANNOUNCEMENT: We’re going to make the prophecy of The Year of Linux on the Desktop come true. All the pieces are now in place. Time to go all in! https://t.co/zuf5h9ClWX

[Bart Mol @Bart_Mol]

Me explaining AI to friends

[Evan Fournier @EvanFourmizz]

Kalimeraaaa
If yall dont like these jerseys I dont know what to tell you lol

[DHH @dhh]

Omarchy Quattro is out!! This is one of the greatest software releases in my professional career. I hope you enjoy using it just as much as I did building it ✌️ https://t.co/81wLStgH7P

[Margarita @Margaritajh9a]

Clip of the year 🤯

[demetra @nodirectflight]

Γιγαντώνουν το ναρκισσισμό όσων πάνε για θεραπεία. Το μόνο που μετρά είναι «να περνούν καλά», οι άλλοι είναι τοξικοί κ να κόψουν κάθε επαφή με όποιον τους «χαλάει». Άλλωστε η αυτογνωσία είναι δύσκολη κ ο πελάτης έχει πάντα δίκιο. Διαλύουν οικογένειες, φιλίες, κοινωνικές σχέσεις.

[Valerio Capraro @ValerioCapraro]

I think this is the most important concept to understand right now: LLMs can’t jump.

OpenAI says an internal version of Astra, its next major model, has solved ten major open problems in mathematics and theoretical computer science.

This is extraordinary.
And I don’t use this word lightly.

During my PhD in mathematics, I worked on a problem closely related to Gromov’s conjecture. For decades, constructing a non-sofic group—an infinite group whose finite pieces cannot be approximated by finite groups—was a dream shared by many of us.

Now Astra appears to have done it.

This is not a toy result. This is serious mathematics.

But it is not “the most significant day in the history of mathematics”, as some have claimed.

This claim confuses scale with kind.

Astra has solved difficult problems inside existing conceptual worlds.

Calculus, topology, and scheme theory created new conceptual worlds.

They did not merely answer questions. They changed which questions mathematics could ask.

Induction finds patterns. LLMs are extraordinary at it.

Deduction follows implications. Using symbolic AI tools, LLMs are becoming formidable at traversing chains of logic that humans missed, abandoned, or could never afford to search.

But abduction is different.

Abduction invents the right concept, the right representation, the right question.

That is the jump.

Current LLMs can fill the gaps of knowledge left by humans.

But they can’t jump beyond the external boundary of existing knowledge.

*
Full paper in the first reply

[Kerry Burgess @KerryBurgess]

Brilliant from Marandi.

[UEFA @UEFA]

Statement on behalf of UEFA and its 55 National AssociationStatement on behalf of UEFA and its 55 National AssociationStatement on behalf of UEFA and its 55 National AssociationStatement on behalf of UEFA and its 55 National Associations

[Olympiacos B.C. @Olympiacos_BC]

🥇🤽‍♂️ Συγχαρητήρια στην Εθνική Ομάδα Πόλο για την κατάκτηση του World Cup και τη δικαίωση όλων αυτών των χρόνων!

🇬🇷 ��ας κάνατε υπερήφανους!

#OlympiacosBC

[Ηellenic Olympic Committee @HellenicOlympic]

👉 Η ��λλαδάρα στην κορυφή του κόσμου!
🏆 Η Εθνική Πόλο με την γκολάρα του Στέλιου Αργυρόπουλου 12 δευτερόλεπτα πριν το τέλος νίκησε την Ουγγαρία με 15-14 και κατέκτησε το World Cup.
🥇 Είναι το πρώτο χρυσό για την Εθνική πόλο των ανδρών σε κορυφαία διεθνή διοργάνωση.

[el sombrero @sombrerogr]

Πρωταθλήτρια Ευρώπης
38 αγώνες αήττητη
Πρωταθλήτρια κόσμου

H ασταμάτητη εθνική Ισπανίας