Bus stops here: Shanghai lets riders design their own routes (sixthtone.com)

63 points by anigbrowl 1h ago 20 comments

RPG in a Box (rpginabox.com)

41 points by skibz 3d ago 4 comments

Type-constrained code generation with language models (arxiv.org)

155 points by tough 7h ago 54 comments

Flattening Rust’s learning curve (corrode.dev)

148 points by birdculture 7h ago 115 comments

Show HN: I’ve built an IoT device to let my family know when I’m in a meeting (nullonerror.org)

59 points by delduca 2d ago 37 comments

Branch Privilege Injection: Exploiting branch predictor race conditions (comsec.ethz.ch)

349 points by alberto-m 12h ago 133 comments

Replicube: A puzzle game about writing code to create shapes (store.steampowered.com)

30 points by poetril 3h ago 2 comments

Google is building its own DeX: First look at Android's Desktop Mode (androidauthority.com)

260 points by logic_node 15h ago 211 comments

How “The Great Gatsby” took over high school (newyorker.com)

25 points by pseudolus 16h ago 22 comments

Show HN: HelixDB – Open-source vector-graph database for AI applications (Rust) (github.com)

144 points by GeorgeCurtis 12h ago 63 comments

Failed Soviet Venus lander Kosmos 482 crashes to Earth after 53 years in orbit (space.com)

127 points by taubek 3d ago 88 comments

Launch HN: Miyagi (YC W25) turns YouTube videos into online, interactive courses

170 points by bestwillcui 16h ago 95 comments

Build real-time knowledge graph for documents with LLM (cocoindex.io)

112 points by badmonster 9h ago 18 comments

Mipmap selection in too much detail (pema.dev)

24 points by luu 3d ago 6 comments

Multiple security issues in GNU Screen (openwall.com)

361 points by st_goliath 18h ago 217 comments

PDF to Text, a challenging problem (marginalia.nu)

253 points by ingve 14h ago 149 comments

Airbnb is in midlife crisis mode (wired.com)

106 points by thomasjudge 10h ago 181 comments

It Awaits Your Experiments (rifters.com)

149 points by pavel_lishin 14h ago 53 comments

Garbage collection of object storage at scale (warpstream.com)

60 points by ko_pivot 3d ago 8 comments

Show HN: Mycelium (github.com)

6 points by brendoncarroll 3d ago 1 comments

Coffee for people who don't like coffee (ostwilkens.se)

59 points by ostwilkens 3d ago 150 comments

A visual history of the safety pin (museumofeverydaylife.org)

19 points by andsoitis 2d ago 0 comments

Fingers wrinkle the same way every time they’re in the water too long (binghamton.edu)

101 points by gnabgib 6h ago 39 comments

The world could run on older hardware if software optimization was a priority (twitter.com)

632 points by turrini 19h ago 581 comments

A tool to verify estimates, II: a flexible proof assistant (terrytao.wordpress.com)

35 points by jjgreen 3d ago 0 comments

Map of Palaeohispanic Coins and Inscriptions (hesperia.ucm.es)

17 points by brendanashworth 5h ago 1 comments

Cardiac: A CARDboard Illustrative Aid to Computation [pdf] (cs.drexel.edu)

27 points by throwaway71271 7h ago 13 comments

I learned Snobol and then wrote a toy Forth (ratfactor.com)

126 points by ingve 2d ago 32 comments

OpenTelemetry protocol with Apache Arrow (opentelemetry.io)

79 points by tanelpoder 11h ago 15 comments

Using obscure graph theory to solve programming languages problems (reasonablypolymorphic.com)

43 points by matt_d 9h ago 6 comments

The great displacement is already well underway? (shawnfromportland.substack.com)

311 points by JSLegendDev 1d ago 321 comments

ChatGPT may be polite, but it's not cooperating with you (theguardian.com)

11 points by nickcotter 1h ago 1 comments

DeepSeek’s founder is threatening US dominance in AI race (bloomberg.com)

65 points by blumpy22 4h ago 47 comments

Membrane: Media Framework for Elixir (membrane.stream)

130 points by lawik 3d ago 36 comments

Insurers launch cover for losses caused by AI chatbot errors (ft.com)

123 points by jmacd 2d ago 49 comments

FDA moves to ban fluoride supplements for kids, removing a key tool for dentists (npr.org)

15 points by healsdata 1h ago 3 comments

Binary Formats Are Better Than JSON in Browsers (adamfaulkner.github.io)

19 points by adamkf 7h ago 2 comments

In a high-stress work environment, prioritize relationships (wqtz.bearblog.dev)

302 points by wqtz 16h ago 189 comments

Odin: A programming language made for me (zylinski.se)

175 points by gingerBill 21h ago 190 comments

I failed a take-home assignment from Kagi Search (bloggeroo.dev)

168 points by josecodea 3h ago 137 comments

Turritopsis dohrnii: Immortal jellyfish (nhm.ac.uk)

39 points by vinnyglennon 4d ago 10 comments

One hundred and one rules of effective living (mitchhorowitz.substack.com)

88 points by mathgenius 17h ago 87 comments

TheForger's Win32 API Tutorial (winprog.org)

57 points by xeonmc 15h ago 7 comments

Mozilla Firefox – Official GitHub repo (github.com)

789 points by thefilmore 1d ago 433 comments

A Taxonomy of Bugs (ruby0x1.github.io)

45 points by lissine 14h ago 14 comments

Starcloud (ycombinator.com)

140 points by wiley1454 9h ago 285 comments

How (memory) safe is Zig? (2021) (scattered-thoughts.net)

34 points by vortex_ape 7h ago 39 comments

Cracking the Dave and Buster's Anomaly (rambo.codes)

31 points by CharlesW 12h ago 1 comments

Ask HN: How are you acquiring your first hundred users?

480 points by amanchanda 20h ago 309 comments

Why are coffee stains darker at the edges? (why.is)

129 points by michalpleban 2d ago 44 comments

Microsoft cuts nearly 3% of global workforce, about 6k jobs, for efficiency

5 withinrafael 0 5/13/2025, 7:02:17 PM geekwire.com ↗

Comments (0)

No comments yet