1715 点記事準備中
9272 点
数学の始まり：AIの進歩への数学的実践の適応
ダニエル・リットは、AIの急速な進歩が数学においても花模試験で金メダルに相当する成績を達成し、開かれた問題を自律的に解決できるようになったことで、数学的テキストの生産が人間の理解から切り離されたと論じている。AI生成の数学の時代に数学的専門性を維持するため、彼は博士課程の評価を厳密な口頭試験中心に変えることやセミナール文化を育むことを含む制度的改革を提言している。
記事全文を読む →
10248 点
高速なTokioアプリケーションのための原則
Russell Cohenが、Tokio上で効率的な非同期アプリケーションを書くための実践的な原則を列挙しています。レイテンシとスループットのトレードオフ、グローバルリソースの競合、ミューテックスのリスク、並行性の制限、ワーカーの分離、マルチランタイム展開などの高度な戦術までをカバーしています。
記事全文を読む →11656 点記事準備中
Dario, Please (rdi.sh)
12395 点記事準備中
Registration without a phone number on Signal will use zero-knowledge proofs (signalusers.org)
15387 点記事準備中
Spaceships (Reverse Asteroid) (treybastian.com)
18305 点記事準備中
Charts built for Chat (dbtcharts.com)
21182 点記事準備中
Compressing a flag to 11 bits (vantezzen.io)
22223 点記事準備中
People who can't picture anything are rewriting the science of imagination (dailyneuron.com)
amazon.science26140 点記事準備中
Notes on gotchas while migrating 35kb preprompts from Opus to self-hosted Ollama (patrickmccanna.net)
27277 点記事準備中
The case against JPEG XL (giannirosato.com)
29222 点記事準備中
A 386 PC for Your RP2350 (github.com/rh1tech)
30315 点
時価総額2000億ドルの崩落によりS&P 100から除外されるナイキ
ナイキは、2021年のピークから2000億ドルを超える時価総額の消失によって18年にわたる在籍が終わり、2026年9月21日にS&P 100から姿を消す。
記事全文を読む →