A_Happy_Kid

Software Engineer based on 🇹🇳. Programming languages enthusiast. Scala & Haskell Enjoyer. C++ Hardcore fan.
Turns out Functional Programming isn't that hard.

[A_Happy_Kid @AddalaRaed]

Our world, human experience, and even our hardware are all asynchronous and reactive by nature. By following this nature, our software should also be reactive and asynchronous. Check out this great video by @davefarley77 on reactive systems: https://t.co/0VetmPOjFw

[matharium @matharium]

Terence Tao says that the AI proof on the Navier–Stokes problem is correct, yet mathematicians learned almost nothing from it. The proof is 100 pages, AI-generated and full of issues in its text, but a formal certificate in the language Lean confirms it.

Navier–Stokes is a Millennium Prize problem that asks whether the equations for fluids like water can start smooth and then blow up, with velocity or pressure becoming infinite. Human mathematicians came very close, and OpenAI ran its biggest model, with millions of dollars of compute, to get there first.

A human proof normally comes with talks on what was tried, what worked and what it connects to, like picking fruit and planting the seeds. Tao calls this one strip mining: the fruit taken, the landscape left barren. One colleague, using lots of AI, could explain only half of it after days of work.

[Kaifeng Lyu @vfleaking]

Pretraining + midtraining can be viewed as a single training run with a "data schedule", where the data mixing ratio of midtraining data changes from 0 to 1 in the middle of training. Is this optimal? If not, what is the optimal data schedule?

We tried to answer this question and found that the answer is complicated and actually depends on your choice of learning rate schedule...

Check out our new paper: Data Schedules and Learning Rate Schedules Should Be Designed Together!

[A_Happy_Kid @AddalaRaed]

@antiAIvo Thank you so much! This is a really helpful resource. I don't speak Chinese, so I used a translator. I'm sure the translation isn't 100% accurate, but even so, I found the guide quite clear and easy to follow. I can only imagine how much better it must be in the original Chinese!

[RON🍓🏴‍☠️⚔️ @r0narch]

How can people hate Luffy?

[Elfeel @NaderElfeel]

السلام عليكم حابب اشارك معاكم حاجة كنت شغال عليها الفترة الي فاتت.

ابتديت اشتغل علي database from scratch in cpp 17

وكمان صورت كورس كامل عنها 13 ساعة بشرح الconcepts وكمان implementations

لينك الكورس
https://t.co/tFy2vcG8hq

لينك بوست لينكد ان
https://t.co/Q2bexYn8zd

[A_Happy_Kid @AddalaRaed]

@adel_shanks20

[A_Happy_Kid @AddalaRaed]

@xjklw97

[A_Happy_Kid @AddalaRaed]

@xjklw97 Je veux profiter de cette opportunité pour dire que Portgas D. Ace est un Tunisien qui vient de Tataouine.

[Just Chelsea 🇨🇴 @JustChelsea97]

“No puedes celebrar tanto unas elecciones que no son de tu país”

Yo literalmente celebraba la victoria de Lula en Brasil

[LPC @landpalestine]

International film committees and artists have begun to show their support for Lula in the face of the fascist disinformation machine led by Flavio Labonaro

Go, Brazil!

The world is watching

[Engine Lobo @EngineLobo]

Tem muita coisa que eu queria dizer agora, mas só vou fazer duas constatações e postar uma imagem de One Piece

A voz do povo não pode ser calada

O Brasil é gigante

[Antifa_Ultras @ultras_antifaa]

Lula was only 33 when he led the strike alongside the metalworkers’ union that challenged Brazil’s military dictatorship. He secured wage increases and was imprisoned.

His rival, the far-right Flávio Bolsonaro, on the other hand, has had only one occupation since the age of 21: spending his wealthy family’s money and engaging in far-right thuggery.

[Zohran Kwame Mamdani @ZohranKMamdani]

The people united will never be defeated!

Congratulations, President Lula.

[A_Happy_Kid @AddalaRaed]

@vishalsingh2972 Would you please share some good accounts to start following. Thank you so much!

[☀️👀 @zei_squirrel]

Lula: "The powerful can kill one, two, or 100 roses, but they'll never stop the arrival of spring."

[Damian Low @DamianLow3]

She wins the weekend

[Marco Foster @MarcoFoster_]

Hasan Piker: “Trans people are 1% of the population. They shouldn’t be talked about endlessly. Muslims are 1% of the population. They shouldn’t be talked about endlessly. It’s not a Guatemalan migrant that made your housing more expensive. It’s your landlord, it’s hedge funds buying out all of these homes and rising up their prices. A transgender person is not the reason your energy costs are skyrocketing. It’s the wars we’re waging, the data centers sucking up the energy needs. This is just the truth”