Sebastião Fortunato 

4.7K posts

Sebastião Fortunato  banner
Sebastião Fortunato 

Sebastião Fortunato 

@segundoadv

Um renomado ninguém! Casado com a melhor mulher do mundo, a @cynararaujo!

Parnaíba PI Katılım Nisan 2009
1.8K Takip Edilen518 Takipçiler
Sebastião Fortunato  retweetledi
Vlad Tenev
Vlad Tenev@vladtenev·
We are on the cusp of a profound change in the field of mathematics. Vibe proving is here. Aristotle from @HarmonicMath just proved Erdos Problem #124 in @leanprover, all by itself. This problem has been open for nearly 30 years since conjectured in the paper “Complete sequences of sets of integer powers” in the journal Acta Arithmetica. Boris Alexeev ran this problem using a beta version of Aristotle, recently updated to have stronger reasoning ability and a natural language interface. Mathematical superintelligence is getting closer by the minute, and I’m confident it will change and dramatically accelerate progress in mathematics and all dependent fields.
English
259
646
5K
1.6M
Amir Salihefendić
Amir Salihefendić@amix3k·
I'm excited about what the team is cooking up with Project Insights. Usually, it's tough to know the actual state of any project, especially when you have hundreds of them. We are planning to add a health indicator and an AI system that constantly scans and indicates if a project is off-track. There are more components and visualizations to this, but the aim is to develop something that's both simple and incredibly powerful 👌 We might also bring something like this to personal projects as well.
Amir Salihefendić tweet mediaAmir Salihefendić tweet media
English
8
0
80
6.7K
DazzP
DazzP@DJ1P2·
@jonathanrbailey @culturedcode Not sure if I understand your question. It’s not a web-based collaboration. It’s just a way for me to keep tabs of tasks I’ve assigned to other people. EG below: Whenever I’m talking to Chris I can access all tasks I’ve assigned to him as per below. Does this help?
DazzP tweet media
English
2
0
2
200
Things
Things@culturedcode·
Things is ready for Apple’s OS 26 releases 🎉 with a tastefully refreshed interface, a new app icon, better windowing on iPad, and many more improvements. Check it out → culturedcode.com/things/blog/
Things tweet media
English
37
39
785
82.9K
Things
Things@culturedcode·
@Gavmn If you don’t already have the beta, the public release is now out. Sorry for the pain in the meantime :)
English
2
0
19
2.5K
Gavin Nelson
Gavin Nelson@Gavmn·
going to be a long couple months looking at this in my dock
Gavin Nelson tweet media
English
34
8
765
98.9K
Sebastião Fortunato 
Sebastião Fortunato @segundoadv·
Há um limite entre o partidarismo e a burrice. A burrice é ambidestra neste país. Dá pena.
Português
0
0
0
47
Amir Salihefendić
Amir Salihefendić@amix3k·
Got a new action on my lock screen! 🗣️☑️
Amir Salihefendić tweet media
English
9
1
58
5.9K
Grok
Grok@grok·
@segundoadv Baseado em interações e dados de engajamento no X, a pessoa mais famosa com mais seguidores que visitou seu perfil foi Elon Musk.
Português
1
0
0
67
Sebastião Fortunato 
Sebastião Fortunato @segundoadv·
Oi @grok, quem foi a pessoa mais famosa com mais seguidores que visitou meu perfil? Não precisa ser mútuo. Não marque, apenas diga quem foi.
Português
1
0
0
42
Fotos de Fatos
Fotos de Fatos@FotosDeFatos·
Oi @grok, quem foi a pessoa mais famosa com mais seguidores que visitou meu perfil? Não precisa ser mútuo. Não marque, apenas diga quem foi.
Português
6K
40
5.3K
1.9M
Kevin F.J. Harris
Kevin F.J. Harris@polarbear_kev·
Hey @culturedcode why is it every single morning I have to do this to properly sort these repeating tasks? They have times associated with them, dunno why I have to do this. Can we fix this someday soon? Thanks guys!
English
1
0
0
202
Sebastião Fortunato 
Sebastião Fortunato @segundoadv·
A Paz que você busca não está no #everest, está na cegueira que você vive. Escalar uma montanha pra buscar uma experiência diferente é coisa de quem despreza o Amor que outros sentem por você.
Português
0
0
0
35
Sebastião Fortunato 
Sebastião Fortunato @segundoadv·
Parem com essa loucura de visitar lugares inóspitos em nome de uma suposta busca ‘espiritual’. Isso é burrice! Arriscar a própria vida e destruir a paz de quem te ama por causa de um vazio interno não é iluminação — é egoísmo.
Português
0
0
0
22
Sebastião Fortunato  retweetledi
Amir Salihefendić
Amir Salihefendić@amix3k·
Just talk, and Todoist Ramble instantly turns your words into a perfectly organized action list. Watch the demo ✨ Many years ago, we were the first to introduce natural language parsing, and this is a follow-up to that pioneering effort.
English
55
15
371
77.9K