t_mann's favorites | Hacker News

1.		NotebookLlama: An open source version of NotebookLM (github.com/meta-llama)
		322 points by bibinmohan 13 days ago \| 72 comments
2.		You-get: Dumb downloader that scrapes the web (github.com/soimort)
		397 points by Anon84 13 days ago \| 146 comments
3.		Lean4 helped Terence Tao discover a small bug in his recent paper (mathstodon.xyz)
		497 points by gridentio on Oct 27, 2023 \| 220 comments
4.		Guide to Fine-Tuning LLMs (arxiv.org)
		157 points by ignoramous 18 days ago \| 16 comments
5.		Software Engineering Body of Knowledge (SWEBOK) v4.0 is out [pdf] (computer.org)
		205 points by beryilma 19 days ago \| 163 comments
6.		Show HN: I built the most over-engineered Deal With It emoji generator (emoji.build)
		832 points by klimeryk 25 days ago \| 148 comments
7.		Machine learning and information theory concepts towards an AI Mathematician (arxiv.org)
		109 points by marojejian 28 days ago \| 19 comments
8.		Understanding the Limitations of Mathematical Reasoning in LLMs (arxiv.org)
		282 points by hnhn34 29 days ago \| 266 comments
9.		When is causal broadcast not enough for causal memory? (decomposition.al)
		19 points by matt_d 28 days ago \| 4 comments
10.		Ask HN: Good Online Maths Communities?
		85 points by achenet 32 days ago \| 27 comments
11.		Show HN: Open-source real-time talk-to-AI wearable device for few $ (github.com/starmoonai)
		103 points by zq2240 35 days ago \| 120 comments
12.		Math from Three to Seven (thepsmiths.com)
		345 points by background 38 days ago \| 218 comments
13.		Ask HN: Good Sites for/with AI Enthusiasts?
		126 points by wruza 52 days ago \| 56 comments
14.		Implement algorithms that minimize slippage (quantitativo.com)
		62 points by carlossouza 55 days ago \| 8 comments
15.		Kolmogorov-Arnold networks may make neural networks more understandable (quantamagazine.org)
		282 points by isaacfrond 58 days ago \| 78 comments
16.		An NFC movie library for my kids (simplyexplained.com)
		1384 points by kzrdude 62 days ago \| 314 comments
17.		Ask HN: What have you built with LLMs?
		372 points by break_the_bank 9 months ago \| 334 comments
18.		Building LLMs from the Ground Up: A 3-Hour Coding Workshop (sebastianraschka.com)
		970 points by mdp2021 69 days ago \| 136 comments
19.		Anthropic publishes the 'system prompts' that make Claude tick (techcrunch.com)
		432 points by gemanor 74 days ago \| 279 comments
20.		Torchchat: Chat with LLMs Everywhere (github.com/pytorch)
		261 points by constantinum 3 months ago \| 41 comments
21.		LeanDojo: Theorem Proving in Lean Using LLMs (leandojo.org)
		170 points by aseg 3 months ago \| 53 comments
22.		How to Run Llama 3 405B on Home Devices? Build AI Cluster (b4rtaz.medium.com)
		71 points by b4rtazz 3 months ago \| 26 comments
23.		AI solves International Math Olympiad problems at silver medal level (deepmind.google)
		1370 points by ocfnash 3 months ago \| 525 comments
24.		American Institute of Mathematics: Approved Open Textbooks (aimath.org)
		91 points by __rito__ 3 months ago \| 20 comments
25.		Prover-Verifier Games improve legibility of language model outputs (openai.com)
		139 points by davidbarker 3 months ago \| 29 comments
26.		A proof of proof by infinite descent (relatedwork.blogspot.com)
		124 points by matt_d 4 months ago \| 54 comments
27.		Making my local LLM voice assistant faster and more scalable with RAG (johnthenerd.com)
		122 points by JohnTheNerd 4 months ago \| 16 comments
28.		Show HN: Unforget, the note-taking app I always wanted: offline first, encrypted (computing-den.com)
		274 points by seansh 5 months ago \| 138 comments
29.		σ-GPTs: A new approach to autoregressive models (arxiv.org)
		293 points by mehulashah 5 months ago \| 93 comments
30.		An intuitive guide to Maxwell's equations (2020) (photonlines.substack.com)
		553 points by gballan 5 months ago \| 133 comments
		More