日刊ダイジェスト · Hacker News
· 11 ハッカーニュース
日本の住宅では、来客の靴を玄関の向きに揃えるのが礼儀とされていますが、金沢市消防局は、救急隊員が脱いだ靴を並べ替えないよう呼びかけています。隊員は役割に応じて靴の向きを決めており、それを変えられると履くのに時間がかかり、患者の搬送が最大30秒遅れる可能性があるといいます。消防士の山下大輔さんは「親切心はありがたいが、緊急時には患者のマイナンバーカードなどを準備してほしい」と話しています。この呼び…
AIコーディングエージェントが過剰なコードを書く問題を解決する「Ponytail」は、Claude Codeなどのエージェントに「最小限のコードで動作する」ルールを適用するプラグインです。YAGNI原則に基づく7段階のラダーで、標準ライブラリや既存コードの再利用を優先し、不要な依存を避けます。ベンチマークではコード量54%削減、トークン22%削減、コスト20%削減、速度27%向上を達成しつつ、安…
フライブルク大学医療センターとカリフォルニア大学サンディエゴ校の研究チームが、48人の健康な成人を対象に、ビーガン食と肉中心の食事がDNAのエピジェネティックな変化に与える影響を調査。約80万の遺伝子領域のメチル化を解析した結果、ビーガン群では炎症反応や細胞成長、生物学的老化に関わるシグナル伝達経路に変化が見られた。mTOR経路の活性低下や、インスリン作用・細胞修復・ストレス応答に関わる経路の活…
ClaudeがLeanでフェルマーの最終定理の証明を形式化した同じ週に、AI支援によって「球面ハドヴィガー予想」が証明されたとする論文が発表された。この予想は1974年から未解決だったもので、著者らはOpenAI Codexを証明の詳細の開発やギャップの発見に使用したと述べている。数学者の仕事はAIによる影響を最も受けるとされていたが、その時がついに来たのかもしれない。本稿では、純粋数学がすでに…
ARM64ベアメタルハイパーバイザー開発中に発生した謎のフリーズの原因を追うデバッグ記録。CTR_EL0インターセプトを有効にするとランダムにシステムがロックアップする現象を、バイナリバイセクションやアセンブリ比較などの手法で切り分けていくと、最終的に分岐予測の誤予測が原因である可能性にたどり着く。
小説の退屈さは欠点ではなく、物語が読者を引き込むための仕掛けかもしれない。本記事は、『不思議の国のアリス』のルイス・キャロルや現代文学の例を挙げながら、退屈な場面が後に効いてくる「伏線」として機能することを論じる。読者は退屈さを乗り越えた先に、物語の深みや驚きを発見する。文学の退屈さを再評価する視点を提供する。
MathKernelは、LLMが数学的意図の解釈に集中し、計算と証拠の記録を専門エンジンに委ねるためのPythonライブラリおよびMCPサーバーです。SymPy、Z3、Lean、mpmathなど複数のエンジンを統合し、各結果に信頼レベル（EXACT、SYMBOLIC、CERTIFIED NUMERIC、FORMALなど）と導出過程のトレイルを付与します。これにより、近似入力の祖先が暗黙のうちに消…
GET Together は、すべての操作をHTTPのGETリクエストで行う、実験的なソーシャルネットワークです。投稿、返信、ハート、削除がすべてGETで完結し、シンプルで透明性の高い設計が特徴です。名前は2〜20文字で、クッキーは任意。投稿の削除にはサーバーが発行するクッキーを保存しておくだけでOK。モデレーションは英語の不適切表現や暗号通貨関連を自動チェックし、プライバシーに配慮しつつ、公開…
マーケットメーカーは、スプレッドで利益を得る代わりに、情報を持つトレーダーに「逆選択」されるリスクを負う。本稿では、逆選択の概念と、それを測定するための「マークアウト」について解説する。具体例として、BTCUSDの無期限先物を扱うマーケットメーカーが、価格変動に対してどのようにヘッジするか（他の取引所でのクロスヘッジなど）を説明し、情報を持つフローがどのようにしてマーケットメーカーの損失を引き起…
Hard-Chatは、ブラウザ上で動作するエンドツーエンド暗号化P2Pチャットです。サーバーやアカウント、履歴の保存が一切なく、タブを閉じれば痕跡は残りません。AES-GCM 256-bit暗号化とPBKDF2による鍵導出を採用し、WebRTCで直接端末間接続を行います。Room Key（100文字）を共有するだけで利用でき、パニックパージ機能で即座にデータを消去可能。ただし、IPアドレスなどの…
映画評論家ポール・キーンは、その高圧的な態度や気まぐれな評価で知られ、しばしば「道徳的バカ」とさえ呼ばれた。しかし没後25年、彼女の全作品を振り返ると、彼女が書いていたのは映画評ではなく、映画を「機会」として綴った自伝だったことが明らかになる。本稿は、キーンの作品がアメリカ人の世代の感情の複雑さを捉えた「単一の長い自伝」であると論じ、彼女をカール・オーヴェ・クナウスゴールと比較する。