Bus stops here: Shanghai lets riders design their own routes

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

90•anigbrowl•1h ago•40 comments

RPG in a Box

https://rpginabox.com/

61•skibz•3d ago•5 comments

Type-constrained code generation with language models

https://arxiv.org/abs/2504.09246

162•tough•7h ago•55 comments

Flattening Rust’s learning curve

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

164•birdculture•7h ago•123 comments

Branch Privilege Injection: Exploiting branch predictor race conditions

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

354•alberto-m•13h ago•133 comments

Replicube: A puzzle game about writing code to create shapes

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

31•poetril•4h ago•4 comments

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

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

269•logic_node•15h ago•215 comments

How “The Great Gatsby” took over high school

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

28•pseudolus•16h ago•28 comments

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

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

149•GeorgeCurtis•12h ago•64 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

129•taubek•3d ago•88 comments

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

171•bestwillcui•17h ago•95 comments

Build real-time knowledge graph for documents with LLM

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

114•badmonster•10h ago•18 comments

Mipmap selection in too much detail

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

29•luu•3d ago•7 comments

Multiple security issues in GNU Screen

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

363•st_goliath•18h ago•218 comments

Airbnb is in midlife crisis mode

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

117•thomasjudge•10h ago•191 comments

PDF to Text, a challenging problem

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

255•ingve•15h ago•151 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/

64•delduca•2d ago•41 comments

Show HN: Mycelium

https://github.com/mycweb/mycelium

9•brendoncarroll•3d ago•1 comments

Writing that changed how I think about PL

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

3•r4um•1h ago•0 comments

It Awaits Your Experiments

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

151•pavel_lishin•14h ago•56 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

63•ko_pivot•3d ago•8 comments

Coffee for people who don't like coffee

https://ostwilkens.se/blog/coffee

61•ostwilkens•3d ago•161 comments

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

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

641•turrini•19h ago•593 comments

A visual history of the safety pin

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

20•andsoitis•2d ago•0 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

103•gnabgib•6h ago•40 comments

OpenTelemetry protocol with Apache Arrow

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

82•tanelpoder•12h ago•15 comments

I learned Snobol and then wrote a toy Forth

https://ratfactor.com/snobol/

127•ingve•2d ago•32 comments

Using obscure graph theory to solve programming languages problems

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

46•matt_d•9h 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/

35•jjgreen•3d ago•0 comments

Cardiac: A CARDboard Illustrative Aid to Computation [pdf]

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

27•throwaway71271•8h ago•13 comments

Bus stops here: Shanghai lets riders design their own routes

RPG in a Box

Type-constrained code generation with language models

Flattening Rust’s learning curve

Branch Privilege Injection: Exploiting branch predictor race conditions

Replicube: A puzzle game about writing code to create shapes

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

How “The Great Gatsby” took over high school

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

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

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

Build real-time knowledge graph for documents with LLM

Mipmap selection in too much detail

Multiple security issues in GNU Screen

Airbnb is in midlife crisis mode

PDF to Text, a challenging problem

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

Show HN: Mycelium

Writing that changed how I think about PL

It Awaits Your Experiments

Garbage collection of object storage at scale

Coffee for people who don't like coffee

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

A visual history of the safety pin

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

OpenTelemetry protocol with Apache Arrow

I learned Snobol and then wrote a toy Forth

Using obscure graph theory to solve programming languages problems

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

Cardiac: A CARDboard Illustrative Aid to Computation [pdf]

When graphic design saves lives

Comments

Bus stops here: Shanghai lets riders design their own routes

RPG in a Box

Type-constrained code generation with language models

Flattening Rust’s learning curve

Branch Privilege Injection: Exploiting branch predictor race conditions

Replicube: A puzzle game about writing code to create shapes

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

How “The Great Gatsby” took over high school

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

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

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

Build real-time knowledge graph for documents with LLM

Mipmap selection in too much detail

Multiple security issues in GNU Screen

Airbnb is in midlife crisis mode

PDF to Text, a challenging problem

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

Show HN: Mycelium

Writing that changed how I think about PL

It Awaits Your Experiments

Garbage collection of object storage at scale

Coffee for people who don't like coffee

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

A visual history of the safety pin

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

OpenTelemetry protocol with Apache Arrow

I learned Snobol and then wrote a toy Forth

Using obscure graph theory to solve programming languages problems

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

Cardiac: A CARDboard Illustrative Aid to Computation [pdf]