• 1.

  CircuitProver: Agentic Lean 4 Theorem Proving for Hardware Verification(arxiv.org)

  2 pointsby Jimmc41485 days ago0 commentsTrend history
• 2.

  Surveillance and Your Soul, or Why Privacy Is Essential(unsigned.io)

  2 pointsby Cider998685 days ago0 commentsTrend history
• 3.

  We're 15-year-olds tired of switching study apps, so we built our own(reviscio.com)

  3 pointsby Luka_Takki85 days ago3 commentsTrend history
• 4.

  If you don't want Apple reject your app, protect yourself(apprejectkit.com)

  Repost1 prior post3 pointsby jonvolio85 days ago0 commentsTrend history
• 5.

  The Social Construct of Privacy(medium.com)

  2 pointsby vednig85 days ago0 commentsTrend history
• 6.

  Radar – Your Messages. Your Bitcoin. Together, at Last(radar.chat)

  Repost2 prior posts1 pointsby Cider998685 days ago0 commentsTrend history
• 7.

  New Free Marketing vs. Advertising Digital Download(laptopformulas.com)

  Repost1 prior post1 pointsby leosotx24785 days ago0 commentsTrend history
• 8.

  Nvidia in Talks with OpenAI to Guarantee $250B Financing for Data Center(wsj.com)

  Repost2 prior posts4 pointsby johnbarron85 days ago2 commentsTrend history
• 9.

  Atomic Clocks(nist.gov)

  3 pointsby teleforce85 days ago0 commentsTrend history
• 10.

  Unearthing my 1996 windowed OS in machine code for Am29000 homebrew computer(nanochess.org)

  Repost1 prior post20 pointsby nanochess85 days ago2 commentsTrend history
• 11.

  VC-backed startups commit more fraud, and researchers think they know why(techcrunch.com)

  9 pointsby rndsignals85 days ago0 commentsTrend history
• 12.

  MSI Pro B850-P WiFi Dasharo v0.9.0 Released(blog.3mdeb.com)

  2 pointsby Jhsto85 days ago0 commentsTrend history
• 13.

  Show HN: Resume Tailor – Optimise Resume, Land More Offers(tailor.resume.academy)

  Repost1 prior post1 pointsby vednig85 days ago1 commentsTrend history
• 14.

  Did 75,000 Students Cheat on a College-Entrance Exam in Mexico?(nytimes.com)

  4 pointsby timetraveller2685 days ago1 commentsTrend history
• 15.

  Extensive Collection of Prototypes, Publications, Schematics Donated to Archives(moogfoundation.org)

  2 pointsby glitcher85 days ago0 commentsTrend history
• 16.

  The Obligatory AI Post(lapcatsoftware.com)

  7 pointsby frizlab85 days ago0 commentsTrend history
• 17.

  IndieMath – Crowdfunded automated proving for open CS/math problems(indiemath.ai)

  1 pointsby nsomani85 days ago0 commentsTrend history
• 18.

  AI in the Classroom, Part 3: Where It Earns Its Place(forta.com)

  3 pointsby rmason85 days ago0 commentsTrend history
• 19.

  Mixxx – Free and open source DJ software(mixxx.org)

  Repost2 prior posts2 pointsby atoav85 days ago0 commentsTrend history
• 20.

  Dead Software Walking: The ongoing evolution of relayd(8) and httpd(8)(rsadowski.de)

  5 pointsby snorbleck85 days ago0 commentsTrend history
• 21.

  The Nix sandbox is a hidden input(fzakaria.com)

  2 pointsby ingve85 days ago0 commentsTrend history
• 22.

  Talent Hoarding in Organizations(aeaweb.org)

  4 pointsby baxtr85 days ago0 commentsTrend history
• 23.

  Anatomy of a frontier-lab agent intrusion(huggingface-anatomy-of-frontier-lab-model-intrusion.static.hf.space)

  Repost2 prior posts1 pointsby gone3585 days ago0 commentsTrend history
• 24.

  The International Lunar Reference System(arxiv.org)

  2 pointsby StatsAreFun85 days ago0 commentsTrend history
• 25.

  Start at the end: learning full stack development with AI(geosona.com)

  1 pointsby gste85 days ago0 commentsTrend history
• 26.

  Nontransitive Dice (2020)(schlaff.com)

  4 pointsby gone3585 days ago0 commentsTrend history
• 27.

  The Go compiler is now a semantic code reviewer (and it's better than you)(blog.devgenius.io)

  4 pointsby cheikhdev85 days ago2 commentsTrend history
• 28.

  Show HN: I worked on a new browser for 2 years, today it passed Acid 3(code.intellios.ai)

  109 pointsby coolwulf85 days ago33 commentsTrend history
• 29.

  Boorch – Beautiful TUI Instruments(boorch.itch.io)

  2 pointsby tomduncalf85 days ago0 commentsTrend history
• 30.

  The Unimagined Good(michaelnielsenupdates.substack.com)

  2 pointsby exolymph85 days ago0 commentsTrend history

Operational status: system stale