惯性聚合 高效追踪和阅读你感兴趣的博客、新闻、科技资讯
阅读原文 在惯性聚合中打开

推荐订阅源

S
Schneier on Security
L
LangChain Blog
爱范儿
爱范儿
让小产品的独立变现更简单 - ezindie.com
让小产品的独立变现更简单 - ezindie.com
freeCodeCamp Programming Tutorials: Python, JavaScript, Git & More
cs.AI updates on arXiv.org
cs.AI updates on arXiv.org
月光博客
月光博客
Engineering at Meta
Engineering at Meta
G
Google Developers Blog
罗
罗磊的独立博客
阮一峰的网络日志
阮一峰的网络日志
Blog — PlanetScale
Blog — PlanetScale
宝玉的分享
宝玉的分享
GbyAI
GbyAI
T
The Exploit Database - CXSecurity.com
F
Full Disclosure
V
V2EX
www.infosecurity-magazine.com
www.infosecurity-magazine.com
V2EX - 技术
V2EX - 技术
The Register - Security
The Register - Security
PCI Perspectives
PCI Perspectives
博
博客园 - 叶小钗
S
Secure Thoughts
Project Zero
Project Zero
P
Proofpoint News Feed
博
博客园 - 三生石上(FineUI控件)
U
Unit 42
T
Tor Project blog
美
美团技术团队
大猫的无限游戏
大猫的无限游戏
C
Cisco Blogs
S
Securelist
人人都是产品经理
人人都是产品经理
Cisco Talos Blog
Cisco Talos Blog
K
Kaspersky official blog
Microsoft Azure Blog
Microsoft Azure Blog
T
Threat Research - Cisco Blogs
N
News and Events Feed by Topic
D
Darknet – Hacking Tools, Hacker News & Cyber Security
Forbes - Security
Forbes - Security
IT之家
IT之家
A
Arctic Wolf
K
KPMG report finds enterprise disconnect between AI and its ROI | CIO
腾
腾讯CDC
TaoSecurity Blog
TaoSecurity Blog
博
博客园 - 【当耐特】
I
Intezer
N
News | PayPal Newsroom
Y
Y Combinator Blog
博
博客园_首页

John D. Cook

DNA sequence alignment and Delannoy numbers 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阅读器)自动聚合整理，仅供阅读参考。 原文来自 — 版权归原作者所有。