日刊ダイジェスト · Hacker News

· 89 ハッカーニュース

  1. 私は Bambu Lab のプリンターを所有しているが、クラウド強制や所有権の侵害に反発し、OrcaSlicer などの代替ソフトウェアを使用している。しかし、同社は AGPL ライセンス下で開発されたフォーク版に対して法的措置を威嚇し、コミュニティを弾圧している。これはオープンソースの精神を無視した行為であり、消費者の権利を軽視する姿勢が露呈している。

  2. Google は 2026 年秋に Gemini AI を深く統合した新ノート PC「Googlebook」を発表します。Magic Pointer 機能で画面の要素を瞬時に操作し、Create My Widget で自然言語からカスタムウィジェットを生成できます。Android 17 搭載端末とのシームレスな連携により、アプリのキャストやファイル共有も可能で、Acer や Dell などのメー…

  3. I believe senior developers fail to communicate because they focus on managing complexity while the rest of the business fears uncertainty. When we prioritize stability over speed, our arguments abou…

  4. JPEGのプログレッシブ形式には、画像データを複数のスキャンに分割し、低周波成分から順に保存する機能があります。この仕組みを利用して、1枚のJPEGファイルに複数の画像を連結し、ネットワーク経由で読み込む際に画像が切り替わるようにする手法を紹介。さらに、DC成分のみのスキャンを連ねることで、ブラウザが約90フレームをレンダリングできる「動画」を1枚の画像に埋め込むことに成功。タイミング情報がない…

  5. 私は OrcaSlicer-bambulab を公開し、Bambu Lab プリンター向けの BambuNetwork 完全サポートを復活させました。これにより、LAN 接続の制限を受けず、インターネット経由で通常の機能や印刷をそのまま利用できるようになります。Windows ユーザーには WSL 2 の設定が必要ですが、Linux では通常のインストールで利用可能です。

  6. 筆者が日常のコーディング作業でKimi K3とClaudeを並行して使った結果、出力の品質もトークン消費量も実用上ほぼ同等であることがわかった。しかし価格はK3のAPIが入力100万トークンあたり3ドル、出力15ドルなのに対し、Claudeの最上位モデルはそれぞれ10ドルと50ドル。サブスクもKimiは月19ドルからで、39ドルのコーディングプランはClaudeよりはるかに寛大だ。さらにClau…

  7. OpenAIのCDC証明の発表後、GPT-5.6が30年間未解決だった凸最適化の問題をプロンプトを使って解いたと報告されています。数学コミュニティで話題となったこの出来事は、LLMが理論的な問題解決に応用できる可能性を示しています。具体的な問題の詳細や、GPT-5.6がどのようにして解決に至ったのかは、Redditの投稿で議論されています。

  8. ニューヨーク市長のZohran Mamdani氏は、大家や不動産業者がAIで生成・編集した画像を賃貸物件の広告に使用する際、その使用を開示することを義務付ける勧告を含む「Rental Ripoff Report」を発表した。この報告書は、AIによる改変画像の開示に加え、入居者組合の承認や交渉権の拡大など、入居者保護を目的とした措置を提言している。Mamdani氏は就任1週間目から聞き取りを行い、…

  9. Moonshine Voiceは、リアルタイム音声エージェント開発のためのオープンソースAIツールキットです。その組み込み版であるMoonshine Microは、80セントのRaspberry Pi RP2350をリファレンスプラットフォームとし、音声アクティビティ検出(VAD)、コマンド認識(STT)、ニューラル音声合成(TTS)を備え、わずか470KBのRAMで動作します。各コンポーネント…

  10. Eurostile Bold Extended などのフォントだけでは不十分です。斜体、角ばった形状、V 字の装飾、文字の結合、不要な線の削除、そしてテクスチャや背景の追加という6つのルールを適用するだけで、テキストを瞬時に未来の雰囲気に変えることができます。Blade Runner や Star Wars などの名作も、これらの手法を駆使して時代設定を視覚的に表現しています。

  11. Stack Exchange Data Explorerのクエリ結果を使って、Stack Overflowの月間質問数の推移をグラフ化。2008年の開始から2011年頃まで急増した後、近年はAIツールの台頭により質問数が大幅に減少していることがわかる。データは2025年時点で217行、各月の質問数を示しており、AIが開発者コミュニティに与えた影響を如実に表している。

  12. 新しいコミュニティに溶け込みたいなら、イベントを主催するのが最も効果的だと筆者は説く。どのグループでも、イベントの需要は供給を上回っており、人を集めるのは簡単だ。主催者は他の主催者の貢献をよく見ており、労力を惜しまない人を評価する。現代の孤独の問題は、コミュニティの「生産者」ではなく「消費者」が増えたことにあると指摘し、自分のコミュニティでは自ら供給することで解決できると提案する。

  13. 私たちは、Obsidian のプラグインとテーマの発見、配布、安全性を向上させるため、Obsidian Community サイトと開発者ダッシュボードを新たに公開しました。これにより、すべてのバージョンがセキュリティとコード品質の観点から自動的にレビューされるようになり、コミュニティのエコシステムがより安全で持続可能になります。既存のプロジェクトも自動的に移行され、開発者は新しいダッシュボード…

  14. AI企業のロゴには、円形で中央に開口部があり、中心から放射状に広がるデザインが多い。この傾向はOpenAI、Anthropic、Googleなど主要企業に見られ、人間の解剖学的構造を連想させる。本記事は、なぜAI業界でこのようなデザインが蔓延しているのかを分析し、デザイン心理学、生物模倣、コピーキャット効果、委員会によるデザイン決定などの要因を挙げる。また、過去のデザイントレンド(スキューモーフ…

  15. 私たちは、DuckDB インスタンス同士が Quack プロトコルで通信できるようになりました。これにより、複数の書き込みを同時に処理するクライアント・サーバー構成が可能になります。Quack は HTTP に基づき、セットアップが簡単で高速です。データサイエンスから大量データ処理まで、幅広いユースケースに対応します。

  16. カナダ政府が提出したBill C-22は、昨年のBill C-2の失敗を繰り返す監視強化法案です。この法案は通信メタデータの保存義務化や、AppleやMetaといった企業へのバックドア設置要求を可能にし、暗号化の安全性を損ないます。政府は「システム全体の脆弱性」を避けることを謳っていますが、暗号化された通信への監視自体が本質的に脆弱性をもたらすため、プライバシーとセキュリティが脅かされます。

  17. I am releasing six serious CVEs for long-standing bugs in dnsmasq that affect most non-ancient versions. Due to a surge in AI-generated bug reports, I decided to prioritize immediate fixes over long…

  18. 2026年7月19日から、EUの大企業は売れ残った衣類・衣料品・靴を廃棄することが禁止されます。中小企業は2030年から適用対象です。この措置は、持続可能な製品のためのエコデザイン規則(ESPR)に基づくもので、廃棄物を防ぎ、再利用・修理・再製造を促進することを目的としています。欧州環境機関によると、EU市場に投入される繊維製品の推定4〜9%が使用前に廃棄されており、年間26万4千〜59万4千ト…

  19. OpenAIのCodexは、利用制限が頻繁にリセットされることで知られている。このサイト「Codex Resets」は、X(旧Twitter)でOpenAIのThibault Sottiaux氏が発表するリセット情報を追跡し、これまでに35回のリセットが行われ、平均間隔は8.9日であることを記録している。最長の間隔は67.7日。リセットの発表ログには、ユーザー数の節目や障害への対応、新機能のリリ…

  20. ACM Queueの連載「The Bike Shed」の最終回で、Poul-Henning KampがFOSS(フリー・オープンソースソフトウェア)の遠い未来を考察する。彼はLLM支援コードレビューのバブルに懐疑的で、その効果は限定的だと予測する。一方、年齢確認の義務化はFOSSに深刻な影響を与え、暗号化による匿名性の縮小と、監査可能なコンピューティングプラットフォームへの移行を招くと主張。さら…

  21. IndieWeb運動の実践者であるAdam Newbold氏が、自社サービスを運営しながらも、真の独立を求めるなら月額課金のブログサービスに頼るべきではないと説く。コンテンツを自分のハードドライブに保存し、HTMLファイルを直接アップロードするという1990年代の手法を「Hardcore IndieWeb」と名付け、テキストエディタとファイル転送ツール、そして1日1セントのホスティングサービス(…

  22. 著者が未公開のNP困難な光ファイバーネットワーク設計問題(KIRO)を、Claude Fable 5とGPT-5.6 Solに解かせ、ネイティブの/goalモードの有無で比較しました。Fable 5は全体的に優れた解を生成し、その一貫性は驚異的でした。一方、/goalは「頑張れスイッチ」ではなく、制御ループと探索経路を変えるもので、6回の試行中4回で改善したものの、平均では両モデルとも悪化しまし…

  23. Elixir公式サイトが新デザインに刷新された。新サイトでは「シンプル、ゼロからスケールまで」をキャッチコピーに、堅牢なプラクティスによる高速開発、ソロ開発者から数百人規模のチームまで対応する成長性、シングルサーバーからグローバルネットワークまでのスケーラビリティをアピール。さらに、不変性やメモリ安全性、段階的型システムによる保守性、PhoenixやLiveView、Nerves、Numeric…

  24. 私たちは、半世紀以上変わらなかったマウスポインタを、AI エラにふさわしいものへと再設計しています。Gemini を活用したこの新しいポインタは、ユーザーが文脈を説明する必要なく、指差すだけで意図を理解し、あらゆるアプリ間でシームレスに動作します。これにより、複雑なプロンプト入力やウィンドウの切り替えが不要になり、人間の自然な行動に技術が適応する未来を実現します。

  25. このガイドでは、予備のMacをClaude Codeが完全に制御できる常時稼働マシンに変える手順を解説します。メインのMacやスマホからClaudeアプリ経由で指示を送り、リサーチや開発タスクを安全に委任できます。コンテナ利用の限界を踏まえ、専用Macを使う利点を説明し、SSH設定、パスワードレスsudo、スリープ防止、クリップボード同期、Claude Codeのインストール、オプションの環境構…

  26. Gleamは、型安全でスケーラブルなシステムを構築するためのフレンドリーな言語です。このリポジトリはTangled上でホストされ、最新のコミットや変更履歴を確認できます。最近のアップデートでは、フォーマッタの高速化、JavaScriptコード生成の改善、Hexパッケージリクエストの認証サポートなどが含まれています。

  27. EFFは、国境での電子機器の検索には令状が必要だと主張し、第4巡回区裁判所に介入訴訟を提起しました。現代のデバイスは極めて個人的なデータを保持しており、手動検索もフォレンジック検索も同様にプライバシーを侵害します。Riley v. Californiaの法理を適用し、国境での検索にも令状要件を適用すべきだと訴えています。

  28. アクションカメラのパイオニアGoProが、深刻な経営危機に直面している。2026年第1四半期の売上は前年比26%減、カメラ販売台数は29%減。創業者Nicholas Woodmanは自ら2000万ドルを年利6.5%で融資する緊急措置を取ったが、これは一時しのぎに過ぎず、買い手が見つからなければ年内に事業継続が困難になる可能性がある。同社はMission 1シリーズなど新製品を投入する一方、航空宇…

  29. 2009年製のASUS Eee PC 1000HE(Intel Atom N280、1GB RAM)を、サポート終了後のWindows XPから軽量なArch Linux 32に移行した体験記。公式サポートが終了した32bit版をコミュニティ版で補い、USBブート、Wi-Fi接続、ディスクパーティション、スワップ領域の設定など、インストール手順を詳細に解説。さらに、RAM増設やデスクトップ環境の…

  30. Vāgdhenuは、サンスクリットの韻文(śloka)を入力すると、韻律を自動検出し、伝統的な詠唱(pārāyaṇa)で音声合成するTTSシステム。専用に録音した約5時間の単一声者コーパスで再学習したflow-matching TTSと、詠唱に特化したニューラルボコーダーを備え、専門家によるMOS 4.6を達成。ヒンディー語のschwa削除を避けるためカンナダ文字を経由する表記処理や、visar…

  31. テキサス州司法長官ケン・パクストン氏は、ポルノサイト「motherless.com」を運営するKick Online Entertainmentに対し、年齢認証法違反でドメイン停止の裁判所命令を取得しました。同社は訴訟を無視し、未成年者がアクセスできる状態を続けたため、.comドメインを管理するVerisignにドメインのロックが命じられました。回復には914万ドルの保証金と年齢認証の導入が必要…

  32. ソート済みデータに対する検索を高速化する静的探索木(S+ツリー)の実装について解説。EytzingerレイアウトやSIMD、バッチ処理などの最適化を組み合わせ、バイナリサーチと比較して最大40倍のスループットを達成。ベンチマーク結果やアセンブリコードの分析も交え、データ構造の設計とCPUの性能を徹底的に追求する。

  33. 1988年、スコットランドのハイファイメーカーLinnは、ハードウェアによるメモリ安全性、シリコン上のガベージコレクション、永続オブジェクトストアを備えた画期的なプロセッサRekursivを開発したが、商業的には失敗し、設計者の一人がハードウェアを運河に投げ捨てた。しかし、その設計思想は現在、ArmのCHERIやメモリタギング拡張、ドメイン固有アーキテクチャとして復活している。この記事では、Re…

  34. Amiga Freeware Archiveは、1980年代から1990年代にかけてのAmiga用ソフトウェアを無料で公開するアーカイブです。17 Bit SoftwareやFred Fishのコレクションなど、14のPDライブラリ、シーングループ、ディスクマガジン、ユーザーグループのコンピレーションを収録し、総容量は10,142 MiBに及びます。ゲーム、アプリケーション、デモ、グラフィック、…

  35. IKEA Complexity Indexは、IKEA製品の組み立ての複雑さを数値化し、ランキング形式で紹介するウェブサイトです。価格、部品点数、説明書のPDF数、推定組み立て時間などのデータを分析し、複雑さスコアを算出します。例えば、PAXコーナー収納は約10.5時間、16枚のPDF説明書が必要とされ、スコアは175,348と表示されます。このツールを使えば、組み立てに苦労する前に、どの製品が…

  36. ゲームデザイナーのAdrian Honが、Alex Macmillanと共同で新しい集団「Experimental Social Scene」を立ち上げ、屋外型LARP「Strandfall」を制作中。2026年9月にエディンバラの公園で30人が参加し、謎の嵐を調査する3時間の体験。特注の「マクネア=フェルドマン・デバイス(MFD)」は、長距離無線やGPS、ePaperディスプレイを備え、紙地図…

  37. ピッツバーグ大学とシカゴ大学の研究者が1200万人以上の科学者を分析した結果、加齢とともに既存の知見を組み合わせる能力は向上する一方、分野を覆すような破壊的な革新力は低下することが判明しました。経験豊富な科学者ほど過去の成功体験に固執しがちで、新しいパラダイムを受け入れるのが難しくなる傾向があります。

  38. 猛暑でレールが熱せられると、膨張による座屈で脱線のリスクが高まる。Union Pacific は、レールの側面を白く塗装して太陽光を反射させることでレール温度を下げる試験を実施。この低コストな対策が、気候変動で暑さが増す中での安全性向上にどう役立つかを解説する。

  39. スコットランド出身のランナー、ジョシュ・カーが、ロンドン・スタジアムで行われたダイヤモンドリーグのマイル競走で、1999年にモロッコのヒシャム・エルゲルージが打ち立てた世界記録を0.5秒更新し、3分42秒66でゴールした。約6万人の観衆の前での快挙で、英国勢としては1954年のロジャー・バニスター以来の記録保持者となった。カーはこの記録を「プロジェクト222」と名付け、専用設計のシューズで挑んで…

  40. ノートをきれいに保ちすぎてしまうという悩みから、あえて質の悪い紙のノートを「排水路」と名付けて、頭の中をそのまま書き殴る「汚いノート」を始めた話。ポッドキャストの引用や物語のアイデア、人生のメモなど、構造を一切無視して書き連ねることで、1週間後には忘れかけていた考えを再発見する楽しさを実感している。

  41. REOトラックが、ボディ・オン・フレーム方式と機械式4WDを採用した新型ピックアップトラック「Runabout」シリーズを発表した。ガソリンI4エンジンを搭載し、6速MT/ATを選択可能。航続距離は約600マイル、パワートレイン寿命は50万マイルを目標とする。価格は2万1500ドルからで、予約は25ドルの返金可能なデポジットで受け付けている。組み立てはテキサス州で行われ、ディーラーを介さない直接…

  42. Valveはハードウェアの販売台数を公表しないことで知られていますが、Steamの「グローバルトップセラー」チャートの収益ランキングを逆算することで、2026年型Steam Machineの販売台数を推定しました。その結果、発売期間中は週間約1万2000〜1万5000台を販売しているとみられます。これは1台あたりの平均価格を約1150ドルと仮定し、チャートの上位・下位の収益境界から算出したもので…

  43. LTT Labsが伝説のGTX 1080とGTX 1080 Tiを現代の視点で再テスト。2017年当時のIntel Core i7-8700KとAMD Ryzen 7 1800X構成での性能に加え、最新のRyzen 7 7800X3Dとの組み合わせも検証。ゲーム性能は1080p・最高設定で60fpsを維持するタイトルもあるが、レイトレーシング必須の新作には対応できず。さらに、llama.cppを…

  44. Redditの過食症コミュニティで話題の「偽のフードデリバリーサイト」が注目を集めている。このサイトは実際の注文はできず、代わりにデリバリーアプリの画面を模した体験を提供し、ユーザーが食べ物を「注文」する感覚を味わうことで、衝動を満たすという。過食衝動への対処法として、現実逃避ではなく、欲求を擬似的に満たすアプローチが議論されている。

  45. 開発者向けの新しいタイピング速度テストが公開された。通常のタイピングテストとは異なり、ターミナルで実際に使うコマンド(tar、sudo dnf、git、kubectlなど)を入力して速度と正確性を競う。コマンドの知識も試されるため、単なるタイピングスキルだけでなく、開発者としての実践的なスキルを測定できる。

  46. Q3Editは、ブラウザ上でQuake III Arenaのマップを編集・コンパイル・プレイできる革新的なマップエディタです。TypeScriptとWebGL2で構築されたこのエディタは、実際の.mapファイルを開いて編集でき、ブラシ、パッチ、エンティティ、テレインをサポートしています。id Softwareのオリジナルq3mapをWebAssemblyにコンパイルしたBSPコンパイラを搭載し、…

  47. ニューヨーク・タイムズの記事によると、ある小学校2年生の教師が、廃盤となった人気ビデオゲーム「Backyard Baseball」を復活させた。教師は自身のクラスでゲームを教材として使用し、その魅力を再発見。その後、オンラインコミュニティと協力してゲームの復刻版を制作し、多くのファンの心を掴んだ。この記事は、教育と情熱がどのようにしてレトロゲームの保存と再生につながるかを描いている。

  48. Qubes OSは、そのアーキテクチャがコンポーネント境界をセキュリティ上重要にするため、セキュリティ測定の好例です。本論文では、2011年から2025年までの109件のQubesセキュリティ速報(QSB)と、Qubesが管理するXen Security Advisory(XSA)トラッカーを対象に、プロトコル駆動の縦断的分析を実施しました。その結果、公開記録上、Qubesは上流コンポーネントへ…

  49. 従来の進化的アルゴリズムは複製をハードコードするが、自己複製はデジタル「原始スープ」の中で自発的に出現し得る。本論文では、ランダムな32バイトのZ80アセンブリプログラム集団を初期化し、自己複製がランダムな変異とペア間相互作用のみから生じる状況で、その自己複製と問題解決能力の共進化を調査。多項式評価をタスクとして導入し、正解すると相互作用確率が上昇する仕組みを検証した。結果、①ランダム性から自己…

  50. 電子回路の教科書やオンラインの解説に載っているV-I特性図の多くは、実測ではなく古い文献のトレースや記憶に基づく「インスパイアされた」ものだと著者は批判。自身の著書『The Secret Life of Circuits』のために、半導体デバイスの正確なV-I曲線を自宅で測定する方法を解説する。オシロスコープの代わりにベンチマルチメータとパルス電源を使い、さらに中古のRohde & Schwar…

  51. Isomorphic Labsは、創薬に特化した統一コンピュテーショナル創薬システム「IsoDDE」を発表。AlphaFold 3の課題だった新規タンパク質-リガンド構造予測の汎化性能を大幅に向上させ、最も困難なベンチマークで精度を2倍以上に。また、抗体-抗原界面予測ではAlphaFold 3の2.3倍、Boltz-2の19.8倍の精度を達成。結合親和性予測では物理ベース手法を凌駕し、実験的手法…

  52. Stenchillは、Gerberファイルをアップロードすると、PCBのはんだペースト用ステンシルを3DプリントするためのSTLファイルを数秒で生成する無料ツールです。プロ用のステンシルは1面あたり15〜30ドルかかりますが、Stenchillなら自宅の3Dプリンタでその日のうちに印刷できます。0603以上のパッシブ部品や大ピッチICに最適で、位置合わせ用のショルダーも内蔵。KiCadプラグイン…

  53. Google DeepMindとIsomorphic Labsは、AIを悪用から守りつつ、将来のパンデミックに備えるための共同アプローチを発表しました。過去12か月で15以上の政府機関やバイオセキュリティ組織とのパートナーシップを進め、AlphaFoldやIsomorphic LabsのDrug Design Engineなどの技術を活用して、予防・検知・対応の3分野で具体的な取り組みを展開。G…

  54. 『The Cut』の記事が話題を呼んだ。ミレニアル世代が裕福なベビーブーマー親に経済的支援を拒否され、苦境に立たされる姿を描いたものだ。これに対し、ロブ・ヘンダーソンはミレニアル世代は「順調」だと反論したが、著者はデータに基づき反駁する。住宅価格の高騰、教育費の負担増、結婚・子育ての障壁など、中流階級としての安定を築くための「5つの柱」を達成するのが、かつてよりはるかに困難になっている。公式統計…

  55. UNC Gillings School of Global Public Healthの環境科学者らによる新研究が、妊娠中のアセトアミノフェン(タイレノール)使用が早産や出生体重に統計的に有意な悪影響を及ぼさないことを明らかにした。米国NIHのECHOプログラムに参加した8,900組以上の母子ペアを分析。在胎週数や平均出生体重との関連は見られなかったが、在胎週数に対する出生体重の分類(SGA/L…

  56. Igaliaのブログで、WebKitに統合されたレイヤーベースのSVGエンジン(LBSE)の最新開発状況が報告されています。従来のSVGエンジンはHTML/CSSとは別系統で、GPUアクセラレーションなどの恩恵を受けられませんでした。LBSEはSVGをHTML/CSSと同じレンダリング基盤に統合し、ハードウェアアクセラレーションを実現することを目指しています。しかし、初期実装では全SVG要素にレ…

  57. 私はセキュリティ分野で 20 年間、そのうち 10 年は専門的にエクスプロイトを開発してきましたが、今回は初めて AI を活用して Exim の深刻な脆弱性 CVE-2026-45185 を発見しました。この脆弱性は GnuTLS との相互作用により生じる Use-After-Free で、たった 1 バイトの書き込みで遠隔コード実行が可能になるという驚くべきものです。

  58. Uncovered.inkは、小説の冒頭部分だけを表示し、その書き出しの魅力だけで本を評価できるウェブサイトです。『白鯨』の「Call me Ishmael.」や『二都物語』の「It was the best of times...」など、名作の書き出しを集め、ユーザーが直感的に判断できるようにしています。このサイトは、読者が本を選ぶ際の新しい方法を提案し、文学作品の冒頭の重要性に焦点を当ててい…

  59. in-totoは、ソフトウェア製品の開発開始からエンドユーザーへのインストールまで、その完全性を保証するためのフレームワークです。誰が、どのような手順を、どの順序で実行したかを透明化することで、サプライチェーン全体の信頼性を高めます。オープンで拡張可能なメタデータ標準を採用し、Apacheライセンスのツールやライブラリを提供。CNCFのgraduatedプロジェクトとして、多くの企業やプロジェク…

  60. We propose Direct Corpus Interaction (DCI) for agentic search, bypassing traditional embedding models and vector indexes. Instead of relying on fixed similarity interfaces, agents use general-purpose…

  61. Macworldのテストによると、AppleのGame Porting Toolkit 4ベータは、M4 Pro MacBook Pro上のGTA Vのフレームレートを約106fpsから176fpsへと66%向上させました。このツールはWindowsのDirectXコールをリアルタイムでMetal APIに変換し、開発者がMacへの移植を評価するだけでなく、Mac非対応のWindowsゲームをプ…

  62. Waldiは、ブログを懐かしむ人々のためのマルチテナントブログプラットフォームです。1つのGoバイナリとPostgresで動作し、サーバーサイドレンダリングとTiptapエディタを採用。各ライターにサブドメインを提供し、公開されたすべての投稿はアルゴリズムに評価される前に最低100人の読者に届くことを保証します。コメントや「いいね」はなく、返信はプライベートレターで行われます。著者はペルシャ語圏…

  63. Moonstoneは、Zigで書かれたクロスプラットフォーム対応のLuaランタイムとパッケージマネージャーです。インストールはcurlコマンド一つで完了し、信頼性の高いLua環境を即座に構築できます。モダンな設計で、開発者にシームレスな体験を提供します。

  64. 本稿は、LuaTeXのノード構造から直接ディスプレイリストを抽出することで、段落単位の再コンパイルを約1msで実現し、ブラウザベースの書籍執筆ツール「texlode」を構築した事例を報告する。行分割は段落ローカルであり、ページ分割はグローバルだが知覚的に即時性を要しないため、編集ループをブロックする必要はない。ベンチマークでは、段落単位の再コンパイルは文書サイズに依存しないO(1)レイテンシを示…

  65. LGのスマート家電アプリ「LG ThinQ」の利用規約が、ユーザーに不利な条項を含むとしてHacker Newsで話題に。仲裁条項へのオプトアウト不可、ユーザーコンテンツの広範な利用許諾、プライバシー期待の否定、音声機能による第三者(家族や来客)の音声収集、AIによるデータ利用、マーケティング同意の強制、ターゲティング広告、低い責任限度額、リモートアップデートなど9つの問題点が指摘された。投稿者…

  66. 20年のキャリアを持つソフトウェアエンジニアが、AIコード生成が当たり前になった業界への不満を綴る。彼の職場では、プルリクエストのコードや説明、コードレビュー、設計書、チケット、さらにはロードマップに至るまで、すべてがAI生成の「スロップ」で埋め尽くされている。AIを拒否することは文化的にもパフォーマンス的にももはや不可能で、就職面接ではAIへの肯定的な態度が求められる。彼は「スロップのない世界…

  67. Voker は、AI エージェントが単に返信しているだけでなく、実際にユーザーを支援しているかを確認するための分析プラットフォームです。エンジニアの負担を減らし、PM やビジネスチームが独自にエージェントのパフォーマンスや ROI を測定できるよう設計されています。OpenAI や Anthropic などの主要モデルと連携し、会話データから意図や解決率を自動検知することで、製品改善を加速させま…

  68. Karpathyのnanochat(8×H100で約$100・4時間でチャットボットを作る「$100スピードラン」)を、JAX/Flaxを使ってTPU v6e-8に移植した記録。モデル品質はCOREスコア0.2695とH100での再現レシピ(R4)の範囲を上回り再現できたが、MFUは約24%とH100の半分に留まった。トレーニング時間は5.29時間、スポット価格で$30(合計$60.8)。PyT…

  69. PocketJSチームは、Counter-Strike風のシングルプレイヤーFPS「OpenStrike」をリリースした。GoldSrc時代のマップ、ボット、トレーサー、リコイル、ラウンド進行を特徴とし、ルールはTypeScript、HUDはSolid.jsで記述。2004年のソニーPSP上でロック60FPSを実現し、単一ファイルとしてMemory Stickに保存できる。Rust製エンジンとQ…

  70. Rustの採用者が直面する「どのcrateを選ぶべきか」という問題を解決するため、著者が提唱する「battery packs」のアイデアを紹介。battery packは、共通テーマに沿って厳選されたcrateの集合体で、CLIやバックエンド開発、組み込み開発など向けのものが既に公開されている。誰でも簡単に作成・公開でき、依存関係やテンプレート、カテゴリ分けなどの機能を備える。cargo bpコ…

  71. 著者がInstacartが公開した300万件の注文データを分析し、珍しい商品の組み合わせを探す過程を紹介。単純な共起回数では面白みがないため、リフト値やGS1 GPCによる商品カテゴリ分類、さらにLLMを使ったユーモアスコアを組み合わせて、「面白い」組み合わせを抽出する。最終的には「ガーリックと下痢止め」「ケールと浣腸」といった意外なペアが浮かび上がる。

  72. FTの分析記事。SpaceXの評価額を巡り、独立系アナリストのリサーチが実質的に存在しない現実を暴く。同社は非上場のため情報開示が限られ、投資家は経営陣の提示する数字や限られた資料に依存せざるを得ない。記事は、独立系リサーチの不在が投資判断に与える影響や、市場の透明性を巡る課題を考察する。

  73. SQLの設計は、一見合理的なコードでも深刻な並行処理バグを招きやすい。トランザクションの原子性不足、TOCTOU問題、デッドロックなど、単純な送金処理ですら修正に多大な手間がかかる。私はRustのような「安全な並行処理」をデフォルトにする新しいデータベースツールが必要だと主張する。

  74. 2011年にJoel Yliluomaが発表した順序ディザリングアルゴリズム(Yliluoma-2)を、既存の解説より詳しく内部構造から解説。候補色の選択を線分と点の距離で行う幾何学的解釈を示し、輝度重み付き色差式や彩度低下による簡略化など、新たな改良版を紹介。さらに、Photoshopで使われるThomas Knollのアルゴリズムと比較し、Yliluoma-2の利点と欠点を明らかにする。ソー…

  75. ポール・グレアムは、現代社会における「異端」概念の復活を論じる。彼は、雇用の場で特定の意見を表明しただけで人々が解雇される現象を、中世の宗教的異端と構造的に同等だと指摘する。異端の特徴は、真偽よりも優先され、話者の他の業績を無視して罰せられることだ。グレアムは、この不寛容の波が、攻撃的な従来思考の人々と、道徳的純粋性を強調するイデオロギーの組み合わせによって生じると分析し、表現の自由を守るための…

  76. Snowflake Postgres、Lakebase、HorizonDBの3大データプラットフォームが、Postgres互換の独自ストレージ層を搭載した新データベースを投入しました。これらは既存のプラットフォームに最適化されており、クロスプラットフォーム利用はコスト増を招きます。拡張機能や運用ツールの制限を承知の上で、すでに標準化しているデータプラットフォームに合わせて選択すべきです。

  77. 銀河系に知的生命体が溢れていても、なぜ我々はその痕跡を観測できないのか。SF評論家のJames Davis Nicollは、Geoffrey Landisのパーコレーション理論を用いたフェルミのパラドックス解釈に、動物学者Lindsay Nikoleのチーターの遺伝的多様性に関する動画を組み合わせ、新たな視点を提示する。植民の連鎖は遺伝的ボトルネックを生み、多様性を急速に失わせる。90%の遺伝的…

  78. 加藤文元氏らによるLANAプロジェクトは、望月新一氏のIUT理論の核心部分(Theorem 3.11からCorollary 3.12への論証)が形式化不可能であると結論づけ、2026年7月17日の記者会見で発表した。ただし、望月氏自身の説明が進化しているため、最終判断は保留している。また、Scholze-Stixレポート(2018年)との比較も含む分析を公開し、外部の数学者にも理解可能な形でIU…

  79. IMAX XINGは、映画『The Odyssey』の70mm IMAX上映で良い席を確保するためのアラートサービスです。2,639件以上の上映時間を監視し、座席マップの形状を分析して、中央寄りで快適な座席を自動検出。希望の劇場を選択すると、空きが出た瞬間にメールまたはTelegramで通知します。IMAX 70mmフィルムの圧倒的な映像体験を、最適な座席で楽しむためのツールです。

  80. 「abuseofcats.com」は、cat コマンドを単一ファイルの表示に使う「乱用」を戒める PSA サイト。cat はファイルを連結するためのコマンドであり、cat file | grep のようなパイプは不要なプロセスを生む。grep や wc、head、awk、sort は単独でファイルを読めるため、同じ出力を得るならリダイレクトや直接指定が賢明。ASCII アートの猫が「humane…

  81. macOSユーザーを悩ませる「ディスクが正しく取り出されなかった」という通知。本記事では、Carbon Copy Clonerの開発者が、IOKitやDiskArbitrationなどの内部メカニズムを解説し、この通知が単なるユーザーのミスだけでなく、USB接続の一時的な通信障害など、デバイス側の問題でも発生することを実例のログとともに示します。さらに、物理的な切断と通信障害の違いをシステムログ…

  82. 世界の紛争は増加傾向にあり、その被害は開発途上国に集中している。開発分野では戦争を不可避なものと捉える風潮があるが、新しい実証研究が非国家主体による暴力の連鎖を防ぐための手法を明らかにしつつある。本稿では、認知行動療法や共感教育などの個別介入が暴力削減に有効であることを示す研究を紹介し、大規模な紛争を防ぐための介入の規模とコストを探るUCバークレーの新イニシアチブ「Peace Per Dolla…

  83. Quintileは、キーボード操作のみでmacOSのウィンドウを任意のN×Mグリッドに配置できるオープンソースのメニューバーアプリです。5×2や4×3など自由なグリッドを定義でき、Control+Optionキーを押しながらの2ストロークでウィンドウを移動・リサイズします。3分割や4分割などのプリセットも用意。Accessibility APIのみを使用し、SIP回避や非公開フレームワークは使わ…

  84. Red Blob Gamesのブログで、サイトのフォントサイズが意図した1.25remではなく1.24924375remになっていることに気づいた著者が、その原因を追求し、解決するまでの過程を紹介。pxからremへの変換時の丸め誤差が原因で、手計算によるブレークポイント設定に問題があった。そこで、ブレークポイントからCSSを自動生成するインタラクティブな計算ツールを開発し、さらにCSSのmin(…

  85. LinuxのリーダーであるLinus Torvalds氏がAI批判に対して反論した一件は、オープンソースプロジェクトが巨大化・モノリシック化すると、そのリーダーシップが独占的・買い手独占的な振る舞いをするようになることを示している。この問題への解決策は、資本主義市場における独占への対処と同じで、プロジェクトを相互運用可能な小さな部品に分割し、フォークを容易にすることだ。UNIXが長く生き残ったの…

  86. Signal in the Darkは、暗闇での遭難者捜索戦略を比較する3Dシミュレーターです。救助者が動いてサーチライトを振る「掃引サーチライト」と、救助者が静止し遭難者が光に向かう「ビーコン」の2つの戦略を、ランダムな環境でモンテカルロ比較できます。モバイルハイカー、負傷者、密林などのプリセットで状況を変え、各戦略の有効性を体感できます。Three.js製のワンページアプリで、ブラウザ上で簡…

  87. 26年間開発してきたmod_blogと、より複雑な6809アセンブラa09の2つのリポジトリをDeepWikiでドキュメント化し、その精度を検証した。mod_blogでは約30ページのドキュメントが生成され、全体的に正確で、層構造の数え間違いなどの小さな問題があった。一方、a09ではエラー分類の欠如、デッドコード検出の誤り、アセンブラディレクティブの誤った例など、より深刻な問題が多数見つかった。…

  88. カナダの玩具大手Spin Masterの共同創業者Ronnen Hararyが、著書『No Experience Necessary』を基に、起業におけるリスクの捉え方や情熱の重要性をEconTalkで語る。初商品「Earth Buddy」の開発秘話や、Kmartへの売り込みエピソードを通じて、若いうちに挑戦することの価値を説く。

  89. ADAは、CSVやExcelファイルをアップロードするだけで、データのクリーニングからビジネススキーマの検出、インタラクティブなダッシュボードの作成、異常値の検出、予測、変化の説明までを自動で行うオープンソースのAIデータアナリストです。特徴は、すべての計算がローカルで実行され、各回答に計算根拠が表示されるため、AIによる幻覚(ハルシネーション)を防ぎ、説明可能性を確保している点です。オプション…