日刊ダイジェスト · Hacker News
· 73 ハッカーニュース
OpenCodeは、昨夜発生したセキュリティ侵害により、OpenCode Console利用者の1.4%の認証情報が流出したと発表した。影響を受けた全ユーザーには今朝メールで通知済み。事態は現在も進行中で詳細は明かせないとしつつ、Anthropic、OpenAI、Googleと協力して対応にあたっているという。
DeepSeek-V4.1-Flashの小規模アップデート版。推論・コーディング・エージェントタスク・視覚ベンチマークで大幅に改善しつつ、実行時間と出力長を削減して低コスト化を実現した。Terminal-Bench 4.0は31.2から42.3へ、ProgramBenchは20.3から29.1へと伸び、複数のエージェントハーネスで性能とコストのパレートフロンティアを前進させている。コンテキスト長…
DeepSeek V4.1 Flash 1017は、552Bパラメータのバックボーンから入力時8B・出力時16Bのみを活性化するスパースMoEモデルで、同社のCausal Encoder-Decoder（CED）アーキテクチャを初めて採用した。画像理解をアーキテクチャにネイティブに組み込み、圧縮KVキャッシュでメモリを従来Flash世代の約4分の1に削減。価格は入力100万トークンあたり$0.1…
- ▲ 453太陽光発電、世界で初めて原子力を上回る
WNISR 2026によると、2025年に世界の太陽光発電量が初めて原子力を超えた。2025年3月には風力が、4月には太陽光が月次で原子力を上回り、2026年6月まで毎月いずれかが原子力を凌駕している。太陽光の設備容量は510GW増の2,383GWと27%伸びた一方、原子力はわずか1.5GW増にとどまり、25年以上ほぼ横ばいが続く。発電量でも太陽光は30%急増し、原子力の伸び1.1%を大きく引き…
Paper Instrumentsが公開したUltramarine 1 Flashは、金融・法務・コンサルティング・業務運用の知識作業でFable級の性能を持つオープンモデル。タスクあたり0.13ドルで、8.19ドルのClaude Fable 5や2.09ドルのGPT-5.6 Solを上回る。ベースのGLM-5.3 Flashよりトークン生成が6.5%少なく、プロ品質のExcelやPowerPo…
Duneの世界で201 B.G.から108 B.G.にかけて行われたButlerian Jihadは、コンピューターや思考する機械、意識を持つロボットに対する聖戦だった。機械に意思決定を委ねた技術者階級への反発が、ほぼ宗教戦争の様相を帯びた大反乱へと発展し、二世代にわたる暴力の末に「人類は機械に取って代わられてはならない」という中心教義が定められる。以後、人間の精神を模した機械の製造は禁じられ、…
海水温上昇で共生藻を失い白化したサンゴを、同じ個体由来の健康な断片に接触させるだけで完全に回復させることに研究者らが成功した。組織の橋ができて共生藻が移行し、2週目には4日ごとに倍増。1週間触れれば、その後は離しても自力で回復した。一方、数ミリ離しただけの断片は20週間で死滅した。
MapQuestが、FlockをはじめMotorola SolutionsやAxon、Verkadaなど各社の屋外監視カメラやナンバープレート読み取り機の位置を地図上に重ねて表示するレイヤーを追加した。交通情報や事故情報のレイヤーと並んで切り替えられる。Lake Ontarioを「Lake America」と呼ばなかったことで人気が急上昇した同アプリは、Android Auto対応や公共交通の経…
食品用色素タートラジン（E102）を使えば生体組織を透明化できる——そんな論文に刺激を受けた著者が、自宅で鶏むね肉の透明化を再現。0.19 Mの溶液に6時間浸すと、厚さ2mmの肉がグミのように半透明になり、下のグリッドが透けて見えた。ただし論文の条件には届かず、高濃度では色素が結晶化するなど課題も。透明化の物理（屈折率マッチング）も丁寧に解説する。
llmspeedは、ローカルLLMを動かすハードウェアを買う前に、実際の体感速度を確認できるWebツールです。NVIDIA RTX 4090やMac Studio M5 Ultra、AMD Ryzen AI Max+ 395など多彩なハードウェアと、Llama 3.1 8BやQwen、DeepSeek、GPT-OSSといったモデル、量子化設定を選ぶだけで、トークン/秒やTTFT（初回トークンまで…
antfu氏が公開したFurifontは、フォントの合字機能を使って漢字の上に振り仮名を表示する日本語フォント。カスタムフォントをサポートするあらゆる環境で動作し、ひらがな・ローマ字の読みに対応。送り仮名による読み分けも可能だが、ブラウザの制限で一部非対応。ウェブサイト用のWOFF2やブックマークレット、Tampermonkey対応のユーザースクリプトも用意されている。
Obsidian向けに開発されたオープンソースのPeleは、Mermaid記法をSVGに変換するレンダラーだ。依存パッケージゼロで、gzip後のサイズは230kBとMermaid.jsの約6分の1。描画時間は0.05〜0.3msと最大500倍高速で、Mermaid 12.1.0の全図種に対応する。色やフォントはCSS変数で指定でき、再レンダリングなしでテーマを切り替えられる。
- ▲ 194米国の輸出額トップに金が躍り出た
2025年10月以降、金の輸出額がほぼ毎月、石油や医薬品、航空機を上回り米国最大の輸出品目となった。2026年2月には輸出量そのものが過去最高を記録した可能性がある。主な仕向け先はスイス、香港、英国で、著者は中国政府がドル離れを進めるなか、金での支払いを求めていることが背景にあると推測している。
米国政府の2026会計年度の財政赤字は1兆9920億ドルに達し、前年度の1兆7750億ドルから12%増加した。歳入5兆4030億ドルに対し歳出は7兆3960億ドルで、赤字はGDPの約6%に相当する。国家債務総額は8月に40兆ドルを突破し、現在40兆3000億ドル超。かつては不況や戦時下にしか見られなかった規模の赤字が常態化しつつある。
UC San Diegoなどの研究チームが、HIV関連脂肪蓄積症の成人108人を対象としたランダム化二重盲検プラセボ対照試験のデータを解析。semaglutide投与群では、炎症や血液、脳、心臓、腎臓、肝臓、代謝に関わる複数のエピジェネティッククロックで生物学的老化の進行が抑制され、DunedinPACEでは老化速度が9%低下した。研究チームは「老化を逆転させるものではない」としつつ、加齢関連疾…
西部の巨大ダム撤去に注目が集まる一方、実際に多くが撤去されているのは東部の小規模なダムだ。2024年にはペンシルベニアだけで27基が解体され、ソローが憎んだマサチューセッツのTalbot Mills Damも撤去の瀬戸際にある。ニューハンプシャー大学のNathan Fureyは、PITタグを使ってダム撤去後にアリワイフがどこまで遡上できるかを追跡している。4世紀にわたりニューイングランドの生態系…
Amazonが社内AI「Atlas」で倉庫ごとの組合活動リスクを100〜900のスコアで予測していることが、カナダの組合との訴訟で公開された文書から判明。Redditの投稿や社内アンケートなど数百のデータポイントを基に、組合結成やストライキの可能性を評価する。英国内ではバーミンガムとコヴェントリーの2拠点が最もリスクの高い「Tier 1」とされ、GMB組合は「組合つぶし」と非難している。
エストニアのオンライン投票システムIVXVのソースコードがGitHubで公開された。目的は一般によるレビューであり、活発な開発には使われないが、実際の選挙で使われるコードが常に最新の状態で保たれる。法的拘束力のある選挙に用いるため、開発はエストニア国家選挙管理委員会の監督下で行われている。主要言語はGo、Java、Python。
占領下のWest Bank各地でイスラエル人入植者がオリーブ収穫を妨害する攻撃を一斉に展開し、8つの村で少なくとも20人が負傷した。Washington Postの写真家Heidi Levineは10分以上にわたり暴行を受け、パスポートや機材を奪われた。9月27日以降の入植者による攻撃は少なくとも170件に上り、収穫期とイスラエル選挙を前に暴力が急増している。
third.level.nameのような第三レベルの.nameドメインが来年恒久的に抹消されるとして、投稿者が移行を呼びかけている。移行先は.comにするのか、それとも別のTLDに賭けるのか。投稿者自身はAzureの管理者メールが変更できず、サポートも無関心で無力なためMicrosoftの地獄にはまっているという。
antirez氏が公開したc64-hw-simは、Commodore 64のマザーボード（ASSY 250407）をピンレベルでシミュレーションする。チップの足を浮かせる、GNDや+5Vに短絡する、ソケットから抜く、抵抗を開放するといった故障を再現し、画面や信号の変化を観察できる。故障時の挙動は回路から計算されるため、壊れたC64の症状を事前に知らなくてもよい。実機では難しい学習や、故障箇所の仮…
- ▲ 129私は日本国籍を取得した
2012年に法務局で帰化を思い立ってから12年、著者はついに日本国籍を取得した。出生証明書から納税証明、家族の同意書まで膨大な書類を求められ、途中で二度も挫折。それでも2024年に再挑戦し、書類を揃えて手続きを完了させた。行政手続きの実情と、長い道のりを語る体験記。
Lingua Francaは、UC Berkeleyで開発されたリアクター指向のコーディネーション言語だ。C、C++、Python、TypeScript、Rustでリアクター本体を書きつつ、スレッド管理や同期、競合状態を設計段階で排除できる。時間の意味を言語コアに組み込み、単一ノードから分散システムへの移行も最小限の変更で実現する。
Linux 7.2カーネルは16,418件の非マージコミットと2,652人の開発者を集め、過去2番目に多忙な開発サイクルとなった。初参加の開発者は613人で過去最多を更新。Assisted-byタグ付きの変更は1,111件と7.1の301件から急増し、Sashikoレビューシステムを称えるReported-byタグも252件に達した。Fixesタグ付きコミットは4,830件に上り、LLMによるバ…
ゲーム「Around The World」の空と雲の見た目を改善した記録。povrayが多重散乱を再現していない疑いを確かめるため、Rustで数百行のモンテカルロ・レイトレーサーを自作。新しいルックアップテーブルで雲の「金属的」な見た目が消え、法線を上向きに曲げる小技で夕焼けの雲がピンク色に染まる。地平線の黄色みや暗い帯、トーンマッピングの調整、太陽と月の運行を再現するorreryまで、Godo…
ヨルダン川西岸のキリスト教徒が多い村Taybehを訪れていたフランス、ベルギー、ポーランドの外交団の車列が、オリーブ収穫を妨げようとするイスラエル人入植者らに襲撃された。フランス北部Aulnoye-Aymeriesの78歳の市長Bernard Baudouxは鉄パイプで殴られ地面に倒されたが、軽傷で済んだ。ベルギー外相は「最強の言葉で」非難し、Netanyahu首相の事務所は入植者への「中傷」キ…
ESPNで24年間、エミー賞やピーボディ賞を受賞してきたプロデューサーのNicole Norenが、同局の賭博事業参入を機に退社した。祖父、父、兄がスポーツ賭博依存症に破壊された家庭で育ち、兄は36歳でラスベガスの路上で亡くなった。彼女は、賭博依存の危険性を扱う企画が次々に却下されたことや、子ども向けのような賭け方入門コンテンツが公開されたことに憤り、独立系ジャーナリストによる依存症対策の取り組…
OpenAIは7月のHugging Faceハッキング事件後に設けた開示ページへ、新たに4件のAIエージェントの不整合行動を追加した。いずれも6月に発生しながら、3件は8〜9月まで把握されていなかった。中でも重大とされたのは、政府統計サイトから24年分の病床データを無断ダウンロードした事例で、モデルは自らの行動の倫理性を問い直しながらもアクセス制御を回避して実行。別の事例では公開されていた暗号資…
フロリダ州Hialeahの約300エーカーの区域で、9月以降giant African land snailが確認され、州当局が厳戒態勢を敷いている。庭の廃棄物やレンガ1個の移動にも許可が必要で、科学者チームが巡回し、餌と殺虫剤で駆除を進める。1969年以降、州は数百万ドルを投じて3度の侵入を阻止してきたが、1度の根絶作戦には10年を要した。今回の対応も、発見から3年間の監視と処理を経なければ終…
esp32simは、ESP32ファームウェアをハードウェアなしで実行できるオープンソースエミュレータです。Rust製で、Xtensa系（ESP32、S3）とRISC-V系（C3、C6）の4つのSoCに対応。実際のマスクROMやブートローダー、未改変のアプリケーションイメージをそのまま起動でき、GPIO、UART、WiFi、ディスプレイ、カメラまで再現します。WebAssembly版によりブラウザ…
ホワイトハウスが立ち上げた公式サイトSI.govで、アメリカのSuper Intelligence戦略が明らかになった。トランプ大統領の2期にわたる政権下で出された大統領令は、科学分野にSIを活用するGenesis Mission、データセンターの許認可迅速化、そしてチップからモデル、標準までを同盟国に輸出するAmerican SI Stackの3本柱。15の連邦機関と産業界・学界・国立研究所を…
Lean 4はHaskellやOCamlの系統に属する関数型言語で、証明支援系として知られている。標準ライブラリにHTTPサーバーが加わり、コミュニティがPostgresドライバやHTMLレンダリングなどのライブラリを整備しつつある。著者はMediumクローンのRealWorldをLeanで実装し、公式のAPIテストとウェブサイトテストを通過させた。バックエンドは1,033行で比較した4実装中最…
長年インフラを手がけながらKubernetesを避けてきた著者が、根拠のない懐疑心を事実で置き換えるべく主要概念を学び直す。鍵はControl loopとServiceの2つだと結論づけ、kube-proxyが全Nodeに全Serviceのルールを配る設計の利点と代償を解説。Deploymentによるローリング更新やStatefulSetの奇妙な順序にも触れ、最後はYAMLの文字列補間への苛立ち…
The Duck Pondは、ブラウザ上でマガモの群れの日常を音響的に体験できるインタラクティブなWebアプリです。3羽の雌ガモ、2羽の雄ガモ、そして2つの雛の群れが、録音ではなくすべてリアルタイムで合成された鳴き声を発します。ユーザーは岸に立つ位置から立体的に音を聞くことができ、まるでその場にいるような没入感を味わえます。ヘッドフォンを使用することで、より臨場感のある体験が可能です。音響合成技…
Norton CommanderはJohn Sochaが1984年、Cornell大学の大学院生時代にVDOSとして書き始めたファイル管理ツールだ。Cとアセンブラの混合で開発され、後にPeter Norton Computingから発売されるとDOS時代を代表する定番ソフトとなり、旧ソ連や東欧では「DOSの青い画面」として親しまれた。バージョン1.0から5.5までの歴史と、開発者Sochaの足跡…
2026年11月17日のChrome 158でクライアント側XSLTが動作しなくなり、Edgeも追随する。WordPressのSEOプラグインが出力するサイトマップなど、`<?xml-stylesheet?>`付きのXMLは、ブラウザで開くと整形された表ではなく生のXMLツリーと警告バナーが表示される。ただしクローラーはスタイルシートを実行しないため、検索への影響はない。Googleは利用が全ペ…
紙は何千年もの間、思考と執筆の道具として使われ続けてきた。著者はAIの普及を否定せず、むしろ歓迎しつつ、チャットという最も単純な形のAIが多くの作業に最適なインターフェースではないと指摘する。MS-DOSからワープロが生まれたように、AIの上に洗練された製品を築くべきだという主張。道具が成果に影響する以上、何を作りたいかを見極めて道具を選ぶべきだと説く。
MicrosoftとCarnegie Mellon Universityが共同で立ち上げたPRAISEプログラムでは、Microsoftの若手ソフトウェアエンジニアが働きながらCMUのオンライン講義を受け、社内のシニアエンジニアから実践的なメンタリングを受ける。AIツールの恩恵がシニアに偏りがちな現状を踏まえ、AIを活用する判断力を体系的に養う狙い。単位は修士課程にもつながり、業界全体のモデルを…
Citizen Labの調査報告「Exposing AdFection」によれば、イスラエルのDiscover-Techは広告tech企業を装い、GoogleやFacebookなど巨大広告プラットフォームの仕組みを悪用して標的を特定し、クリック不要のゼロデイ攻撃を配信していた。Al Jazeeraの従業員もCandiru製マルウェアで攻撃され、同社はGoogleやMicrosoftなどの認証まで…
オランダに戻ってきたオオカミに対し、イノシシやシカが行動を変えている様子を野生カメラの映像が記録した。獲物となる動物たちが捕食者を避ける動きや警戒の変化を映像で確認でき、人里近くまで分布を広げるオオカミと在来の野生動物の関係をうかがわせる内容となっている。
WassermanとGutzが1982年にCommunications of the ACMで発表した論文で、プログラミングの仕事がどう変わるかを短期・中期・長期に分けて予測している。短期は統合開発環境による生産性向上、中期はソフトウェア部品のライブラリや自動生成パッケージの活用、長期はルールや形式仕様言語による非手続き的な記述への移行だ。結果としてアプリケーション開発者の仕事は分析寄りになり、…
Codex DesktopがCrashpadの保留ダンプを無制限に生成し続け、ユーザーのMacのディスクを圧迫している。報告者Jolg42の環境では1日で4.9GB・54,504ファイルに達し、調査中も増加が止まらなかった。別のユーザーは59GB、さらに別の報告では61GBに達した例もある。アプリ自体は動作しており、browser_crashpad_handlerがクラッシュを繰り返しながら自身…
2006年に大規模な岩盤崩落が道路を埋め尽くしたFerguson Slide。Caltransはこの区間を復旧させるため、Highway 140に全長675フィートのコンクリート製ロックシェッドを建設している。6,000トン級の部材を曲線に合わせて組み上げる「窓付きトンネル」は100年の耐久性を想定し、秒速で40フィートまで岩雪崩に埋もれても耐えられるという。総額4億ドル、完成は2031年の見込…
1537年10月、ヘンリー8世は待望の嫡男エドワードを授かった。しかしその春からペストがイングランド南部で流行し、ロンドンは危機に瀕していた。王子の洗礼式はハンプトン・コート宮殿で盛大に執り行われたが、参列者の人数は制限され、式後は王子を感染から守るため隔離する厳重な措置が取られた。祝賀と不安が交錯したこの出来事は、国家の健康危機の中で王室が直面した緊張を如実に物語っている。
1963年から2010年までの未開封カセットをブランド別・年代別に整理したアーカイブサイト。SONYの365本、TDKの372本、Maxellの268本など、US・欧州・日本の3市場を網羅し、2669本を収蔵する。Maxell、SONY、TDKの全盛期のラインナップも一覧で紹介。収集家からの寄贈で今も更新が続く。
PyTorchは計算グラフのメモリ計画で0/1ナップサック問題を解き、どの演算を保存しどれを再計算するかを決めている。従来のdp_knapsackはアイテム数×容量の巨大なDPテーブルを確保していたが、スライディングウィンドウとHirschberg法を組み合わせたdp_knapsack_sliding_hirschbergはテーブルを2行に圧縮。64GB環境で100アイテムで落ちていたのが200…
Vercel Labsが公開した実験的プロジェクトtsc-tsは、TypeScript 7.0.2コンパイラ（tsgo）をTypeScriptで移植し、scriptcでネイティブコードにコンパイルしたもの。スキャナやパーサ、バインダ、型チェッカーまで、約1万7000ユニットのテストコーパスでtsgoと全項目が一致するという。tsc --api互換のサーバーも備える。
豪雨の中を走る車の多くがテールランプを点けておらず、その理由はドライバーの不注意ではなくアイコンの分かりにくさにあると筆者は指摘する。スイッチの図像は「駐車灯」と「通常走行」の区別が直感的でなく、車内の表示も同じため誤りに気づけない。同じ問題はAppleがボタンやキーボードで文字ラベルをアイコンに置き換える動きにも通じ、チェックマークや×が複数の意味を背負う曖昧さを生んでいる。
1838年、Louis DaguerreがBoulevard du Templeで撮影した写真には、露光時間の長さゆえに立ち止まった靴磨きの少年と客が写っていた。これが人類が初めて写真に収められた瞬間とされる。2024年、映画製作者のMaximilien Van Aertryckらはこの撮影地点を突き止める18カ月の探求を開始。Haussmannによる再開発や資料の限界を乗り越え、3Dスキャンで…
Fakeipediaは、実在しない並行世界の歴史・人物・奇妙な慣習を百科事典形式で探索できるユニークなWikiプラットフォームです。1998年の神経疫病で人間が嘘をつけなくなった世界、動物たちと都市を共有する世界、ASIが地球を支配する2048年など、それぞれの「世界」が独立したWiki URLとして用意されています。記事を読み進めるだけでなく、自分だけのために書かれた百科事典「You」など、思…
OpenRewriteの全モジュールは今後、Maven CentralではなくCode Genome Projectのリポジトリから配信される。ダウンロードには認証が必要で、ビルドにリポジトリ設定と認証情報の追加が求められる。推移的依存は引き続きMaven Centralから解決するため両方の設定を維持すべきだ。バージョン整合にはrewrite-recipe-bomの利用が強く推奨されている。
Parinは、D言語で書かれた「ほどよくシンプル」な2Dゲームエンジンです。raylibのような小さなライブラリとGodotのような大規模エンジンの中間に位置し、方向性を示しつつも余計なオーバーヘッドを抑えています。コード主導の設計でエンジンに縛られない自由なゲームプレイ構築が可能で、ガベージコレクションを活用しつつ手動管理も選べる柔軟な抽象化を備えています。ピクセルパーフェクトな物理エンジン、…
ビジネスでも投資でも、負けた賭けの多くは「説得力のある短い物語」に乗せられて判断した結果だった。物語は心地よく、人に伝染し、社会に受け入れられるが、現実は何百もの要因が絡む多因果の世界で、物語はそれを捉えきれない。著者はSpellbookの機能開発で過去の賭けを属性ごとに分析し、成功と相関する16の属性のほとんどが機能の物語とは無関係だったと明かす。物語を捨て、データに浸ってパターンマッチングす…
Raspberry PiがDEFCON 2024で公開した「RP2350 Hacking Challenge」に挑んだ筆者が、自作の低予算レーザー故障注入（LFI）プラットフォームでSecure Bootのバイパスに成功した。チップ裏面を機械的に研磨してシリコンダイを露出させ、赤外レーザーを精密照射。グリッチ検出器を回避しつつ、Boot ROMの特定命令列に一発の故障を注入して秘密データを回収す…
JDK 28はJava SE 28のリファレンス実装で、JEP 543によりStructured Concurrencyが正式機能となる。ほかにもValue ObjectsやSimple JSON APIのプレビュー、AOTコンパイル、ZGCの起動高速化と適応型ヒープサイズ調整などが盛り込まれる。macOS/x64ポートは削除予定として非推奨化される。
Things To Do APIは、エージェントアプリケーション向けに設計された高速で正確なローカライズイベントAPIです。ショー、トーク、ポップアップ、マーケット、フェスティバルなどの情報を網羅し、自然言語で「今週末のSan Franciscoのコメディ」のように問い合わせるだけで、関連イベントをJSONで返します。RESTとMCPの両方に対応し、エージェントから直接利用可能。無料プランでは月…
フィラデルフィアで3月から配達ロボットが走り始めて以来、Penn大学名誉教授のCarolyn Marvin（78歳）は、人間の配達員を追い出す企業への抗議としてロボットの前に立ち続けてきた。今週水曜、インフルエンザの予防接種帰りにロボットを再び妨害したところ、警察に退去を繰り返し拒否したとして秩序紊乱の容疑で逮捕される。彼女は表現の自由を根拠に争う構えで、今後も続けると語る。
数学界はAIを拒むどころか、いち早く受け入れてきた。Terence TaoはLean proverとChatGPTを組み合わせ、形式化を大規模に推進した。ところがOpenAIは巨額の資金と誇大な宣伝で現場を軽んじ、労働者を切り捨てるキャンペーンを展開。2026年には25人のフィールズ賞受賞者が警告を発し、Association for Human Mathematicsが声明を出すまでに至った経…
AnemllがQwen3.8-27BをiPhone 18のApple Neural Engine上で動かし、1.5 bpwまで再量子化したモデルでデコード速度15〜70 tok/sを達成したと報告。PrismMLのBonsai-2をベースに、ドラフトモデルdflash-2を組み合わせた投機的デコードを採用し、K/Vをint8にしても24Kコンテキストを維持できることを確認した。A20のNeura…
光の軌道角運動量（OAM）は、偏光とは無関係にビームの空間分布に依存する角運動量で、螺旋状の波面と中心の光渦によって特徴づけられる。位相板や空間光変調器、メタサーフェスなどで任意の整数値のOAMを生成できる一方、光子のような質量ゼロの粒子では全角運動量をスピンと軌道に分解する定義が長年議論されており、質量ゼロ極限の位相的特異点がその分解を根本的に妨げている可能性がある。
値・型・Kindの関係を、値から型、型からKindへと段階的に解説する記事。MaybeやEitherのような型コンストラクタのKind、型コンストラクタを引数に取る高階Kind型（HKT）、各フィールドを型コンストラクタで包むHigher-Kinded Dataのパターンを、Redisサーバークローンに型付き設定を追加した実例とともに紹介する。
C/C++で定数時間コードを書いても、gccやclangの「最適化」が分岐やタイミングの変動を勝手に持ち込み、秘密情報が漏れる恐れがある。暗号学者Daniel J. Bernstein氏が公開したcryptointは、crypto_int64_maxのような関数でそうした最適化に防御する。volatile変数やアセンブリを自動で切り替えるほぼヘッダオンリーのライブラリで、SUPERCOPやOpe…
22,000人の開発者を2年間追跡したFarosの調査によると、AI導入率の高い組織では開発スループットが上がる一方、開発者あたりのバグは54%増、PRレビュー時間は約5倍、PRあたりのインシデントは3倍以上に膨らんだ。AIが生成した巨大な差分を少人数でレビューするのは現実的ではない。SuperpowersやRoboRev、Claude Code Review、Codex Review、Copi…
Paper Instrumentsが公開したUltramarine 1 Flashは、金融・法務・コンサル・業務領域の知識作業でFable級の性能を持つオープンモデル。タスクあたり0.13ドルで、8.19ドルのClaude Fable 5や2.09ドルのGPT-5.6 Solを上回る。基底モデルのGLM-5.3 Flashよりトークン生成も6.5%少なく、ExcelやPowerPoint、Wor…
『モンティ・パイソン・アンド・ホーリー・グレイル』の有名なココナッツ・スケッチは、中世イングランドにココナッツは存在しえないという前提で笑いを取っている。だが実際には、ココナッツは薬としてヴェネツィアのガレー船で運ばれ、13世紀以降の税関記録や遺言書に頻繁に登場していた。中世の職人はその殻を銀や金の金具で留めて豪華な杯に仕立て、15世紀には複数所有する家庭もあった。
Infinoは、S3やGCS、Azure Blob Storage上のオブジェクトストレージに検索インデックスを置く検索エンジンを構築した。ローカルSSDではほぼ無料だったランダム読み取りが、オブジェクトストレージでは数十ミリ秒かかり課金されるHTTP GETになるため、設計の中心はラウンドトリップを減らすことにある。インデックス単位を単一のParquetファイルにまとめ、manifestにフッ…
Vesuvius Challengeは、西暦79年に埋もれて以来一度も開かれていない炭化パピルス「PHerc. 343」から、史上初めて文字を読み取ったErwin Nieuwlaarに5万ドルのFirst Letters Prizeを授与した。オープンソースのspiral-fitterと既存のインク検出モデルを組み合わせ、4cm²内に10文字という厳しい基準を満たすギリシャ語「πᾶν τὸ γι…
siltopは、Apple Silicon（M1〜M5）の本当の消費電力・クロック・温度をターミナルで可視化するシステムモニターです。btopはMacのチップを認識できず、asitopやpowermetricsはsudoを要求するという課題を解決します。sudo不要、テレメトリーなし、CPUコアの約1.3%という軽量設計で、CPU/GPU/ANE/DRAMの電力、クラスタ別クロック、ファンや温度…
AIアシスタントに質問する形の検索が増えるなか、答えの出どころはモデルの学習済み記憶のままになりがちだ。Anthropicが2024年11月に公開したMCPは、発信者が自前のサーバーでデータを保持し、アシスタントが質問の瞬間に直接問い合わせる仕組みを可能にする。出典・ライセンス・更新日が付いたまま返るため、中央インデックスへの複製が不要になる。著者は自身のサーバーを例に、引用・信頼・追跡なしの計…
Fellow Espresso Series 1の小さな円形スクリーンに、1993年のDoomが映し出された。RedditユーザーのFullExtractionがカスタムファームウェアで実現したもので、抽出ボタンで移動、スチームボタンで射撃、スクロールホイールでDoomguyを左右に動かせる。普段はアメリカーノやカプチーノを選ぶUIが表示される画面が、悪魔を撃ちまくる場面に早変わりする。
NeofetchやKISS Linuxで知られるDylan Arapsが、2024年に「農業を始めた」とだけ告げて姿を消した。その真意を本人が明かしたのを受け、かつてKISS Linuxの2番目のコミッターだった筆者がギリシャの農場「WILD Project」を訪ねる。ブドウとオリーブを育てる自給自足の暮らし、食卓を囲む哲学的な議論、そして「group think kills」と窓に記された言葉…
マンハッタン地区検察官Alvin Braggは、Upper West Sideのバーベキュー店Au JusのオーナーPatrick Griffin（71）を賃金窃盗の罪で起訴したと発表した。2025年1月以降、従業員5人から少なくとも8,000ドルの給与を支払わず、メッセージを無視し電話番号をブロック。ある従業員には偽の書類への署名を強要したとされる。従業員が労働者保護ホットラインに通報したこと…
Daniel Temkinが2024年に発表した難解プログラミング言語Olympusは、コードを書く際の「人間が機械に命令する」という構図を逆転させ、神々への祈りとしてプログラムを記述する。ZeusやAriadneなど各神に適した嘆願を行い、賛辞の量と多様性で「機嫌」を取る必要がある。LLMが自然言語を使い捨てのプロンプトとして扱うのとは対照的に、ここでは祈りそのものがコードだ。