16年間、誰も踏まなかった処理順序。寄稿者が気になっている話題をシェアする企画「も読」。今回はmaguro（@yusuktan）さんが、TailscaleがSQLiteで突き止めた16年越しのWALバグを起点に、TLA+でその処理順序を再現したCanonicalの検証、Quintで見つかったcelldの二重writerバグを取り上げ、AI時代の形式手法を考えます。
今回の「エンジニアの“やらないこと”リスト」はMicrosoft MVP・GitHub Starsに選ばれたMakiさん。業務時間外の勉強がつらい、文系出身だから無理、コミュニティは怖い。そう思っていたMakiさんが、技術を「勉強するもの」だと思うのをやめるまでのお話です。
「AIで分析できる」派と「まだ任せられない」派、噛み合わない理由とは。寄稿者が気になっている話題をシェアする企画「も読」。今回は宮﨑一輝（@ikki_mz）さんが、JDSCの記事を題材に「分析」を5段階に整理し、AIがどこまで代替できるのか、そして人間に残る「整える仕事」の価値を考えます。
.png&w=3840&q=75)
.png&w=3840&q=75)
.png&w=3840&q=75)
