Svelte Hacker News

Discharging Lean goals into SMT solvers (github.com)

48 points by ndrwnaguib 2 days ago | 3 comments

121

Hyrum’s Law in Golang (abenezer.org)

313 points by thunderbong 3 days ago | 181 comments

122

Which Countries Have the Most Industrial Robots? (visualcapitalist.com)

15 points by e2e4 4 hours ago | 1 comment

123

Autopoietic Networks (gbragafibra.github.io)

49 points by Fibra 2 days ago | 12 comments

124

AAA – Analytical Anti-Aliasing (blog.frost.kiwi)

579 points by todsacerdoti 4 days ago | 95 comments

125

Improve your app authentication workflow with new Amazon Cognito features (aws.amazon.com)

7 points by mooreds 8 hours ago | 0 comments

126

Weight-loss drug found to shrink muscle in mice, human cells (ualberta.ca)

363 points by Eumenes 3 days ago | 441 comments

127

Prince Nico Mbarga’s biggest hit outsold any of The Beatles’ (2017) (narratively.com)

74 points by Geekette 2 days ago | 54 comments

128

Martha's Vineyard Sign Language (atlasobscura.com)

7 points by tbodt 19 hours ago | 1 comment

129

ICC issues warrants for Netanyahu, Gallant, and Hamas officials (icc-cpi.int)

841 points by runarberg 3 days ago | 989 comments

130

"Phantom chemical" identified in drinking water is new to science (newatlas.com)

15 points by Brajeshwar 15 hours ago | 3 comments

131

Using gRPC for (local) inter-process communication (2021) (mpi-hd.mpg.de)

114 points by zardinality 3 days ago | 88 comments

132

Electrobun: Cross-platform desktop applications written in TypeScript (electrobun.dev)

314 points by CharlesW 3 days ago | 130 comments

133

Lush: My favorite small programming language (scottlocklin.wordpress.com)

147 points by todsacerdoti 4 days ago | 24 comments

134

Show HN: Autotab – Programmable AI browser for turning web tasks into APIs

150 points by jonasnelle 3 days ago | 80 comments

135

Show HN: Cardo ‒ Open Source desktop podcast client (cardo-podcast.github.io)

112 points by n0vella 4 days ago | 42 comments

136

The tragedy of running an old Node project (abdisalan.com)

266 points by abdisalan 5 days ago | 400 comments

137

A Study of Malware Prevention in Linux Distributions (arxiv.org)

61 points by belter 2 days ago | 10 comments

138

Discarded delights: The joy of ex-library books (2021) (abebooks.com)

110 points by MrVandemar 4 days ago | 70 comments

139

Linux CoC Announces Decision Following Recent Bcachefs Drama (phoronix.com)

15 points by laktak 18 hours ago | 10 comments

140

AI Data Centers May Consume More Electricity Than Entire Cities (cnbc.com)

52 points by belter 9 hours ago | 71 comments

141

Exploring the Cost and Feasibility of Battery-Electric Ships (newscenter.lbl.gov)

47 points by gnabgib 3 days ago | 99 comments

142

James Webb Space Telescope spots first 'Einstein Zig-zag' (space.com)

3 points by perihelions 9 hours ago | 0 comments

143

Linux connection tracking and (Slow) DNS (kb.isc.org)

46 points by justinludwig 2 days ago | 15 comments

144

Yi Peng 3 crossed both cables C-Lion 1 and BSC at times matching when they broke (bsky.app)

567 points by perihelions 4 days ago | 709 comments

145

Show HN: We open-sourced our compost monitoring tech (github.com)

231 points by montycompostco 3 days ago | 54 comments

146

DOJ proposal would require Google to divest from AI partnerships with Anthropic (bloomberg.com)

107 points by donsupreme 2 days ago | 153 comments

147

Bit-twiddling optimizations in Zed's Rope (zed.dev)

166 points by misternugget 5 days ago | 50 comments

148