Bus stops here: Shanghai lets riders design their own routes

https://www.sixthtone.com/news/1017072

124•anigbrowl•1h ago•65 comments

RPG in a Box

https://rpginabox.com/

82•skibz•3d ago•5 comments

Type-constrained code generation with language models

https://arxiv.org/abs/2504.09246

170•tough•8h ago•62 comments

Flattening Rust’s learning curve

https://corrode.dev/blog/flattening-rusts-learning-curve/

185•birdculture•8h ago•130 comments

Branch Privilege Injection: Exploiting branch predictor race conditions

https://comsec.ethz.ch/research/microarch/branch-privilege-injection/

356•alberto-m•13h ago•135 comments

Writing that changed how I think about programming languages

https://bernsteinbear.com/blog/pl-writing/

15•r4um•2h ago•0 comments

Replicube: A puzzle game about writing code to create shapes

https://store.steampowered.com/app/3401490/Replicube/

40•poetril•4h ago•7 comments

How “The Great Gatsby” took over high school

https://www.newyorker.com/books/page-turner/how-the-great-gatsby-took-over-high-school

35•pseudolus•17h ago•38 comments

Google is building its own DeX: First look at Android's Desktop Mode

https://www.androidauthority.com/android-desktop-mode-leak-3550321/

278•logic_node•16h ago•222 comments

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

https://github.com/HelixDB/helix-db/

154•GeorgeCurtis•13h ago•64 comments

Build real-time knowledge graph for documents with LLM

https://cocoindex.io/blogs/knowledge-graph-for-docs/

118•badmonster•10h ago•18 comments

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

172•bestwillcui•17h ago•97 comments

Failed Soviet Venus lander Kosmos 482 crashes to Earth after 53 years in orbit

https://www.space.com/space-exploration/launches-spacecraft/failed-soviet-venus-lander-kosmos-482-crashes-to-earth-after-53-years-in-orbit

130•taubek•3d ago•93 comments

Show HN: Mycelium

https://github.com/mycweb/mycelium

14•brendoncarroll•3d ago•2 comments

Mipmap selection in too much detail

https://pema.dev/2025/05/09/mipmaps-too-much-detail/

32•luu•3d ago•8 comments

EM-LLM: Human-Inspired Episodic Memory for Infinite Context LLMs

https://github.com/em-llm/EM-LLM-model

39•jbotz•3d ago•3 comments

Multiple security issues in GNU Screen

https://www.openwall.com/lists/oss-security/2025/05/12/1

366•st_goliath•19h ago•219 comments

PDF to Text, a challenging problem

https://www.marginalia.nu/log/a_119_pdf/

266•ingve•15h ago•152 comments

Airbnb is in midlife crisis mode

https://www.wired.com/story/airbnb-is-in-midlife-crisis-mode-reinvention-app-services/

126•thomasjudge•11h ago•207 comments

It Awaits Your Experiments

https://www.rifters.com/crawl/?p=11511

157•pavel_lishin•15h ago•57 comments

Garbage collection of object storage at scale

https://www.warpstream.com/blog/taking-out-the-trash-garbage-collection-of-object-storage-at-massive-scale

68•ko_pivot•3d ago•9 comments

A visual history of the safety pin

https://museumofeverydaylife.org/current-exhibitions/a-visual-history-of-the-safety-pin

22•andsoitis•2d ago•0 comments

The world could run on older hardware if software optimization was a priority

https://twitter.com/ID_AA_Carmack/status/1922100771392520710

649•turrini•20h ago•598 comments

Using obscure graph theory to solve programming languages problems

https://reasonablypolymorphic.com/blog/solving-lcsa/

49•matt_d•10h ago•7 comments

A tool to verify estimates, II: a flexible proof assistant

https://terrytao.wordpress.com/2025/05/09/a-tool-to-verify-estimates-ii-a-flexible-proof-assistant/

38•jjgreen•3d ago•0 comments

OpenTelemetry protocol with Apache Arrow

https://opentelemetry.io/blog/2025/otel-arrow-phase-2/

85•tanelpoder•12h ago•15 comments

I learned Snobol and then wrote a toy Forth

https://ratfactor.com/snobol/

127•ingve•2d ago•32 comments

Fingers wrinkle the same way every time they’re in the water too long

https://www.binghamton.edu/news/story/5547/do-your-fingers-wrinkle-the-same-way-every-time-youre-in-the-water-too-long-new-research-says-yes

108•gnabgib•6h ago•41 comments

Cardiac: A CARDboard Illustrative Aid to Computation [pdf]

https://www.cs.drexel.edu/~bls96/museum/CARDIAC_manual.pdf

28•throwaway71271•8h ago•14 comments

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

https://nullonerror.org/2025/05/11/i-have-built-an-iot-device-to-let-my-family-know-when-i-am-in-a-meeting/

69•delduca•2d ago•44 comments