形式手法特論：コンパイラの「正しさ」は証明できるか？ #burikaigi / BuriKaigi 2026
BuriKaigi 2026 で使用したスライドです。 本セッションでは、定理証明支援系 Lean を用いたコンパイラの実装技法を解説します。ただしこれは本質的にはコンパイラのトークではありません。頭の痛い複雑なロジックや、うんざりするほど多様な入力データと戦っている、すべてのソフトウェアエンジニ…
一人焼肉店で若い男性が「タイミーです」と現れ、店長が「あれもこれもできるの？ホールも？頼りになる、でも2時間で帰るのか」と大絶賛。清潔感あってテキパキ働く好青年で、店長の褒め上手ぶりが印象的だった。タイミーは時々非常に頼れる人が来るが、常用する職場は要注意との意見もある。
はじめに Googleで長年 Chrome に携わり、現在は Google Cloud AI でディレクターを務める Addy Osmani（アディ・オスマニ）氏が、14年間の経験から学んだ教訓をまとめた 『21 Lessons From 14 Years at Google』 がとても面白かったので、個人的な解釈を交えながらまとめてみました。 オスマニ氏は、O'Reilly などで多...
そーだいさんはきっと怒っている。 と思ってましたが、実はそーだいさんは全く怒っていませんでした。 adventar.org このブログでは「そーだいさん」という上司と、私の気づき・学びを文章に残します。 そーだいなる Advent Calendar 2025 9日目の記事です（今日は2026-01-09です！）。 そーだいさんはきっと怒っている ...
2025年12月、Firefoxの構築チームを率いてきたアンソニー・エンゾー＝デメオ氏がMozillaの新CEOに就任し、AIを中核とした世界で最も信頼されるソフトウェア企業となるという方針を示しました。この方針に、Firefoxのフォーク「Waterfox」を生み出したアレックス・コントス氏が「根本的に信頼できない技術を追い求めてい...
BuriKaigi 2026
昨今システム業界でAIへの怨嗟の声は大きいが 私のような下級土方システムエンジニアにとって恩恵はかなり大きい そろそろ上司が戻ってくるので あまり書けないが、最大の恩恵は会議の自動ログだ。 ここらへんはAIでやっているのかはわからないが、 ここにGeminiと組み合わせると 会議ログからの内容から ・私へと割り当...
前から生成AIを活かしたアプリ開発をしたいなぁと思ってたんだけど、ついに1つ完成。 2025年に何とか間に合った。 その名もTitanium。 ただ今回ほとんどコードは書いておらず、ほぼGoogle Antigravity→GPT-5.2 codexが書いている。 どんなアプリ？ Googleログイン後に僕がアカウントを手動承認しないと使えないので、ロ...
家電や住宅設備が突然壊れたとき、真っ先に頭をよぎるのが「修理費はいくらかかるのか」という不安ではないでしょうか。 給湯器やIH、エアコン、冷蔵庫、洗濯機といった生活必需品は、故障＝数万円〜十数万円の出費になるケースも珍しくありません。 そんな中、資料を読み込んで率直に「これは安すぎないか」と感じたの...
この記事は GENDA Advent Calendar 2025 - シリーズ 2 - 4日目の記事です。 はじめに - デフォルト設定の課題 anthropics/claude-code-action は GitHub Actions で手軽に AI コードレビューを導入できます。 レビュー自動化によるレビュアーの負荷軽減と、 Claude Code から /install-github-app コマンド一つで導入で...
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
[ニューヨーク ９日 ロイター BREAKINGVIEWS] - 投資家の振り子は、社会的理念を重視する姿勢から今や明確に反社会的な行動を容認する姿勢に振れてしまった。米実業家イーロン・マスク氏が率いる人工知能（ＡＩ）企業ｘＡＩは、開発した対話型ＡＩの「Ｇｒｏｋ（グロック）」が提供する性的なディープフェイクに対して...
ログイン