101Show HN: リバースマインスイーパーこの文章は、パズルゲームの 難易度判定基準 と 各難易度で必要な論理手法 について解説しています。 各難易度は使われる 推論技法 によって分類され、 スコアリング方法 や 解答時間の見積もり も説明さ...85日前|原文(sunflowersgame.com)
102Go分析フレームワーク：Goチームによるモジュラー静的解析Goの 静的解析フレームワーク の概要と設計思想 Analyzer型 による解析器の定義と利用方法 Pass型 による解析単位と診断結果の報告方法 Fact を用いたモジュラー解析の仕組み 実装・運用...85日前|原文(pkg.go.dev)
103ルーマニア領内で3日間に3機目のドローンが撃墜される2026年7月24日から26日にかけて、 ルーマニア空軍 のF-16戦闘機が 3機の無人機（ドローン） を撃墜 いずれも 国境付近での領空侵犯 が発生 空軍の即応体制 と防空能力の高さを示す事例 全て...85日前|原文(english.mapn.ro)
104Htmx 4.0、ゲームボーイ専用にリリースされた初のJavaScriptライブラリHTMX 4.0 が Game Boy® 専用で初登場 JavaScriptライブラリ の新たな体験 ピクルス収集 の4レベル搭載 返品・交換ポリシー の明確化 品質保証 付き HTMX 4.0 fo...85日前|原文(swag.htmx.org)
105クッキーバナーを排除するEU委員会 が提案した新たなプライバシー管理案の紹介 Cookieバナー の本質的な問題点と現状の説明 自動プライバシー設定の 解決策 の提案 トラッキング業界 による反発とロビー活動の現状 市民によ...85日前|原文(killthecookiebanner.eu)
106Ruff v0.16.0 – 重要な新機能の追加 – 59から413に増加したデフォルトルールRuff v0.16.0 がリリース デフォルトで有効なルール数が大幅増加 Markdownコードブロックのフォーマット対応 新しい抑制コメント機能の追加 各種出力・動作の安定化と細かな破壊的変更 R...85日前|原文(astral.sh)
107ロックされたデバイスからのデータ抽出に対するGrapheneOSの保護GrapheneOS はAndroid 17の標準セキュリティを大幅に強化 Pixel 端末のみが現時点で完全対応、2027年にはMotorolaなども対応予定 ディスク暗号化 と高度なセキュリティ要...85日前|原文(discuss.grapheneos.org)
108ジェットゼロJetZeroは先進的な全翼機「Z4」の開発を推進し、主要航空会社や投資家からの資金調達・提携を拡大中。 Z4は最大50%の燃料削減と国際線対応の航続距離を実現。 GreensboroやWichita...85日前|原文(jetzero.aero)
109デスク用のESP32ベースの航空機レーダーESP32-Plane-Radar の製作体験を紹介 Makerworld で話題の3Dモデルを活用した事例 ファームウェアの カスタマイズ による機能拡張 3Dプリント筐体 の課題と代替案 今後の展...85日前|原文(blog.ktz.me)
110Show HN: アメリカのゴルフコースをすべてマッピングしましたgolfcoursebrowser.com は、全米のゴルフコース情報をまとめた無料ディレクトリ Googleの検索結果 よりも使いやすいコース検索体験を提供 OpenStreetMap を基盤とし、...85日前|原文(golfcoursebrowser.com)
111Inflect-Micro-v2: 9.36Mパラメータで実現する完全な音声Inflect-Micro-v2 は10Mパラメータ未満で動作する高品質な英語TTSモデル 長文対応・固定音声・CPU/CUDA両対応 のローカル推論が特徴 新しい適応ツールキット で音声や言語のカス...85日前|原文(huggingface.co)
112DeepSeek、米国とのコンピュートギャップに関するコメントが漏洩した後、資金調達を一時停止（トランスクリプト） [pdf]liang-wenfeng-investor-meeting-2026-7-22 リポジトリへのアクセス時の エラー発生 指定された PDFファイルパスが存在しない 状態 404エラー メッセージ表示...85日前|原文(github.com)
113仕事に何が起こっているのか？AIの誇大広告と現実を分けるAIの雇用全体への影響は現時点では小さい とされる。 新卒者の厳しい就職市場は部分的にAIの影響 が示唆されている。 労働生産性へのAIの影響は概ねプラスだが、個人差が大きい。 企業によるAI導入は加...85日前|原文(siepr.stanford.edu)
114GM、米国のグリッドストレージ向けにナトリウムイオン電池を支持米国でのナトリウムイオン電池開発の挫折とPeak Energyの挑戦 中国CATLの大型受注による市場支配の進行 Peak EnergyとGMによる新工場建設と技術的優位性 NFPPカソード採用による...85日前|原文(spectrum.ieee.org)
115奇妙なものに向き合うFly.io は、AIエージェント向けの新サービス Sprites に注力するクラウドプラットフォーム。 創業者は経営体制の転換と Sprites の進化を発表。 AI時代の開発環境変化に対応し、 エ...85日前|原文(fly.io)
116Claude 5世代モデルのためのコンテキストエンジニアリングの新しいルールClaudeに関する 過去のベストプラクティスの神話化 と 最新の運用方法 の比較 ルール重視から判断重視 への転換 例示からインターフェース設計 へのシフト 情報の一括提示から段階的開示 への進化 ...85日前|原文(claude.com)
117DebianにおけるLLMの利用：三つの提案DebianプロジェクトでのLLMや生成AI利用に関する2つの提案の要点整理 Proposal AはAI生成物の全面禁止を主張 Proposal Bは条件付きでAI支援貢献を容認 それぞれの論拠と具体...85日前|原文(debian.org)
118増大する自警団運動：フロック監視カメラを排除するためにNoMark という覆面活動家がFlockカメラの破壊活動を展開 Flockカメラは 全米で普及 し、プライバシー侵害への懸念が拡大 各地で 市民による抗議や破壊行為 が相次ぐ プライバシー擁護団体や...85日前|原文(theguardian.com)
11928.9MパラメータのLLMを$8のマイクロコントローラーで動作させるESP32-S3 マイコン上で 28.9Mパラメータ のLLMを実行 Google Gemma のPer-Layer Embeddings技術を応用 フラッシュメモリ 主体のモデル格納で大容量化を実現...85日前|原文(github.com)
120Show HN: Brolly, プレーンテキストの天気予報サイトbrolly.sh は、 ミニマルなプレーンテキスト天気予報サイト。 視認性重視のデザイン で、スマホ・PC両対応。 7日間予報、過去データ、時間別詳細情報 を提供。 URL共有 で状態保存・再現が可...85日前|原文(brolly.sh)