prev 1 / 10 more

• 4
  ESBMC-Arduino: Closing the Deployment Gap for Formal Verification (arxiv.org)
  by Jimmc41452 minutes ago 0 comments
• 72
  Show HN: YouTube Guitar Tab Parser (github.com)
  by neogenix5 hours ago 15 comments
• 101
  Linux on the Sega 32X. Who needs hardware synchronization primitives anyway? (cakehonolulu.github.io)
  by cakehonolulu7 hours ago 6 comments
• 10
  Show HN: Sx 2.0 – Share AI skills with your team through a Dropbox folder (sleuth-io.github.io)
  by detkin2 hours ago 2 comments
• 20
  Show HN: Hackney – Compare Uber, Lyft, Waymo, and Robotaxi Prices (hackney.app)
  by griffinli11 hours ago 7 comments
• 1
  SalesPatriot (YC W25) Is Hiring Full Stack Engineers (SF) (jobs.ashbyhq.com)
  4 hours ago
• 49
  Show HN: Jacquard, a programming language for AI-written, human-reviewed code (github.com)
  by jbwinters9 hours ago 10 comments
• 34
  N+1 (woman-of-letters.com)
  by Caiero4 days ago 4 comments
• 57
  TFTP Honey Pot Results (bruceediger.com)
  by speckx6 hours ago 8 comments
• 253
  Telegram's t.me domain has been suspended (whois.com)
  by Tiberium5 hours ago 30 comments

prev 1 / 10 more