• 1.

  Why is there no AlphaZero for theorem proving?

  3 pointsby hyperpallium23 hours ago2 commentsTrend history
• 2.

  You could have invented transformers from memory(alexwang.ai)

  59 pointsby speckx3 hours ago7 commentsTrend history
• 3.

  Mark Zuckerberg versus the Pint of Guinness(wsj.com)

  Repost1 prior post12 pointsby rendx3 hours ago0 commentsTrend history
• 4.

  Putting the Pub in Public Philosophy(dailynous.com)

  2 pointsby theanonymousone3 hours ago0 commentsTrend history
• 5.

  Making Games with my 4 year old son and Claude(claude.ai)

  3 pointsby tsunamifury3 hours ago3 commentsTrend history
• 6.

  U1.lol – a free link shortener, no account or ads(u1.lol)

  3 pointsby noisecache3 hours ago0 commentsTrend history
• 7.

  GPT‑Rosalind: dedicated life sciences model for academic research labs(openai.com)

  3 pointsby vedranm3 hours ago0 commentsTrend history
• 8.

  Claude reveals ECDSA curve origins(anthropic.com)

  502 pointsby ahlCVA3 hours ago212 commentsTrend history
• 9.

  Show HN: Stoke Money – Personal finance app built around a cash flow forecast(stoke.money)

  19 pointsby _wesley3 hours ago16 commentsTrend history
• 10.

  Show HN: Weatherdeck – a read-only status board for AI coding agent lanes(github.com)

  5 pointsby Konnerm3 hours ago0 commentsTrend history
• 11.

  The divide that makes life less affordable for some Americans(washingtonpost.com)

  2 pointsby akman3 hours ago0 commentsTrend history
• 12.

  Rogue AI agents broke into Indian firms' live systems(reuters.com)

  2 pointsby ersinesen3 hours ago0 commentsTrend history
• 13.

  C++26: The New Debugging Header(sandordargo.com)

  Repost1 prior post39 pointsby jandeboevrie3 hours ago2 commentsTrend history
• 14.

  SentryWard: Formal Verification of Warp-Specialized GPU Kernels(sentryward.io)

  2 pointsby matt_d3 hours ago0 commentsTrend history
• 15.

  Untitled Goose Game Studio's Newest Isn't on Xbox Because of BDS Movement(bigwalk.game)

  Repost1 prior post10 pointsby paimapi3 hours ago0 commentsTrend history
• 16.

  Meta employees said Lula's accounts were hindered during Brazil election(reuters.com)

  34 pointsby 01-_-3 hours ago2 commentsTrend history
• 17.

  The Emerging Science of Machine Learning Benchmarks(mlbenchmarks.org)

  Repost1 prior post2 pointsby ABS3 hours ago1 commentsTrend history
• 18.

  Expedia Amazoned Hotel Rooms(pluralistic.net)

  Repost1 prior post11 pointsby leephillips3 hours ago1 commentsTrend history
• 19.

  Espresso Machine Can Run Doom(gamespot.com)

  6 pointsby speckx3 hours ago0 commentsTrend history
• 20.

  Regex visualized as 3D marble run(regexmarblerun.com)

  3 pointsby seizethecheese3 hours ago1 commentsTrend history
• 21.

  One Year of Not Touching Code(molochinations.substack.com)

  2 pointsby domhudson3 hours ago0 commentsTrend history
• 22.

  Show HN: Putaway – sorts your Mac's Downloads into the folders you have(github.com)

  3 pointsby yashrajpandey3 hours ago0 commentsTrend history
• 23.

  What will the next generation of developers do when AI writes the code?(commandline.microsoft.com)

  Repost1 prior post2 pointsby azhenley3 hours ago0 commentsTrend history
• 24.

  Kyutai's stream speech recognition on Apple Silicon with MLX(github.com)

  3 pointsby aufklarer3 hours ago0 commentsTrend history
• 25.

  Granite Switch 4.1: Chat, Decisions, and Speech from One Endpoint(huggingface.co)

  3 pointsby yangikan3 hours ago0 commentsTrend history
• 26.

  Timely eBPF mitigation of Linux VM guest escape(github.com)

  4 pointsby fdr3 hours ago1 commentsTrend history
• 27.

  Works on iPhone 18 Pro: AI helps create untethered jailbreak for iOS 27.0.1(heise.de)

  8 pointsby _____k3 hours ago0 commentsTrend history
• 28.

  Tetris Together: multiplayer console Tetris in C(tqdev.com)

  2 pointsby speckx3 hours ago0 commentsTrend history
• 29.

  Epic's EAC2 v2 seems fairly easily bypassable(codon.org.uk)

  Repost1 prior post2 pointsby _____k3 hours ago0 commentsTrend history
• 30.

  What goes into store-bought chicken stock (2023)(eater.com)

  Repost1 prior post3 pointsby thaumasiotes3 hours ago0 commentsTrend history

Operational status: system stale