日刊ダイジェスト · Hacker News
· 79 ハッカーニュース
AIが難しい数学の問題を解くとき、それは「より賢くなった」からだと思われがちだ。しかし、その性能の一部は、人間の脳が持つ作業記憶の限界を取り除いた結果かもしれない。人間の作業記憶は極めて限られており、数学者はメモや記号を使ってそれを補っている。一方、AIは巨大なコンテキストウィンドウを持ち、問題全体、中間式、仮定、結論をすべて保持できる。数学は記号化に適しており、AIの外部記憶の優位性が特に発揮…
セマグルチド（GLP-1受容体作動薬）の使用が、5年後の認知症発症リスク予測を26%低下させることが、新たな研究で示された。この研究は、大規模な医療データベースを用いて、セマグルチド使用者と非使用者の認知症リスクを比較した。結果は、セマグルチドが認知症予防に有望である可能性を示唆しているが、さらなる検証が必要とされる。
GPU ModeとCore Automationが主催した自動リサーチコンテストで、著者はCodexを活用してバッチ正方行列のQR分解（Householder法）を実装し、ベースライン比232倍の高速化を達成して183人中12位に入賞。本記事では、ブロック化HouseholderアルゴリズムとWY更新を採用したアプローチ、反復的なプロンプトとフィードバックループによる最適化の過程、局所最適解を脱…
アイルランド出身のセキュリティエンジニアが、AppleのApp Store Connectへのアクセスを拒否された体験を綴る。原因は、米国政府のEntity Listに登録された「Sean Byrne」という架空の人物との名前一致だった。この人物は、2009年にイランへの航空機部品不正輸出で起訴されたMac Aviationが、会社を大きく見せるために作り出した架空の従業員だった。著者は、Nas…
RISC-Vは安価な組み込みマイコン市場を支配すると予想されるが、そのISA設計は優れているからではない。割り込み処理のオーバーヘッドはCortex-M0より3分の1以上大きく、圧縮命令のオフセット範囲は貧弱で、配列アクセスに必要な命令が3つに分かれるなど、設計上の欠陥が目立つ。拡張規格の乱立は標準の断片化を招き、高性能コアには不向きだ。著者はRISC-Vの将来に懐疑的だが、安価なマイコン分野で…
長年コードに確実性を求めてきたエンジニアが、AIとの協働を通じて「意図を伝える」ことの重要性に気づく。AIをコンパイラのように扱うとフラストレーションが溜まるが、文脈や目標、境界を共有するリーダーシップの習慣がAIとの作業効率を劇的に向上させる。AIは人間ではないが、コラボレーションの形は人材マネジメントに似ており、テクノロジーは新しいがリーダーシップのスキルは普遍的だと説く。
米国心臓病学会誌『JACC』に掲載された研究によると、腹囲やウエスト・ヒップ比は、BMI単独よりも心血管疾患のリスクを正確に予測できることが分かった。26万人以上を平均20年間追跡した結果、BMIが正常でも腹囲やウエスト・ヒップ比が高い人は、心臓病や脳卒中などのリスクが15～50%高いことが判明。逆に、BMIが肥満でも腹囲が低い人は、リスクが必ずしも高くない。研究者らは、BMIだけに頼らず、腹囲…
米国では毎年3100万人以上がマダニに咬まれており、ライム病は最も一般的なダニ媒介性疾患です。早期治療が鍵となる中、ボストンの小児科医エリン・ダウィッキ氏らが開発した家庭用検査キット「LymeAlert」が2026年8月に発売されます。約50ドルで、咬んだマダニがライム病の原因菌ボレリア・ブルグドルフェリを保有しているかを約15分で検出。ダウィッキ氏は「道徳的義務だと感じた」と語ります。
1978年、日本の通商産業省（現・経済産業省）が制定したJIS X 0208には、出典不明の謎の漢字がいくつか含まれていた。これらは「幽霊文字」と呼ばれ、長らく謎とされてきたが、1997年の調査で、多くは誤植や誤読によって生まれたことが判明。例えば「妛」は「山」と「女」を貼り合わせた際の線が誤って筆画として加えられたものだった。しかし「彁」だけは出典も前例も見つからず、誤読の可能性が指摘されるの…
スタートアップ支援の成功例であるY Combinatorが、あえてコワーキングスペースを提供しない理由を、当時の社長Sam Altmanが語った。彼によれば、偉大なアイデアは初期段階では悪く聞こえるため、他人の目を気にせず自己欺瞞を続けられる環境が必要だという。ピカソやボブ・ディランも同様の見解を示しており、数学者グロタンディークの孤独な研究期間が彼の創造性の基盤となった。
Eigendrumは、描いた任意の形状を実際のドラムとして鳴らすインタラクティブなWebアプリです。数値計算により形状の固有振動モードを解き、その音をリアルタイムで再生します。円や長方形などの既知の形状に対しては、誤差0.1%未満の精度を検証済み。打撃位置によって音色が変わる物理シミュレーションや、数式で形状を定義する機能、等スペクトルドラム（Kacドラム）の比較など、数学と音の関係を直感的に探…
2026年8月14日、インドネシアの東ヌサ・トゥンガラ州沖のフローレス海でマグニチュード7.7の地震が発生しました。USGSの推定では、強い揺れ（MMI VI〜VIII）に約150万人がさらされ、死傷者や被害が出る可能性があります。この地震は浅い逆断層型で、オーストラリアプレートとスンダプレートの衝突帯で発生。1992年には同地域でM7.8の地震が発生し、大津波で数千人が亡くなっています。余震に…
Eigendrumは、描いた図形を本物のドラムとして鳴らすウェブアプリ。ドラムの膜の振動は固有値問題として定式化され、有限要素法で数値的に解かれる。円や長方形などの解析解と照合し、誤差0.1%未満を保証。叩く位置によってモードの励起が変わり、モード単独で鳴らすことも可能。数式から図形を生成する機能や、同じスペクトルを持つ異なる形（Kacドラム）の比較もできる。すべてブラウザ上で動作し、広告で運営…
Raph Levien氏が、インタラクティブデザインに適した曲線族として「双曲ベジェ曲線（hyperbezier）」を提案。この曲線は、滑らかな曲率変化と高張力領域の両方を表現でき、キュービック・ベジェを近似しつつ、オイラー螺旋や円弧、双曲線、エラスティカなどを高精度で再現できる。パラメータマッピングにより既存のベジェ編集ツールと互換性を持たせられる。今後のスプライン実装や曲線フィッティングへの…
中国で急速に広がる首のリンパ管と静脈を繋ぐ新しい手術（dcLVA）が、アルツハイマー病患者の症状を劇的に改善するとの報告が相次ぐ。動画では、認知機能が回復した患者の姿が映し出され、中国では数十万人が高額な費用を払って手術を受けた。しかし、科学的な裏付けがないまま広がったため、中国当局は規制に乗り出した。現在、世界中で臨床試験が進むが、効果の持続性や作用機序には疑問が残り、専門家の間では期待と懐疑…
AI創薬に関する論文が、臨床への影響はまだ限定的だと指摘。データの質やベンチマークの問題を挙げ、AIの活用は「できること」から「すべきこと」へ焦点を移すべきと提言。第II相試験の成功率向上が重要で、実データの生成や臨床への橋渡しが課題。
AIエージェントの管理がチーム管理に似ているという考えが広がる中、エンジニアが過去の教訓を無視して同じ過ちを繰り返していると指摘。データサイエンスが統計学の焼き直しだったこと、暗号通貨が金融史を高速でなぞったことなどを例に挙げ、ウォーターフォールやプログラム管理といった既存の手法を再発明していると警告する。
- ▲ 142微積分入門の簡素化とリファクタリング
初年度の微積分は、学生に過剰な負担をかける方法で教えられることが多い。学生は本質的に同じ作業を行うために多様な手続きを暗記しなければならない。しかし、多くの微積分のプロセスは簡素化・合理化でき、より少ない概念で初年度の学生により大きな柔軟性と能力を提供できる。
Ploopyがトラックボール「Adept」の後継機「A+」を発表しました。8つのボタン（うち2つはノブ）を備え、ジェスチャー、レイヤー、オンデバイス設定などの新機能を搭載。取り外し可能なリストレストも付属します。2026年8月19日午前10時（東部時間）より予約受付開始、価格は99カナダドル。QMK/VIA対応で、100%オープンソースです。
Racket v9.3がリリースされました。主な変更点として、`raco setup`コマンドが`--doc-markdown`オプションでマークダウン文書を生成可能に。また、`#lang`の教育用言語（BSL、ISL+など）が言語ダイアログと同等になり、推奨される選択肢となりました。DrRacketのバックグラウンド展開ではerrortrace注釈を無効化し、構文チェックを高速化。`raco…
オランダのロースドレヒトにあるユニークなコミュニティでは、住民が湖の中の細長い人工の島に住んでいます。この地形は何世紀も前の泥炭採掘の結果であり、船で沼地を浚渫し、泥炭を乾かすために細長い土地が残されました。20世紀になると開発業者がこの土地に家を建て始め、現在では何百人もの人々がボートでのみアクセスできる家に住んでいます。
トレーディング大手Jane Streetが、AI関連企業Situational Awarenessの株価暴落により150億ドルの損失を被った。同社はAI市場の急成長に賭けていたが、市場の予想外の変動により大打撃を受けた。この事件は、AIバブルへの懸念と、大手トレーディング企業のリスク管理の限界を浮き彫りにしている。
ThoughtDAGは、LLMとの会話におけるコンテキストを可視化・編集可能にする革新的なツールです。従来のチャットでは、どの履歴が次のリクエストに影響するかが不透明でしたが、ThoughtDAGでは、会話をグラフ構造で表現し、各ノードがソースやクリップ、質問を表します。ユーザーはエッジを追加・削除することで、モデルが参照するコンテキストを自在に操作できます。送信前にモデルが受け取るトークン数や…
1993年のSega CD版を基にしたPC版『Ecco the Dolphin』に、31年もの間発見されなかったイースタエッグが隠されていた。Aboutダイアログのコード解析により、Shift+Ctrlを押しながらダイアログを閉じるとチートメニューが有効になることが判明。さらに、特定の操作で追加チート（Easy、CD check、border）も解禁される。この発見により、難易度の高い本作のエン…
1962年、エジプトのミサイル計画を支えていた元ナチス科学者ハインツ・クルークがミュンヘンの事務所から姿を消した。彼はイスラエルへの脅威となるロケット開発の中心人物だった。モサドによる暗殺説や、オットー・スコルツェニーの関与説など、謎は今も解明されていない。本記事は、冷戦期の中東で繰り広げられた科学者たちの暗闘と、失踪事件の真相に迫る。
公開記録請求で入手した政府の情報共有センター（フュージョンセンター）のインテリジェンス速報により、政府が反Flock運動のSNSアカウントを監視し、自動ナンバープレート認識カメラ（ALPR）周辺のパトロール強化を警察に指示していたことが明らかになった。文書は、Flockカメラの破壊行為を助長する投稿や、DeFlockの「全国行動週間」への警戒を促し、政治的な反監視活動家と破壊行為者を結びつけよう…
カリフォルニア大学サンディエゴ校とオーバリン大学の研究者らは、ボーイング737の外部から約60秒でアクセスできるポートに、コインサイズのWi-Fi対応デバイスを差し込むことで、自動操縦を乗っ取ったり、離陸計算に使われる重要な値を改ざんしたりできることを実証した。この攻撃は「Bus Driver」と名付けられ、飛行計画の変更をパイロットに気づかれないようにすることも可能だ。研究者らはボーイングに6…
Webサイトのテンプレート化が極まった2026年。意味のないライブステータス、セリフ体、ランダムな斜体、そして必須のダッシュ——。お決まりの構成に加え、今や「Trusted by」は同じYCコホートの6社だけ。インストールスクリプトの実行を促す文言も、スロップかどうかに関わらず実行するのは愚かだと警告する。Webの現状を痛烈に皮肉る一覧が話題だ。
- ▲ 118欧州の熱波、宇宙から見た焦土と縮む氷河
BBC Verifyが衛星画像を分析し、欧州西部を襲った記録的な熱波の影響を可視化した。5月以来の連続的な熱波で、氷河の融解、森林火災による焼け跡、河川の水位低下、農地の乾燥が確認された。特にフランスでは焼失面積が9万ヘクタールを超え、史上最悪の年となった。また、ドナウ川では30年ぶりの低水位により、第二次世界大戦の軍艦やマンモスの骨が発見された。気候変動が熱波の頻度と強度を高めていると専門家は…
長年、Zshの履歴ファイルからコマンドが消える問題に悩まされていた著者が、inotify、fatrace、bpftraceなどのツールで原因を追跡。最終的には、Zshに意図的にクラッシュを仕込んでcore dumpを解析することで、バグの根本原因を特定しました。Zsh 5.9.2で修正済みです。
かつて信頼性の高いインフラ企業だったCloudflareが、AIブームに乗って製品を乱発し、開発者体験やドキュメント、可観測性が劣化していると筆者は批判する。D1やWorkers、Sandboxesなど重複するサービス群、不完全なObservability、AI生成コンテンツによる品質低下が問題視され、経営陣がインフラより競合との比較や発表数に注力していると指摘する。
2021年のクリスマス直前にZoomで900人を解雇して話題となったBetter Home & Financeの前CEO、Vishal Garg氏が、取締役会を追われた後、CEO復帰を要求している。同氏は、後任のDaniel Lewis氏に騙されたと主張。BetterはAIを活用した住宅ローン事業で業績を回復させつつあり、Garg氏は「勝利している」と語る。一方、Lewis氏就任後、株価は45%…
GCC 16では、親関数の変数にアクセスしないネスト関数はトランポリンを必要としないことが保証された。さらにGCC 17では、キャプチャを伴うネスト関数をトランポリンなしで実現するための新しいビルトイン関数がマージされた。これにより、コールバック関数を効率的に実装でき、最適化後は単一のアセンブリ命令にまで簡略化される例も紹介されている。
色写真の最大の嘘は、赤・緑・青の量を記録するだけで物体の色を正確に表現できるという考え方だ。この技術は、カメラの分光感度が人間の目と完全に一致し、光源のスペクトルが完全に滑らかで、異なる光が使われない場合にのみ有効である。しかし、これらの条件は現実には満たされず、写真家は常に色合わせに苦労している。この問題は日常生活にも及び、抵抗器の色帯の読み間違いや、照明下でのボタンの色合わせなど、様々な場面…
盗作疑惑の中心にいた元ケンブリッジ大学教授ジェイソン・アーデイ氏（41歳）が、ロンドン南部バタシーの自宅で遺体で発見された。救急隊が金曜午後に「反応がない」状態で発見し、その場で死亡が確認された。アーデイ氏は先週、盗作疑惑と業績への疑問を受けて辞任していたが、疑惑は否定していた。警察は「現時点では不審な点はないが、予期せぬ死として扱っている」と発表した。アーデイ氏は2023年にケンブリッジ大学史…
Printytronは、プレーンな英語の説明から3Dプリント用のSTLファイルを生成するAIサービス。ブラケット、クリップ、ネームプレートなど、実用的な部品を正確な寸法で作成し、Bambu、Prusa、Cura、Orcaなどのスライサーに対応。個人利用は無料で、アカウント登録も不要。AIがモデルを構築し、別のAIが検証するという二重チェック体制を採用。CADの知識がなくても、簡単な文章でプロトタ…
1977年8月15日、オハイオ州立大学のビッグイヤー電波望遠鏡が、いて座方向から来る強力な狭帯域電波信号を検出した。天文学者のジェリー・R・アイマンは、数日後にデータを確認中にこの異常を発見し、プリントアウトに「Wow!」と書き込んだ。信号は72秒間続き、その後再発することはなかった。水素線周波数に近い1420 MHzで検出され、地球外知性の探査（SETI）の文脈で注目された。しかし、その起源は…
脳はどのようにして単一の細胞から、ゲノムにコードされた情報だけで配線されるのか。この問題を工学的な課題として捉え、コンピュータ科学者が直面する制約（ゲノムの情報容量と発生時間）から、生物が実際に用いる発生戦略が必然的に導かれることを論じる。脳の設計は、分解するのではなく、ゲノムがそれをどのように指定するかを問うことで回復可能かもしれない。
ここ2〜3年、特にAIの登場以降、HNで興味深い記事を追いかけるのがどんどん難しくなっています。面白いものをどんどん無視するという単純な解決策以外に、皆さんはどう対処していますか？
tawcは、Android上でルート権限なしにCLIおよびGUIのLinuxプログラムを実行できるプロジェクトです。グラフィカルアプリは、スマートフォンのネイティブグラフィックススタックを利用してハードウェアアクセラレーションを実現します。tawcroot（PRootの高速な代替）、Waylandコンポジタ、UIで構成され、Termuxのウィジェットを埋め込み、アプリランチャーやタスクマネージャ…
Silent Sharkは、第二次世界大戦の太平洋戦線を舞台にした潜水艦シミュレーターです。戦術マップを中心に、音探知による追跡、手動照準、魚雷攻撃など、本格的な潜水艦運用を体験できます。実在の機器を再現したインターフェースと、水温躍層や海況などの動的な海洋条件が、リアルな戦術判断を要求します。無料デモがブラウザでプレイ可能で、フルゲームでは太平洋戦役、キャリア進行、6種類の潜水艦、32のSte…
ディズニーリサーチが、2Dガウススプラッティングを用いてベジェスプライン線画をベクター化する新しい手法を発表しました。この技術は、線画を高品質なベクター形式に変換し、従来の手法に比べて精度と効率を向上させます。詳細は論文で公開されていますが、現時点ではウェブサイトが一時的に利用できない状態です。
デジタル信号処理の先駆者であるIEEE Life FellowのBede Liu氏が、5月7日に91歳で亡くなりました。Liu氏はプリンストン大学で50年以上にわたり電気工学を教え、音声、画像、動画のアナログからデジタルへの移行に貢献しました。彼の研究は、携帯電話やストリーミング、インターネット通信を可能にする低消費電力のデジタル信号処理技術の基盤を築きました。2018年にはIEEE Jack…
コストコの名物ホットドッグは1984年から$1.50のまま。しかし2023年と2026年に同じ店で購入したホットドッグを写真測量で比較したところ、バンズの体積が約45%減少し、1立方インチあたりの価格は名目60%上昇していた。牛肉価格の高騰が原因とみられ、実質的な値上げが明らかになった。
イギリスや世界各地の古書店で、AIトレーニング用とみられる大量購入が相次いでいる。ノーサンバーランドのBarter Booksは、カナダの企業から1週間分に相当する注文を受け、ロンドンのWalden Booksも異常な売れ行きを経験。背景には、Anthropicの訴訟で明らかになった「Project Panama」があり、書籍を破壊的にスキャンしてLLMの訓練データにすることが目的とされる。米国…
ドイツのAEGが開発したMagnetophonは、高忠実度のリール式磁気テープレコーダーで、ラジオ放送を一変させました。第二次世界大戦後、米国の技術者Jack Mullinがこの装置を米国に持ち帰り、Bing Crosbyが投資したことで、米国でも採用されました。Crosbyは番組を事前収録するためにこの技術を活用し、その過程で笑い声のトラック（ラフトラック）が生まれました。本記事では、発明の経…
JavaScript向けBDDライブラリ「Yadda」のメジャーアップデート3.0.0が公開された。今回のリリースの大部分はClaude Code（Opus 4.8）によって書かれており、著者はわずかな介入で約1日で完了したと報告。さらに、並列エージェントによる開発では、人間の調整能力が新たなボトルネックになると指摘。実行可能な仕様書は、エージェントにとって貴重なコンテキストとなり、BDDの経済…
スタンフォード大学の研究チームが、ゲノム言語モデルを用いて16種類の機能的なバクテリオファージをゼロから設計し、大腸菌に感染させることに成功した。AIが設計したウイルスは、自然のファージに耐性を持つ細菌にも感染できる。一方で、同様の技術が生物兵器に悪用されるリスクも指摘されており、専門家は監視体制の構築を呼びかけている。
SSHのポート22をインターネットに晒さないための方法として、fwknopによるSingle Packet Authorization（SPA）を紹介。鍵認証やfail2banだけでは不十分で、ポートを完全に閉じてスキャナーに何も見せないようにする。SPAは暗号化・署名されたUDPパケットを送ることで、一時的にファイアウォールのルールを挿入し、SSHポートを開く。パケットは使い捨てでリプレイ攻撃…
W3Cが公開するWCAG 2.2の理解ガイドは、各達成基準の意図や利点、実装方法を解説する重要な資料だが、Webページの形式では電子書籍リーダーやオフラインでの利用に不便だった。そこで、開発者がこのガイドをEPUB（3.4MB）とPDF（PDF/UA準拠、7.5MB）に変換し、無料で公開した。内容は公式リポジトリから自動生成されており、非公式の形式変換であるが、監査レポートの修正作業に役立つ。
米国財務省のTreasuryDirectは、2026年10月28日から従来のログイン方式を廃止し、政府認証のID.meを必須とすると発表した。9月13日からID.meでのログインが可能になり、移行期間中にアカウント設定が必要。セキュリティ強化が目的で、SSNと政府発行の写真付き身分証明書（運転免許証、パスポートなど）が必要。既存のID.meユーザーも追加の本人確認が求められる場合がある。
「Geek Fighter」は、Steve Jobs、Mark Zuckerberg、Elon Muskなど、テック業界の著名人10人が登場する2D格闘ゲームです。プレイヤーは「Versus Mode」で一騎打ちをするか、「Fortune 500 Mode」でCEOたちを次々と倒していくモードを選択できます。各キャラクターは独自の技と特殊能力を持ち、例えばSteve Jobsは「Reality…
ホワイトハウスの科学担当官マイケル・クラツィオス氏が、米国の科学研究体制の抜本的改革を提言。第二次世界大戦後の科学政策の基盤となった「科学：果てしなきフロンティア」報告書の限界を指摘し、AIの活用と中国との競争に焦点を当てた新たな枠組みを提案する。
SugarTrackは、血糖値の記録に特化したシンプルなAndroidアプリです。無料で、アカウント登録やインターネット接続は不要で、データはすべて端末内に保存されます。食事の前後や就寝前などの状況、メモ、食事の写真を記録でき、目標範囲に基づいた色分け表示や履歴・トレンドグラフ、服薬やA1Cの記録、毎日のリマインダー機能も備えています。単位はmg/dLとmmol/Lに対応し、PDFやCSVでの書…
Deltixは、iOSシミュレータ上でAIエージェントが実際のユーザーのようにアプリを操作し、タスクを完了できるかをテストするサービスを開始した。ユーザーは英語でタスクを記述するだけで、エージェントが実行し、結果をレポートする。ソースコードやビルドはMac上に留まり、プライバシーが保護される。成功した実行はPlaybookとして保存し、リグレッションテストに再利用可能。2つのビルドを比較する実験…
Ampはプルリクエストを使わずにmainブランチへ直接プッシュする開発スタイルを採用している。SOC 2監査では「リスクを考えよ」という原則に基づき、承認・テスト・記録のプロセスを独自に設計。署名付きコミット、自動CI、監査証跡を整備し、監査を通過した。小規模なチームだから可能なこの手法は、大企業にはそのまま適用できないが、リスクに応じたプロセス設計の重要性を示している。
レム睡眠中に脳が聴覚情報をどのように処理しているかを調べた研究で、脳は外部の音を遮断し、内側へ向かう「内向きのリスニング」状態になることがEEG（脳波）記録から示唆された。この発見は、夢の生成や記憶の定着におけるレム睡眠の役割の理解を深める可能性がある。
2026年8月14日、Daniel J. Bernsteinはブログで、NSAがIETFのTLSワーキンググループにおけるML-KEM単独仕様の標準化投票に介入したと報告。82人が投票期間中に明確な反対を表明したが、議長は「ラフコンセンサス」と宣言。Bernsteinは、議長が反対者を無視し、専門性や事前参加などの基準を都合よく変えていると批判。IESGへの抗議メッセージも公開している。
xai-org/x-algorithmリポジトリに、ブラジル2026年選挙に向けたフィルター「brazil_2026_election_filter.rs」が公開されました。このフィルターは、選挙裁判所に報告されたユーザーID（665件）をハードコードし、Xの「おすすめ」タイムラインから該当する投稿やプロフィールを除外するものです。コードには、選挙関連のコンテンツを抑制するための具体的な実装とテ…
cblgh.orgの著者が、Ratfactor氏の紙ベースのプロジェクト管理システム「project stack」を実際に試し、ピザの箱のダンボールで専用オーガナイザーを自作するまでの過程を紹介。Zettelkastenとスタック構造とTODOを組み合わせたこのシステムは、現在のタスクを一番上に置き、完了したら捨てるというシンプルさが魅力。著者は7年前の名刺をカードとして使い、3つのスタック（未…
BriskDBは、通常のSQLiteファイルをシャーディングして1つのデータベースとして扱えるようにするオープンソースプロジェクトです。並列書き込み、PostgreSQL互換、HTTPアクセス、Rust/Python組み込みAPIを備え、SQLiteのストレージエンジンとツールをそのまま利用できます。各シャードは独立したWALを持ち、書き込みロックが競合しないため並列処理が可能です。また、シャー…
xorshiftジェネレータは、擬似乱数を生成する最も広く使われているアルゴリズムの一つで、わずか数行のビット演算で数十億のデバイス上で動作しています。この記事では、xorshift32とxorshift64の仕組みを解説し、なぜ13、17、5のような特定のシフト量が「最大」となるのかを探ります。最大のトリプレットは、ゼロ以外のすべての値を生成でき、その数は32ビット版でわずか162個です。また…
Jaithon 3は、Rust、Python、Java、JavaScriptの構文に触発された、動的実行・ガベージコレクション方式のプログラミング言語です。バイトコードVM上で動作し、コア部分以外はすべてJaithon自身で書かれた高度にブートストラップされた設計です。型推論、パターンマッチング、トレイト、遅延イテレータなど、モダンな機能を備えています。開発にはAIエージェントを活用し、生産性を…
ホルムズ海峡は世界の石油液体消費量の約20%が通過する海上の要衝。この海峡を航行するタンカーや貨物船などの位置情報をリアルタイムで表示する無料ダッシュボード「hormuz.now」が公開された。AISデータを数秒ごとに更新し、船種や船籍国でフィルタリング可能。各船の詳細情報（船名、MMSI、旗国、速度、針路、寸法、載貨重量、目的地）も確認できる。ただし、AISはクラウドソースのため遅延や欠落、な…
Hypnagogic Quasicrystalsは、準結晶の美しいアニメーションをブラウザ上で生成・体験できるWebXR対応のインタラクティブプレイグラウンドです。レイヤー、テンポ、パターン、密度、パレット、グレースケール、アングル、モード、レンダースケールなどのパラメータを調整することで、無限に変化する幻想的なビジュアルを創り出せます。VRモードに対応しており、没入感のある体験が可能。アーティ…
ZigのI/Oインターフェースが2025年8月に大規模刷新され、`GenericWriter`や`AnyWriter`などが削除された。旧APIはジェネリック型が構造体全体に感染し、コードベースを汚染する問題があった。新APIでは具象型とvtableを採用し、バッファリングを呼び出し側が管理。さらにZig 0.16では`Io`インスタンスを`Allocator`のように依存注入し、非同期I/Oや…
MIRI（Machine Intelligence Research Institute）は、人間と同等以上の能力を持つAIが数年以内に実現する可能性が高く、その場合、人類絶滅がデフォルトの結果になると警告しています。同研究所の研究リーダーは、早急な政策対応がなければ絶滅リスクは90%を超えると推定。世界の主要AI企業は汎用AIの開発を目指しており、AIの能力は人間を超えて急成長する可能性が高い…
AI保険会社Corgiの女性従業員の写真を公開し、魅力を投票で競わせるサイト「CorgiGirls.com」が、同社の法的措置を受けて削除された。サイトは元Minecraftプロプレイヤーでスタートアップ創業者のSebastian Mandal氏が開設し、3日間で20万人以上の訪問者を集めた。Corgiは従業員の保護を強調し、サイトへの関与を否定している。
Yesterdays of Richmondは、バージニア州リッチモンドの歴史的な写真を地図上に配置して探索できるウェブサイトです。ユーザーは、地図上で場所を指定して写真をジオレファレンスし、過去の街並みを現在の地図と重ねて見ることができます。サンボーン火災保険地図や歴史的な航空写真など、複数の地図レイヤーを切り替えながら、100年以上前の風景を現代の地図と比較できます。コミュニティによる貢献で…
OpenAIのワークショップで数学の未来について講演したDaniel Litt氏は、AIが数学で超人的能力を持つようになっても、数学的進歩が停滞する可能性を探る。2026年には数学論文の爆発的増加が見られる一方、MathOverflowの利用は減少し、AIによる重複研究が増加。2027年には数学者のキャリア戦略が conjecture のスロットマシンと化し、2028年には自動形式化が進むが、数…
Netflixが開発した「GenRec」は、大規模言語モデル（LLM）をベースにした推薦ランカーです。ユーザーの視聴履歴やアイテムのメタデータを自然言語に変換し、Netflix独自のデータで事後学習することで、従来のプロダクションランカーと同等以上の精度を達成しました。しかも、ラベル付きデータは約40分の1、入力シグナルも大幅に削減しています。約10%のトラフィックで4週間のA/Bテストを実施し…
TerminalWidgetとAstropyを使って、太陽と月を含む惑星の方位角と高度を表示するMacウィジェットを作成しました。コードはPythonで書かれ、launchdによって30分ごとに実行されます。この記事では、コードの詳細と、太陽系の天体の位置を計算する方法を説明しています。
Keetaは、国境を越えた高額決済向けに設計されたブロックチェーンネットワークで、クライアント主導の2相コンセンサスアルゴリズムを採用しています。本論文では、このアルゴリズムをQuintで形式仕様化し、TLCモデルチェッカーを用いてビザンチン障害モデル下で検証しました。その結果、固定された等重みの代表者集合の下で合意が保持されることを確認し、任意の代表者数への一般化を論じるとともに、競合するアカ…
Sophonticは、モデルの内部構造を直接訓練する「幾何学的密度」という独自手法により、推論性能において60倍の規模のモデルを凌駕すると主張する。同社は、従来の評価手法をゲーム化する表面的特徴に依存しない、ペア項目テスト「フリップレート」を用いて推論能力を測定する。評価キットは公開されており、プロトタイプは現在評価中である。
DARPAリフトチャレンジが今週末に開催され、奇抜な重量物運搬ドローンの設計が公開された。NASAのスカイフォール火星ヘリコプターは、地表貫通レーダーを使って凍った水を探す。また、ヤモリの指を模したロボットグリッパーや、タッチで操作する支援ロボット、音響追跡UAVなど、今週のロボットビデオを紹介する。
Claude Trofeo HUDは、手頃な価格のThermalright Trofeo Vision LCD（約38ドル）を、Claude Codeの使用状況をリアルタイムで表示するデスクトップHUDに変えるmacOS向けツールです。セッション/週間の利用制限、トークン消費量、APIコストの推定値、ライブセッションのアクティビティを、macOSからUSB経由でストリーミング表示します。Anth…
シアトルの音をテーマにした新しいラジオ局「Sea Lion Radio」が登場。パイクプレイスマーケットの魚売りの掛け声や、ハイドロプレーン、ブルーエンジェルスの轟音、ゴアテックスの擦れる音、エスプレッソの抽出音、歪んだギターとグランジの憂鬱まで、街の多様な音を収録・配信する。録音を担当するクリス・ミルズ氏の活動を通して、街の音風景を世界に発信する試みを紹介する。
2012年のPhilly ETEカンファレンスで、YammerのエンジニアであるCoda Haleが「The Programming Ape」と題した講演を行いました。人間は合理的ではないにもかかわらず、ソフトウェア開発を任されているという矛盾を出発点に、現代の認知科学の知見を活用して、コンピュータの仕組みではなく人間の思考に合わせたツールを設計する重要性を説きます。Yammerでの実践例を交え…
- ▲ 8トークンを買うのは誰？
暗号通貨市場では、トークンの供給が需要を上回るという懸念が高まっている。この記事では、実際にトークンを購入する主体（個人投資家、機関投資家、ベンチャーキャピタルなど）を分析し、市場の流動性とトークンの価値維持の可能性について考察する。特に、新規トークンの発行が続く中で、買い手の需要がどのように形成されるのか、そのメカニズムを解説する。