Show HN: RustTensor: a Rust Library for Tensor Computation and ML Learning

https://github.com/ramsyana/RustTensor

1•ramram6278•2m ago•0 comments

Enhancing MySQL: MySQL improvement project

https://github.com/enhancedformysql/enhancedformysql

2•bratao•18m ago•0 comments

Google AI Edge Gallery

https://github.com/google-ai-edge/gallery

1•xnx•20m ago•0 comments

Formal Modeling and Analysis of Distributed (Event-Driven) Systems

https://github.com/p-org/P

1•ot•20m ago•0 comments

Waymo drives into a flooded road, results in the passenger getting stuck

https://twitter.com/niccruzpatane/status/1928477936845226469

3•lopkeny12ko•23m ago•0 comments

Ironclad: Unix-like operating system kernel written in SPARK and Ada

https://codeberg.org/Ironclad/Ironclad

1•thunderbong•24m ago•0 comments

Show HN: OBDium – Car Diagnostics Redefined

https://github.com/provrb/obdium

1•provrb•27m ago•0 comments

Stepping Back

https://rjp.io/blog/2025-05-31-stepping-back

3•rjpower9000•39m ago•1 comments

Progressive JSON

https://overreacted.io/progressive-json/

33•kacesensitive•45m ago•9 comments

Volcanic eruptions trigger ice formation in clouds

https://www.llnl.gov/article/52911/volcanic-eruptions-trigger-ice-formation-clouds

2•gmays•48m ago•0 comments

Giant microwave may change the future of war

https://www.technologyreview.com/2025/05/29/1117502/epirus-drone-zapping-microwave-us-military-defense/

5•lanfeust6•52m ago•0 comments

First year's code doesn't matter

https://onboardedhq.substack.com/p/your-code-doesnt-matter-yet

3•plentysun•52m ago•1 comments

Spiritual Enclosure / Rubén Valdez

https://www.archdaily.com/1030610/spiritual-enclosure-ruben-valdez

1•9woc•53m ago•0 comments

Jemalloc

https://github.com/jemalloc/jemalloc

2•amusingimpala75•53m ago•0 comments

AI helps researchers discover previously unknown molecules

https://www.thebrighterside.news/post/ai-helps-researchers-discover-several-previously-unknown-molecules/

1•geox•55m ago•0 comments

Apple's Reliance on China Is About Far More Than Labor Costs

https://www.bloomberg.com/news/articles/2025-05-30/apple-s-reliance-on-china-is-about-far-more-than-labor-costs

3•petethomas•56m ago•0 comments

White House says it will announce new pick for NASA chief

https://www.cnn.com/2025/05/31/politics/nasa-jared-isaacman-trump-pull

6•ChrisMarshallNY•1h ago•0 comments

Show HN: I built a simple Google Maps lead generator over the weekend

https://lead-generator-one.vercel.app/

1•sonny177•1h ago•0 comments

Jamie Raskin Launches Investigation Into Trump's "Corrupt Pardon Spree"

https://www.politicususa.com/p/jamie-raskin-launches-investigation

10•Jacquie11•1h ago•1 comments

Autocratic Capitalism: An Introduction

https://daily.jstor.org/autocratic-capitalism-an-introduction/

6•mdp2021•1h ago•0 comments

Research: Multiple-answer question format in exams improves student attainment

https://phys.org/news/2025-05-multiple-format-exams-student.html

2•PaulHoule•1h ago•0 comments

Show HN: Tracking Merged PRs by OpenAI's Codex and GitHub's Copilot

https://github.com/aavetis/ai-pr-watcher

3•zekone•1h ago•0 comments

Show HN: Patio – Rent tools, learn DIY, reduce waste

https://patio.so

26•GouacheApp•1h ago•13 comments

Green Tea Garbage Collector

https://github.com/golang/go/issues/73581

2•kristianp•1h ago•0 comments

Reduced OpenAI RAG costs by 70% by using a pre-check API call

1•Kong91•1h ago•2 comments

KSL Investigates: How to Avoid Inheriting a Timeshare You Don't Want (2021)

https://ksltv.com/ksl-investigates/ksl-investigates-how-to-avoid-inheriting-a-timeshare-you-dont-want/453896/

2•josephcsible•1h ago•2 comments

Energy Dept. Unveils Supercomputer That Merges with A.I

https://www.nytimes.com/2025/05/29/technology/energy-department-supercomputer-ai.html

Show HN: RustTensor: a Rust Library for Tensor Computation and ML Learning

Enhancing MySQL: MySQL improvement project

Google AI Edge Gallery

Formal Modeling and Analysis of Distributed (Event-Driven) Systems

Waymo drives into a flooded road, results in the passenger getting stuck

Ironclad: Unix-like operating system kernel written in SPARK and Ada

Show HN: OBDium – Car Diagnostics Redefined

Stepping Back

Progressive JSON

Volcanic eruptions trigger ice formation in clouds

Giant microwave may change the future of war

First year's code doesn't matter

Spiritual Enclosure / Rubén Valdez

Jemalloc

AI helps researchers discover previously unknown molecules

Apple's Reliance on China Is About Far More Than Labor Costs

White House says it will announce new pick for NASA chief

Show HN: I built a simple Google Maps lead generator over the weekend

Jamie Raskin Launches Investigation Into Trump's "Corrupt Pardon Spree"

Autocratic Capitalism: An Introduction

Research: Multiple-answer question format in exams improves student attainment

Show HN: Tracking Merged PRs by OpenAI's Codex and GitHub's Copilot

Show HN: Patio – Rent tools, learn DIY, reduce waste

Green Tea Garbage Collector

Reduced OpenAI RAG costs by 70% by using a pre-check API call

KSL Investigates: How to Avoid Inheriting a Timeshare You Don't Want (2021)

Energy Dept. Unveils Supercomputer That Merges with A.I

Show HN: The Daily Quandary

Ask HN: Magic wand to fix one thing about cloud software development?

Where does debt go after death?

Geist Design System

Show HN: RustTensor: a Rust Library for Tensor Computation and ML Learning

Enhancing MySQL: MySQL improvement project

Google AI Edge Gallery

Formal Modeling and Analysis of Distributed (Event-Driven) Systems

Waymo drives into a flooded road, results in the passenger getting stuck

Ironclad: Unix-like operating system kernel written in SPARK and Ada

Show HN: OBDium – Car Diagnostics Redefined

Stepping Back

Progressive JSON

Volcanic eruptions trigger ice formation in clouds

Giant microwave may change the future of war

First year's code doesn't matter

Spiritual Enclosure / Rubén Valdez

Jemalloc

AI helps researchers discover previously unknown molecules

Apple's Reliance on China Is About Far More Than Labor Costs

White House says it will announce new pick for NASA chief

Show HN: I built a simple Google Maps lead generator over the weekend

Jamie Raskin Launches Investigation Into Trump's "Corrupt Pardon Spree"

Autocratic Capitalism: An Introduction

Research: Multiple-answer question format in exams improves student attainment

Show HN: Tracking Merged PRs by OpenAI's Codex and GitHub's Copilot

Show HN: Patio – Rent tools, learn DIY, reduce waste

Green Tea Garbage Collector

Reduced OpenAI RAG costs by 70% by using a pre-check API call

KSL Investigates: How to Avoid Inheriting a Timeshare You Don't Want (2021)

Energy Dept. Unveils Supercomputer That Merges with A.I

Show HN: The Daily Quandary

Ask HN: Magic wand to fix one thing about cloud software development?

Where does debt go after death?