Hacker News

1.		Busy Status Bar from Flipper Devices (busy.bar)
		293 points by aleksi 2 hours ago \| hide \| 111 comments
2.		WordPress Doesn't Matter for the Future of Web (molodtsov.me)
		41 points by twapi 30 minutes ago \| hide \| 18 comments
3.		DeepSeek: Advancing theorem proving in LLMs through large-scale synthetic data (arxiv.org)
		48 points by hhs 2 hours ago \| hide \| 7 comments
4.		Show HN: X11 tool to share a screen area in any video meeting (github.com/splitbrain)
		155 points by splitbrain 4 hours ago \| hide \| 74 comments
5.		Show HN: Vortex – a high-performance columnar file format in Rust (github.com/spiraldb)
		7 points by gatesn 23 minutes ago \| hide \| discuss
6.		Extracting financial disclosure and police reports with OpenAI Structured Output (gist.github.com)
		40 points by danso 4 hours ago \| hide \| 8 comments
7.		AlphaCodium outperforms direct prompting of OpenAI's o1 on coding problems (qodo.ai)
		36 points by benocodes 2 hours ago \| hide \| 17 comments
8.		NASA's Europa Clipper Launch (youtube.com)
		96 points by belter 2 hours ago \| hide \| 36 comments
9.		Furilabs Linux Phone (furilabs.com)
		41 points by nikodunk 1 hour ago \| hide \| 43 comments
10.		Exploring 120 Years of Timezones (2021) (scottlogic.com)
		60 points by colinprince 7 hours ago \| hide \| 11 comments
11.		Starship Flight 5: Launch and booster catch [video] (twitter.com/spacex)
		2156 points by alecco 1 day ago \| hide \| 1274 comments
12.		Curly-Cue: Geometric Methods for Highly Coiled Hair (yale.edu)
		141 points by cainxinth 13 hours ago \| hide \| 11 comments
13.		Python client for the $20 Colmi R02 smart ring (tahnok.github.io)
		281 points by tahnok 16 hours ago \| hide \| 92 comments
14.		Upgrading Uber's MySQL Fleet (uber.com)
		181 points by benocodes 5 hours ago \| hide \| 162 comments
15.		Response to DHH – Matt Mullenweg (ma.tt)
		10 points by markx2 15 minutes ago \| hide \| 3 comments
16.		Ask HN: Solopreneurs, how did you come up with your idea?
		55 points by californium 3 hours ago \| hide \| 33 comments
17.		The quiet art of attention (billwear.github.io)
		717 points by billwear 1 day ago \| hide \| 251 comments
18.		Cwal: Scripting Engine Without a Language (wanderinghorse.net)
		24 points by weeber 7 hours ago \| hide \| 4 comments
19.		Counterintuitive Properties of High Dimensional Space (2018) (eecs.berkeley.edu)
		218 points by nabla9 20 hours ago \| hide \| 53 comments
20.		Huly – Open-source project management platform (github.com/hcengineering)
		400 points by blacktechnology 14 hours ago \| hide \| 186 comments
21.		Show HN: A VSCode Extension to edit HTML visually in real-time (github.com/urin)
		196 points by urin 16 hours ago \| hide \| 107 comments
22.		Show HN: I made a git rebase TUI editor (github.com/nyub)
		99 points by NyuB 8 hours ago \| hide \| 80 comments
23.		Mesh Shaders – The Future of Rendering [video] (youtube.com)
		21 points by ibobev 1 hour ago \| hide \| 1 comment
24.		Refurb weekend: the Symbolics MacIvory Lisp machine I have hated (oldvcr.blogspot.com)
		156 points by rcarmo 20 hours ago \| hide \| 70 comments
25.		Making the Tibetan language a first-class citizen in the digital world (bdrc.io)
		276 points by thunderbong 1 day ago \| hide \| 136 comments
26.		Faster convergence for diffusion models (sihyun.me)
		132 points by vsroy 18 hours ago \| hide \| 18 comments
27.		Platybelodon (wikipedia.org)
		3 points by thunderbong 32 minutes ago \| hide \| discuss
28.		Scientists successfully breed corals to improve their heat tolerance (phys.org)
		104 points by Brajeshwar 3 hours ago \| hide \| 99 comments
29.		C++ String Conversion: Exploring std:from_chars in C++17 to C++26 (cppstories.com)
		59 points by jandeboevrie 15 hours ago \| hide \| 61 comments
30.		Why does FM sound better than AM? (johndcook.com)
		211 points by zdw 19 hours ago \| hide \| 225 comments
		More