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

149 points by anigbrowl 2h ago 83 comments

RPG in a Box (rpginabox.com)

91 points by skibz 3d ago 8 comments

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

179 points by tough 8h ago 64 comments

Flattening Rust’s learning curve (corrode.dev)

197 points by birdculture 8h ago 140 comments

Writing that changed how I think about programming languages (bernsteinbear.com)

25 points by r4um 2h ago 4 comments

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

360 points by alberto-m 14h ago 139 comments

Raycast (YC W20) Is Hiring AI Engineer (Remote, UTC ± 3h) (raycast.com)

1 points by thomaspaulmann 4m ago 0 comments

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

43 points by poetril 5h ago 11 comments

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

285 points by logic_node 16h ago 225 comments

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

156 points by GeorgeCurtis 13h ago 64 comments

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

137 points by taubek 3d ago 96 comments

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

174 points by bestwillcui 18h ago 98 comments

Mipmap selection in too much detail (pema.dev)

37 points by luu 3d ago 8 comments

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

120 points by badmonster 11h ago 18 comments

Show HN: Mycelium (github.com)

17 points by brendoncarroll 3d ago 3 comments

Multiple security issues in GNU Screen (openwall.com)

367 points by st_goliath 19h ago 219 comments

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

271 points by ingve 16h ago 153 comments

EM-LLM: Human-Inspired Episodic Memory for Infinite Context LLMs (github.com)

43 points by jbotz 3d ago 5 comments

Airbnb is in midlife crisis mode (wired.com)

130 points by thomasjudge 11h ago 221 comments

It Awaits Your Experiments (rifters.com)

159 points by pavel_lishin 15h ago 57 comments

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

72 points by ko_pivot 3d ago 9 comments

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

655 points by turrini 20h ago 602 comments

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

22 points by andsoitis 2d ago 2 comments

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

51 points by matt_d 10h ago 8 comments

OpenTelemetry protocol with Apache Arrow (opentelemetry.io)

86 points by tanelpoder 13h ago 15 comments

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

128 points by ingve 3d ago 33 comments

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

38 points by jjgreen 3d ago 0 comments

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

115 points by gnabgib 7h ago 44 comments

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

28 points by throwaway71271 9h ago 14 comments

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

319 points by JSLegendDev 1d ago 327 comments

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

70 points by delduca 2d ago 44 comments

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

63 points by ostwilkens 3d ago 175 comments

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

17 points by brendanashworth 6h ago 1 comments

Membrane: Media Framework for Elixir (membrane.stream)

135 points by lawik 3d ago 37 comments

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

126 points by jmacd 2d ago 49 comments

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

26 points by adamkf 8h ago 3 comments

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

305 points by wqtz 17h ago 193 comments

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

177 points by gingerBill 22h ago 191 comments

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

91 points by mathgenius 19h ago 87 comments

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

22 points by healsdata 3h ago 7 comments

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

39 points by vinnyglennon 4d ago 10 comments

TheForger's Win32 API Tutorial (winprog.org)

58 points by xeonmc 17h ago 7 comments

Mozilla Firefox – Official GitHub repo (github.com)

791 points by thefilmore 1d ago 435 comments

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

34 points by CharlesW 14h ago 1 comments

A Taxonomy of Bugs (ruby0x1.github.io)

46 points by lissine 15h ago 14 comments

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

487 points by amanchanda 22h ago 312 comments

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

130 points by michalpleban 2d ago 44 comments

Starcloud (ycombinator.com)

140 points by wiley1454 10h ago 285 comments

Show HN: Airweave – Let agents search any app (github.com)

158 points by lennertjansen 1d ago 37 comments

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

67 points by blumpy22 5h ago 54 comments

Variadic Switch

2 Tsche 0 5/13/2025, 8:45:53 PM pydong.org ↗

Comments (0)

No comments yet