ranit's favorites | Hacker News

1.		Why formalize mathematics – more than catching errors (rkirov.github.io)
		78 points by birdculture 5 days ago \| 25 comments
2.		Mesh2Motion – Open-source web application to animate 3D models (mesh2motion.org)
		117 points by Splizard 7 hours ago \| 29 comments
3.		Typst 0.14 (typst.app)
		371 points by optionalsquid 5 hours ago \| 96 comments
4.		Twake Drive – An open-source alternative to Google Drive (github.com/linagora)
		176 points by javatuts 7 hours ago \| 121 comments
5.		Linux disk I/O diagram (2024) (zenodo.org)
		49 points by vismit2000 3 days ago \| 1 comment
6.		'Attention is all you need' coauthor says he's 'sick' of transformers (venturebeat.com)
		131 points by achow 13 hours ago \| 64 comments
7.		Disable AI in Firefox (flamedfury.com)
		133 points by speckx 53 minutes ago \| 71 comments
8.		When you get to be smart writing a macro (tonsky.me)
		100 points by borjs 8 days ago \| 22 comments
9.		Element: setHTML() method (developer.mozilla.org)
		260 points by todsacerdoti 2 days ago \| 141 comments
10.		Karpathy on DeepSeek-OCR paper: Are pixels better inputs to LLMs than text? (twitter.com/karpathy)
		401 points by JnBrymn 3 days ago \| 169 comments
11.		Run interactive commands in Gemini CLI (googleblog.com)
		206 points by ridruejo 8 days ago \| 77 comments
12.		C64 Blood Money (lemmings.info)
		126 points by mariuz 1 day ago \| 33 comments
13.		Programming with Less Than Nothing (joshmoody.org)
		449 points by signa11 1 day ago \| 147 comments
14.		VST3 audio plugin format is now MIT (steinberg.net)
		644 points by rock_artist 1 day ago \| 171 comments
15.		The game theory of how algorithms can drive up prices (quantamagazine.org)
		188 points by isaacfrond 1 day ago \| 139 comments
16.		Radios, how do they work? (2024) (lcamtuf.substack.com)
		235 points by aqrashik 1 day ago \| 66 comments
17.		I spent a year making an ASN.1 compiler in D (chatha.dev)
		285 points by BradleyChatha 1 day ago \| 208 comments
18.		Living Dangerously with Claude (simonwillison.net)
		202 points by FromTheArchives 2 days ago \| 94 comments
19.		New updates and more access to Google Earth AI (blog.google)
		146 points by diogenico 1 day ago \| 43 comments
20.		Pyscripter – Open-source Python IDE written in Delphi (github.com/pyscripter)
		74 points by peter_d_sherman 4 days ago \| 20 comments
21.		Summary of the Amazon DynamoDB Service Disruption in US-East-1 Region (amazon.com)
		517 points by meetpateltech 1 day ago \| 165 comments
22.		PyTorch Monarch (pytorch.org)
		362 points by jarbus 1 day ago \| 42 comments
23.		When is it better to think without words? (henrikkarlsson.xyz)
		219 points by Curiositry 20 hours ago \| 112 comments
24.		Cheap DIY solar fence design (joeyh.name)
		173 points by kamaraju 8 days ago \| 122 comments
25.		Automating Algorithm Discovery: A Case Study in MoE Load Balancing (adrs-ucb.notion.site)
		125 points by melissapan 19 hours ago \| 56 comments
26.		/dev/null is an ACID compliant database (jyu.dev)
		536 points by swills 20 hours ago \| 168 comments
27.		React Flow, open source libraries for node-based UIs with React or Svelte (github.com/xyflow)
		157 points by mountainview 18 hours ago \| 25 comments
28.		How memory maps (mmap) deliver faster file access in Go (varnish-software.com)
		129 points by ingve 20 hours ago \| 119 comments
29.		Claude Memory (anthropic.com)
		532 points by doppp 1 day ago \| 302 comments
30.		Willow quantum chip demonstrates verifiable quantum advantage on hardware (blog.google)
		470 points by AbhishekParmar 2 days ago \| 249 comments
		More