Keep on to blur preview images; turn off to show them clearly
RT @SakanaAILabs: AI基本計画案が高市総理から示されました。Sakana AI 創業者COOの伊藤錬も専門調査会の委員として議論に参加させていただきました。 https://t.co/o5So08TICo 高市総理からは、信頼できるAIを創る官民投資を力強…
Building @SakanaAILabs 🧠
RT @chunxiangai: https://t.co/bqPdTVxvwd 始于和王慧文先生的一次微信聊天。聊完后，实在气不过的我，把他给删了。…
Prompt Engineer, dedicated to learning and disseminating knowledge about AI, software engineering, and engineering management.
failed tonight. wife was asleep on my chest. i nearly ruptured my ear drums holding my nose and mouth closed trying to contain it. but alas my entire body convulsed.
✨ dabbler 🪀 @SuperFanToys 🎨 @habitisdead
RT @ElliotGlazer: Most of the results bounding the strength of Agda and constructive MLTT come from Michael Rathjen. See https://t.co/tOM3z…
Root node of the web of threads: https://t.co/ifH80GcLpo
RT @ElliotGlazer: As mentioned here, Rocq and Lean are based on CIC, which is known to be well above Zermelo set theory but it's unknown if…
Root node of the web of threads: https://t.co/ifH80GcLpo
RT @jessepollak: featuring @avantisfi, @CatTownBase, @joinbond, @ripsapp, @trylimitless, @tryEmerge, @BrackyHQ, and so many others get af…
Building @joinbond | prev @a16zcrypto | programmer | magician