1401Show HN: Woxi - オープンソースのMathematica / Wolfram Language 再実装Woxi は Rust製 のWolfram Languageインタプリタ ブラウザ上でローカル動作、データ送信なし 多様なフロントエンド（CLI、Jupyter、Studio等）を提供 高速起動 ・組...73日前|原文(woxi.ad-si.com)
1402DeepSeek V4 Pro 0813DeepSeek V4 Pro 0813 は大規模Mixture-of-Expertsモデル OpenRouter 経由で提供、リクエストは直接転送 実際の価格は 割引やキャッシュ で公式価格より安価...73日前|原文(openrouter.ai)
1403Tailscale、16年前のSQLite WALリセットバグによるデータベースの破損を追跡Tailscale のサービスで 大規模な障害 が発生した経緯 原因は SQLiteの深層バグ で、追跡と修正に数ヶ月を要した事例 障害の影響範囲や ユーザー体験への影響、信頼性の低下 バグ特定のため...73日前|原文(tailscale.com)
1404ナンバープレートリーダーによる検索には令状が必要であるべきALPR（自動ナンバープレート読取装置） データの検索が違法捜査に該当するかが争点 現行法では、ALPRデータへのアクセスに令状は不要 だが、将来的には必要になる可能性が高い カメラ技術の普及とコスト...73日前|原文(andrewpwheeler.com)
1405AIがソフトウェアエンジニアリングの中間層を排除しているAIの進化 により、エンジニアリング文化が弱いプロジェクトは失敗が加速 コードの量と複雑さ が急増し、理解不能なシステムが生まれるリスク 技術的負債 の修正が困難になり、AIでの修正も万能ではない 優...73日前|原文(blog.florianherrengt.com)
1406Facebookが物議を醸すクリエイターに怒りを煽るコンテンツの制作を報酬を支払って依頼しているMetaが運営するFacebookの収益化プログラムにより、極右やネオナチ関連の人物・団体が収益を得ている実態 複数のオーストラリアの過激派ページがMetaから直接報酬を受け取っている事例 Metaの...73日前|原文(abc.net.au)
1407llama.cppローカル環境 でAIモデルを動作させる手順の紹介。 llama serve によるモデル提供方法の説明。 pi-llamaプラグイン のインストール手順。 Piの起動 で自動検出される仕組み。 データ...73日前|原文(llama.app)
1408Nvidia Nemotron 3.5 Lightning と NeMo SwitchyardNVIDIAがNemotron 3.5 Lightningを発表、エージェントAI向けに高効率化 NeMo SwitchyardでAIモデルのスマートルーティングを実現 専門タスクや大規模ワークフロー...74日前|原文(blogs.nvidia.com)
1409グロックボットGrok Bot は、AIが実際の業務を担当する新しいボットサービス。 複数の Bot が同時並行で作業し、日常業務を自動化。 ユーザーのワークフローを学習し、継続的に賢く進化。 macOSをはじめ多...74日前|原文(x.ai)
1410圧縮は予測であるデータ圧縮とLLM（大規模言語モデル）は本質的に同じ問題を解決しようとしている 圧縮の基本的な仕組みと、それを支えるモデルやエントロピーコーダーの役割を解説 エントロピーや確率分布が圧縮効率に与える影...73日前|原文(ngrok.com)
1411GoはAI支援ソフトウェアエンジニアリングに最適な言語ですAIコーディングアシスタント の台頭によるソフトウェア開発の根本的な変化 Go言語 の設計思想とプラットフォームとしての強み 可読性・信頼性・保守性 を重視したGoの特徴 AIと人間の協調 を支えるG...74日前|原文(developers.googleblog.com)
1412OpenAIの倫理担当責任者が就任から1年も経たずに退職Financial Timesのセキュリティ認証エラーに関する案内 JavaScriptとクッキーの有効化が必要との説明 サポートチームに提供すべき情報の記載 エラーの理由やリクエストID、ステータス...74日前|原文(ft.com)
1413モジョ 1.0Mojo 1.0 が正式リリースされ、安定した長期利用が可能な基盤を提供 コミュニティの貢献により、エコシステムと標準ライブラリが大幅に進化 Mojo 1.0 は今後も進化を続け、破壊的変更は慎重に管...74日前|原文(modular.com)
1414Nvidiaのリスキーなビジネス19世紀の鉄道投資バブルと現代のAIインフラ投資の類似性 Jay CookeによるNorthern Pacific Railway資金調達とその金融危機への影響 現代テック企業の巨額インフラ投資とMi...74日前|原文(stratechery.com)
1415Apple SiliconとmacOS仮想マシン：Llama.cppによるLLM推論が11～16倍速くなるApple Silicon搭載Mac上のmacOS仮想マシン（VM）で、llama.cppによるLLM推論速度を最大16倍向上させる手法を解説。 Metalの仮想GPU機能制限をプロセス単位で緩和する...74日前|原文(github.com)
1416フロック関連のソフトウェアが彼女を殺人事件に結びつけたため、女性が二度停車させられるFlockカメラ による誤認識で、 Amber Newell が2度も警察に銃を向けられる事態が発生。 原因は 警察データベースの更新ミス によるもの。 システムの信頼性と 人為的ミス のリスクが浮き...74日前|原文(guessingheadlights.com)
1417独自のLLM APIから推論トレースを盗むOpenAI、Anthropic、Googleの最先端モデルでの 推論トレース漏洩 の実証 API報告トークン数 と 復号推論トークン数 の強い相関 GitHubやHugging Face で公開され...74日前|原文(stolen-thoughts.com)
141810社以上が「Truth Social」の投稿へのアクセスに月額最大10万ドルを支払うTruth Social が2022年にローンチされた背景 Truth API の提供開始とウォール街への影響 Trump Media の財務状況と事業多角化 新サービスによる 収益化戦略 今後の展望...74日前|原文(bbc.com)
1419イギリス、C型肝炎撲滅の最初の国の一つになる見込みEngland が世界初の C型肝炎撲滅 国の一つとなる見込み 治療率80% を達成、死亡率も過去10年で 36%減少 抗ウイルス薬 による高い治癒率（ 95%以上） 未診断者発見 のための多様な検査...74日前|原文(bbc.com)
1420GPU上のRust SIMDVectorWareがRustのportable SIMD（core::simd）をGPU上で動作可能にした初事例 Rustの既存抽象化を使い、CPU/GPU両対応の高性能アプリ開発を実現 GPUのS...75日前|原文(vectorware.com)