3521「リーンを使えばいいのでは？」数学の形式化は Lean 以前から続く長い歴史 AUTOMATH やLCFなど初期のシステムの重要性 Leanの成功と 依存型理論 への批判 Isabelle など他システムの利点と選択理由 AIや今...184日前|原文(lawrencecpaulson.github.io)
3522GitHubに現在問題が発生しています2026年4月20日にGitHubで コードスキャン や プロジェクトボード 関連のサービス障害が発生 シリアライズエラー が根本原因で、プルリクエストや新規Issueの処理に影響 修正デプロイと再イ...184日前|原文(githubstatus.com)
3523オランダ中央銀行、AWSを放棄しリドルを欧州クラウドに選定オランダ中央銀行（DNB）がSchwarz Digitsと契約予定 アメリカ系クラウド依存からヨーロッパ系へ転換を目指す動き Lidlのクラウド基盤Stackitを利用 欧州法下でのデータ主権確保がポ...184日前|原文(techzine.eu)
3524知識労働のシミュラクル表面的な品質 で成果物の良し悪しを判断する現実 LLM（大規模言語モデル） がこの評価手法を崩壊させた問題 知識労働 における代理指標の限界と危険性 実際の価値 ではなく、見た目重視の最適化が進行 G...186日前|原文(blog.happyfellow.dev)
3525GitHub Copilotが使用量に基づく課金に移行しますGitHub Copilotの全プランが 2026年6月1日 から利用量ベース課金へ移行 各プランに GitHub AI Credits が毎月付与、追加購入も可能 利用量は トークン消費量 （入力・...184日前|原文(github.blog)
3526HNを表示: 私が構築したOSSエージェントがGemini-3-flash-previewのTerminalBenchでトップに立ちましたDirac はオープンソースのAIコーディングエージェントで、 高精度・高効率 を実現 Terminal-Bench-2 で65.2%のスコアを記録し、公式・有力モデルを上回る成績 APIコストを平均...184日前|原文(github.com)
3527壁を見つめる男たちSimple Lucas による集中力向上ルーティンの紹介 情報過多が現代人の集中力低下の主因 「壁を見つめる」ことで脳をリセットする手法の実践体験 集中力・生産性の回復に効果を実感 今後も継続予定、...184日前|原文(alexselimov.com)
3528メルコールの4万のAI契約者から盗まれた4TBの音声サンプル2026年4月、Lapsus$によるMercorの大規模情報漏洩で 40,000人分の音声サンプルと身分証明書 が流出。 この漏洩は 音声バイオメトリクスと本人確認書類 がセットで盗まれた点で過去と異...184日前|原文(app.oravys.com)
3529マイクロソフトとOpenAI、独占的かつ収益分配契約を終了JavaScript と Cookie の有効化が必要 ブラウザ設定 の確認推奨 詳細は 利用規約 と Cookieポリシー 参照 関連情報として Microsoft と OpenAI の提携記事紹介...184日前|原文(bloomberg.com)
3530プロンプトAPIPrompt API は、 Gemini Nano を利用してChromeブラウザ内で自然言語処理を実現するAPI。 多様な用途 （AI検索、ニュース分類、コンテンツフィルター等）に活用可能。 対応O...184日前|原文(developer.chrome.com)
3531PgbackrestはもはやメンテナンスされていませんpgBackRest は、PostgreSQL向けの信頼性の高いバックアップ・リストアソリューション。 2024年6月時点で メンテナンス終了 が公式発表。 今後は フォーク時に新名称 を選択する必要...184日前|原文(github.com)
3532TurboQuant: 第一原理による解説本ページは ベクトル量子化 の基礎概念と、その応用技術の要点を解説 8つの重要なアイデアを ミニデモ形式 で紹介 MSE（平均二乗誤差）、 内積、 バイアスと分散 などの数学的基礎 高次元空間 や 量...184日前|原文(arkaung.github.io)
3533何かを作る前に考慮すべき三つの制約創造性 を引き出すための 3つの制約 について解説 ワンページルール で複雑さと曖昧さを排除 コア技術の分離 で長期的な価値を創出 明確な定義制約 でプロダクトの個性を確立 いずれかの制約に 合致しな...186日前|原文(jordanlord.co.uk)
3534北アメリカでの蝶の減少、ウエスタンモナークに焦点を当てて西部のMonarch蝶 の個体数減少と保護活動の現状 農薬・生息地破壊・気候変動 が主な脅威 科学者・ボランティアによる 調査・追跡・回復プロジェクト いくつかの種で 絶滅危機、一部回復例も存在 市民...184日前|原文(smithsonianmag.com)
3535自己更新型スクリーンショットJelly のヘルプセンターでは、 自動スクリーンショット取得システム を構築。 UI変更時も 一括自動更新 で、古い画像問題を解消。 Markdown 内の特殊コメントで、柔軟にスクリーンショット指...185日前|原文(interblah.net)
3536Fast16: スタックスネットの5年前に発生した高精度ソフトウェアサボタージュSentinelLABSが fast16 という2005年製の未公開サイバー破壊フレームワークを発見 fast16.sys は高精度計算ソフトを標的にし、計算結果を改ざん Lua仮想マシンを組み込んだ...184日前|原文(sentinelone.com)
3537クレイPCBチュートリアルスマートデバイスのハードウェアに含まれる コンフリクトミネラル 問題への着目 地元調達素材を使った エシカルハードウェア 開発の実践 フェミニストハッキング の手法を活用した回路基板制作 陶器（ポーセ...185日前|原文(feministhackerspaces.cargo.site)
3538Waymoは、ライダーが自転車レーンでの降車を希望するため、避けることができないと述べています。Waymoの自動運転タクシーがロンドンで運行開始。 自転車レーンへの違法停車問題が浮上し、サイクリスト団体が安全性に懸念を表明。 米国ではWaymo車両による「ドアリング」事故で訴訟も発生。 ロンドン...185日前|原文(road.cc)
3539サウェが競技会で2時間を切るマラソンを達成した初のアスリートに2026年ロンドンマラソンで Sabastian Sawe が史上初の 公式サブ2時間 マラソンを達成 Yomif Kejelcha もデビュー戦でサブ2時間を記録、2位入賞 女子は Tigst As...184日前|原文(bbc.com)
3540AIはあなたの思考を高めるべきであり、置き換えるべきではないAI活用 によるエンジニアの分化が進行中 価値あるエンジニア はAIを理解しつつ活用 思考の外部委託 は長期的なリスク 初期キャリア ほどAI依存の弊害が大きい 組織の 健全性維持 にはリーダーシップ...184日前|原文(koshyjohn.com)