topickapp (IT技術系ニュースサイト)
@topickapp.bsky.social
個人で運営しているニュースサイトです！ Bringing You the Hottest Topics from Across the Internet! インターネット中の様々なトピックをお届けします！ https://www.topickapp.com/?utm_source=bsky
https://www.mendral.com/blog/agent-harness-belongs-outside-sandbox LLMエージェントの実行ループは外部で管理し、認証情報保護と効率化を図ります。 サンドボックスは必要時のみ起動、ファイル操作はDBへ集約し応答性を保ちます。 マルチユーザー環境での一貫性維持と、エージェントの柔軟な運用を目指します。
The Agent Harness Belongs Outside the Sandbox
Two architectures for running agent harnesses, the tradeoffs between them, and how we make skills and memories work when the harness isn't local.
mendral.com
https://www.universiteitleiden.nl/en/news/2025/07/neanderthals-ran-fat-factories-125000-years-ago 約12.5万年前、ネアンデルタール人が骨を煮て脂肪を抽出する「脂肪工場」を運営。 ドイツの遺跡で、骨の破片から脂肪を採取する高度な食料戦略が判明。 ネアンデルタール人の計画性や資源管理能力に関する理解が深まる発見。
Neanderthals ran ‘fat factories’ 125,000 years ago
Fat is a very valuable food component, packed with calories, especially important when other resources might be scarce. Our earliest ancestors in Africa already cracked open bones to extract the fatty marrow from bone cavities. But now a new study published in Science Advances demonstrates that our…
universiteitleiden.nl
https://donottrack.sh/ 多くの開発ツールはテレメトリを収集しますが、無効化方法がバラバラです。 本サイトは統一環境変数「DO_NOT_TRACK=1」を提案し、設定を簡略化します。 これにより、ローカル環境での不要なデータ送信を防ぎ、プライバシーを守ります。
DO_NOT_TRACK
A proposed standard environment variable for opting out of telemetry, analytics, and tracking in CLI and TUI applications.
donottrack.sh
https://www.epo.org/en/news-events/news/inventions-battery-reuse-and-recycling-increase-more-seven-fold-last-decade 欧州特許庁の報告で、バッテリーリサイクル技術の特許が10年で7倍超に増加。 アジア企業がリサイクル技術をリード。欧州でもイノベーションが急成長中。 欧州は政策と産業基盤で循環型バッテリー経済の主導権を目指す。
Inventions for battery reuse and recycling increase more than seven-fold in last decade | epo.org
epo.org
https://hnup.date/hn-sota AI支援コーディングの進化をHacker Newsコメントから追跡します。 毎日更新、モデルの人気とユーザー感情を分析・記録。 詳細はGoogleスプレッドシートで確認可能、コメントIDも追跡。
HN SOTA — Model popularity | HN Update
LLM model popularity from Hacker News: how we detect models from the OpenRouter catalog and score sentiment from discussions.
hnup.date
https://wsjfreeexpression.substack.com/p/little-magazines-are-back 紙媒体の雑誌・書籍は衰退せず、むしろGen Zにも人気で復活の兆しがあります。 「Portico」のような新しいリトル・マガジン創刊は、印刷文化の健在ぶりを示しています。 かつて衰退予測された紙媒体が、予想に反して復活しつつあります。
Little Magazines Are Back
A warm welcome to ‘Portico,’ a literary quarterly edited by Micah Mattix.
wsjfreeexpression.substack.com
https://www.clojuriststogether.org/news/q2-2026-funding-announcement/ Clojurists Togetherは2026年第2四半期に5つのプロジェクトへ計3万1千ドルを助成します。 Malli、Clojure LLM、SciCloj等、注目の5プロジェクトが採択されました。 メンバーの支援に感謝し、今後のプロジェクト進捗に期待を寄せています。
Q2 2026 Funding Announcement
5 projects are awarded a total of $31K
clojuriststogether.org
https://easel.games/blog/2026-rollback-physics Easelがカスタム物理エンジンを開発、変更部分のみをスナップショット・ロールバック可能に。 これにより、大規模なゲームワールドの実現とパフォーマンスが大幅に向上しました。 スリープ機能や連続衝突検出など、多数の新機能がゲーム開発を支援します。
A Physics Engine with Incremental Rollback • Easel
We want Easel to be powerful enough to make the kinds of games you would play for hours.
easel.games
https://www.bbc.com/news/articles/clypjx3rg2go カリフォルニア州で自動運転車が交通違反をしても、これまで警察は取り締まることができませんでした。 7月1日から施行される新規則により、違反時にメーカーへ直接通知・罰金が科されるようになります。 これにより、自動運転車の普及と公共の安全の両立を目指します。
California to begin ticketing driverless cars that violate traffic laws
Under the new rules, police will be able to issue tickets directly to the car's manufacturer when an autonomous vehicle breaks a traffic law.
bbc.com
https://flueframework.com/ TypeScriptで自律エージェントを構築するフレームワークです。 計画・コンテキスト収集・ファイル作成など高度な機能を実現します。 HTTPサーバーとしてデプロイ可能な、自社スタックを所有できます。
Flue — The Agent Harness Framework
Agent = Model + Harness. Flue is the TypeScript framework for building modern agents — programmable, deployable anywhere, from chatbots to coding platforms.
flueframework.com
https://www.cnbc.com/2026/05/01/roblox-rblx-stock-child-safety-earnings.html Roblox株は決算発表後18%下落、子どもの安全対策が予約を圧迫しました。 年齢確認機能がユーザー獲得やコミュニケーションを制限し、業績見通し下方修正に繋がりました。 安全対策強化は長期的な成長に寄与する一方、短期的な業績への影響は避けられませんでした。
Roblox shares plummet 18% as child safety measures weigh on bookings
Roblox is facing over 140 federal lawsuits accusing it of failing to prevent child exploitation, and last month settled with Alabama and West Virginia.
cnbc.com
https://noahclements.com/Wahoo-Bolt-Hidden-Debug-Mode/ サイコンの同期不具合から、隠しデバッグモードの解析へ至る経緯を紹介します。 BLE通信プロトコルを解析し、3バイトのパケットで開発者モードを有効化。 これにより、サイコンの内部設定やADBアクセスなどが可能になりました。
How a Broken Bike Sync Led Me to Reverse Engineering My Wahoo’s Hidden Debug Mode
Reverse engineering the Wahoo ELEMNT Bolt v3 BLE protocol to unlock a hidden developer debug mode
noahclements.com
https://arxiv.org/abs/2406.11717 大規模言語モデルの拒否挙動は単一方向で制御可能であることを発見しました。 この方向を削除すると拒否がなくなり、追加すると無害な指示も拒否します。 安全対策の脆弱性を示唆し、モデル内部理解の重要性を強調しています。
Refusal in Language Models Is Mediated by a Single Direction
Conversational large language models are fine-tuned for both instruction-following and safety, resulting in models that obey benign requests but refuse harmful ones. While this refusal behavior is widespread across chat models, its underlying mechanisms remain poorly understood. In this work, we show that refusal is mediated by a one-dimensional subspace, across 13 popular open-source chat models up to 72B parameters in size. Specifically, for each model, we find a single direction such that erasing this direction from the model's residual stream activations prevents it from refusing harmful instructions, while adding this direction elicits refusal on even harmless instructions. Leveraging this insight, we propose a novel white-box jailbreak method that surgically disables refusal with minimal effect on other capabilities. Finally, we mechanistically analyze how adversarial suffixes suppress propagation of the refusal-mediating direction. Our findings underscore the brittleness of current safety fine-tuning methods. More broadly, our work showcases how an understanding of model internals can be leveraged to develop practical methods for controlling model behavior.
arxiv.org
https://techcrunch.com/2026/05/01/uber-wants-to-turn-its-millions-of-drivers-into-a-sensor-grid-for-self-driving-companies/ Uberは、ドライバー車両にセンサーを搭載し、自動運転車開発企業へ実走行データを提供します。 これにより、データ収集のボトルネックを解消し、AV開発の民主化を目指します。 現在25社と提携し、データ提供やモデルのシミュレーションが可能なAVクラウドを構築中です。
Uber wants to turn its millions of drivers into a sensor grid for self-driving companies | TechCrunch
Praveen Neppalli Naga, Uber's chief technology officer, revealed the plan in an interview at TechCrunch's StrictlyVC event in San Francisco on Thursday night, describing it as a natural extension of a nascent program the company announced in late January called AV Labs.
techcrunch.com
https://blog.janestreet.com/using-group-theory-to-explore-positional-encodings-attention/ 群論で位置エンコーディングを分析、多様な手法の可能性を探求。 RoPEやALiBi等、既存手法は数学的構造から導出可能。 未開拓のエンコーディングは限定的で、既存手法が最適解か。
Using group theory to explore the space of positional encodings for attention
Attention is a computational primitive at the core of modern language models, allowing internal representations to reference and influence each other. It’s h...
blog.janestreet.com
https://randsinrepose.com/archives/the-usb-situation/ USB-Cは形状で速度ではない。同じ見た目でも7種、速度差は250倍。 規格名が乱立し、見た目では速度が不明。ケーブル選びはポート理解が鍵。 ケーブルテスター活用で、思わぬ低速接続の落とし穴を回避できます。
The USB Situation
I write this from the latest MacBook Pro. I've been running this as my primary machine for almost a month. When I'm not grinding out the latest soon-to-be-relea
randsinrepose.com
https://devblogs.microsoft.com/oldnewthing/20150417-00/?p=44213 一時ファイル場所のTMPとTEMP、なぜ2つあるか歴史を解説します。 CP/M時代は環境変数なし。MS-DOSで導入後も当初は使われませんでした。 プログラム毎に使い分けられ、WindowsではTMPを優先する傾向があります。
Why are there both TMP and TEMP environment variables, and which one is right? - The Old New Thing
Parallel evolution.
devblogs.microsoft.com
https://github.com/nexu-io/open-design Claude DesignのOSS代替、ローカル実行可能AIコーディングツール 12種CLI、31種スキル、72種デザインシステムを統合・連携 OpenAI互換プロキシで柔軟性向上、デザインワークフローを効率化
GitHub - nexu-io/open-design: 🎨 Local-first, open-source alternative to Anthropic's Claude Design. ⚡ 19 Skills · ✨ 71 brand-grade Design Systems 🖼 Generate web · desktop · mobile prototypes · slides · images · videos · HyperFrames 📦 Sandboxed preview · HTML/PDF/PPTX/MP4 export 🤖 Runs on Claude Code / Codex / Cursor / Gemini / OpenCode / Qwen / Copilot / Hermes / Kimi CLI.
🎨 Local-first, open-source alternative to Anthropic's Claude Design. ⚡ 19 Skills · ✨ 71 brand-grade Design Systems 🖼 Generate web · desktop · mobile prototypes · slides · images · videos · Hype...
github.com
https://www.construction-physics.com/p/how-an-oil-refinery-works 石油精製は、原油を分離・加工し、有用な化学物質に変える巨大産業です。 蒸留、分解（クラッキング）、改質などの工程で、原油からガソリンやジェット燃料などを生産します。 その規模は都市級で、現代社会のエネルギー供給を支える重要な役割を担っています。
How an Oil Refinery Works
Though wind and solar continue to carve out larger and larger shares of world energy supply, the modern world still runs on petroleum, and will continue to do so for the foreseeable future.
construction-physics.com
https://education.ti.com/en/products/calculators/graphing-calculators/ti-84-evo TI-84 Evoは、よく使う機能へのアクセスが容易なホーム画面を搭載しています。 キーパッドとメニューが改良され、操作性が向上し、学習をサポートします。 オンライン接続がなく、耐久性も高いため、授業や試験に集中できるツールです。
TI-84 Evo Graphing Calculator | Texas Instruments
The TI-84 Evo is the most advanced graphing calculator in the TI-84 series. Ideal for algebra, geometry, calculus, and advanced math courses in secondary schools. Learn more.
education.ti.com
https://zenn.dev/aishift/articles/a4bdf225a348e5 TypeScriptのワークフロー正しさをLeanで検証、ランダムテストで差分検出。 Leanでモデル定義・性質証明、CIで継続検証し信頼性向上。 数学的証明を基盤に、より堅牢なソフトウェア開発を目指す。
TypeScript で実装したワークフローの「正しさ」を Lean とランダムテストで検証する
zenn.dev
https://zenn.dev/karaage0703/articles/ad960088e1b94f DGX SparkにxrdpとTailscaleを使い、外部からもGUI操作可能な環境を構築します。 ARM64非対応のChrome Remote Desktopの代替として、xrdpとTailscaleを組み合わせます。 Wayland無効化や環境変数の調整で、xrdp接続時の画面黒落ちや切断問題を解決します。
DGX Sparkに xrdp + Tailscale でリモートデスクトップ環境を構築する
zenn.dev
https://zenn.dev/baleenstudio/articles/ea23ce22c6b3c3 Go gRPCサーバーのコンテナ化ではDockerfileが複雑になりがちです。 koツールを使えばDockerfile不要で、Goバイナリのビルドとコンテナ化が容易です。 koはGoプログラムのコンテナ化に特化し、開発者はコードに集中できます。
Go + gRPC サーバーのコンテナ化を行い、イメージ作成は Dockerfile より ko が適していると感じた理由
zenn.dev
https://zenn.dev/exwzd/articles/20260501_copilot_agent_skill_recommender gh skill CLIとCopilot Agent連携で、リポジトリに合うAgent Skillsを自動推薦。 技術スタック分析から候補検索、リスク評価まで自動化し、PRで提案。 GitHub Actionsで週次実行し、AIによる開発効率化・自動化を推進。
gh skill と Copilot Coding Agent で Agent Skills を自動推薦する仕組みを作ってみた
zenn.dev
https://zenn.dev/shibatch/articles/e0a27373bdfc3c EKSでDockerイメージ素材をS3 Filesへ移行し、ビルド時間を80%短縮しました。 S3 Files活用で素材更新が数秒で反映、開発者体験が大幅に向上しました。 EFS CSI Driverの制約やIAM設定理解が導入の鍵となります。
S3 Files を本番 EKS で運用し、imageビルド時間を 19→4分と劇的改善した
zenn.dev
https://zenn.dev/tsukulink/articles/2026-04-rubykaigi-2026 RubyKaigi 2026に参加し、ツクリンクはシルバースポンサーとして協賛しました。 Ruby::Boxはバージョン違いGemの並列実行を可能にし、安全なリリースに貢献します。 AI時代のエンジニアリングは、問題解決の質やシステムの妥当性がより問われます。
RubyKaigi 2026 に参加しました
zenn.dev
https://nethack.org/v500/release.html NetHack 5.0.0が2026年5月2日にリリースされました。 C99標準準拠、クロスコンパイル対応、Luaによるビルドシステム刷新が特徴です。 セーブデータやボーンファイルは互換性がありません。バグレポート歓迎です。
NetHack 5.0.0: Release Notes
nethack.org
https://github.com/EnterpriseDB/barman BarmanはPostgreSQLサーバーの災害復旧用オープンソース管理ツールです。 Pythonで記述され、複数サーバーの遠隔バックアップを可能にします。 GNU GPL 3ライセンスで提供され、EnterpriseDBが保守しています。#python
GitHub - EnterpriseDB/barman: Barman - Backup and Recovery Manager for PostgreSQL
Barman - Backup and Recovery Manager for PostgreSQL - EnterpriseDB/barman
github.com
https://github.com/dotcl/dotcl .NET上で動作するCommon Lisp実装で、Windows・macOS・Linuxで動作します。 C#等からLispコードを呼び出したり、.NETの型にLispからアクセス可能です。 MAUIやASP.NET Core等、.NETのフレームワークとの連携やNuGetパッケージ利用もできます。
GitHub - dotcl/dotcl
Contribute to dotcl/dotcl development by creating an account on GitHub.
github.com
https://github.com/sambigeara/pollen PollenはGo言語で書かれた自己組織化メッシュとWASMランタイムです。 ノードは中央管理者を介さず、CRDT状態を元に自律的にスケールし負荷を追従します。 異種マシン群をどこでも実行可能な汎用コンピューティングリソースに変換します。
GitHub - Sambigeara/pollen: Distributed WASM runtime. Workloads place themselves over a zero-trust mesh. One static binary.
Distributed WASM runtime. Workloads place themselves over a zero-trust mesh. One static binary. - Sambigeara/pollen
github.com