• 2Bend – A high-level language running on GPUs (xcancel.com)
  by MrBuddyCasino 11 hours ago | discuss
• 6How 'America First' Stance Could Shut U.S. Scientists Out (propublica.org)
  by Jimmc414 11 hours ago | discuss
• 2CircuitProver: Agentic Lean 4 Theorem Proving for Hardware Verification (arxiv.org)
  by Jimmc414 12 hours ago | discuss
• 2Surveillance and Your Soul, or Why Privacy Is Essential (unsigned.io)
  by Cider9986 12 hours ago | discuss
• 3We're 15-year-olds tired of switching study apps, so we built our own (reviscio.com)
  by Luka_Takki 12 hours ago | 3 comments
• 3If you don't want Apple reject your app, protect yourself (apprejectkit.com)
  by jonvolio 12 hours ago | discuss
• 2The Social Construct of Privacy (medium.com)
  by vednig 12 hours ago | discuss
• 1Radar – Your Messages. Your Bitcoin. Together, at Last (radar.chat)
  by Cider9986 12 hours ago | discuss
• 1New Free Marketing vs. Advertising Digital Download (laptopformulas.com)
  by leosotx247 12 hours ago | discuss
• 4Nvidia in Talks with OpenAI to Guarantee $250B Financing for Data Center (wsj.com)
  by johnbarron 12 hours ago | 2 comments
• 3Atomic Clocks (nist.gov)
  by teleforce 12 hours ago | discuss
• 27Unearthing my 1996 windowed OS in machine code for Am29000 homebrew computer (nanochess.org)
  by nanochess 12 hours ago | 2 comments
• 9VC-backed startups commit more fraud, and researchers think they know why (techcrunch.com)
  by rndsignals 12 hours ago | discuss
• 2MSI Pro B850-P WiFi Dasharo v0.9.0 Released (blog.3mdeb.com)
  by Jhsto 12 hours ago | discuss
• 1Show HN: Resume Tailor – Optimise Resume, Land More Offers (tailor.resume.academy)
  by vednig 12 hours ago | 1 comments
• 4Did 75,000 Students Cheat on a College-Entrance Exam in Mexico? (nytimes.com)
  by timetraveller26 12 hours ago | 1 comments
• 2Extensive Collection of Prototypes, Publications, Schematics Donated to Archives (moogfoundation.org)
  by glitcher 12 hours ago | discuss
• 8The Obligatory AI Post (lapcatsoftware.com)
  by frizlab 12 hours ago | discuss
• 1IndieMath – Crowdfunded automated proving for open CS/math problems (indiemath.ai)
  by nsomani 12 hours ago | discuss
• 3AI in the Classroom, Part 3: Where It Earns Its Place (forta.com)
  by rmason 12 hours ago | discuss
• 2Mixxx – Free and open source DJ software (mixxx.org)
  by atoav 12 hours ago | discuss
• 6Dead Software Walking: The ongoing evolution of relayd(8) and httpd(8) (rsadowski.de)
  by snorbleck 12 hours ago | discuss
• 2The Nix sandbox is a hidden input (fzakaria.com)
  by ingve 12 hours ago | discuss
• 4Talent Hoarding in Organizations (aeaweb.org)
  by baxtr 12 hours ago | discuss
• 1Anatomy of a frontier-lab agent intrusion (huggingface-anatomy-of-frontier-lab-model-intrusion.static.hf.space)
  by gone35 12 hours ago | discuss
• 2The International Lunar Reference System (arxiv.org)
  by StatsAreFun 12 hours ago | discuss
• 1Start at the end: learning full stack development with AI (geosona.com)
  by gste 12 hours ago | discuss
• 4Nontransitive Dice (2020) (schlaff.com)
  by gone35 12 hours ago | discuss
• 4The Go compiler is now a semantic code reviewer (and it's better than you) (blog.devgenius.io)
  by cheikhdev 12 hours ago | 2 comments
• 121Show HN: I worked on a new browser for 2 years, today it passed Acid 3 (code.intellios.ai)
  by coolwulf 12 hours ago | 34 comments