◀ 前年 | ◁ 前月 | << 前週 | < 前日 | 2026-01-10 | 翌日 > | 翌週 >> | 翌月 ▷
1
 

エルデシュ問題 #728、AIがほぼ自律的に解決

 (mathstodon.xyz)
エルデシュ問題 #728 がAIツールによってほぼ自律的に解かれ、証明作成と論文執筆のあり方を変える可能性が示された。
2 ポイント 投稿者 GN⁺ 2026-01-10 | 1件のコメント
2
 

米国の監視インフラのパスワードを53回ハードコードしたFlock Safety

 (nexanet.ai)
Flock SafetyがArcGIS APIキーを53個の公開JavaScriptバンドルにハードコードし、全米の監視データ基盤への広範なアクセスを露出させていたことが明らかになった。
2 ポイント 投稿者 GN⁺ 2026-01-10 | 1件のコメント
3
 

MypyからTyへ: Ruff開発元が作った超高速Rust製Python型チェッカー導入ガイド

 (blog.pythonlibrary.org)
Astralが公開した超高速Rust製Python型チェッカー「ty」の導入方法、設定、GitHub Actions連携、pre-commit運用の要点をまとめたガイドです。
12 ポイント 投稿者 darjeeling 2026-01-10 | コメントと議論
4
 

Linux向けOrionアルファ版を公開

 (help.kagi.com)
KagiのWebブラウザー Orion がLinux向けアルファ版として公開され、基本UI、タブ、ブックマーク、パスワード管理などの初期テストが可能になった。
1 ポイント 投稿者 GN⁺ 2026-01-10 | 1件のコメント
5
 

Anthropicエンジニアリング: AIエージェント評価（Evals）の実践ガイドと方法論

 (anthropic.com)
AIエージェント評価では、単純な正答比較ではなく、ツール使用や多段階推論の質まで含めて検証する必要があるとAnthropicが解説。
16 ポイント 投稿者 darjeeling 2026-01-10 | 1件のコメント
6
 

CES 2026のベスト製品たち

 (nytimes.com)
NYT Wirecutterが選んだCES 2026の注目製品を、ぎこちないロボットから超薄型テレビまで一挙に紹介。
9 ポイント 投稿者 GN⁺ 2026-01-10 | コメントと議論
7
 

コンピュータ科学のための数学 (2018) [PDF]

 (courses.csail.mit.edu)
MITのオープン教科書『Mathematics for Computer Science』は、論理・証明・組合せ・確率・漸化式の中核概念を体系的に学べる。
5 ポイント 投稿者 GN⁺ 2026-01-10 | 1件のコメント
8
 

Cloudflare CEOのイタリア罰金に関する見解

 (twitter.com/eastdakota)
Cloudflare CEOがイタリア当局の罰金に言及したが、投稿には詳細な説明や法的背景は含まれていない。
1 ポイント 投稿者 GN⁺ 2026-01-10 | 1件のコメント
9
 

ピアノを耳で覚える記憶ゲーム「Lend Me Your Ears」

 (lend-me-your-ears.specr.net)
ブラウザで直接動作する「Lend Me Your Ears」は、聴いたメロディをピアノで再現しながら聴音力を鍛えられるインタラクティブな音楽学習ゲームです。
5 ポイント 投稿者 GN⁺ 2026-01-10 | 1件のコメント
10
 

ベトナム政府、root化されたスマートフォンで「すべての銀行アプリ利用禁止」

 (xdaforums.com)
ベトナムの新規則により、root化・ブートローダーアンロック・ADB有効化端末では銀行アプリの利用が遮断される可能性がある。
1 ポイント 投稿者 GN⁺ 2026-01-10 | 1件のコメント
11
 

欧州委員会、オープンソース関連の証拠募集を発表

 (lwn.net)
欧州委員会がデジタル主権とサプライチェーン安全性の強化を目的に、オープンソース戦略策定へ向けた証拠募集を開始した。
1 ポイント 投稿者 GN⁺ 2026-01-10 | 1件のコメント
12
 

Anthropic、Claude Codeサブスクリプションのサードパーティ利用を遮断

 (github.com/anomalyco)
Anthropicのポリシー変更とみられる影響で、OpenCode経由のClaude Max利用停止報告を巡り、制限の是非や代替手段を巡る議論が広がっている。
4 ポイント 投稿者 GN⁺ 2026-01-10 | 1件のコメント
13
 

metacode - アクションコメント標準化のための宣言的コメント言語とパーサー

 (github.com/pomponchik)
Python向け特殊コメントを標準化するための宣言的コメント言語と公式パーサーを提案するライブラリ。
1 ポイント 投稿者 xguru 2026-01-10 | コメントと議論
14
 

フーリエ変換の不合理なほど優れた有用性

 (joshuawise.com)
フーリエ変換は通信の複雑な問題を周波数ごとの単純な調整へと変え、OFDMを通じて現代の無線通信の高速性と信頼性を支える中核技術として機能している。
11 ポイント 投稿者 GN⁺ 2026-01-10 | 7件のコメント
15
 

殺人を殺人と呼ぼう

 (daringfireball.net)
ミネアポリスでの銃撃事件をめぐり、目撃者映像が「正当防衛」主張を覆す証拠として注目され、市民による記録の力と真実を見据える勇気の重要性を訴える記事。
1 ポイント 投稿者 GN⁺ 2026-01-10 | 1件のコメント
16
 

Embassy - Rustとasyncベースのモダンな組み込みフレームワーク

 (github.com/embassy-rs)
Rustとasyncを基盤に、RTOSなしでも安全で効率的なマルチタスク組み込み開発を実現する次世代フレームワーク。
4 ポイント 投稿者 GN⁺ 2026-01-10 | 2件のコメント
17
 

Sopro TTS: CPUで動作するゼロショット音声クローニング対応、1億6900万パラメータのTTSモデル

 (github.com/samuel-vitorino)
CPUで動作し、ゼロショット音声クローニングとストリーミング生成に対応した1億6900万パラメータの軽量英語TTSモデル。
3 ポイント 投稿者 GN⁺ 2026-01-10 | 1件のコメント
18
 

ミネソタ当局、ICE銃撃死亡事件の証拠にアクセスできず…FBIは共同捜査を拒否

 (pbs.org)
ミネソタ当局はICE銃撃死亡事件の証拠にアクセスできず、FBIが単独捜査に切り替えたことで連邦と州の対立が強まっている。
1 ポイント 投稿者 GN⁺ 2026-01-10 | 1件のコメント
19
 

AIコーディング支援ツールはますます悪くなっているのか？

 (spectrum.ieee.org)
AIコーディング支援ツールでは品質低下が目立ち、最新モデルほど実行はできても結果が誤る「サイレントフェイル」が増えている。
10 ポイント 投稿者 GN⁺ 2026-01-10 | 1件のコメント