nicoty's favorites | Hacker News

1.		Mathematics is hard for mathematicians to understand too (science.org)
		117 points by mmaaz 6 days ago \| 130 comments
2.		DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning (huggingface.co)
		263 points by victorbuilds 2 days ago \| 88 comments
3.		Interactive λ-Reduction (deltanets.org)
		137 points by jy14898 9 days ago \| 26 comments
4.		Linux Kernel Explorer (reverser.dev)
		605 points by tanelpoder 7 days ago \| 94 comments
5.		Functional Data Structures and Algorithms: a Proof Assistant Approach (fdsa-book.net)
		117 points by SchwKatze 7 days ago \| 29 comments
6.		Coq: The World's Best Macro Assembler? (2013) [pdf] (nickbenton.name)
		167 points by addaon 7 days ago \| 73 comments
7.		CS234: Reinforcement Learning Winter 2025 (stanford.edu)
		206 points by jonbaer 8 days ago \| 60 comments
8.		Mind-reading devices can now predict preconscious thoughts (nature.com)
		180 points by srameshc 9 days ago \| 141 comments
9.		Lambda Calculus – Animated Beta Reduction of Lambda Diagrams (cruzgodar.com)
		150 points by perryprog 10 days ago \| 10 comments
10.		Calculus for Mathematicians, Computer Scientists, and Physicists [pdf] (holycross.edu)
		363 points by o4c 10 days ago \| 78 comments
11.		`satisfies` is my favorite TypeScript keyword (2024) (sjer.red)
		214 points by surprisetalk 15 days ago \| 209 comments
12.		WebAssembly from the Ground Up (wasmgroundup.com)
		258 points by gurjeet 18 days ago \| 56 comments
13.		Olmo 3: Charting a path through the model flow to lead open-source AI (allenai.org)
		390 points by mseri 13 days ago \| 125 comments
14.		Exploring the Fragmentation of Wayland, an xdotool adventure (semicomplete.com)
		100 points by viraptor 18 days ago \| 93 comments
15.		Freer Monads, More Extensible Effects (2015) [pdf] (okmij.org)
		94 points by todsacerdoti 13 days ago \| 30 comments
16.		Android/Linux Dual Boot (postmarketos.org)
		290 points by joooscha 17 days ago \| 166 comments
17.		Gaming on Linux has never been more approachable (theverge.com)
		561 points by throwaway270925 14 days ago \| 406 comments
18.		Google boss says AI investment boom has 'elements of irrationality' (bbc.com)
		335 points by jillesvangurp 16 days ago \| 730 comments
19.		Solving a million-step LLM task with zero errors (arxiv.org)
		222 points by Anon84 15 days ago \| 95 comments
20.		Gemini 3 (blog.google)
		1735 points by preek 15 days ago \| 1056 comments
21.		My stages of learning to be a socially normal person (sashachapin.substack.com)
		631 points by eatitraw 18 days ago \| 422 comments
22.		Designing a Language (2017) (lmu.edu)
		184 points by veqq 19 days ago \| 110 comments
23.		Show HN: An easy-to-use online curve fitting tool (byx2000.github.io)
		35 points by byx 29 days ago \| 15 comments
24.		Think in math, write in code (2019) (jmeiners.com)
		208 points by alabhyajindal 24 days ago \| 72 comments
25.		Why effort scales superlinearly with the perceived quality of creative work (markusstrasser.org)
		159 points by eatitraw 22 days ago \| 122 comments
26.		Learn Prolog Now (2006) (swi-prolog.org)
		326 points by rramadass 21 days ago \| 242 comments
27.		A catalog of side effects (bernsteinbear.com)
		120 points by speckx 22 days ago \| 8 comments
28.		The terminal of the future (jyn.dev)
		318 points by miguelraz 22 days ago \| 169 comments
29.		Syntax and Semantics of Programming Languages (uiowa.edu)
		67 points by nill0 32 days ago \| 1 comment
30.		What Hallucinogens Will Make You See (2023) (nautil.us)
		88 points by simonebrunozzi 25 days ago \| 89 comments
		More