#aboutlogic - Twitter Hashtag

about 1 month ago

◤実績公開◢ #らぶしっく様日本武道館公演「ハピネスだけで世界中埋め尽くしてやれ！」にて、演出音源制作をTRIFRONTIER RECORDSが担当いたしました！ Atohs Music #Atohs_Music Medansy #medansy0125 テヅカ #aboutlogic SO-YA #0watarase0 M's-ar9 #msar9music #TRIFRONTIER

#らぶしっく

@lovesick_info

about 1 month ago

#らぶしっく 2.5th ANNIVERSARY 日本武道館ワンマンライブ -ハピネスだけで世界中埋め尽くしてやれ！-ご来場ありがとうございました🎡💘 みんなと叶えた夢の舞台 "日本武道館" 今日の時間が本当にいとちでした♡ 次の舞台はぴあアリーナMM✨ 皆さんと一緒に叶えたいです！これからも #らぶしっくは走り続けるよ！！🔥

0

4K

915

241

175K

0

224

13

16

19K

Harmonic

@HarmonicMath

about 2 months ago

From @emilyriehl on the #aboutlogic podcast (w/ @DenizPhiMa): "I much prefer to interact with an autoformalisation agent than a large language model in discussing mathematics, because the large language models will feed you a lot of bullshit ..." "I came up with my own counterexample, and then I asked Harmonic's agent Aristotle to verify it for me in Lean as a kind of extra check that my counterexample was correct. I did not ask a large language model for this, because if they tell me it's correct, that gives me no assurance ..." "Aristotle was able to confirm that it is a valid counterexample."

Deniz Sarikaya @DenizPhiMa

2 months ago

We are very happy that Emily Riehl @emilyriehl joined or little podcast #aboutlogic and talked about higher categories, synthetic mathematics, formalization and much more. https://t.co/j9Vp6M5Dni

DenizPhiMa's tweet photo. We are very happy that Emily Riehl @emilyriehl joined or little podcast #aboutlogic and talked about higher categories, synthetic mathematics, formalization and much more.

https://t.co/j9Vp6M5Dni https://t.co/9g2xl6KqwI

2

22

4

8

49K

7

75

12

25

42K

Deniz Sarikaya @DenizPhiMa

2 months ago

We are very happy that Emily Riehl @emilyriehl joined or little podcast #aboutlogic and talked about higher categories, synthetic mathematics, formalization and much more. https://t.co/j9Vp6M5Dni

2

22

4

8

49K

Top Tweets for #aboutlogic

Last Seen Hashtags on Sotwe

Trends for you

Most Popular Users