501オーディン、ウィキペディアとエンゲージメントファーミングOdinプログラミング言語 のWikipedia記事が削除された経緯と、その反響について解説。 GingerBill(Odinの作者) や著名開発者たちの反応を整理。 Wikipediaの削除基準 と...109日前|原文(katamari64.se)
502巨大な樹木は最上部の枝に水を送るのに苦労しない:新しい研究世界一高い熱帯樹木であるDipterocarpが、高さに関係なく水を上部まで運搬可能であることを発見 従来理論を覆し、高木でも乾燥への脆弱性が小木と変わらないことを証明 幹や葉の適応進化により、高木で...109日前|原文(news.exeter.ac.uk)
503Leanstral 1.5: すべての人のための証明の豊富さLeanstral 1.5は、6Bアクティブパラメータを持つ無料のApache-2.0ライセンスモデル。 miniF2FやPutnamBenchで高い性能を発揮し、実世界のコード検証でも成果。 3段階...109日前|原文(mistral.ai)
504ドルあたりのパフォーマンスがより速く、より安くなっている推論需要急増 によりNVIDIA GPUの価格高騰 AMD MI355X はコストパフォーマンスに優れる選択肢 NVIDIAはソフトウェア面で依然優位 だが、AMDも急速に追いつきつつある Wafer...109日前|原文(wafer.ai)
505欧州議会に対するスパイ活動Stelios Kouloglou 元欧州議会議員が Pegasusスパイウェア で繰り返しハッキング被害 ハッキングは PEGA委員会活動期間中 に発生し、機密情報流出の可能性 ギリシャ政府関与の証...109日前|原文(citizenlab.ca)
506SearXNG: 無料のインターネットメタ検索エンジンGitHubリポジトリの ディレクトリ構成 と主要ファイル一覧 開発・ビルド・テストに関する 設定ファイル の存在 プロジェクト管理や ドキュメント のためのファイル配置 依存関係管理 やCI/CD対...109日前|原文(github.com)
507私のチョークトーク中にChatGPTを促すことが許されなかった:これは差別です (2025)AIツール を活用した現代科学研究の実態を描写 Chalk Talk という伝統的な面接形式への違和感と摩擦 独立的思考 や基礎知識の評価方法に対する批判 AIとの協働 が新しい研究スタイルであると主...109日前|原文(inpreparation.substack.com)
508コードを画像に変換し、モデルにOCRさせることでFableのコストを60%削減pxpipe はClaude CodeやGPTのリクエスト文脈(システムプロンプト、ツールドキュメント、履歴)を 画像化してトークン数を削減 するローカルプロキシ。 画像トークンはピクセル数で固定 さ...109日前|原文(github.com)
509市場は P ≠ NP の場合に限り競争的であるarXivLabsはarXivとコミュニティの協力者が新機能を共同開発するためのフレームワーク。 論文探索や引用管理のためのツールが多数提供されている。 オープン性・コミュニティ重視・卓越性・ユーザー...109日前|原文(arxiv.org)
510コストコはアマゾンの対極にあるAmazon と Costco は物流モデルの対極に位置 無限の品揃えと即時配達の夢には 社会的コスト が隠れる Costco は選択肢の制限とシンプルな運営で成功 シンプルな物流は 効率性 ・ 労働...109日前|原文(phenomenalworld.org)
511工場はただの部屋である子供たちに製造業の現場を伝える学校講演の体験談 AI時計の製造プロセスやプロトタイピングの重要性の紹介 工場や設計のリアルな現場写真・実物サンプルの共有 「畏敬」より「参加」を促すものづくりの伝え方 ...109日前|原文(interconnected.org)
512JamesobによるSOTA LLMをローカルで実行するためのガイドSOTA LLMs をローカルで動かすためのハードウェア選定と構成ガイド $2,000から$40,000 までの予算別おすすめ構成 PCIeスイッチやBIOS設定 などの詳細なチューニング方法 Doc...109日前|原文(github.com)
513Valveがオープンソース化したSteam Machineの電子インクスクリーンで、自分だけのものを作れるようにValveはSteam Machine用の独自e-inkディスプレイを提供しない方針を発表。 GitLabで「Inkterface」としてMITライセンスで設計情報を公開。 必要部品や組み立て手順も詳...109日前|原文(gamingonlinux.com)
514ザッカーバーグ、メタの解雇が効果的でなかったことを認めるMetaのAIエージェント開発の進捗が期待外れ 経営判断が「雰囲気」に依存し、失敗の連続 メタバースやAI事業での戦略ミス 大規模な人員削減とAI偏重の運営体制 社員の混乱と方向性喪失 MetaのAI...109日前|原文(eshumarneedi.com)
515AIの自信の演技をやめてくださいAIに関する過剰な期待や誇張が業界全体に悪影響を与えている現状 実際には本当に不可欠なAI活用例はごくわずか ハイプによる信頼低下と現場の混乱 採用や評価の現場でも「AI自信劇場」が問題化 本当の価値...109日前|原文(elenaverna.com)
516Wordgard: ProseMirrorの開発者によるブラウザ内リッチテキストエディタWordgard は、オープンソースの JavaScriptライブラリ ブラウザ内で動作する リッチテキストエディタ の実装基盤 自由なHTML編集 ではなく、サポートするコンテンツ形式を厳密に制御可...109日前|原文(wordgard.net)
517中途半端な製品経営者がスペイン市場で画期的なオーブン事業を開始 技術者チームは理想のオーブン開発に没頭 MVPは部分的成功だが、本質的な問題が未解決 売上拡大のために機能追加が連鎖 本来の課題解決が後回しとなり、組...109日前|原文(weli.dev)
518フリーマーケットの嘘:スイスが25Gbitのインターネットを持ち、アメリカが持たない理由スイスでは 25Gbps対称型専用回線 が家庭向けに提供され、世界最速クラス 米国やドイツは 速度・価格・選択肢で大きく劣後 スイスは 規制主導のインフラ共有モデル、米独は「自由市場」型で失敗 自然独...110日前|原文(stefan.schueller.net)
519ウェブ開発者のためのSafari MCPサーバーSafari Technology Preview 247 で新機能「Safari MCP server」公開 エージェントとSafariブラウザ を連携し、ウェブ開発・デバッグ効率化 DOMやネット...110日前|原文(webkit.org)
520CarPlayは付加的ですRivianの車が CarPlay非対応 であることへの不満 CarPlayは 必須機能 と考えるユーザーの視点 Rivian幹部の CarPlay否定理由 への反論 CarPlayを オプション機能...110日前|原文(caseyliss.com)