41xAIが「Grok」をチャットアプリに統合するためにテレグラムに3億ドルを支払うTelegramがElon MuskのAI企業xAIと提携 GrokチャットボットをTelegram上で1年間配信 xAIがTelegramに3億ドルを現金と株式で支払い TelegramはxAIサブ...508日前|原文(techcrunch.com)
42Mullvad LetaMullvad Leta は、プライバシー重視の 検索エンジン。 Brave や Google など複数の検索エンジンに対応。 国や言語 のフィルタリング機能を搭載。 最新の情報更新 期間で検索範囲を...508日前|原文(leta.mullvad.net)
43IoTデバイス向けのErlang仮想マシン「AtomVM」AtomVM は、Erlang/Elixir用の軽量仮想マシン BEAM 命令セットの一部とOTP標準ライブラリをサポート IoTアプリ を関数型言語で簡単に開発可能 プロセス管理や周辺機器連携、Wi...508日前|原文(atomvm.net)
44Show HN: Icepi Zero – FPGA版Raspberry Pi Zero相当Icepi Zero は、 Raspberry Pi Zero のフォームファクタを持つ、経済的かつ強力な FPGA開発ボード。 Lattice ECP5 25F FPGAを搭載し、 HDMI出力 や...508日前|原文(github.com)
45「誰が気にする時代」AIチャットボットによる偽情報掲載事件と、それに対する社会の無関心を考察。 「Who Cares Era（誰も気にしない時代）」の象徴的な出来事として分析。 AIが生み出す「平均的な凡庸さ」と人間の無...508日前|原文(dansinker.com)
46私のウェブサイトは私が作ったので醜いです自分だけの作品やウェブサイト を作ることの意味を考察 個性やこだわり が表現されたデザイン手法の紹介 ミニマリズムと温かみ のバランスへの工夫 CSSによる独自表現 やインタラクションの実装例 ウェブ...509日前|原文(goodinternetmagazine.com)
47AI: 加速された無能LLM（大規模言語モデル）依存によるエンジニアリング能力低下の懸念 LLMは人間の批判的思考や設計力を代替できない AI活用のリスクと人材育成への悪影響 プログラム理論とエントロピー管理は人間独自の能...509日前|原文(slater.dev)
48開発者として、私にとって最も重要な道具はペンとノートです。新しい職場でのノート購入体験の喜び ノートがソフトウェア開発者にとって最重要ツールである理由 コードを書く前の思考整理の重要性 書くことで思考を深め、知識のギャップを明確化 ノートが過去の思考プロセス...509日前|原文(hamatti.org)
49ポリマーケットのユーザーたちがイエスの再臨の時期に賭けるPolymarketで「2025年にJesus Christは帰還するか？」という市場が登場し、短期間で10万ドル以上が賭けられる現象が発生。 「Yes」に賭ける動機の謎とその背景にある金融的な仕組み...509日前|原文(ericneyman.wordpress.com)
50Show HN: AutoThink – 適応型推論でローカルLLMの性能を向上させるAutoThinkは、ローカルLLMの推論効率を大幅に向上させる手法。 クエリの複雑度に応じて計算資源を動的に割り当てるアプローチ。 Pivotal Token Search由来のステアリングベクトル...509日前
51ママ、泡がないよ: Llama-1Bのための低遅延メガカーネルの設計LLM推論の 低レイテンシ 化が重要な用途（チャットボット等）で求められる状況 従来手法 は小さなカーネル分割によりGPU帯域の半分しか活用できない問題 Megakernel による全モデルforwa...509日前|原文(hazyresearch.stanford.edu)
52プレブート環境におけるPoE+電力の交渉2015年、PoE給電対応のx86組込PCとデジタルサイネージシステム開発プロジェクト 標準PoE（802.3af）の電力上限を超える要件に直面 OS起動前にLLDPパケット送信でPoE+交渉を実現す...509日前|原文(roderickkhan.com)
53HNに表示: 私のLLM CLIツールは、Pythonコードやプラグインからツールを実行できるようになりましたLLM 0.26 が2025年5月27日にリリース。 最大の新機能は ツールサポート の追加。 CLIツール やPythonライブラリから、各種LLMモデルにPython関数ベースのツールを利用可能に...509日前|原文(simonwillison.net)
54デューク大学の学生が捨てた高級品を6,000ドル分救出しましたDuke University 学生が多く住むダウンタウン Durham のアパートで、住民が高価な品々を大量に廃棄する実態を体験。 卒業シーズンには、 ブランド品や未使用品 がゴミ部屋に山積み。 寄...509日前|原文(indyweek.com)
55平方理論Crosscord はクロスワード愛好家が集う活発なDiscordサーバー 「ダブルダブル」 という語の組み合わせ遊びが人気を博す Square theory（四角理論） が言葉遊びやクロスワードの構...509日前|原文(aaronson.org)
56PyreflyとTy: Pythonの2つの新しいRustベースの型チェッカーを比較するPyrefly と ty は新しいRust製Python型チェッカー どちらも従来の mypy や pyright より高速 速度・設計思想・インクリメンタル処理・型推論に違い それぞれMetaとAs...509日前|原文(blog.edward-li.com)
57DuckLakeは統合データレイクおよびカタログフォーマットですDuckLakeは、 Parquetファイル と SQLデータベース を活用した、シンプルかつ強力なデータレイク機能を提供 DuckDBチーム が開発した、オープンで独立したフォーマット 複数のデータ...509日前|原文(ducklake.select)
58タカが信号機を使って狩りを成功させる方法Cooper’s hawk が都市環境で独自の狩猟戦略を開発 交通信号と車列を利用した高度な 適応行動 を観察 都市の危険や困難を 知性 で克服する猛禽類 Dr Vladimir Dinets による...510日前|原文(frontiersin.org)
59BGP処理バグが広範なインターネットルーティングの不安定性を引き起こす2025年5月20日、BGPメッセージの不具合により大規模なインターネット障害が発生。 JunOSとArista EOSの組み合わせでBGPセッションが自動切断され、接続障害が発生。 原因は破損したB...510日前|原文(blog.benjojo.co.uk)
60LumoSQLLumoSQL はSQLiteにセキュリティやプライバシー機能を追加するプロジェクト Not-forking手法 で複数のアップストリームを追従しつつ独自機能を実装 プラガブルバックエンド や行単位暗...510日前|原文(lumosql.org)