• 1.

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

  1 pointsby thunderbong37 days ago0 commentsTrend history
• 2.

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

  Repost3 prior posts3 pointsby isomorph37 days ago2 commentsTrend history
• 3.

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

  2 pointsby WolfOliver37 days ago0 commentsTrend history
• 4.

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

  2 pointsby ColinWright37 days ago0 commentsTrend history
• 5.

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

  1 pointsby throwoutway37 days ago0 commentsTrend history
• 6.

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

  Repost1 prior post104 pointsby theanonymousone37 days ago77 commentsTrend history
• 7.

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

  1 pointsby ddsha44198137 days ago0 commentsTrend history
• 8.

  The Sweeter Lesson(cacm.acm.org)

  2 pointsby bvsrinivasan37 days ago0 commentsTrend history
• 9.

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

  5 pointsby Swapnopam37 days ago1 commentsTrend history
• 10.

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

  1 pointsby th1nhng037 days ago0 commentsTrend history
• 11.

  Has somebody found a way to reduce AI idiomatics tics?

  2 pointsby abeauvois37 days ago0 commentsTrend history
• 12.

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

  34 pointsby johnbarron37 days ago18 commentsTrend history
• 13.

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

  4 pointsby johnbarron37 days ago1 commentsTrend history
• 14.

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

  Repost1 prior post2 pointsby smartmic37 days ago0 commentsTrend history
• 15.

  LibreOffice Conference 2026 Schedule(events.documentfoundation.org)

  15 pointsby mmarian37 days ago1 commentsTrend history
• 16.

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

  Repost1 prior post2 pointsby srameshc37 days ago0 commentsTrend history
• 17.

  C64 Lemmings Reloaded(lunaticlab.itch.io)

  1 pointsby vardump37 days ago1 commentsTrend history
• 18.

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

  2 pointsby delphiaisec37 days ago0 commentsTrend history
• 19.

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

  3 pointsby GeometryKernel37 days ago0 commentsTrend history
• 20.

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

  Repost1 prior post1 pointsby binyu37 days ago0 commentsTrend history
• 21.

  Apple Making a Custom Chinese Model(reuters.com)

  Repost2 prior posts4 pointsby aryabud37 days ago0 commentsTrend history
• 22.

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

  11 pointsby datakan37 days ago3 commentsTrend history
• 23.

  Ultrahumanism(jsanilac.com)

  1 pointsby doitLP37 days ago0 commentsTrend history
• 24.

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

  Repost1 prior post1 pointsby ninjahawk137 days ago1 commentsTrend history
• 25.

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

  54 pointsby homarp37 days ago17 commentsTrend history
• 26.

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

  1 pointsby amichail37 days ago0 commentsTrend history
• 27.

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

  2 pointsby jjgreen37 days ago0 commentsTrend history
• 28.

  GNU Taler Mailing List(lists.gnu.org)

  1 pointsby sigalor37 days ago0 commentsTrend history
• 29.

  Christian Grothoff(ashoka.org)

  1 pointsby sigalor37 days ago1 commentsTrend history
• 30.

  Syncer – find a meeting time without the scheduling back-and-forth(syncerapp.vercel.app)

  Repost1 prior post1 pointsby leo_proger37 days ago0 commentsTrend history

Operational status: system stale