日刊ダイジェスト · Hacker News
· 7 ハッカーニュース
OpenAIがPartition Principleが選択公理を含意しないことを証明したと発表したが、集合論研究者のAsaf Karagila氏は、そのプレプリントの品質を厳しく批判。用語の不正確さ、不適切な参考文献、査読なしの講義ノートの引用などを挙げ、このままでは専門誌なら即却下されると指摘。AI企業が数学の基準に合わせるのではなく、数学者がAI企業の基準に合わせるよう圧力を受けていると警鐘…
jevmanは、AIの意思決定能力をPac-Manで評価するオープンソースベンチマークです。モデルは迷路の状態をJSONで受け取り、各交差点で方向を選択。実際のアーケードゴーストと対戦し、100ゲームの平均スコアや生存時間、レイテンシ、コストがリーダーボードで比較されます。HTTPエンドポイントがあれば、ホストモデルでもローカルモデルでも参加可能。CIが全ゲームを再現しスコアを検証するため、結果…
SVG Sparkは、10種類の便利なツールを1つのページに集約した無料のブラウザユーティリティです。SVGからPNG/WebPへのバッチ変換、正規表現ビジュアライザー、ソーシャル画像リサイザー、PDF分割・結合、JSONからCSV/Excelへの変換、SRTクリーナー、UTMリンクビルダー、SQLフォーマッター、コントラストチェッカー、Markdownプレビューアーなど、開発者やマーケター、ク…
Pockettyは、iPhoneとiPad向けのSSHターミナルアプリで、herdrと連携してAIエージェントの状態をリアルタイムに把握できる。エージェントがブロックしたり完了した瞬間に、あなたのコンピュータからHPKEで密封された通知が届き、あなたのiPhoneだけがそれを開ける。通知から直接該当のPaneをSSHで開き、ReturnやEscなどのキーを送信してエージェントを再開できる。さらに…
Edi Life OSは、習慣、目標、Kanban、家計、集中タイマーなど10のワークスペースを1つに統合したセルフホスト型のライフ管理ダッシュボードです。PHPとMySQLで動作し、安価な共有ホスティングでも利用可能。最大の特徴は、26のツールを備えたMCPサーバーを内蔵し、Claude DesktopやClaude CodeなどのAIアシスタントと連携できる点です。自然言語で「目標を作成」「…
コードはかつてない速さで書かれる一方、理解するためのツールは追いついていない。Spinalはコードベースの進化とリアルタイムの変更を超低遅延で把握する新しいサーフェスだ。Linuxカーネルの148万コミット、9万6000ファイルでベンチマークし、最初の検索結果を20ms未満で返す。次に手を伸ばすものを先読みし、注目すべきシグナルを浮かび上がらせる。
Jane Streetの社内メッセージング基盤Ariaは、1日数テラバイトを処理する。インターンのTheodor Totev氏が、トピックパーティション単位のインデックスとブロックプールを導入し、メッセージのサブセット読み取りを効率化。本番環境でCPU使用率を30%削減し、レイテンシも改善した。さらに、トピックのメッセージ量に基づく適応的スプリッティングアルゴリズムを開発し、初期リカバリの遅延を…