• 1.

  Show HN: The BUSY build system now generates CMake so you can easily use LeanQt(github.com)

  Repost1 prior post1 pointsby Rochus13 days ago0 commentsTrend history
• 2.

  Shape-shifting mirrors on NASA's new space telescope could unveil Jupiters like(technologyreview.com)

  2 pointsby joozio13 days ago0 commentsTrend history
• 3.

  Show HN: Sunflowers(sunflowersgame.com)

  3 pointsby pompomsheep13 days ago10 commentsTrend history
• 4.

  NVLink, NVSwitch, and All That(blog.doubleword.ai)

  5 pointsby somnial13 days ago2 commentsTrend history
• 5.

  Kalshi debuts US midterms hub for election forecasts and polling data(reuters.com)

  5 pointsby 1vuio0pswjnm713 days ago0 commentsTrend history
• 6.

  AI investment boom puts Big Tech's free cash flow under pressure(reuters.com)

  3 pointsby 1vuio0pswjnm713 days ago0 commentsTrend history
• 7.

  Kenze – An interactive shell for wrangling files bigger than your RAM(github.com)

  1 pointsby kenzy_zero13 days ago0 commentsTrend history
• 8.

  An observer-consistency framework for physics with 639 Lean-checked results(github.com)

  1 pointsby berndtzl13 days ago0 commentsTrend history
• 9.

  The U.S. wants to contain China’s AI. Silicon Valley keeps using it(restofworld.org)

  7 pointsby donohoe13 days ago0 commentsTrend history
• 10.

  Bielik.ai: Community-built, open-source LLMs for Polish and European languages(bielik.ai)

  3 pointsby kacperlukawski13 days ago0 commentsTrend history
• 11.

  OverpAId – Fire your CEO. Hire the future(overpaid.lol)

  517 pointsby ignaloidas13 days ago241 commentsTrend history
• 12.

  Planned Updates to the PyPI User Interface(blog.pypi.org)

  6 pointsby di13 days ago0 commentsTrend history
• 13.

  Flock Said Its Cameras Don't Track People. Then a Reporter Proved Them Wrong(gadgetreview.com)

  5 pointsby baranul13 days ago0 commentsTrend history
• 14.

  The case against crypto (2021)(stephendiehl.com)

  1 pointsby simonebrunozzi13 days ago0 commentsTrend history
• 15.

  KDE for Enterprise Needs a Strong PIM Infrastructure(ervin.ipsquad.net)

  Repost1 prior post1 pointsby birdculture13 days ago1 commentsTrend history
• 16.

  Chinese companies are taking over the EV market. What's behind their rise?(theconversation.com)

  4 pointsby baranul13 days ago0 commentsTrend history
• 17.

  OpenAI expands to Israel: first commercial hires and tech outreach(i24news.tv)

  2 pointsby EchooAI13 days ago0 commentsTrend history
• 18.

  Empathy and delight mean nothing when the software is disrespectful(productpicnic.beehiiv.com)

  1 pointsby SouravInsights13 days ago0 commentsTrend history
• 19.

  Awesome edge computing(github.com)

  1 pointsby teleforce13 days ago0 commentsTrend history
• 20.

  Making Xen's dom0 I/O path NUMA aware(edera.dev)

  3 pointsby virtio_vixen13 days ago0 commentsTrend history
• 21.

  Firefox Is Back on X(twitter.com)

  3 pointsby DeusExMachina13 days ago2 commentsTrend history
• 22.

  The Most Famous AI Writing Tic Is Also the Most Mysterious(theatlantic.com)

  Repost3 prior posts2 pointsby Anon8413 days ago0 commentsTrend history
• 23.

  Show HN: DSCI – Forgejo CI with programming languages instead of YAML(github.com)

  Repost1 prior post2 pointsby melezhik13 days ago2 commentsTrend history
• 24.

  Show HN: add-reasoning-to-prs: a hook that adds unnoticed assumptions to PR desc(github.com)

  1 pointsby bogatyrjov13 days ago1 commentsTrend history
• 25.

  Monte Kali(en.wikipedia.org)

  Repost1 prior post13 pointsby yread13 days ago1 commentsTrend history
• 26.

  Shadow: Experimentation tool simplifies research, dev, testing and eval of app(shadow.github.io)

  Repost3 prior posts1 pointsby teleforce13 days ago0 commentsTrend history
• 27.

  Marimo Now Runs in PyCharm(marimo.io)

  2 pointsby cantdutchthis13 days ago0 commentsTrend history
• 28.

  Device in many US cars leaves them open to hacking(wired.com)

  Repost1 prior post5 pointsby My_Name13 days ago1 commentsTrend history
• 29.

  OpenAI's latest AI agent escaped security controls and hacked a tech company(washingtonpost.com)

  3 pointsby derkoe13 days ago0 commentsTrend history
• 30.

  Firefox 153 Released(firefox.com)

  3 pointsby the-mitr13 days ago0 commentsTrend history

Operational status: system stale