RSS 日报 2026-06-11
共 16 篇
Formally proving a calculation with Claude and Lean
刚刚 · John · johndcook.com
核心摘要： （请求失败）
Please, use a link!
3h · rss@idiallo.com · idiallo.com
核心摘要： （请求失败）
DiffusionGemma
4h · simonwillison.net
核心摘要： （请求失败）
Being “Good” at Things
5h · blog.jim-nielsen.com
核心摘要： （请求失败）
Breaking: Google liable for hallucinations
7h · Gary Marcus · garymarcus.substack.com
核心摘要： （请求失败）
Breaking news, and how the end might begin
7h · Gary Marcus · garymarcus.substack.com
核心摘要： （请求失败）
Quoting Jeremy Howard
8h · simonwillison.net
核心摘要： （请求失败）
Who Runs the Ransomware Group ‘The Gentlemen?’
9h · BrianKrebs · krebsonsecurity.com
核心摘要： （请求失败）
Pulling on a thread
10h · John · johndcook.com
核心摘要： （请求失败）
Nontrailing separators do not spark joy
11h · buttondown.com
核心摘要： （请求失败）
Book Review: The Husbands by Holly Gramazio ★★★★★
12h · @edent · shkspr.mobi
核心摘要： （请求失败）
Weekly Update 507
18h · Troy Hunt · troyhunt.com
核心摘要： （请求失败）
If Claude Fable stops helping you, you'll never know
23h · simonwillison.net
核心摘要： （请求失败）
Gaslighting Openness
昨天 · Armin Ronacher · lucumr.pocoo.org
核心摘要： （请求失败）
Initial impressions of Claude Fable 5
昨天 · simonwillison.net
核心摘要： （请求失败）
llm 0.32a3
昨天 · simonwillison.net
核心摘要： （请求失败）