typhoon is coming again and they can led my flight to Chiang Mai 🥲

Another day want an A7C2

omg there is a word called mansplain lol So funny 🤣

A pics worths thousands words #foodstr

@Vitor Pamplona does amethyst send all my messages to google to auto translate ? 🥲please tell me no

book recommendation is always the best 😍 View quoted note →

🫣 View quoted note →

onboarding another friend to #nostr today. Got three questions 1’ are dm private? Me: there are three version balabalablaba ok just watch this YouTube 2’ “setup an ln address and post something so I can zap you!” “I even don’t know what is ln address! Lightning should be an invoice! It’s a public/private key system. Not DNS!” 3’ so buggy, so nostr 🫣🫣🫣 Well I’m more bullish though 🫣🫣 #introductions

DVM! But also all product levels innovations could happened on nostr again Distributed training will be a waste of time and energy imo 😶‍🌫️ View quoted note →

Great to see so many bitcoin cohort and conference happening or will be happening at Thaïland, Indonesia, Seoul, Japan, hk etc 🫣 We need more devs definitely

my Chinese level sucks now Damnnnnnnn now I’m not good at all languages

#math #plebchain I really like Terence Tao. Especially during this LLM hyper, his attitude has been very objective and neutral - not overhyping or dismissing it, but just quietly doing various experiments. So I trust his judgment a lot. I watched this video from his presentation at international math olympiad competition about AI and mathematics, and a few points that impress me a lot: GPT-4 claiming to solve IMO problems is a cherry-picked example: First, what was fed to GPT wasn't the original problem, but a simplified version (to make it easier for GPT to understand). Second, out of several hundred IMO-level problems tested, the success rate was only about 1%. In other words, GPT doesn't yet have the ability to solve IMO-level math problems. In 1976, the Four Color Theorem was the first major theorem proved with computer assistance. In 1996, a truly computer-verifiable proof was made. In 2005, a fully formalized proof was made using the Coq proof assistant. AI will become very good at generating good conjectures, expanding mathematical research to an unprecedented scale. This is a bit off-topic, but I noticed that Terence Tao is more of a research type and not particularly skilled at public speaking. He spent the whole time either looking at slides or the floor, speaking directly and plainly, without vocal inflections or performative elements. I actually find it quite cute, haha! (ps: i post this from coracle again, after a while! it feels good!)