Pontevedra, Spain declares its entire urban area a "reduced traffic zone" (greeneuropeanjournal.eu)

866 points by robtherobber 3 days ago | 932 comments

121

Gauss, an Agent for Autoformalization (math.inc)

10 points by auggierose 14 hours ago | 1 comment

122

The challenge of maintaining curl (lwn.net)

186 points by signa11 a day ago | 57 comments

123

Type 5 diabetes is a newly recognised disease (theconversation.com)

27 points by ValentineC 11 hours ago | 1 comment

124

Charlie Kirk killed at event in Utah (nbcnews.com)

1048 points by david927 3 days ago | 3139 comments

125

Behind the scenes of Bun Install (bun.com)

422 points by Bogdanp 2 days ago | 151 comments

126

Defeating Nondeterminism in LLM Inference (thinkingmachines.ai)

323 points by jxmorris12 3 days ago | 131 comments

127

XFN – XHTML Friends Network (2003) (gmpg.org)

57 points by thinkingemote 5 days ago | 14 comments

128

Crates.io phishing attempt (fasterthanli.me)

151 points by dmarto 21 hours ago | 76 comments

129

Ask HN: Getting over Burnout with Imposter Syndrome

11 points by chrsig 8 hours ago | 1 comment

130

Building my childhood dream PC (fabiensanglard.net)

208 points by joexbayer 5 days ago | 81 comments

131

Gregg Kellogg has died (lists.w3.org)

302 points by daenney 2 days ago | 44 comments

132

GrapheneOS and forensic extraction of data (2024) (discuss.grapheneos.org)

311 points by SoKamil 2 days ago | 190 comments

133

A tech-law measurement and analysis of event listeners for wiretapping (arxiv.org)

73 points by lapcat 2 days ago | 8 comments

134

Becoming the person who does the thing (fredrivett.com)

205 points by fredrivett a day ago | 165 comments

135

Show HN: Making a cross-platform game in Go using WebRTC Datachannels (pion.ly)

72 points by valorzard 3 days ago | 10 comments

136

Gene-edited pancreatic cells transplanted into a patient with type 1 diabetes (wired.com)

240 points by manveerc 2 days ago | 63 comments

137

“No Tax on Tips” Includes Digital Creators, Too (hollywoodreporter.com)

174 points by aspenmayer 3 days ago | 349 comments

138

Show HN: I made a small site to share text and files (dum.pt)

38 points by MarsB 16 hours ago | 50 comments

139

Full Moon: Seestar S50 vs. Samsung S25 (4rknova.com)

42 points by ibobev 5 days ago | 35 comments

140

Disposable Code Is Here to Stay, but Durable Code Is What Runs the World (honeycomb.io)

44 points by mooreds 2 days ago | 16 comments

141

From burner phones to decks of cards: NYC teens adjusting to the smartphone ban (gothamist.com)

279 points by geox 2 days ago | 230 comments

142

The Helix Text Editor (2024) (jonathan-frere.com)

107 points by gidellav 5 days ago | 57 comments

143

All clickwheel iPod games have now been preserved for posterity (arstechnica.com)

264 points by CharlesW 5 days ago | 63 comments

144

Launch HN: Recall.ai (YC W20) – API for meeting recordings and transcripts

97 points by davidgu 3 days ago | 51 comments

145

Launch HN: Ghostship (YC S25) – AI agents that find bugs in your web app

51 points by jessechoe10 2 days ago | 22 comments

146

Backprompting: Leveraging synthetic production data for health advice guardrails (arxiv.org)

27 points by PaulHoule a day ago | 1 comment

147

North Korea executing more people for watching foreign films and TV, UN finds (bbc.com)

48 points by perihelions 16 hours ago | 2 comments

148

Bulletproof host Stark Industries evades EU sanctions (krebsonsecurity.com)

207 points by todsacerdoti 2 days ago | 89 comments

149

A desktop environment without graphics (tmux-like) (github.com)

156 points by mustaphah 5 days ago | 47 comments

150

More...