zmgsabst's favorites | Hacker News

1.		Fine-tuned small LLMs can beat large ones with programmatic data curation (tensorzero.com)
		53 points by GabrielBianconi 14 days ago \| 11 comments
2.		Hierarchical Reasoning Model (arxiv.org)
		339 points by hansmayer 23 days ago \| 106 comments
3.		Ongoing Lean formalization of the proof for Fermat's Last Theorem (github.com/imperialcollegelondon)
		127 points by anonyonoor 18 days ago \| 79 comments
4.		Alice's Adventures in a Differentiable Wonderland (arxiv.org)
		157 points by henning 49 days ago \| 26 comments
5.		Nanonets-OCR-s – OCR model that transforms documents into structured markdown (huggingface.co)
		361 points by PixelPanda 64 days ago \| 78 comments
6.		Apple announces Foundation Models and Containerization frameworks, etc (apple.com)
		860 points by thm 70 days ago \| 489 comments
7.		Field Notes from Shipping Real Code with Claude (diwank.space)
		354 points by diwank 72 days ago \| 99 comments
8.		Systems Correctness Practices at Amazon Web Services (acm.org)
		383 points by tanelpoder 80 days ago \| 132 comments
9.		Show HN: Confidential computing for high-assurance RISC-V embedded systems (github.com/ibm)
		103 points by mrnoone 89 days ago \| 9 comments
10.		Writing that changed how I think about programming languages (bernsteinbear.com)
		463 points by r4um 3 months ago \| 60 comments
11.		How linear regression works intuitively and how it leads to gradient descent (briefer.cloud)
		334 points by lucasfcosta 3 months ago \| 101 comments
12.		Orders of Infinity (terrytao.wordpress.com)
		82 points by matt_d 3 months ago \| 15 comments
13.		Numerical Linear Algebra Class in Julia TUM (venkovic.github.io)
		145 points by darboux 3 months ago \| 8 comments
14.		Algebraic Semantics for Machine Knitting (uwplse.org)
		246 points by PaulHoule 3 months ago \| 20 comments
15.		Electromagnetism as a Purely Geometric Theory (iop.org)
		148 points by andyjohnson0 4 months ago \| 64 comments
16.		The Llama 4 herd (meta.com)
		1235 points by georgehill 4 months ago \| 658 comments
17.		FAQ on Microsoft's topological qubit thing (scottaaronson.blog)
		328 points by ingve 6 months ago \| 69 comments
18.		New technique generates topological structures with gravity water waves (phys.org)
		57 points by bryanrasmussen 6 months ago \| 10 comments
19.		How to Run DeepSeek R1 671B Locally on a $2000 EPYC Server (digitalspaceport.com)
		463 points by walterbell 6 months ago \| 283 comments
20.		Large Language Models for Mathematicians (2023) (arxiv.org)
		89 points by t55 6 months ago \| 28 comments
21.		Auto-Differentiating Any LLM Workflow: A Farewell to Manual Prompting (arxiv.org)
		137 points by meame2010 6 months ago \| 32 comments
22.		Flattening ASTs and other compiler data structures (2023) (cornell.edu)
		157 points by aw1621107 7 months ago \| 49 comments
23.		DeepSeek-R1 (github.com/deepseek-ai)
		1843 points by meetpateltech 7 months ago \| 663 comments
24.		Haskell: A Great Procedural Language (entropicthoughts.com)
		280 points by kqr 7 months ago \| 204 comments
25.		Quiver: A Modern Commutative Diagram Editor (github.com/varkor)
		336 points by peterkos 7 months ago \| 35 comments
26.		'Obelisks': New class of life has been found in human digestive system (sciencealert.com)
		476 points by unkeen 7 months ago \| 134 comments
27.		Coconut by Meta AI – Better LLM Reasoning with Chain of Continuous Thought? (aipapersacademy.com)
		362 points by TaurenHunter 7 months ago \| 156 comments
28.		KAG – Knowledge Graph RAG Framework (github.com/openspg)
		230 points by taikon 7 months ago \| 80 comments
29.		Machine-Assisted Proof [pdf] (ams.org)
		199 points by jalcazar 7 months ago \| 96 comments
30.		This open problem taught me what topology is [video] (youtube.com)
		509 points by surprisetalk 7 months ago \| 83 comments
		More