Top Tweets for #proofsummit
Leanで証明を書いているときに
VSCodeのテキストペインにTabを送りたいときと
Copilotの補完機能にTabを送りたいときを
「ペダルで切り替えたい」
って言ってる人がいて面白かった。
コーディング中にペダルを踏むという発想。
#ProofSummit
#ProofSummit たいへん楽しかったです 運営ありがとうございました
JupyterNotebookのカーネル、Lean4あった。
https://t.co/XGgobgqxzg
https://t.co/iJ16YqUqGe
#ProofSummit
https://t.co/un5tLZfTMF
こんなのあんだなー
#ProofSummit
ocamlのウェブフレームワークでDreamっていうやつを教えてもらった。https://t.co/HnxVj8t5vJ
#ProofSummit
「計算機科学の正規表現とソフトウェアとしてのそれはだいぶ違うもの」
#proofsummit
「定理を証明するためのいい感じの補題を設定することを abductive reasoning と呼ぶ」
#proofsummit
定理証明器、何にも分からんけど、思ったより楽しく聞けてる。こっち方面、10年ぶりぐらいだけど、来て良かった。 #ProofSummit
#ProofSummit
に参加中。
発表内容に関係ないけど、
conceptual mathematics の演習問題の証明を以前に Agda で書いた
https://t.co/ECJyFFX3JS
#ProofSummit 常微分方程式を含むシステム、いったいどんなシステムなんだ
#ProofSummit 証明補完、役に立つ機会が少ないとのこと。3~5割使えればいいと。
エージェントモードで丸投げしてどこまで証明できるかとか気になるな。Vibe Proofing。 #ProofSummit
#ProofSummit AWSの非同期処理の検証にもTLA+が使われてるものもあるとのこと。AWSのIAMロールの動作にはLeanで証明がついてるとこの前聞いたし、Amazonって検証・証明にめっちゃコスト払ってるんだな。
ノベルゲームのシナリオから自動でモデル作ってLTSAで検証(デッドロックがないとか)できるのは昔作った。
https://t.co/vQHQ0tiA4n
#ProofSummit
「飛行機が落ちないのは徹底的に同期システムでくんでいるから」 #ProofSummit
#ProofSummit 凡例のDSLをclaude sonnetとかに食わせると見やすい図を作ってくれる、AIのいい使い方だ!
「圏論を知ってるならHaskellをやらなきゃと思って始めました」
#ProofSummit
Last Seen Hashtags on Sotwe
Most Popular Users

Elon Musk 
@elonmusk
240.4M followers

Barack Obama 
@barackobama
119.3M followers

Donald J. Trump 
@realdonaldtrump
111.7M followers

Cristiano Ronaldo 
@cristiano
110M followers

Narendra Modi 
@narendramodi
107M followers

Rihanna 
@rihanna
97.5M followers

NASA 
@nasa
92.1M followers

Justin Bieber 
@justinbieber
90.8M followers

KATY PERRY 
@katyperry
87.3M followers

Taylor Swift 
@taylorswift13
81.2M followers

Lady Gaga 
@ladygaga
72.7M followers

Kim Kardashian 
@kimkardashian
69.6M followers

Virat Kohli 
@imvkohli
69.4M followers

YouTube 
@youtube
68.6M followers

Bill Gates 
@billgates
63.7M followers

The Ellen Show
@theellenshow
62.5M followers

Neymar Jr 
@neymarjr
62.1M followers

CNN 
@cnn
61.9M followers

X 
@x
60.9M followers

Selena Gomez 
@selenagomez
60.4M followers






