pbsd's favorites | Hacker News

1.		28M Hacker News comments as vector embedding search dataset (clickhouse.com)
		454 points by walterbell 23 days ago \| 171 comments
2.		Compiling C++ with the Clang API (maskray.me)
		103 points by ingve 9 months ago \| 20 comments
3.		Anatomy of a Formal Proof (ams.org)
		134 points by bikenaga 11 months ago \| 11 comments
4.		Simpsons Hit and Run source code (2003) (github.com/svxy)
		469 points by promiseofbeans on July 13, 2023 \| 168 comments
5.		Billion-Scale Approximate Nearest Neighbor Search [pdf] (wangzwhu.github.io)
		146 points by tim_sw on May 4, 2023 \| 38 comments
6.		Understanding large language models: A cross-section of the relevant literature (sebastianraschka.com)
		307 points by headalgorithm on April 16, 2023 \| 31 comments
7.		A GPT in 60 Lines of NumPy (jaykmody.com)
		1563 points by squidhunter on Feb 9, 2023 \| 146 comments