HN

Waymo updates fleet in response to Bay Area outage chaos (theregister.com)

8 points

by raybb

15 hours ago |

Carnap – A formal logic framework for Haskell (carnap.io)

113 points

by ravenical

4 days ago |

The e-scooter isn't new – London was zooming around on Autopeds a century ago (ianvisits.co.uk)

183 points

by zeristor

3 days ago |

Local AI is driving the biggest change in laptops in decades (spectrum.ieee.org)

252 points

by barqawiz

5 days ago |

Salmon Recipe (waveinscriber.com)

37 points

by vitalnodo

3 days ago |

Proving Bounds for the Randomized MaxCut Approximation Algorithm in Lean4 (abhamra.com)

62 points

by todsacerdoti

7 days ago |

It's Always TCP_NODELAY (brooker.co.za)

490 points

by eieio

5 days ago |

Permission Systems for Enterprise That Scale (eliocapella.com)

99 points

by eliocs

3 days ago |

Lua 5.5 (lua.org)

388 points

by km

5 days ago |

Claude Code changed my life (spader.zone)

25 points

by dboon

2 days ago |

The Polyglot NixOS (x86.lol)

134 points

by todsacerdoti

7 days ago |

Debian's Git Transition (diziet.dreamwidth.org)

254 points

by all-along

5 days ago |

More on whether useful quantum computing is “imminent” (scottaaronson.blog)

152 points

by A_D_E_P_T

6 days ago |

Governments in the West Are Turning Their Sights on VPNs (nakedcapitalism.com)

98 points

by indigodaddy

2 days ago |

iOS 26.3 brings AirPods-like pairing to third-party devices in EU under DMA (macrumors.com)

323 points

by Tomte

5 days ago |

The ancient monuments saluting the winter solstice (bbc.com)

201 points

by 1659447091

5 days ago |

Rue: Higher level than Rust, lower level than Go (rue-lang.dev)

256 points

by ingve

6 days ago |

Show HN: Turn raw HTML into production-ready images for free (html2png.dev)

151 points

by alvinunreal

4 days ago |

New York to require social media platforms to display mental health warnings (reuters.com)

19 points

by dredmorbius

a day ago |

Games’ affordance of childlike wonder and reduced burnout risk in young adults (games.jmir.org)

168 points

by azalemeth

3 days ago |

The Illustrated Transformer (jalammar.github.io)

495 points

by auraham

5 days ago |

Font with Built-In Syntax Highlighting (2024) (blog.glyphdrawing.club)

152 points

by california-og

4 days ago |

Could lockfiles just be SBOMs? (nesbitt.io)

74 points

by zdw

4 days ago |

Spice: A 40-year old open-source success story (2011) (edn.com)

43 points

by stmw

3 days ago |

Nabokov's guide to foreigners learning Russian (twitter.com)

222 points

by flaxxen

4 days ago |

2D Signed Distance Functions (iquilezles.org)

34 points

by nickswalker

3 days ago |

GNU Taler v1.3 Released (taler.net)

12 points

by midzer

8 hours ago |

Towards a secure peer-to-peer app platform for Clan (clan.lol)

92 points

by throawayonthe

4 days ago |

Free Software Foundation receives historic private donations (fsf.org)

218 points

by pentagrama

3 days ago |

Show HN: I embedded 10M StreetView images (view.geospot.sdan.io)

12 points

by sdan

2 days ago |