Sonneko@本気コンパイラ開発（受験勉強中）

GoのコンパイラはGoで書かれてるらしいけど、どうなってんのそれ？😳

C++やRustよりも高速に動作しメモリ使用量も少ないプログラミング言語「Goose」

【お知らせ】 明日開催される，第16回 #科学の甲子園 大阪予選に，大阪星光学院高等学校の代表として，Aoristosからはα Canis Majoris(@Sirius_0_Empire)，sodpion(@sodpion)が参加します． 先代に続いて2連覇できるかどうかはわかりませんが，全力を尽くしたいと思います．

there’s been an update

Anthropicが「バグが起きないことを数学的に証明するAI」を発表 従来、プログラムの安全性は「大量にテストして、バグを見つける」という方法で確認してきた。 でも、100万回テストして問題がなくても、100万1回目にバグが見つかる可能性はある。 今回Anthropicが発表したのは、Claudeを使って「特定の条件下では、どんな入力でもバグが起きない」ことを数学的に証明する技術。 これを「形式検証（Formal Verification）」という。 実際にClaudeは、 ① 123種類のオープンソースライブラリを検証 ② 検証中に発見したバグを自動修正 ③ 239のテスト対象について、一定の条件下でクラッシュしないことを数学的に証明 しかも、何兆回ものテストでも見逃されていたバグまで発見した。 Claudeが数学的な証明を作成し、別の専用ソフト（Rocq）がその証明の正しさをチェックする。 つまり、AI自身の判断を鵜呑みにせず、数学的な裏付けを取れる。 もちろん、あらゆるバグがなくなるわけではなく、今回の証明には入力サイズや実行環境などの条件がある。 それでも、これまで専門家が膨大な時間をかけていた作業をAIで大規模に実現した意義は大きい。

『万年筆を再入門！〜安物を筆圧で柔らかくする〜』

【お知らせ】 本日発売のまんがタイムきらら10月号にて漫画をゲスト掲載していただきました！ 女の子達が電子工作をするお話になっています！ 連載を目指しているので、アンケート(webでできます！)や拡散で応援していただけると嬉しいです！