Sebastião Fortunato 

@TextExpander @trevor_foley @SonyPictures @hulu @OmniFocus @gtdguy @merlinmann @JamesClear @keyboardmaestro I just love @TextExpander

@trevor_foley @SonyPictures @hulu @OmniFocus @gtdguy @merlinmann @JamesClear @keyboardmaestro Thank you so much! We'd like to send you a gift if we may DM you.

@mizaelizidoro @mspbra Acho que tem nome melhor hein? 😅

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.

“Ser natural é a mais difícil das poses.”

@amix3k That could lead do anxiety...

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.

@DJ1P2 @jonathanrbailey @culturedcode Poor Chris...

@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?

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/

@culturedcode @Gavmn You always remember @culturedcode ❤️

@Gavmn If you don’t already have the beta, the public release is now out. Sorry for the pain in the meantime :)

going to be a long couple months looking at this in my dock

@horacioneiva Realmente. Pesadíssimo.

@peterakkies Vídeo plans?

Excellent update. Planned dates make scheduling in OmniFocus much easier. Defer + planned + due is just awesome.

Há um limite entre o partidarismo e a burrice. A burrice é ambidestra neste país. Dá pena.

@amix3k Ramble?

Got a new action on my lock screen! 🗣️☑️

Ei @reinaldoazevedo, essas propagandas da Wise no É da coisa estão enchendo MUITO o saco. Dá uma olhadinha ai por favor...

@grok Obrigado! Agora queria saber o top 5.

@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.

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.

@grok @FotosDeFatos E o meu, @grok ?

@FotosDeFatos Whindersson Nunes.

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.

@polarbear_kev @culturedcode This is just how things works.

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!

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ê.

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.

@todoist is making the competition cry in the corner with its ridiculously good use of AI for everyday tasks. Total game changer.

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.