日刊ダイジェスト · Hacker News
· 84 ハッカーニュース
筆者はペルー旅行中にHiram Binghamの話から着想を得て、GeminiやClaudeなどのエージェントにLidarデータ解析を指示。約1,200km²のジャングルを画像化し、48体のエージェントが考古学者のようにピラミッドや広場を探した。その結果、これまで登録されていなかった丘頂の遺構を発見。メキシコのINAHに報告し、公式に「該当場所に登録遺跡なし」との返答を得るまで72時間未満だった。
Cray Researchでスーパーコンピュータ用コンパイラを書き、Dragon Systemsで音声認識ソフトを手がけたTim Peters氏が2026年に逝去した。Guido van Rossumに次ぐ初期のPythonユーザーとして設計進化を支え、「import this」で今も読める「The Zen of Python」を著した。2001年から2014年までPython Software…
AWSが公式リポジトリ aws/aws-emulator を公開した。AWSアカウントなしでローカルやCI上でAWS APIをエミュレートできる。CLIや任意のSDKをエンドポイントに向けるサーバーモードと、Rustのテストに組み込む組み込みモードを備える。サービスごとにクレートを分けた構成で、リリースごとに忠実度スコアを公開。テレメトリはデフォルト有効で、無効化も可能。本番用途やセキュリティ検…
Jane Streetのシステムチームによる実体験。工事の粉塵で煙感知器が誤作動し、連動してCRACが停止。冷却を失った機械室は温度が上昇し、加圧されたスプリンクラーが熱で作動すれば全サーバーが水没する危機に。自宅至近に住んでいた著者が駆けつけ、150°Fに達する前に全電源ケーブルを引き抜いて難を逃れた。その後、各Linuxサーバーの温度を毎分取得して平均を監視するOCaml製の仕組みを自ら書い…
United Airlinesは、MetaのMuseやOpenAIのdotsのようなAIエージェントが旅行者に代わって航空券を予約することを禁止すると発表した。決済情報などの認証情報を第三者のAIアシスタントと共有することのセキュリティリスクや、荷物の対面確認を求める連邦規則に抵触する可能性を理由に挙げている。同社は自社プラットフォームだけでなく旅行代理店やアグリゲーター経由でも制限をかける方針…
SSH秘密鍵をファイルではなくSecure Enclaveに保存するネイティブな方法を試した記録。sc_authで非エクスポート鍵を作成し、SSH_SK_PROVIDERを設定、Touch IDで署名を承認する。鍵は抽出不能で、使用のたびに生体認証が入る。ただしTouch IDのダイアログが「ctccardtoken needs to authenticate」と無骨で、筆者は美しさの面で納得で…
LGがテレビを通じたスパイ行為を指摘されたことを受け、The Vergeの記者がAmazon、Apple、Google、Samsung、Roku、TCLなど主要なテレビ・ストリーミング機器メーカー11社に、音声の保存や視聴内容のスクリーンショットなどプライバシーに関する17のイエス・ノー質問を送付。曖昧なプライバシーポリシーに逃げられない形で回答を求めた結果、主要3社とストリーミング機器各社から…
WebGL2とJavaScriptで作られたブラウザ向けの砂シミュレーター。指で砂粒を押したり、スマートフォンを傾けて滑らせたり、振って散らしたりできる。スマートフォン、タブレット、デスクトップのいずれでも動作し、インストール不要でそのまま遊べる。
Googleが新モデルGemini Decision 1を搭載したGemini Decisions APIを発表した。テキスト・画像・音声・動画・PDFを1回の入力にまとめ、最大1,000件のyes/no・選択・ルーブリック評価の質問を単一のフォワードパスで処理する。トークン単位の生成を行わないため、エンドツーエンドのレイテンシは150〜250ms、料金は入力100万トークンあたり0.10ドルで…
GA100ダイに電圧フォールト注入の脆弱性を発見し、任意のヒューズを焼けるようにした。これによりCMP 170HX 8GBを実質A100-80Gへと改造。しかも有効なSMが約120〜126基と量産A100の108基より多く、FP16性能は約1.2倍に達する。NVLinkやPCIe Gen4、NVDECなどCMPで無効化された機能も解放可能。NVIDIAのヒューズ設計では、焼くほど制限が緩むという…
8ビットPC時代、友人が作った横スクロールゲームは遅すぎて遊べなかった。コードはすでに限界まで最適化され、ループ展開とオフセット指定で60%高速化してもまだ足りない。そこで著者は6809のマニュアルを図書館で調べ、誰も思いつかない奇抜な命令の使い方にたどり着く。
AppleがApple Support Communityを11月20日に永久閉鎖すると告知し、現在は閲覧専用となっている。ユーザー同士が助言やトラブルシューティングを交わしてきたこのフォーラムは、1998年にApple Tech Exchangeとして始まった長い歴史を持つ。Appleは戦略と顧客ニーズを慎重に検討した末の決定だと説明しているが、数十年分の投稿がどうなるかは明らかにしていない。
NvidiaのJensen Huang CEOが社内幹部と交際していたと報じられ、Hacker Newsで議論が沸騰。同氏はNvidia株の3.4%を保有するものの二重議決権は持たず、取締役会が判断すれば解任を防げないとの指摘も。MuskやGatesら他のテックCEOとの比較や、報道のタイミングを巡る臆測が飛び交っている。
MIT CSAILのGPT-6 Astraは、Qwen3.5-0.8Bの重みを0.016%書き換えるだけでMATH-500の正答率を7.9%から48.1%に引き上げた。だがその8時間に及ぶ試行錯誤の大半は、実は線形計画法で解ける問題だった。筆者はGPUソルバーで約1分の求解に置き換え、変更する重みを8分の1に減らしながら同等の性能を達成した。
Watcher.GuruがXに投稿した速報によると、NvidiaがCEOのJensen Huang氏を解任する準備を進めているとWSJが報じた。投稿は約39万回閲覧され、リプライ欄ではHuang氏の私生活を巡る噂話が飛び交い、別のアカウントも「Nvidiaに二度目の不倫騒動」と反応している。
1973年と比べ、同じ生産量を生むのに必要な労働時間は40時間から16時間へと減った。しかし週40時間労働は1938年から変わらず、人口あたりの労働時間はむしろ10%増えている。著者は国民経済計算を追い、浮いた24時間のうち18時間は賃金に届かず、残り6時間は時間として受け取れない形で支払われたと分析する。賃金が「価格」と「配分の券」という二つの役割を兼ねる構造から、その行き先を解き明かす。
Atuin 18.24で登場したThreadsは、Claude CodeやCodexなど各エージェントのセッションを暗号化して同期し、別のマシンや別のツールで続きから再開できるようにする。セッションは追記型ログとして扱われ、MCP経由でエージェント自身が過去の作業を検索・参照することも可能。シェル履歴と同じ発想を、意図や試行錯誤まで含むエージェントの記録へと広げたものだ。
Klarnaの基幹システムを10年間支えた著者が、Erlang VM「BEAM」の内部を解説する書籍を書き上げるまでの13年を振り返る。2012年の着手からO'ReillyとPragmatic Bookshelfの相次ぐ出版中止を経て、GitHubで公開した草稿はコミュニティの修正や励ましに支えられ完成へ。スケジューラ、GC、タグ付け、トレーシングなど実運用に役立つ知識を網羅する。
- ▲ 189社会政策を打つ前に、山羊を一頭捧げよう
米国のSchool Improvement Grantsに30億ドル、アフガニスタン女性の就職支援に2億8000万ドル、One Laptop Per Childに10年にわたるRCT——そのどれもが測定可能な効果を残さなかった。1987年にPeter Rossiが発表した「評価の鉄の掟」は、大規模な社会プログラムの純効果はゼロだと喝破する。著者は、介入の前に血と蝋燭の儀式を執り行い、自分たちが何…
Term Sheet, Pleaseは、人気ゲームPapers Pleaseのメカニクスを再現したユニークなブラウザゲームです。プレイヤーはDemo Day後の投資家となり、次々と訪れるYCスタートアップの創業者を審査して、資金提供するかどうかを決定します。書類の事実をクリックして確認し、限られた時間と情報の中で「PASS」「FUND」「HOLD」を選択する緊張感が魅力。スタートアップ投資の意思…
「壁にペンキを塗りたくっても、有効なPerlを書かずに済むことは可能か」という長年の未解決問題に、著者はOCRを使って実証的に挑んだ。100枚のペンキ飛沫画像を解析した結果、有効なPerlとして解釈されたのはわずか93%。残る7%の反例も提示し、SIGBOVIK 2019で発表された遊び心あふれる論文。
Yogurtは、会議の録音と文字起こし、AIによる議事録作成をローカル環境で完結させるオープンソースアプリです。最大の特徴は、会議にボットを参加させずに通話を録音できる点。音声データやノートが外部サーバーに送信される心配がなく、プライバシーを重視するチームに最適です。Whisperによる文字起こしやllama-cppを活用したローカルAI処理に対応し、macOS、Windows、Linux向けに…
クッキーを使わずにブラウザの特徴からユーザーを識別するフィンガープリンティングに対し、Mozillaが実測ベースの対策を打ち出した。約2500万人のFirefoxユーザーから得た計測データを分析し、識別に効くのはごく少数の特徴だと特定。画面解像度やプロセッサ数などの露出を抑え、多くのユーザーを似た者同士に見せることで追跡精度を下げた。成果はCCS 2026に採択された論文として公開されている。
Appleの研究者がICML 2026で発表した手法は、クエリを最適なキーへ素早く振り分ける小さなニューラルネットをデータベースごとに一度だけ学習させる。サポート関数の凸性を利用したSupportNetはクラスタへのルーティング精度を高め、KeyNetはクエリ自体を書き換えて既存のIVFインデックスをそのまま高速化する。Natural Questionsで99%リコール到達時間が最大約8倍短縮し…
バイオテロ抑止のため、米国は合成DNAの発注に関する新たな規制を導入する。対象は主に政府資金を受けた研究者で、HNでは規制の実効性を疑う議論が展開された。オリゴヌクレオチド合成はインクジェットプリンタのような装置で行え、スキルと意志があれば供給制限は障壁にならないという指摘や、テロリストが政府資金の研究者であるはずがないという矛盾を突く声が上がっている。
Claude Codeの登場で、Emacsユーザーが誇ってきた編集速度やLISPの表現力といった優位性は意味を失いつつある。著者は、高校生がAIに頼ってExcalidrawの全スタックをElispで再実装したexcali-mode.elや、Rust製ターミナルエミュレータを丸ごと作り上げたcooked.elを例に挙げる。かつてなら到底不可能だった無駄な再実装が、トークン代だけで済むようになった現…
GitHub Actionsがワークフローのロックファイルを正式サポートした。これまでタグは書き換え可能でサプライチェーン攻撃の標的になるため、完全なSHAへの固定が推奨されてきた。gh CLI拡張のgh-actions-lockを使えば、ワークフロー内のアクションをvX.Y.Zタグのまま記述しつつ、解決済みのコミットSHAをactions.lockに記録できる。RenovateやDependa…
bo2-macは、Call of Duty: Black Ops IIの3つのexeをRemillでLLVM IRに変換し、ARM64のネイティブコードへ静的リコンパイルするプロジェクトです。手書きのWin32ランタイムと、Direct3D 11をMetalで描画するレイヤーを組み合わせ、WineもJITも使わずに1プロセスで動作します。自分のSteam版をMac上で変換すれば、キャンペーンは5…
- ▲ 140あなたの年金がAIバブルを支えている
大手テック企業によるAI投資が「現金焼却炉」と化し、データセンター建設の資金は私募ファンド経由で我々の退職金に依存している。Americans for Financial Reformの報告によれば、データセンター融資の25〜30%はPEファンドが担う。トランプ政権の規制緩和で15兆ドル規模の401kが私募ファンドに流入可能となり、S&Pはハイパースケーラーの信用力低下を警告。2008年の再来を…
TendrilsはBenchmark主導で3000万ドルの資金調達を完了した。既存のCPUは1970年代からの後方互換性に縛られ、複雑なキャッシュコヒーレンシやリオーダーバッファが性能の足枷になっていると同社は指摘する。そこで逐次設計を捨て、数千コアが並列動作するプロセッサを構想。共有可変メモリや線形命令列の概念を超えるため、並列優先アーキテクチャ向けに設計されたオープンソース言語Vineの開発…
Appleが公式サポートコミュニティの永久閉鎖を発表した。本日から新規投稿は受け付けず、閲覧のみの読み取り専用状態となる。今後は公式のApple Supportサイトで情報を探すよう案内しており、長年専門知識を提供してきたコミュニティメンバーへの感謝も表明している。
PharoのVMをWebAssembly化し、ブラウザ内で直接Smalltalk環境を動かせる「Pharo World」が公開された。Pharo 13.1から15までのイメージを選んで起動でき、.stファイルや.imageをドラッグ&ドロップで開くことも可能。保存したイメージはブラウザ内に保持され、IcebergによるGit操作やMetacelloの読み込みにも対応する。
GinuxはUEFIから直接起動するRust製のx86-64カーネルで、Linuxカーネルを下に置かずにLinuxユーザースペースを動かす。独自のメモリ管理、スケジューラ、VFS、ネットワーク、Linux ABIを備え、管理コントローラはring 3で動作する。未改変のAlpineやRocky Linuxをドメイン内で実行でき、systemdがmulti-user.targetに到達する例も確認…
Independent Games Festivalの審査員を務めた筆者が、Big WalkのAI利用宣言を巡る論争を分析。IGFにはAIポリシーがなく、審査員個人の判断に委ねられている現状を指摘する。ルールは現実を規制するのではなく、コミュニティの価値観を示し、違反時に正当化の根拠を与えると主張。House Houseへの批判は過剰ではなく、クリエイティブなコミュニティとして当然の反応だと論じ…
Werner Vogels氏のブログ記事をめぐるHacker Newsの議論。AWS Emulatorを題材に、AIエージェントがコードを書くようになったときエンジニアの役割がどう変わるかを考える。元ページは取得できず、議論の内容のみが手元にある。
AIコーディングツールの普及でコードを書く速度は上がったが、製品の出荷ペースはそれに追いついていない。NBERの論文「Writing Code vs. Shipping Code」をはじめ、開発者のAI自律性への線引きやコードレビューエージェントのバグ検出精度を扱った複数の研究を引きながら、この「活動と成果のギャップ」の正体を探る。
AssemblyForNeovimは、C、C++、Rustのコードに対応したアセンブリ表示ツールで、Neovimのフローティングウィンドウにインラインアセンブリを表示します。カーソル下の関数や選択した行を、x64・aarch64向けのアセンブリに変換して即座に確認できます。ウィンドウ内では`+`/`-`で最適化レベルを変更、`R`で再実行、`q`で閉じるといった操作が可能です。`cc`/`c++…
Zachtronicsの難解なプログラミングパズルゲームTIS-100を16のLLMに解かせ、コミュニティのリーダーボードを伏せたまま改善を続けさせたベンチマーク。Opus 5.5とGPT-6 Astraが全55問を解き、それぞれ11問で新たなフロンティア点を発見。133の新記録点のうち18は既存のコミュニティ記録を上回り、サイクル数で最大29%高速化した例もあった。一方、コストや試行回数は性能…
コンピュータグラフィックスの象徴として知られるUtah Teapotの公式ページ。1975年にMartin Newellが28枚のBézierパッチで制作した原形から、Jim Blinnによる縮小、Frank Crowの丸底追加、Hank DriskillとRuss Fishによる内部構造の改良を経て、2026年版ではCem Yukselが曲率連続性と面取りを加え、わずか62パッチで内部まで備え…
AmstradのPCW 8256（通称Joyce）などに搭載された3インチフロッピードライブは、動作はするものの高価だった。あるユーザーは後に空きスロットへ標準の3.5インチドライブを増設し、安価で入手しやすく容量も2倍だったと振り返る。3インチフロッピーの存在自体を知らなかったという声や、Matsushitaが専用生産ラインを設けたという指摘も寄せられている。
GitHubのステータスページによると、2026年11月11日、Webhooks、Actions、Pages、Copilotを含む複数の製品で可用性の低下が発生した。まずPagesの障害報告を皮切りに、ActionsとWebhooksの性能劣化が続き、その後Copilotにも影響が拡大。GitHubは現在も原因を調査中で、各製品の復旧状況は随時更新されている。
like-webrtcは、WebRTCのシグナリングとピア探索を組み込みで提供するライブラリ。ブラウザ、Node.js、React Nativeで動作し、公開鍵をアドレスとしてサーバーを立て、他のピアがそこへ直接接続できる。Node.jsのhttpに似たAPIで、STUNやTURNも初期設定済み。48時間で作られたP2P版Discordのデモも公開されている。
2014年、ブルゴーニュで逮捕されたロシア人男性は、ロマネ・コンティなど高級ワインの偽物を欧州各地の小売店に100本以上売り、被害額は少なくとも200万ユーロに達した。裁判では4年の実刑（うち2年執行猶予）と罰金を言い渡されたが、単独犯では不可能なほど巧妙な手口は謎に包まれたままだ。逮捕から12年、ワイン偽造は組織犯罪として大規模化・巧妙化し、仏伊の当局も専門部隊を設けて対応に追われている。
「abandoned greenhouse」で検索した筆者が、世界中の放置温室の写真を集めた。オハイオの商業バラ農園、ニューヨーク郊外のBoyce Thompson Institute、イタリアのVilla Maria、そして蔦に覆われた「The Glass Forest」まで。植物のために建てられた空間は、見捨てられると朽ちるよりも成長し、自然に取り戻されていく。
Kladは、コーディングエージェントと人間が同じキャンバスで一緒に絵を描ける2Dペイント＆アニメーションアプリです。エージェントは`klad`コマンドラインから同じブラシを使って描画し、双方のストロークがリアルタイムで反映されます。画像生成モデルではなく、すべてのストロークや塗りがパス・筆圧・色などのデータとして保持されるため、後から一本の線だけを修正可能。Claude CodeやCodexなど…
MambaなどのState Space Modelはメモリ消費が少なく生成スループットも高いが、Transformerから単純に蒸留すると性能が落ちる。Appleの研究チームは、まずTransformerをkernel trickの応用で線形化Attentionへ蒸留し、それをAttentionブロックを持たないMambaへ蒸留する二段階の手法を提案。Pythia-1Bの性能をほぼ維持し、per…
1950年代のBell LabsやBoeingでの可視化ツールに始まり、MIT、Utah大学、NYITなどで発展したCGの歴史をたどる。MITのMoonとSpencerが1940年代に手作業で作った世界初のラジオシティ画像、Ivan SutherlandのSketchpad、John Whitney Sr.の抽象アニメーション、GMのDAC-1など、今日のCG技術の基盤を築いた人物と出来事を年代…
SFUのChris Careaga氏とYağız Aksoy氏によるSIGGRAPH 2025の論文。1枚の写真から色付きメッシュを推定し、3D空間上でスポットライトや環境光などの光源を自由に配置。パストレーシングで近似レンダリングした後、ニューラルレンダラーが写実的な仕上がりに変換する。微分可能レンダリングによる自己教師あり学習で、実世界の写真コレクションから訓練できる点が鍵だ。
Huaweiがモデル非依存のキャリブレーション量子化ツールMACaQをGitHubで公開した。122Bパラメータのモデルを32.5GBのメモリで64分で量子化でき、MR-GPTQやDuQuant++より低いperplexityを達成、あるいはLlama-3-8Bで同等品質を11分の1の時間で実現する。llama.cpp、vLLM、Diffusers、PyTorchに対応し、テキストだけでなく画像…
immich、meilisearch、QEMU、Servo、Zig、Gentoo Linuxなど、11万スター超の大型プロジェクトを含む多数のOSSが、LLMやCopilot、ChatGPTなど生成AIによるコード・ドキュメント・issueの投稿を明示的に禁止している。対象はコードだけでなく、PRの説明文や翻訳、アート作品にまで及び、AI生成と疑われるPRは即座に却下・BANの対象となるケースも…
英Derbyshire州Hiltonに住むDave Billings（45）が、Facebook Marketplaceで4,000ポンドで購入したBmibabyのBoeing 737-500の機体を、大型クレーンで自宅の庭に掘った巨大な穴へと吊り下ろした。妻には「ガラクタ」と言われたが、7歳の息子の後押しで決断。ボランティア5人とクレーン作業員の協力のもと、機体は既存の地下 room につなが…
Umbraの作者Thomas Neumannが、AIエージェントでデータベースエンジンを自動生成するGenDB-Vの主張を検証した。Umbra比22〜61倍という高速化の大半は、クエリごとに負荷時に作り込んだ補助構造や、dbgenの行番号規則をコードに埋め込んだことによるもの。TPC-Dを壊した過学習の再来であり、ベンチマークを最適化させる限りその結果は実システムでは通用しないと指摘する。
Reuters Instituteの2026年調査によると、ChatGPTやClaude、Geminiなど対話型AIを週に使う人は6カ国平均で51%に達し、米国ではスマートフォンやインターネットより速い普及だ。情報取得にAIを使う人は38%まで増えた一方、ニュースに使うのは9%にとどまる。AIが作ったニュースを許容する人は12%しかおらず、人間の監修があっても19%。人々はAIを信頼の対象ではな…
Gitoriの「Find the Notes」ゲームで3年間に10,000人以上が挑戦し、275,170件のデータが集まった。指板の中央上部、特にG弦6〜9フレットが最も難しく、最悪のG弦8フレット（E♭）は約3分の1が誤答。端の低音E弦と高音E弦は簡単で、開放弦や12フレットの誤答率は約6%にとどまる。シャープやフラットはナチュラルより約16%誤答が多く、正解でも約11%時間がかかる。
Eurostatの住宅費負担指標は、住宅ローン元本を除外し地域差を平均化するため、住宅危機にあるPortugalを最も負担が軽い国に見せてしまう。欧州には平方メートル単価と賃金を地域単位で比較できる公式データがなく、筆者はPortugal、Spain、France、Italy、Netherlandsの統計局のデータをNUTS-3レベルで突き合わせ、312地域の「住宅購入努力度」を自力で構築した。
Micronは、Oberonのモジュール性と厳格さにCの柔軟性を組み合わせたシステムプログラミング言語です。コンパイラ、インタプリタ、IDEが提供され、ブートコードからOSカーネル、アプリケーションまで幅広く対応。C言語のコードをラッパーなしで呼び出せるほか、言語レベル機能により安全性を確保します。既にSmalltalk-80やScheme 9 VM、Project Oberon Systemな…
IBMは次世代プロセッサー「Nighthawk r3」を発表した。520量子ビットで10,000回の量子演算を正確に実行する設計で、2027年には2台を接続し1,040量子ビットのシステムを構築する計画だ。現行のNighthawk r2は毎秒10万サンプルを出力し、E.ONやAlgorithmiq、Q-CTRLなどが累計340億回路を実行、最大19倍の高速化を報告している。
マグロと人類の関係は、これまで考えられていたよりはるかに古い。東ティモールの洞窟から約4万4000年前の骨が見つかっており、これは世界最古のマグロ漁の証拠だ。18人の研究者が考古遺物や岩絵、古文書、先住民の記録を横断して調べた結果、古代の漁獲量は数千年かけて数千トン程度だったのに対し、現在は毎年数百万トンに達することがわかった。年間約400億ドル規模の産業に成長した一方、3種はいまも絶滅危惧や準…
イリノイ州北部からネブラスカ州まで、農家が立ちトウモロコシの上からドローンでカバークロップを播種する手法に注目している。重いトラクターを使わず土壌の圧縮を避けつつ、収穫の数週間前から緑肥を育てられるのが利点だ。DJI Agras T50からT100への増強で散布量を倍にし、8時間で200〜300エーカーをカバー。費用は1エーカーあたり12〜15ドルで、EQIPの補助を活用する農家もいる。
AIの登場で「100倍開発者」という言葉まで聞かれるようになったが、100倍とは具体的に何を指すのか。3日で1年分の仕事をこなす計算になり非現実的だ。著者は、プログラミング未経験者や極小タスク、個人プロジェクトなど条件次第で5〜10倍はあり得るとしつつ、PMやレビュー、既存コードとの整合が必要な企業の現場では2倍でも十分すごいと主張する。
航空会社や銀行、政府サイトなどAPIを持たないサイトにエージェントをつなぐため、Pomeradoはブラウザで一度タスクを実行してHTTPリクエストやPlaywrightスクリプトを学び、決定的で自己修復するMCPを生成する。実行時は5〜30秒で応答し、認証や2FAにも対応。失敗時は保守ジョブが自動で修復する。MITのオープンソース版と無料ホスト版を提供中。
OpenTSLM/TimeNetは、時系列データセットを標準化された単一フォーマット「TimeF」でダウンロード・探索できるオープンソース基盤。Temporal Foundation Modelsの学習を支えることを狙う。MITライセンスで公開され、CLIやデータセットコネクタ、ベンチマークを備える。最新の0.12.0ではフォーマットと制御スキーマをバージョン2に更新し、旧バージョンのデータは再…
Aircadは、インストール不要でブラウザからすぐに使えるプロ向けCADです。正確な2D製図とNURBSベースの3Dソリッドモデリングを一つの高速なワークスペースに統合し、使い慣れたコマンドライン操作やスナップ、ブロックライブラリをそのまま活用できます。DWG/DXFの読み込みからPDF出力まで幅広い形式に対応し、25万以上のエンティティを含む大規模モデルも滑らかに操作可能。さらにAIエージェン…
EventSourcingDB 1.3.0がリリースされた。書き込みとEventQLクエリが大幅に高速化し、読み取りも改善。すべてのリクエストに時間制限が設けられ、60件以上の修正が含まれる。v2 APIが追加され、受理されたリクエストの結果をレスポンスボディで返し、各エラーに固有のコードを付与。v1 APIは2027年1月31日までサポートされる。アップグレード時はデータのバックアップや旧サー…
2003年、Virginia TechはPower Mac G5を1,100台束ねた「System X」をわずか520万ドルで構築し、世界3位・大学機関では最速となる10テラフロップスを達成した。翌年にはECCメモリを求めてXserve G5へ移行し、12.25テラフロップスへ性能を伸ばす。市販品を大量に並べることでコストを桁違いに抑えた、スパコン史に残る実験だった。
RedditがAPI有料化に踏み切り、ApolloやSyncなどサードパーティアプリが終了した2023年。本研究はLemmyへの移行がもたらした影響を、登録者数の推移、48,272件のコメントを使ったVADERによる感情分析、354件のアンケート、16人へのインタビューで多角的に分析した。Lemmyへの感情は概ね肯定的でRedditへの批判が目立つ一方、分散型のはずのプラットフォーム内で特定イン…
カナダ・ウィニーゴーで放たれたオオカミバチ「Eddie」は、BlūMorpho送信機を背負い、2か月で1,258キロを移動してカンザス州に到達した。重さ60ミリグラムのこの装置は、電池の代わりに小型ソーラーパネルで動き、2.4ギガヘルツで毎秒信号を発信。100メートル以内のスマートフォンが自動的に中継し、Project Monarchのアプリで誰でも追跡できる。カナダとアメリカで1,300頭以上…
Anthropicが宗教者や哲学者とClaudeの「魂」を議論した時代に、LLMの内部を実際に覗く手段はあるのか。機械的解釈可能性の研究は2021年の数人から数百人規模へと成長したが、著者は自分の目で確かめるため、画面に収まる小型の本物モデルを可視化するオープンソースツールTinyGPT Visualizerを開発した。数値行列の中で思考が形作られる様子を、患者を殺さずに観察できる。
trilogのバックエンドを目指すWIPプロジェクト。Clocksinの1984年の論文に基づくZIP抽象マシン向けに、Prologで書かれたコンパイラがScryer Prolog上で動き、バイナリイメージを生成してC製VMが実行する。trilogが項として節を解釈するのに対し、コンパイルにより同じプログラムをより少ない命令とメモリで動かせる見込みだという。
言語モデルは暗記や反復学習、アーカイブの力技探索に長けているが、平均化された視点に留まり、人文科学における「研究のセンス」を欠いている。筆者はOxfordで出会った科学史家Allan Chapmanから、シュメール・バビロニアの60進法や楔形文字の掛け算を学ぶよう強く促された。一見無駄な知識こそが異質な認識論の中に身を置く力を養い、科学史を真に理解する土台になるという。
作者が公開したblqsortは、分岐なしのパーティショニング、小規模パーティション向けのソーティングネットワーク、工夫されたピボット選択を組み合わせたクイックソートだ。5000万個のランダムなdoubleのソートで、Apple M1ではstd::sortの1.33秒に対し0.68秒、Intel i5-9300Hでは4.02秒に対し1.32秒と約2〜3倍高速。MITライセンスでC版やマルチスレッド…
エルゴディック文学とは、単なる目の移動やページめくりを超えた「非自明な労力」を読者に要求するテキストのあり方だ。Espen J. Aarsethがギリシャ語のergon（仕事）とhodos（道）から物理学の用語を転用して提唱した。B. S. Johnsonの『The Unfortunates』は27のバラバラの章を任意の順で読む。Aarsethは媒体ではなくテキストの機能に着目し、7つの軸で57…
Neil Chenが2026年に作ったものを紹介する。アルミフレームと電動昇降脚を組み合わせたスタンディングデスクは、自転車の整備や物を吊るすのに大活躍。もうひとつは、Costa MesaのWork in Progressカフェで売られているプリント用のネオン風アクリルフレームを、飛行機の中でCADを起こして自作した話。作業スペースが24x12インチしかないEpilogレーザーカッターで25x1…
Flapping Airplanesの巨額調達やHyperstitionのHyperkernelなど、エージェントが直接カーネルを最適化する動きが活発化している。TVMはIRをLeanで形式化し検証の土台を提供すべきだと主張する一方、TogetherのTKCCはIRの表現力に限界があるとし、コストモデルで探索空間を絞り込む。コンパイラは消えるのではなく分解されつつあり、最適化すべき対象はコードで…
約6600万年前の小惑星衝突による恐竜絶滅の後、アリは生態系の支配者へと躍進した。University of MünsterのLukas Schrader博士率いる国際研究チームがScience Advancesに発表した研究によると、ゲノム内を移動・増殖する「トランスポゾン（動く遺伝子）」がこの多様化を後押ししたという。トランスポゾンを多く持つ系統ほど現在の種数が多く、最大のアリ群の祖先では約…
Gitのfiles backendでは、packed-refsから参照を1つ消すたびに数GBのファイル全体を書き直していた。GitLabのエンジニアがRust移植版をLLMで作りC版と比較したところ、Rust版が17%高速な理由は未変更の参照を再フォーマットせずそのまま書き出していた点にあった。同じ最適化をCに持ち込むと18%改善し、masterにマージされてGit v2.98に含まれる予定。
FPGAとDRAMの間の信号線で何が起きているのかを解説する章。コマンド・アドレスとデータの2系統、バイトレーンごとのストローブDQS、フライバイ配線で生じるチップ間のクロックスキュー、そして書き込みレベルイングやリードレベルイングといった起動時のキャリブレーション手順を順に説明する。終端抵抗やZQキャリブレーションにも触れ、それぞれの仕組みをLiteDRAMのどの部分が実装しているかも示す。
flatpointsは、3Dポイントクラウドをジオメトリイメージの原理で2D画像に変換するPythonライブラリです。各点をピクセルにマッピングし、隣接するピクセルが表面上で近い点を保持するため、ポイントクラウドが連続的な画像になります。これにより、CNNやSVDなど2Dのツールボックスがポイントクラウドに適用可能。リサンプリングや圧縮などの応用も可能で、pip install flatpoin…
Danfoss AK-SM800Aの最新ファームウェア5.3.2を手動で1時間調べただけで、認証不要のリモートコード実行0-dayを6件発見。strcpyの多用、スタックカナリアとPIEの無効化、rootで動作するWeb処理など、防御策はほぼ皆無。IEC 62443認証を取得していても実態の安全性を保証しないと筆者は警告し、パッチ頼みではなくVPNなどでのネットワーク遮断を訴える。
左右上下に折り返す小さなグリッド上のセルオートマトンで、同じパターンが再び現れるまでに何通りの状態が得られるかを探る数学パズル。3x3では最大4通りと証明し、4x4は総当たりで14通りと判明。2025年にはAIの助けを借りて5x5の検証にも取り組んだ。
シカゴ大学のInstitute for the Study of Ancient Cultures（ISAC）が、古代西アジア・北アフリカ研究の刊行物900点を検索できるページを公開している。Chicago Assyrian DictionaryやChicago Demotic Dictionary、Chicago Hittite Dictionaryといったシリーズに加え、考古学や楔形文字研究…
標高が上がると水の沸点が下がり、5000フィートでは約203°Fまで落ちる。開いた鍋では豆がなかなか柔らかくならず、ヒヨコ豆は海抜付近なら90分で済むところが2〜3時間かかることも。著者は5000〜8000フィートで複数の豆を両方の方法で試し、圧力鍋なら浸水済みの黒豆が18〜22分でクリーミーになると報告する。浸水・塩加減・水の硬度など下ごしらえの重要性も説く。
1989年11月9日のベルリンの壁崩壊から30年。壁は資本主義と自由民主主義の勝利の象徴とされたが、その楽観は色あせた。壁の遺産は今もドイツ人を分断し、旧東ドイツ地域ではAfDが支持を集める。壁は商品化され、記念碑化され、歴史の逆説を映し出す。
1996年7月2日、EdとSamは1970年製Volkswagenバスでテキサス州Austinを出発し、北米北西部を巡る11,455マイルの旅に出た。このサイトはその記録で、写真付きの旅行記やフルサイズのJPEG、走行ルートを示すイメージマップから構成されている。当時のモデム利用者への配慮も綴られている。