Bus stops here: Shanghai lets riders design their own routes

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

17•anigbrowl•27m ago•0 comments

Type-constrained code generation with language models

https://arxiv.org/abs/2504.09246

145•tough•6h ago•51 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/

53•delduca•2d ago•31 comments

Flattening Rust’s learning curve

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

128•birdculture•6h ago•108 comments

RPG in a Box

https://rpginabox.com/

22•skibz•3d ago•4 comments

Branch Privilege Injection: Exploiting branch predictor race conditions

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

344•alberto-m•12h ago•133 comments

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

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

251•logic_node•14h ago•207 comments

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

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

139•GeorgeCurtis•11h ago•63 comments

How “The Great Gatsby” took over high school

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

22•pseudolus•15h ago•14 comments

Build real-time knowledge graph for documents with LLM

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

108•badmonster•9h ago•17 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

122•taubek•3d ago•81 comments

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

169•bestwillcui•16h ago•94 comments

Multiple security issues in GNU Screen

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

357•st_goliath•17h ago•216 comments

Airbnb is in midlife crisis mode

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

99•thomasjudge•9h ago•168 comments

Mipmap selection in too much detail

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

21•luu•2d ago•6 comments

PDF to Text, a challenging problem

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

248•ingve•13h ago•147 comments

Replicube: A puzzle game about writing code to create shapes

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

17•poetril•3h ago•1 comments

It Awaits Your Experiments

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

147•pavel_lishin•13h ago•50 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

58•ko_pivot•3d ago•8 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

99•gnabgib•5h ago•37 comments

A visual history of the safety pin

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

16•andsoitis•2d ago•0 comments

Map of Palaeohispanic Coins and Inscriptions

http://hesperia.ucm.es/consulta_hesperia/mapas.php

17•brendanashworth•4h ago•1 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/

33•jjgreen•3d ago•0 comments

Cardiac: A CARDboard Illustrative Aid to Computation [pdf]

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

26•throwaway71271•7h ago•13 comments

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

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

619•turrini•18h ago•575 comments

DeepSeek’s founder is threatening US dominance in AI race

https://www.bloomberg.com/news/features/2025-05-13/deepseek-races-after-chatgpt-as-china-s-ai-industry-soars

57•blumpy22•3h ago•45 comments

Coffee for people who don't like coffee

https://ostwilkens.se/blog/coffee

54•ostwilkens•3d ago•148 comments

I learned Snobol and then wrote a toy Forth

https://ratfactor.com/snobol/

124•ingve•2d ago•31 comments

Using obscure graph theory to solve programming languages problems

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

42•matt_d•8h ago•5 comments

ChatGPT may be polite, but it's not cooperating with you

https://www.theguardian.com/technology/ng-interactive/2025/may/13/chatgpt-ai-big-tech-cooperation

6•nickcotter•39m ago•1 comments