Svelte Hacker News

A mechanically verified garbage collector for OCaml [pdf] (kcsrk.info)

36 points by matt_d 5 days ago | 4 comments

121

A few words about indie app business (blog.charliemonroe.net)

77 points by msephton 4 days ago | 22 comments

122

olduse.net (olduse.net)

134 points by tosh a day ago | 15 comments

123

Putin ally pushes deal to restart Nord Stream 2 with US backing (ft.com)

9 points by walterbell 2 hours ago | 2 comments

124

Effective Rust (2024) (lurklurk.org)

165 points by ibobev 3 days ago | 128 comments

125

Robust Wavefront OBJ model parsing in C (nullprogram.com)

60 points by ingve 20 hours ago | 49 comments

126

Evidence that our ancestors lived in rainforests 150k years ago (sheffield.ac.uk)

38 points by gmays 4 days ago | 5 comments

127

Changes in brain's 'sugar shield' could be key to understanding effects of aging (news.stanford.edu)

38 points by dangrossman a day ago | 1 comment

128

TSMC and Trump announce $100B investment in the US, including three fabs (tomshardware.com)

11 points by LorenDB 3 hours ago | 1 comment

129

Emacs Tree-sitter custom highlighting (amitp.blogspot.com)

122 points by ibobev 3 days ago | 23 comments

130

How to gain code execution on hundreds of millions of people and popular apps (kibty.town)

1131 points by xyzeva 3 days ago | 303 comments

131

The three-dimensional Kakeya conjecture, after Wang and Zahl (terrytao.wordpress.com)

46 points by robinhouston 4 days ago | 1 comment

132

Youth and what happens when it's gone (tolstoyan.substack.com)

291 points by mattgreenrocks 13 hours ago | 203 comments

133

Banking's critical functions are vanishing into the cloud (ft.com)

8 points by anigbrowl 6 hours ago | 2 comments

134

Unprecedented Starlink Reentries (spaceweatherarchive.com)

9 points by 882542F3884314B 5 hours ago | 2 comments

135

Mucins keep the brain safe and could guard against ageing (nature.com)

183 points by walterbell 4 days ago | 56 comments

136

Inheriting is becoming nearly as important as working (economist.com)

648 points by pseudolus 3 days ago | 889 comments

137

Zen 5's AVX-512 Frequency Behavior (chipsandcheese.com)

206 points by matt_d 3 days ago | 66 comments

138

Crossing the uncanny valley of conversational voice (sesame.com)

377 points by monroewalker 2 days ago | 205 comments

139

AlgoMIDI – A Mathematical 'Music Studio' (github.com)

76 points by mvoos 6 days ago | 7 comments

140

The Framework Laptop 13 has just been upgraded to AMD's Strix Point (theverge.com)

22 points by naomiclarkson 15 hours ago | 12 comments

141

The New York City Subway Is Using Google Pixels to Listen for Track Defects (wired.com)

13 points by jonbaer 9 hours ago | 1 comment

142

How Clay's UI Layout Algorithm Works [video] (youtube.com)

18 points by ibobev 13 hours ago | 1 comment

143

Artificial Intelligence and the Labor Market [pdf] (nber.org)

29 points by pedrodelfino a day ago | 2 comments

144

Introducing a terms of use and updated privacy notice for Firefox (blog.mozilla.org)

308 points by pentagrama 5 days ago | 1141 comments

145

Reimagining Fluid Typography (oddbird.net)

68 points by BaudouinVH 4 days ago | 21 comments

146

Stone tool analysis in Southeast Asia provides evidence of seafaring technology (popularmechanics.com)

30 points by bookofjoe 3 days ago | 17 comments

147

The Origins of the "++" and "--" Operators

37 points by wpollock a day ago | 3 comments

148