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

180 points by anigbrowl 3h ago 112 comments

RPG in a Box (rpginabox.com)

115 points by skibz 3d ago 12 comments

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

189 points by tough 9h ago 68 comments

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

43 points by r4um 3h ago 4 comments

Flattening Rust’s learning curve (corrode.dev)

217 points by birdculture 9h ago 156 comments

Ash Framework – Model your domain, derive the rest (ash-hq.org)

22 points by lawik 3d ago 1 comments

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

365 points by alberto-m 15h ago 144 comments

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

50 points by poetril 5h ago 12 comments

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

306 points by logic_node 17h ago 235 comments

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

161 points by GeorgeCurtis 14h ago 65 comments

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

176 points by bestwillcui 18h ago 98 comments

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

140 points by taubek 3d ago 97 comments

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

126 points by badmonster 12h ago 19 comments

Mipmap selection in too much detail (pema.dev)

43 points by luu 3d ago 10 comments

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

281 points by ingve 16h ago 156 comments

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

48 points by jbotz 4d ago 5 comments

Show HN: Mycelium (github.com)

22 points by brendoncarroll 3d ago 5 comments

Multiple security issues in GNU Screen (openwall.com)

370 points by st_goliath 20h ago 221 comments

Airbnb is in midlife crisis mode (wired.com)

140 points by thomasjudge 12h ago 244 comments

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

120 points by gnabgib 8h ago 48 comments

It Awaits Your Experiments (rifters.com)

161 points by pavel_lishin 16h ago 58 comments

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

73 points by ko_pivot 3d ago 9 comments

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

671 points by turrini 21h ago 617 comments

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

56 points by matt_d 11h ago 8 comments

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

42 points by jjgreen 3d ago 0 comments

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

128 points by ingve 3d ago 34 comments

OpenTelemetry protocol with Apache Arrow (opentelemetry.io)

87 points by tanelpoder 13h ago 16 comments

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

24 points by andsoitis 2d ago 3 comments

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

333 points by JSLegendDev 1d ago 341 comments

VPN firm says it didn't know customers had lifetime subscriptions, cancels them (arstechnica.com)

10 points by maxloh 1h ago 1 comments

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

29 points by throwaway71271 10h ago 14 comments

Membrane: Media Framework for Elixir (membrane.stream)

141 points by lawik 3d ago 38 comments

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

64 points by ostwilkens 3d ago 176 comments

AI Hallucination in Filings, 14th-Largest US Law Firm: $31K in Sanctions (reason.com)

7 points by mdp2021 1h ago 0 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)

30 points by adamkf 9h ago 4 comments

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

17 points by brendanashworth 7h ago 1 comments

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

179 points by gingerBill 23h ago 192 comments

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

308 points by wqtz 18h ago 196 comments

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

91 points by mathgenius 20h ago 88 comments

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

26 points by healsdata 4h ago 9 comments

Mozilla Firefox – Official GitHub repo (github.com)

792 points by thefilmore 1d ago 435 comments

TheForger's Win32 API Tutorial (winprog.org)

58 points by xeonmc 18h ago 9 comments

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

39 points by vinnyglennon 4d ago 10 comments

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

72 points by delduca 2d ago 48 comments

A Taxonomy of Bugs (ruby0x1.github.io)

46 points by lissine 16h ago 14 comments

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

34 points by CharlesW 14h ago 1 comments

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

492 points by amanchanda 23h ago 317 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 11h ago 286 comments

Show HN: The Quiet Shifts That Shape a Career

1 cwalke22 0 5/13/2025, 9:13:04 PM joinopener.com ↗

Comments (0)

No comments yet