惯性聚合
高效追踪和阅读你感兴趣的博客、新闻、科技资讯
阅读原文
在惯性聚合中打开
即将跳转到惯性聚合
3
在聚合应用中查看完整内容和互动
立即跳转
取消
推荐订阅源
N
News and Events Feed by Topic
D
Docker
云风的 BLOG
F
Fortinet All Blogs
F
Full Disclosure
H
Hackread – Cybersecurity News, Data Breaches, AI and More
P
Proofpoint News Feed
Microsoft Azure Blog
WordPress大学
The GitHub Blog
L
LangChain Blog
H
Help Net Security
B
Blog
T
Tailwind CSS Blog
V
V2EX
博
博客园_首页
阮一峰的网络日志
人人都是产品经理
The Cloudflare Blog
Recent Announcements
aimingoo的专栏
美
美团技术团队
A
About on SuperTechFans
C
Cybersecurity and Infrastructure Security Agency CISA
K
Kaspersky official blog
I
InfoQ
Project Zero
I
Intezer
Google DeepMind News
博
博客园 - 【当耐特】
Hugging Face - Blog
奇客Solidot–传递最新科技情报
T
Threat Research - Cisco Blogs
Last Week in AI
C
Cyber Attacks, Cyber Crime and Cyber Security
G
GRAHAM CLULEY
Threat Intelligence Blog | Flashpoint
AWS News Blog
Spread Privacy
S
Securelist
Recorded Future
D
Darknet – Hacking Tools, Hacker News & Cyber Security
博
博客园 - 叶小钗
S
Security Affairs
Blog — PlanetScale
cs.AI updates on arXiv.org
月光博客
freeCodeCamp Programming Tutorials: Python, JavaScript, Git & More
罗
罗磊的独立博客
The Hacker News
John D. Cook
Distinguishing variables from parameters
Silver Rectangles and the Ways of Kings
Derivative equals inverse
Who you gonna believe: Grok or the docs?
Brace expansion tree
When will the decimals in a/b repeat?
Height of harmonic numbers
Writing down harmonic numbers
Hart’s theorem
Incircles and Excircles of Pythagorean triangles
Regular expressions that work “everywhere”
Consecutive Pythagorean triangle sides
The Star Trek lemma
Lobachevsky’s integral formula
Queens on a prime order board
Formalizing a ring theorem with Lean 4 and Claude
Partial fraction decomposition
Three examples suffice
Testing pentagonal numbers
Quaternion Rotations, Claude, and Lean
Writing Prolog with ChatGPT
RSA munitions T-shirt
Solving a chess puzzle with Claude and Prolog
Formally proving a calculation with Claude and Lean
Pulling on a thread
Aitken acceleration before Aitken
The Laplace limit
A crank formula for π
From Kepler to Bessel
Mr. Bessel’s eponymous functions
All pieces on a 6 by 5 board
John
·
2026-06-21
·
via
John D. Cook
I’ve written a couple posts lately on getting an LLM to generate code to solve chess problems. The firs…
此内容由惯性聚合(RSS阅读器)自动聚合整理，仅供阅读参考。
原文来自
— 版权归原作者所有。
