2026-05-19
Zettelkasten
タグやリンクを使う場合、関連するもの、思い出したいものをくっつける
Fleeting Notes, 分類、カテゴリ
Lean
@KSHartnett
, former senior writer at @QuantaMagazine
, has written the inside story of Lean. The Proof in the Code, out June 9 from @QuantaBks
.
Grant Sanderson (@3blue1brown
): "Kevin Hartnett perfectly captures the unlikely story of Lean's birth and development."
とりあえずボコボコにしておいた。
元ポスト、「almost nobody outside her field has read the paper」って、お前こそ、論文読んでないだろ。
手書きvsタイピングについての、最近までの研究もスレッドでフォローしておいた。
「手書きがいつでも有利」という主張はもう否定されている。