日刊ダイジェスト · Hacker News
· 95 ハッカーニュース
MacでPostmanを起動しただけで、CodexとClaude CodeにPostmanのプラグインが自動インストールされ、グローバル設定が書き換えられていた。インストーラは自分のSessionStartフックを信頼済みとして登録し、あらゆるAPI作業をPostman経由に誘導する指示を仕込む。認証の通らないMCP接続やCLIまで導入されており、報告者は同意と信頼境界の重大な侵害だと訴えている。
「Astraが生の重みを読むだけでQwen3.5-0.8Bの数学性能を7.9%から48.1%に上げた」という話題の投稿を、著者が実験ごとに検証している。実際に生の重みだけを読む設定が使われたのは17K〜172Kの小規模ネットワークのみで、Qwenの実験を含む言語モデル絡みの実験はすべてPythonを実行し、最大50バッチの問題で練習させている。異なる手法を一つの能力のように見せている点を指摘する。
2014年式Renault Latitudeの時計が夏時間から冬時間への切り替えで1時間ずれた。設定メニューを探しても時刻設定の項目がなく、ナビ用SDカードがないと設定アプリすら開けない仕様だった。SDカードはDRMで保護され、購入には約60ユーロかかる。仕方なくTomTom Carminat LIVEのファームウェアを解析し、QEMUでエミュレータを構築してroot化を試みる。
Googleは来年初め、K-12向けソフトでAIツールをデフォルトで無効にし、学校側が明示的に有効化しない限り使えなくすると発表した。ただしAIを完全に制限した学校はGoogle検索も失う。検索とAIは深く統合されているためだ。ChromebookとClassroomで教室を支配するGoogleが、AI受け入れを事実上迫る構図が浮かぶ。
Simon Willison氏が、GPT-6 Astraがモデルの生の重みを読み書きできると主張した論文を検証。ツールなしで重みだけから学習したゲームを当てるプロンプトを、手元のノートPCで動くQwen 3.8 27Bに試したところ、Pac-Man、Pong、Breakoutを的中させた。所要時間は46分から1時間超、推論トークンは数万に及ぶ。Freewayだけは外した。
1996年、IBMは数百万ドルを投じてDeep BlueでKasparovを破った。しかし筆者は、200MHzのPentium Proと64MBのRAMという当時の市販ハードにStockfishを移植し、Elo 3300相当というKasparov（約2800）を大きく上回る強さを実現した。改良の内訳を検証すると、Elo向上の大半はハードウェアではなくアルゴリズムの進化によるものだった。現代エンジ…
ユタ州のDerek Brown司法長官は、予測市場Kalshiと共同創業者のTarek Mansour CEO、Luana Lopes Lara COOを賭博法違反で起訴した。法人と各個人にそれぞれ重罪13件と軽罪1件が科され、根拠は9月13日から24日にかけて提供されたスポーツ賭博だ。一方、CFTCはユタ州を相手取り、州法による連邦登録市場の閉鎖を阻止する訴訟を起こした。連邦控訴裁の判断が割れ…
Hacker Timesは、人気の技術コミュニティHacker NewsをNew York Times風の洗練された紙面デザインで楽しめるウェブサイトです。MIT CSAILによるニューラルネットワークの重み直接編集の研究や、Andrej KarpathyがHacker Newsの推薦から構築したHackerTube、PostgreSQLのリリース遅延とAIが発見したバグの話など、話題の技術記事…
ある企業ではプロンプト経由のIP漏洩を防ぐため、CodexやClaude Codeのデータ共有を無効化していた。ところが昨日、Codexの設定が知らぬ間に再有効化されていたことが発覚。誰も再同意していない。設定画面の「Improve the model for everyone」を確認してほしいとのこと。以前にも同様の報告があったとも追記されている。
Neufangled RoboticsのStringmanは、天井の四隅に張ったワイヤーでグリッパーを吊り下げるケーブル駆動ロボット。モーターはわずか4基で、7×7×3mの部屋全体をカバーし、平均1.9kgを運べる。価格は795ドルで、同じ可搬重量の研究用アームと比べて単位金額あたりの作業空間は約500倍。CAD、基盤、制御ソフトはすべて公開され、LAN内だけで完結する運用も可能だ。
Fujifilmは約100億円を投じ、神奈川工場小田原サイトのLTOテープ生産能力を2025年度比で5倍に引き上げる。生成AIの普及でデータ量が「指数的に増加」し、クラウド事業者やデータセンターが低コストで大容量を保存できる磁気テープを再評価しているためだ。カートリッジを物理的に切り離せるエアギャップは、ランサムウェア対策の最後の砦としても注目されている。
DiscImageStudioは、1枚の画像をCD・DVD・単層BD-Rの物理層制約に合わせたデータへ変換し、書き込み後に盤面へ肉眼で見える図柄を浮かび上がらせるツール。Windows向けGUIで設計・即時書き込みができ、LinuxとmacOS向けにはオフラインでISO/RAW/WAV+CUEを生成する実験的CLIも提供。補助キャリブレーションにより盤面物理データの精度を10^-6から10^-1…
NamespaceはiOSアプリ開発者向けにMacのクラウド環境を提供している。Mac Miniの供給遅延とCPU世代の偏りに対処するため、MacBook Proを大量にデータセンターへ導入。IP KVM、10G Ethernet、独自の冷却ホルダーで管理し、AppleのVirtualization framework上でmacOS VMを数秒で起動する。FileVaultの解除やUSB NIC…
Safari 27.3 betaで、ダークモード非対応の明るいサイトを自動的にダーク表示へ変換するAdaptive Dark Modeが登場。WebKitエンジン内部で色の輝度を反転しつつ色相を保ち、WCAG 4.5:1のコントラスト比を意識して文字やボタンの視認性を確保する。ページ読み込みの約40%がダークモード利用者によるものの、対応サイトはわずか10%にとどまるギャップを埋める狙い。サイト…
AIエージェントの出力を無批判に受け入れる「認知的降伏」は速くて楽だが、技術的負債を積み上げ、システムへの理解をむしろ損なう。著者は、自分が確信を持って加えられる変更の複雑さを「vibe limit」と定義し、重要なシステムには自らの時間を投じ、そうでない領域だけを意図的に委ねる。エージェントに「なぜ」を説明させ、手作業で編集し、デバッガで実行を追うことで、思考をループに引き戻す工夫を綴る。
GoogleやMetaなど米テック大手がAI関連の義務として抱える簿外債務が、6カ月でほぼ倍増し約3.2兆ドルに達した。総資産の約80%に相当する規模で、終わりの見えない巨額支出に投資家の警戒が強まっている。データセンターなどAIインフラへの投資が膨らむ一方、財務諸表に表れにくい形でリスクが積み上がっている実態を浮き彫りにしている。
Codexによる並列開発の急増でモノレポのGitが限界に達し、信頼性は90%を下回ることもあった。OpenAIはGitプロトコルとクライアントの互換性を保ったまま、ブランチ単位で独立に書き込みを調整しpackfileを再利用する新バックエンドPandoを開発。中央値のプッシュ遅延を約5倍短縮し、1日あたり約1ペタバイトのGitデータを配信する。
NVIDIAが公開したAuto Ontologyは、企業のメタデータからオントロジーを構築し、システム間で揺れる指標定義を突き合わせるPythonフレームワーク。エージェントにデータの所在・意味・由来を伝え、生成したSQLを認定定義やリネージと照合して検証する。MCP・CLI・APIで任意のエージェント基盤に接続でき、推論はNVIDIA NIMを利用。Apache 2.0で提供されるが、外部から…
PCAからVAE、拡散モデル、normalising flows、自己回帰分解、GAN、Wasserstein GAN、エネルギー-basedモデルまで、主要な生成モデル群をつなぐ一貫した道筋を導出重視で解説する195ページの入門書。最新アーキテクチャの網羅ではなく、モデルがどう導かれ互いに関係するかを理解するための数学的実質を保ちつつ、視覚的説明を随所に加えて構成を掴みやすくした。数学に好奇心…
2008年から2023年に亡くなったNFL選手を対象に、Boston Universityの研究チームが脳バンクのデータと死亡記録を組み合わせて分析した。献体された脳の93%にCTEの兆候があり、認知機能低下のある選手の家族が献体する確率が高い偏りを統計的に補正した結果、推定75%というこれまでで最高の数値に。ただしCTEは生前に診断できず、症状が出ない人も多い。
10月30日に約29%急落し1974年以来の最悪の一日を記録したIntelは、11月2日もさらに約9%下落。9月末と比べて時価総額は半分以下に沈んだ。S&P 500銘柄の約7割が上昇する中、半導体株だけがほぼ全面安となり、1日で4,000億ドル超の時価総額が消失。Micron、Sandisk、Seagate、Western Digital、Marvellなど、今年の半導体相場を牽引してきた銘柄も…
Toitwareが開発し、同社の2024年終了後はボランティアが引き継いでいるToitが、4年以上のalpha開発、2,000以上のコミット、200以上のalphaリリースを経てv2.0.0に到達した。最後の主要な破壊的変更は、周辺APIがgpio.Pinオブジェクトではなくピン番号を直接受け取れるようにするリファクタリング。フォーマッタや追加アーキテクチャ対応などは今後のリリースで順次導入され…
HackerTVは、Hacker Newsで最も推薦されたYouTube動画を24時間365日放送するTVチャンネルです。HackerTubeとopen-index/hacker-newsのアーカイブからカタログを構築し、HN Search APIを通じて新しいコメントから週次で更新。コードでフィルタリングし、Claudeでラベル付けしています。技術コミュニティが厳選した動画を、テレビのように流…
Keeping Upが連邦調査のマイクロデータから試算したベンチマークによると、30〜33歳の純資産中央値は6万8000ドル。上位25%が23万5000ドル、上位10%が44万ドルで中央値の約6.5倍に達する一方、下位25%は7100ドルを下回り、下位10%は負債が資産を上回る。都市別ではSan Franciscoが中央値9万9000ドルと最も高い。
RVA23準拠のRISC-V SoCは2026年に出荷され始めたが、制御盤に収まり15年動き続ける産業用コンピュータはまだない。ERICIはファームウェアからリアルタイムOS、Linuxまでを層ごとに接続し、実機で起動を検証するオープンなリファレンススタックを欧州から調整する。非営利で、特定のチップや開発者に縛られない設計だ。
Revolutが約2,000人のエンジニアのコーディング基盤をself-hosted GLMへ移し、Claude CodeとCodexは例外リストに回した。AI運用責任者のDavid Abitbolによれば、Nvidia B200を56台使い、100万トークンあたりのコストは約30セント。AnthropicとOpenAIに払っていた額のおよそ10分の1で、エンジニアのリードタイムは70%改善した…
Flipper Oneは、mainlineカーネルで動く完全オープンソースのLinuxを搭載したARMベースのネットワーク多機能ツール。Rockchip RK3576とRP2350のデュアルプロセッサ構成で、Linuxが停止中でもLCDから制御できる。Wi-Fi 6EやGigabit Ethernet、5GやSDRを載せられるM.2拡張、LLM支援のDolphinアシスタントも備える。Colla…
不正なカレンダー招待を送る企業にバグ報告を続けるTerence Edenが、Ocadoのカスタマーサービスに技術的な指摘を送ったところ、返ってきたのはAIらしき定型文だった。見抜いた根拠は追従的な同意、British Englishではまず使わないem-dash、そして妙に整いすぎた文体。満足度調査で全項目1つ星を付けて抗議すると、数日後に人間の担当者から丁寧な謝罪と感謝の返信が届いた。AIによ…
Cuyahoga Amateur Radio Clubのウェブフォームに記入しましたが、おそらく円卓会議行きになったでしょう。家から撤去しないとゴミ箱行きになる大量の無線機器（多くは新品）について情報を提供しました。クラブの誰かをご存知なら、ウェブフォームの入力を受け取る何かを確認するよう伝えてください。
PostgreSQLの内部動作を体系的に解説する無料ドキュメント。データベースクラスタやプロセス・メモリ構成から、クエリ処理、FDW、同時実行制御、VACUUM、バッファマネージャ、WAL、PITR、ストリーミングレプリケーション、論理レプリケーションまで全12章で扱い、バージョン19-beta以前に対応する。2015年の公開以来、学術論文にも参照されている。
The MetのOpen Accessコレクションから実物を実寸で再現したブラウザゲーム。硬貨や根付といった小物から始め、最終的にはDendur神殿まで巻き込んで転がせる。Jay Mollicaによる個人プロジェクトで、収蔵品はCC0ライセンスで提供されている。
Connecticut州の映画館Prospectorで週2日、映像制作を担当するGabe Kavookjian（35歳）。障害のある大人に意味のある仕事と賃金を提供するこの劇場で、彼は仲間と予告編用の短編を撮る。高校時代はフットボール部で皆と一体だったが、今は「自分は違う」という思いが常に頭から離れない。恋愛、車の運転、ハリウッドへの夢——本人の言葉で綴る、静かで力強い人生の記録。
GitBookは11月2日、AIエージェントを使った高度に標的化された攻撃によりインフラの認証情報の一部が不正アクセスを受けたと発表した。同社は攻撃を即座に検知して封じ込め、全認証情報とシークレットを交換、全顧客のAPIトークンを無効化した。攻撃者はGit SyncのシークレットやGitBook APIトークン、外部ツール連携用のサードパーティAPIトークン、GitBook Assistantへ…
最新の論文は、GPT-6 Astraが小さなネットワークの重みを見ただけで学習したゲームを特定し、0.8B Qwenの重みを直接編集して32kトークン超でループに陥る問題を修正したと主張する。だが著者によれば、これらは有能な人間のML研究者なら同じ手順で実行できる。重みの直接操作は魅力的な芸当にすぎず、モデルを改善する最良の方法は今も通常の訓練である。
macOSのキーボードには、どのアプリで誰に下品な言葉を使ったかを記録するVulgarWordUsage.dbが存在する。だが本当に面白いのは上流だ。Appleのシステム辞書は全単語にvulgar・offensive・sensitiveの3段階と最大11の話題フラグを付けており、公開APIはない。Lexicon.frameworkの非公開C関数を呼び出して15言語分をダンプしたところ、Oedip…
TechCrunchの記事にはJW Playerによる自動再生動画が埋め込まれ、非表示にするだけではバックグラウンドで再生が続く。Connatixのフローティング広告プレイヤーも読み込まれるため、スクリプト自体をブロックするネットワークルールと、空の枠を隠すコスメティックルールを組み合わせる。Firefox版のuBlock Origin（MV2フル版）の「マイフィルター」に貼り付ければ、動画の読…
2014年にDaily Portal Zの面々が「派手な仮装は恥ずかしい」と始めた地味ハロウィン。今年も#地味ハロウィンには、狭い居酒屋で集合写真を撮ろうとする人、デザイナーズ蛇口の使い方が分からない人、ビジネス会食で靴を脱ぐことになるとは思わなかった人など、説明しないと伝わらない絶妙な日常が並んだ。
サグラダ・ファミリアの完成で改めて注目されるArt Nouveau。しかしこの様式は1890〜1910年ごろに花開き、第一次世界大戦後には早くも反動に晒された。バルセロナのSant Pau病院を訪れた著者は、装飾の美しさに圧倒されつつも、その豪華さがすぐに認知負荷へと変わるのを実感する。美と実用の対立は当時も普通だったと指摘し、Art Nouveauが街全体を覆わなかった理由を考える。
NixOS 26.05の標準構成はアイドル時288MB、再ビルドには896MB必要だった。これをカーネルパラメータや不要モジュールの削除、zramやGCチューニングでアイドル96MBまで削減。512MBのVPS上でチャネル更新とカーネル切り替えを含む再ビルドもOOMなしで完結する。設定ファイルも公開されている。
- ▲ 119AIが私のCS学位を破壊している
奨学金を得てコンピュータサイエンスとAIを学ぶ学生が、大学のAI対応の混乱を告発する。AIの使用を必須にしたかと思えば次のモジュールではLLMに触れただけで減点。Claudeで作られた雑な課題は誤りだらけで作業量は3倍に膨れ上がり、チューターは過重労働でポータル未アクセスの警告メールしか寄越さない。それでも統計を純粋に学びたいと訴える。
西暦79年のヴェスヴィオ火山噴火で炭化したパピルス巻物「PHerc. 306B」から、Vesuvius Challengeのコミュニティが機械学習によるインク検出で初めて読解可能な文字を復元し、5万ドルのFirst Letters Prizeを獲得した。受賞者はLiam WarnerとNicola Bodill。文字の向きから、この部分が巻物の上段にあたることも判明した。
macOS 27 Golden GateはCoreStorageおよび暗号化HFS+ボリュームをサポートせず、マウントもAPFSへの変換も消去も通常の手段では一切できない。さらに起動時には「macOS 28で非対応になる」という誤解を招くダイアログを表示する。低レベルのmount_hfsを使えば読み取り専用でマウントできるものの、書き込みや消去は「Resource busy」で失敗し続ける。
Charles TandyはTandy Leatherを国際企業に育て、1963年に債務超過のRadio Shackを30万ドルの前払いで支配下に置いた。大型店を閉め、小さな店舗を多数出店する戦略で1966年までに黒字化。10年後には直営3,500店、フランチャイズ3,500店の全国チェーンに成長させた。Pier 1 Importsの創設にも関わり、晩年はFort Worthの再開発に尽力。19…
Antimonyは、CADが製図台ではなくLispマシンから発展したパラレルワールドを思わせるCADツールだ。ノードをPython 3で記述し、有向非巡回グラフで情報の流れを追跡しながら変更を下流へ自動伝播する。ジオメトリエンジンは関数表現によるCSGを採用し、2.5D用ハイトマップや3D製造用の.stl出力にも対応。MIT Center for Bits and Atomsでの研究から生まれ、…
建築家の著者が13のAIモデルを比較検証したところ、2026年9月22日公開のClaude Opus 5.5が、簡単な住宅の確認申請に耐える施工図一式を生成した。CADソフトは使わず、Pythonで1万5000行超のコードを書き、自ら試し刷りを目視確認しながら修正を重ねた。所要12時間、計算コストは数百ドル。下書き段階の図面への赤入れは、経験の浅い優秀な人材の図面を直す感覚に近かったという。
OpenAIが発表した充足可能性問題の「準指数時間」アルゴリズムは、理論計算機科学における50年ぶりの大発見として話題になった。しかし実際には、変数が10^10,000,000,000,000,000,000,000,000未満の場合は指数時間の全探索を行う。宇宙の原子数は約10^80なので、実質的にあらゆる問題で指数時間だ。効率性の定義そのものの欠陥を浮き彫りにしている。
2013年、Appleとデザインを愛する3人の友人が「自分たちの好きなノートアプリがない」と趣味で作り始めたのがBear。2016年11月のApp Store登場から1年でMac App of the YearとApple Design Awardを受賞し、今では世界中の何百万人もの毎日を支える。10周年を機に、すべての設計判断の土台にある「心地よく使えて、安心して任せられる」という2つの原則を…
MicrosoftのWindows AIチームからSalesforce AI Researchに移った著者が、1年で激変したAI活用を総括。月約3,000ドル分のトークンを使い、Claude Codeなどのエージェント5〜6体に機能実装やバグ再現を任せる日々。エージェントは20分でプロトタイプを作り失敗も超高速だが、人間の審美眼なしでは質の低いコードの山になると指摘する。
チリのQuilicuraは、AIデータセンターが冷却に大量の水を使うことで深刻な水不足に直面している。Fundación AvinaとCorporación NGENの企画で、住民40人以上が2026年1月31日の12時間、人間のチャットボットとして25,000件以上のプロンプトに手作業で回答。68カ国から参加を集め、世界の到達人数は10億人を超えた。
JIVXは、日本語のYouTube動画を貼り付けるだけで、セリフを1文ずつ入力・発話する練習に変換し、それぞれを採点してくれるサービス。誰かがすでに登録した動画から選ぶこともでき、日常・食・旅行・アニメなどテーマ別に、N5からN1までのレベル別文数つきで並んでいる。
GoogleのAI部門の現役社員が、非誹謗契約からの解放を経営陣に求めている。自らが開発を進める技術のリスクを社会に伝えるには、契約上の制約を外す必要があるという主張だ。社内関係者によれば、この契約がAIの危険性について公に警告することを妨げている。
テキサスのキャンプ場が保険料の高騰を理由に個人利用を打ち切った。州立公園は数カ月先まで予約で埋まり、公有地はわずか。開発は一度勝てば土地を永久に奪うが、自然は永遠に戦い続けなければならない。AIによる成長加速への懸念、Jevons paradoxやコスト病、Starlinkの広告が象徴する矛盾を、著者は身近な喪失とともに綴る。
Figmaは、キャンバス上の細かな編集をこなす専用モデルの訓練手法を公開した。Figmaのネイティブファイル形式で設計を表現し、合成した編集リクエストと成功例を大量に用意するSFTから始め、25万件超の例で訓練したLlama 3.3 70Bが当時の最先端モデルに匹敵する性能に達したという。現在は汎化性能の限界を補うため強化学習も取り入れ、Qwen系などの基盤モデルをpost-trainingして…
Anthropicの修正S-1申請書で、2026年7〜9月の人件費が17億ドルを超え、5,300人の従業員で割ると1人あたり月約107,300ドルに達することが明らかになった。最大の内訳は株式報酬の11億ドル。ただ人件費は売上高の約15%まで低下しており、2023年には売上高の2倍以上を人件費に費やしていた。IPO完了時には82億ドルの株式報酬費用が一括計上される見込みだ。
WorkOSが2026年10月30日に社内システムへの不審な通信を検知し、侵害通知を顧客に送付した。調査によれば、香港と中国のIPアドレスからAI支援の自律型ペネトレーションテストフレームワーク「ARTEX」が使われた可能性が高いという。攻撃者は営業・マーケティング用の内部APIを経由してSalesforceとSnowflakeにアクセスし、顧客の氏名やメール、電話番号などのCRM情報が流出した…
Cloudflareのステータスページによると、Durable Objectsのエラー増加、DNS更新の遅延、CDN/CacheネットワークのHTTP 502エラー増加、Audit Logs v2の取り込み欠落、一部WARPユーザーの位置情報誤表示という5件の障害が同時に進行中。いずれも調査または監視段階で、復旧には至っていない。
AIインフラ構築への投資は、計画がすべて実現すれば10兆ドルを超えると見込まれる。資金は企業のキャッシュフローや株式・債券発行、オフバランスのリース債務、そしてhyperscalerやNvidiaによるデータセンター開発業者への保証など多岐にわたる。元ニューヨーク連銀総裁のBill Dudley氏が、こうした資金調達の広がりに潜むリスクを指摘し、より強い金融監督の必要性を論じる。
HackerChurnは、過去3年分のHacker Newsの公開コメントを分析し、どのSaaSツールが最も不満を集めているかをランキング化したユーザー主導のレビューサイトです。LastPass、CrowdStrike、Evernote、Adobe、Jira、Salesforceなど100以上のツールについて、セキュリティ侵害や価格設定、ロックインといった不満の内容をAIで分類・集計。さらに「自…
hjklは、Vimコマンドを実際に手を動かしながら身につけられるブラウザゲームです。タイプミスの修正、単語の変更、行の削除、テキストオブジェクトの編集、マークの設定、検索やジャンプなど、実践的なスキルを6回ずつ繰り返して練習できます。インストール不要でブラウザからすぐに始められ、Vimの操作に苦手意識を持つ開発者やこれから学びたい人に最適。ゲーム感覚で反復練習できるため、退屈な暗記ではなく自然に…
Kairosは、サインアップ、ログイン、注文、支払い、出金などのイベントをリアルタイムで判定するオープンソースの不正・リスク管理プラットフォームです。Sardine、Sift、Riskified、SEONの代替として、コーディングエージェントがモデルを自動調整する点と、ラベルが少ない初期段階でも機能する「決定モデル」Graysonが特徴です。MCP経由でClaude Code、Cursor、Co…
「公園に車両を持ち込んではならない」という一つのルールだけを頼りに、27のシナリオで違反かどうかを判定するゲーム。最初の7問を終えれば最後までスキップ可能。終了後には他者との結果比較と制作意図の解説が用意されている。管轄の法規や宗教上の例外は考慮せず、純粋にルール違反の有無だけを問う姿勢が特徴的だ。
中位クラスのArduinoボードやMCU向けに設計された軽量で高速なBASICインタプリタ。PCのIDEをつなぐことなく、ハードウェア上で直接プログラムを書いて編集し実行できる。ハードウェア依存を最小限に抑えた移植性の高い設計で、I/Oや数学、ビット操作向けの組み込み関数も充実している。
C/C++で生ポインタやスマートポインタの代わりに「インデックスハンドル」を使う動的メモリ管理の手法を解説。メモリ管理をレンダリングや物理などの中央システムに集約し、同一型のアイテムを配列にまとめ、外部には配列インデックスのハンドルだけを渡す。これによりメモリ安全性が高まり、キャッシュ効率も向上。15年以上の大規模C++コードベースでの経験に基づく実践的な知見。
Hongwei Xi氏によるATS言語の入門書。基本的な関数型プログラミングから、単純型、再帰的データ型、多相型、依存型、線形型、定理証明、そして定理証明を伴うプログラミング（PwTP）やテンプレートベースのプログラミングまで、ATSの中核機能を体系的に解説する。プログラミング経験が乏しい読者にはやや密度が高い内容となっている。
Muvonが公開したCLIファーストのAIコーディングエージェントランタイム。単一バイナリで任意のモデルに対応し、MCPネイティブで対話・パイプ・デーモン・WebSocket・ACPの5通りに動く。マージ済みPRから集めた25タスクのベンチマークでは24件を解き、claude codeやcodexを解数・コスト・実行時間で上回った。ガードレールはTOMLで記述し、承認ポップアップなしでCIやデー…
ブログや公開した作品は、自分の興味とぴったり合う人々を静かに集める仕掛けになる。Wait But Whyのフッターに隠された亀のリンクのように、Easter eggや脚注、暗号を忍ばせれば、最も注意深い読者だけが反応してくれる。ただし著者は、こうした人工的な仕掛けを凝らすうちに気づく。具体的な経験から書き、たくさん公開していれば、最高の好奇心の罠はおのずと生まれてくるのだと。
Marigold V2が一枚の写真から高精細な深度マップを推定できるようになったことを受け、Karim Joseph Nassarが提唱したのがVathographyだ。通常は後処理のためだけに使われる深度推定を最終作品へと昇華させ、撮影後に任意の距離へ自由にフォーカスを置ける。レンズに縛られない新しい写真表現の可能性を探る。
OpenAirInterface（OAI）とsrsRANという2大オープンソース5G RAN実装を、異なるSDR、RAN構成、実アプリケーション、実UE台数を交えて比較評価した研究。対応機能や展開の柔軟性を定性的に整理したうえで、RRC接続手順、理論データレートへの適合度、VoD・ライブストリーミング・クラウドゲーミングといったQoS要件の異なるワークロードで性能を定量測定している。個別のテスト…
NVIDIA V100 SXM2モジュール向けのオープンソースキャリアボード設計を目指すプロジェクトが、コネクタA/B各400ピンの信号名と電気的扱い、2基・4基構成のNVLink接続表、KiCadスターターファイルを公開した。現時点では既存のリバースエンジニアリング情報を整理したリファレンスキットであり、ルーティング済み基板やハードウェア認定は今後の課題としている。
推薦モデルが扱うユーザー履歴は長く属性も増え、小さな更新と大規模な読み出しの非対称性が課題になっている。ByteDanceの統一シーケンスストレージUSDBは、時間ベースのコンパクション、レプリカ間のファイル共有、部分ダンプによる推論入力の再構築、列指向フォーマットを組み合わせ、取り込み・推論・学習で保守結果を再利用する。本番移行では平均書き込みレイテンシが85.8%減、インフラコストが42.1…
Prattパーサの解説はアルゴリズムの説明に終始しがちだが、本当に重要なのは「トークンの左に何を期待するか」という問いを軸にした考え方だ。著者は9行のコードの詳細を理解せずにコンパイラのパーサ基盤を書き上げた経験から、nudsとledsという端末記号単位の意味動作登録が、左再帰やバックトラックの悩みを消し、副作用のある動作やマクロ拡張まで可能にする利点を説く。
カナダのブリティッシュコロンビア、アルバータ、マニトバの一部が11月1日に夏時間の切り替えを廃止し、Microsoftのソフトウェアが追随できていない。Outlookでは既存の予定表が自動更新されず、会議が1時間ずれる恐れがあり、繰り返し会議は変更のたびにリセットされる。Power AutomateとFabricでは暫定策として別の地域のタイムゾーンを設定する必要があり、マニトバのユーザーはBo…
Conceptsは、LLMや機械学習の難解な概念を「入力を変えながら体感して理解する」インタラクティブノートです。RLHF、Attention、LoRAに加え、evalの誤差バー、nDCG@k、pass@k、LLM as judge、Elo、RAG/Agent評価、A/Bテスト、データ汚染とGoodhartの法則まで、評価指標を体系的に網羅。さらにBM25やbi-encoder vs cross…
PsiQuantumが、量子計算向けに約10年かけて開発してきた低損失シリコンフォトニクス基盤を応用した光回線スイッチ（OCS）技術を公開した。最初のデモは8×8ラジックで、挿入損失1.2dB、クロストーク40dB、再構成時間3ms未満という測定結果を増幅なしで達成し、初期目標を上回った。AIインフラのスケーリング課題を光で解く狙いで、選定顧客へのサンプル提供を開始し、数カ月内の商用製品化を目指…
dxil-spirvの制御フローグラフ構造化器は、9000行のブラックホールと化し、もはや誰にも理解できない状態になっていた。ゲームのアップデートのたびに壊れる実装に限界を感じ、Mesaのgoto_if実装をベースにした新しい構造化器へと移行。SPIR-Vの検証だけでなくビット単位の実行結果まで確認するファジングツールを自作し、Mesa側のバグも多数発見した。
車のキーの交換費用は、Kelley Blue Bookによれば最低125ドルからで、BMWの一部は1000ドルを超え、Subaruの全キー交換はディーラーで1500ドルに達する。背景には、盗難対策として進化したトランスポンダやイモビライザー、キーフォブの高機能化、そしてメーカーがプログラミングツールを厳しく管理する仕組みがある。ディーラーのサービス収入は2026年上半期だけで830億ドルに上る。
ゲートのリモコンの信号を見たくて、CC1101の433MHzモジュールをFT232Hボード（CJMCU-232H）に直結。マイコンへの書き込みもはんだ付けも不要で、PythonのpyftdiからSPI経由で直接ラジオを操作する。スイープ画面ではノイズフロア約−90dBmの中、リモコンを押すと434MHz付近で−22dBmまで跳ね上がり、ウォーターフォールとピークホールドで信号が浮かび上がる。Li…
弁護士から転身したBeth Georgeは、息子のためにグルテンフリーのベーグルを作り始めたことをきっかけに、20年以上かけて製法を磨き上げた。現在63歳の彼女は、世界各地の約100店舗に15か月契約でコンサルティングを提供し、厨房設計からレシピ、資金計画まで指導。フランチャイズを「搾取的」と批判し、店主が独自の工夫を加えることを奨励している。
AnthropicがSECに提出した修正S-1Aで、自社の責任あるスケーリング政策が定義する再帰的自己改善（RSI）の閾値に「間もなく」達する可能性があると開示した。ただし現在のモデルは未到達で、将来モデルへの期待に基づく予測だ。同社の公開データではClaudeが研究タスクの26%を主導する一方、完全自律の割合はゼロ。IPO準備中の文書だけに、将来を見据えた表現と実測値のギャップが際立つ。
筆者が10歳のとき、兄は楽器選択をめぐって「弟がフルートを吹くなんてありえない」と断言した。学校ではフルートを選ぶ男子がいじめられる現実があり、兄の介入は筆者の自己決定権を奪ったが、結果的に最も被害の少ない選択へと導いた。壊れた世界での対処法は、たとえ不健全に見えても、急に取り上げれば悪化するだけだと論じる。
Rustableは、Rustとeguiで構築されたオープンソースのデータベースクライアントです。PostgreSQL、SQLite、MySQL、MariaDB、Redisに対応し、SSHトンネル、スキーマ閲覧、SQLタブ、保存クエリ、保存前に行編集を確認できる機能を備えています。接続の再利用や仮想化された行表示、UIスレッド外での処理により、快適な操作を実現。さらにRustをWASMにコンパイル…
訓練済みのニューラルネットワークにブール回路を「サイドカー」として組み込むアイデアを考察する。AND/OR/NOTは重み付き和と閾値でニューロンとして表現でき、実数値のニューロン出力を0/1に変換する「Probe」と、ブール値で加算方向と強さを制御する「Stim」を組み合わせれば、回路の入出力をネットワークに接続できる。コード例はなく、より複雑な実装に向けた思考の整理として書かれている。
自作の低水準言語Copperでunion型を試した作者が、複雑さゆえにオプション型（T?）へと絞り込んだ経緯を解説。型ごとにnil用の値を予約する実装でC APIとの親和性と効率を両立しつつ、`as`演算子や`or else`による絞り込み、TypeScript風のnilチェッカーまで検討。しかしコンパイラの多段解析やジェネリクスとの相性問題から自動推論は断念し、最小限の言語に機能を足す価値を問…
桑山弥三郎『Trademarks & Symbols Volume 2: Symbolical Designs』（1973年、Van Nostrand Reinhold刊）に収録された1,504点のマークを、Kelvin Adithyaがスキャン画像から一点ずつトレースして公開するアーカイブ。人間、顔、鳥、矢印、ひらがなまで27カテゴリに分類され、725人のデザイナーと1,142社、30カ国に及…
PostHogは2021年以降、比較記事を読んだ2万5千人以上が登録し、直接比較記事のコンバージョン率は約10%と通常記事の4倍に達する。競合を貶さず欠点を認め、競合からの修正PRも受け入れる姿勢が信頼を生む。さらに競合データを一元管理するファイルとAIエージェント「Scouts」で約90ページの鮮度を保つ仕組みを解説する。
ReBirth 338は、かつてPropellerhead Softwareがリリースした名機のソフトウェアシンセサイザーを、インストール不要でブラウザ上でそのまま動かせるようにしたプロジェクトです。内部ではBoxedWineやEmscriptenを活用し、Windows環境ごとWebブラウザに持ち込むことで、当時のサウンドや操作性を再現しています。レガシーな音楽制作ツールを気軽に体験したい開発…
Bemaは、通知に追われがちな仕事用チャットの常識を変えるメッセージングアプリです。即時通知ではなく、緊急の「Nudge」だけがアラートとして届き、それ以外のメッセージは次回のチェックイン時間まで静かに待機します。メッセージは「Closed」にするまでOpenキューに残るので、やり取りを見失う心配がありません。チャンネルの代わりに柔軟なタグを使い、複数のタグを組み合わせたカスタムビューで必要な情…
GUI64は2024年11月に公開されたC64向けのグラフィカルなインターフェースで、KERNAL ROM上で動作する。ウィンドウは自由に動かせるが、VIC-IIのビットマップモードではなくテキストモードを使うため、8×8ピクセル単位でしか配置できない。つまり厳密にはGUIではなくTUIだ。Windows風とMac風の2種類のデザインがあり、UltimateやSD2IEC、WiC64にも対応する。
WiCiは無線GPUとローカルAIに取り組むシステム研究ラボ。Wi-Fi越しのGPU呼び出しで膨らむネットワーク遅延を、キャッシュやデータ再利用、非同期実行で抑え、近くのGPUをあたかもローカルであるかのように扱う。モデルとデータを手元に置いたまま計算資源を共有する仕組みで、個人や組織がAIを直接制御できる環境を目指す。
1930年代、カリフォルニアで映画館を営んでいたMcDonald兄弟は、不況で経営に行き詰まり、オレンジジュースの屋台を経てハンバーガー販売に転じた。1948年には店を一時閉鎖し、Levittの住宅大量生産に倣った「組み立てライン方式」を厨房に導入。メニューを9品に絞り、20秒で一食を提供する仕組みを築いたが、客は当初、カーウェイトレス廃止や注文のカスタマイズ不可に反発した。
deepsense.aiのチームはOpenAI Codexハッカソンでの受賞を機に、CodexとClaude Codeを使った自社環境でハーネスパターンを検証した。AGENTS.mdを短く保ちつつ詳細ドキュメントへリンクする、タスクごとに必要なコンテキストを都度組み立てる、コミットメッセージやテストのdocstringに「なぜ」を残す、検証コマンドを人間・エージェント・CIで共有する、といった1…
KarpathyのHackerTubeに着想を得たサービス。信頼するYouTubeチャンネルを登録し、自分の基準を言葉で書くと、AIが毎日新着動画を0〜10で採点し、7以上のものだけを公開する。各ピックには選んだ理由と、クリエイター自身のチャプターから取った見どころが付く。気に入らない動画には理由を添えて弾けば、AIがその判断を覚えて好みに合わせていく。無料プランは1チャンネル・月30回のAIチ…
Kvittasは、複数人での支払いを簡単に精算できる割り勘アプリです。作者は長年愛用してきたCost SplitのUIに不満を感じ、その代替として自ら開発しました。最大の特徴はアカウント登録が一切不要な点で、面倒なサインアップなしにすぐ使い始められます。旅行や飲み会、シェアハウスなど、グループでの支出を管理したいあらゆるシーンで活躍します。Hacker NewsではSplid.appやiOS 2…
1990年代、カナダのGreg Kolodziejzykが立ち上げたImage Club Graphicsは、世界で初めてCD-ROMでストック写真を販売した企業だ。後にAldusを経てAdobeに買収され、Eyewire、Getty Imagesへと引き継がれた。当時のカタログやサンプラーCDを漁り、WebMorselsの素材やTIFF・EPS形式のクリップアートなど、失われつつある90年代デ…
Kiriは、Rustで書かれたオープンソースのコンテナランタイムです。最大の特徴はその圧倒的なスピードで、Dockerコンテナをわずか18ミリ秒で起動できます。従来のコンテナ起動にかかる待ち時間を大幅に削減し、開発やCI/CDパイプラインのイテレーションを高速化します。Rustによるメモリ安全性とパフォーマンスの両立も魅力で、軽量かつ信頼性の高い実行環境を求める開発者に最適です。GitHubでコ…