prev 1 / 10 more

• 29
  Teaching Program Verification in Dafny at Amazon (2023) (dafny.org)
  by Jtsummers7 hours ago 2 comments
• 528
  How to post when no one is reading (jeetmehta.com)
  by j4mehta1 day ago 82 comments
• 7
  Magic Ink: Information Software and the Graphical Interface (worrydream.com)
  by blobcode2 days ago 0 comments
• 346
  Show HN: Onlook – Open-source, visual-first Cursor for designers (github.com)
  by hoakiet984 days ago 27 comments
• 150
  Japanese scientists develop artificial blood compatible with all blood types (tokyoweekender.com)
  by Geekette7 hours ago 14 comments
• 24
  Largest punk archive to find new home at MTSU's Center for Popular Music (mtsunews.com)
  by gnabgib6 hours ago 1 comments
• 26
  MonsterUI: Python library for building front end UIs quickly in FastHTML apps (answer.ai)
  by indigodaddy8 hours ago 5 comments
• 111
  ThorVG: Super Lightweight Vector Graphics Engine (thorvg.org)
  by elcritch18 hours ago 11 comments
• 84
  Younger generations less likely to have dementia, study suggests (theguardian.com)
  by robaato13 hours ago 8 comments
• 116
  Typing 118 WPM broke my brain in the right ways (balaji-amg.surge.sh)
  by b0a04gl9 hours ago 45 comments

prev 1 / 10 more