Hacker News

1.		Busy Status Bar from Flipper Devices (busy.bar)
		196 points by aleksi 1 hour ago \| hide \| 74 comments
2.		Show HN: X11 tool to share a screen area in any video meeting (github.com/splitbrain)
		131 points by splitbrain 3 hours ago \| hide \| 63 comments
3.		DeepSeek: Advancing theorem proving in LLMs through large-scale synthetic data (arxiv.org)
		29 points by hhs 1 hour ago \| hide \| 1 comment
4.		AlphaCodium outperforms direct prompting of OpenAI's o1 on coding problems (qodo.ai)
		16 points by benocodes 1 hour ago \| hide \| 7 comments
5.		NASA's Europa Clipper Launch (youtube.com)
		62 points by belter 1 hour ago \| hide \| 19 comments
6.		Extracting financial disclosure and police reports with OpenAI Structured Output (gist.github.com)
		17 points by danso 3 hours ago \| hide \| 1 comment
7.		Exploring 120 Years of Timezones (2021) (scottlogic.com)
		51 points by colinprince 6 hours ago \| hide \| 11 comments
8.		Show HN: I made a git rebase TUI editor (github.com/nyub)
		93 points by NyuB 7 hours ago \| hide \| 64 comments
9.		Scientists successfully breed corals to improve their heat tolerance (phys.org)
		88 points by Brajeshwar 2 hours ago \| hide \| 68 comments
10.		Upgrading Uber's MySQL Fleet (uber.com)
		168 points by benocodes 4 hours ago \| hide \| 151 comments
11.		Curly-Cue: Geometric Methods for Highly Coiled Hair (yale.edu)
		131 points by cainxinth 12 hours ago \| hide \| 10 comments
12.		Starship Flight 5: Launch and booster catch [video] (twitter.com/spacex)
		2117 points by alecco 1 day ago \| hide \| 1257 comments
13.		Sveriges Riksbank Prize in Economic Sciences in Memory of Alfred Nobel 2024 (nobelprize.org)
		64 points by hdvr 6 hours ago \| hide \| 46 comments
14.		Mesh Shaders – The Future of Rendering [video] (youtube.com)
		6 points by ibobev 20 minutes ago \| hide \| discuss
15.		Python client for the $20 Colmi R02 smart ring (tahnok.github.io)
		269 points by tahnok 15 hours ago \| hide \| 82 comments
16.		The quiet art of attention (billwear.github.io)
		696 points by billwear 1 day ago \| hide \| 238 comments
17.		The Economics of Free Lunch (thehustle.co)
		6 points by paulpauper 16 minutes ago \| hide \| discuss
18.		Huly – Open-source project management platform (github.com/hcengineering)
		389 points by blacktechnology 13 hours ago \| hide \| 185 comments
19.		Counterintuitive Properties of High Dimensional Space (2018) (eecs.berkeley.edu)
		212 points by nabla9 19 hours ago \| hide \| 51 comments
20.		Show HN: A VSCode Extension to edit HTML visually in real-time (github.com/urin)
		188 points by urin 15 hours ago \| hide \| 101 comments
21.		Refurb weekend: the Symbolics MacIvory Lisp machine I have hated (oldvcr.blogspot.com)
		155 points by rcarmo 19 hours ago \| hide \| 67 comments
22.		Making the Tibetan language a first-class citizen in the digital world (bdrc.io)
		269 points by thunderbong 23 hours ago \| hide \| 128 comments
23.		Magnetically regulated gene therapy offers precise brain-circuit control (cornell.edu)
		8 points by geox 1 hour ago \| hide \| 1 comment
24.		Faster convergence for diffusion models (sihyun.me)
		128 points by vsroy 17 hours ago \| hide \| 18 comments
25.		Cwal: Scripting Engine Without a Language (wanderinghorse.net)
		10 points by weeber 6 hours ago \| hide \| discuss
26.		C++ String Conversion: Exploring std:from_chars in C++17 to C++26 (cppstories.com)
		57 points by jandeboevrie 14 hours ago \| hide \| 53 comments
27.		Embedded Rust in Production? (lohr.dev)
		173 points by michidk 10 hours ago \| hide \| 204 comments
28.		Why does FM sound better than AM? (johndcook.com)
		199 points by zdw 18 hours ago \| hide \| 212 comments
29.		Transforming Colors with Matrices (lisyarus.github.io)
		83 points by ibobev 18 hours ago \| hide \| 10 comments
30.		Ask HN: Solopreneurs, how did you come up with your idea?
		20 points by californium 3 hours ago \| hide \| 12 comments
		More