• 1.

  Migrating Code by Proof: From F# to Python(logosresearch.ai)

  1 pointsby peterkelly7 days ago0 commentsTrend history
• 2.

  Paranoid LLMs(whyjay.vercel.app)

  1 pointsby juggy697 days ago0 commentsTrend history
• 3.

  Show HN: R3 – A Local Code Review Tool for You and Your AI Agent(github.com)

  3 pointsby rickye267 days ago1 commentsTrend history
• 4.

  What Happened to Commodore? Why the Amiga Disappeared(youtube.com)

  2 pointsby cable26007 days ago0 commentsTrend history
• 5.

  Earliest example of right-handedness found in Australian fossils(cnn.com)

  2 pointsby Tomte7 days ago0 commentsTrend history
• 6.

  Data Science Weekly – Issue 659(datascienceweekly.substack.com)

  1 pointsby sebg7 days ago0 commentsTrend history
• 7.

  Brave Bat Roadmap 4.0(brave.com)

  2 pointsby twapi7 days ago0 commentsTrend history
• 8.

  The most, and least, liveable cities in 2026(economist.com)

  Repost2 prior posts3 pointsby andsoitis7 days ago1 commentsTrend history
• 9.

  Can you run every line of code in Super Mario Bros.?(youtube.com)

  Repost4 prior posts1 pointsby badc0ffee7 days ago0 commentsTrend history
• 10.

  Show HN: AppleWalls – free 4K wallpapers for Apple devices(applewalls.com)

  1 pointsby fenggit7 days ago0 commentsTrend history
• 11.

  InternNav – Navigation Toolbox(github.com)

  1 pointsby rickcarlino7 days ago0 commentsTrend history
• 12.

  Audar-ASR-V1:Arabic-first speech recognition foundation models with open weights

  2 pointsby AudarAI7 days ago1 commentsTrend history
• 13.

  LKML-reader: a Rust-based interactive reader for Linux Kernel Mailing Lists(github.com)

  2 pointsby RinHizakura7 days ago1 commentsTrend history
• 14.

  Class action suit over deepfake child sexual abuse material expands(text.npr.org)

  6 pointsby 16594470917 days ago0 commentsTrend history
• 15.

  Show HN: I made the Chrome Dino Game editable by your AI prompts(vibedino.com)

  Repost1 prior post1 pointsby johnnyapple7 days ago0 commentsTrend history
• 16.

  The Oral History of the Dinosaur Input Device (DID)(vfxblog.com)

  Repost3 prior posts1 pointsby fabiensanglard7 days ago0 commentsTrend history
• 17.

  Graphic Data Processing – 1965 IBM System/360 Computer Lecture and Demonstration [video](youtube.com)

  1 pointsby besserwisser7 days ago0 commentsTrend history
• 18.

  Pressurizing a Chicken Coop to Clean it [video](youtube.com)

  2 pointsby oftenwrong7 days ago0 commentsTrend history
• 19.

  Verla: Free AI Humanizer&assignment helper(verla.io)

  1 pointsby kaitsai7 days ago0 commentsTrend history
• 20.

  How a Transformer Plays Tic-Tac-Toe(sbondaryev.dev)

  3 pointsby thunderbong7 days ago1 commentsTrend history
• 21.

  Netflix Is Exploring Live TV and Bundles as It Struggles to Keep Viewers Hooked(wsj.com)

  3 pointsby mikhael7 days ago0 commentsTrend history
• 22.

  Sony disc-free PS5 plan triggered $457M lawsuit, undercutting antitrust defense(fortune.com)

  6 pointsby 1vuio0pswjnm77 days ago0 commentsTrend history
• 23.

  Restate 1.7: End-to-end Flow Control for your Agents and Back ends(restate.dev)

  1 pointsby cbrewster7 days ago0 commentsTrend history
• 24.

  Microsoft's emissions surged 25% in 2025 during data center boom(fortune.com)

  5 pointsby 1vuio0pswjnm77 days ago0 commentsTrend history
• 25.

  NSW Police infiltrate 'VIP Network' underworld phones, send warning message(abc.net.au)

  3 pointsby femto7 days ago1 commentsTrend history
• 26.

  The NTP server of Australia's largest mobile provider reset time to 2006(abc.net.au)

  3 pointsby itchingsphynx7 days ago0 commentsTrend history
• 27.

  The OS/2 Operating System Didn't Die. It Went Underground (2019)(hackaday.com)

  3 pointsby andsoitis7 days ago0 commentsTrend history
• 28.

  Boeing's Smallest Max Jet Nears FAA Milestone After Years of Delays(wsj.com)

  2 pointsby armoredmeatball7 days ago0 commentsTrend history
• 29.

  A Game for Career Simulator(thefenomenogame.com)

  1 pointsby jeyzolo7 days ago1 commentsTrend history
• 30.

  What Happened to OS/2?(youtube.com)

  1 pointsby cable26007 days ago0 commentsTrend history

Operational status: system stale