• 1.

  On-device tennis line calling with two iPhones on tripods [video](youtube.com)

  1 pointsby Austin_Conlon33 days ago0 commentsTrend history
• 2.

  Quick-search: An universal search app for Android(github.com)

  1 pointsby thunderbong33 days ago0 commentsTrend history
• 3.

  U and non-U English examples(en.wikipedia.org)

  Repost3 prior posts3 pointsby isomorph33 days ago2 commentsTrend history
• 4.

  Show HN: Declarative-forms – await an object the way prompt() awaits a string(wolfoo2931.github.io)

  2 pointsby WolfOliver33 days ago0 commentsTrend history
• 5.

  John Carlos Baez: How many Erdős problems will be solved by the end of the year?(mathstodon.xyz)

  2 pointsby ColinWright33 days ago0 commentsTrend history
• 6.

  Volonaut Airbike – Test Riding a Flying Speeder Bike [video](youtube.com)

  1 pointsby throwoutway33 days ago0 commentsTrend history
• 7.

  Protobuf has LSP support. You're welcome(buf.build)

  Repost1 prior post104 pointsby theanonymousone33 days ago77 commentsTrend history
• 8.

  Show HN: WireDoctor – Spring Boot startup and bean cycle analyzer(github.com)

  1 pointsby ddsha44198133 days ago0 commentsTrend history
• 9.

  The Sweeter Lesson(cacm.acm.org)

  2 pointsby bvsrinivasan33 days ago0 commentsTrend history
• 10.

  Ask HN: How do you prove two machines computed the same float32 result?

  5 pointsby Swapnopam33 days ago1 commentsTrend history
• 11.

  Why Pi Is My Goat Agent Harness(thinhcorner.com)

  1 pointsby th1nhng033 days ago0 commentsTrend history
• 12.

  Has somebody found a way to reduce AI idiomatics tics?

  2 pointsby abeauvois33 days ago0 commentsTrend history
• 13.

  Nvidia discloses $21B stake in SpaceX at end of second quarter(cnbc.com)

  34 pointsby johnbarron33 days ago18 commentsTrend history
• 14.

  U.S. to tell partners they must pick sides in AI race with China(cnbc.com)

  4 pointsby johnbarron33 days ago1 commentsTrend history
• 15.

  Gforth – A free, fast, featureful and portable implementation of Forth(gforth.org)

  Repost1 prior post2 pointsby smartmic33 days ago0 commentsTrend history
• 16.

  LibreOffice Conference 2026 Schedule(events.documentfoundation.org)

  15 pointsby mmarian33 days ago1 commentsTrend history
• 17.

  Climate tech companies are pivoting to critical minerals(technologyreview.com)

  Repost1 prior post2 pointsby srameshc33 days ago0 commentsTrend history
• 18.

  C64 Lemmings Reloaded(lunaticlab.itch.io)

  1 pointsby vardump33 days ago1 commentsTrend history
• 19.

  Xaidr – In-process runtime security and governance for AI agents(github.com)

  2 pointsby delphiaisec33 days ago0 commentsTrend history
• 20.

  Linear time O(N) Quantum Simulation on CPUs [pdf](zenodo.org)

  3 pointsby GeometryKernel33 days ago0 commentsTrend history
• 21.

  How to Design and Manufacture Your Own Chip [video](youtube.com)

  Repost1 prior post1 pointsby binyu33 days ago0 commentsTrend history
• 22.

  Apple Making a Custom Chinese Model(reuters.com)

  Repost2 prior posts4 pointsby aryabud33 days ago0 commentsTrend history
• 23.

  The AI store manager fired its first human(thenextweb.com)

  11 pointsby datakan33 days ago3 commentsTrend history
• 24.

  Ultrahumanism(jsanilac.com)

  1 pointsby doitLP33 days ago0 commentsTrend history
• 25.

  Show HN: SwarmSim – Computational simulations of emergent flocking(github.com)

  Repost1 prior post1 pointsby ninjahawk133 days ago1 commentsTrend history
• 26.

  MathCode, Mathematical Coding Agent(math-ai-org.github.io)

  54 pointsby homarp33 days ago17 commentsTrend history
• 27.

  Ask HN: Is classical AI still relevant because modern AI uses it as tools?

  1 pointsby amichail33 days ago0 commentsTrend history
• 28.

  HEP-TH and AI(math.columbia.edu)

  2 pointsby jjgreen33 days ago0 commentsTrend history
• 29.

  GNU Taler Mailing List(lists.gnu.org)

  1 pointsby sigalor33 days ago0 commentsTrend history
• 30.

  Christian Grothoff(ashoka.org)

  1 pointsby sigalor33 days ago1 commentsTrend history

Operational status: system stale