Public
- Public
- Network
- Groups
- Featured
- Popular
- People

Conversation

Notices

Embed this notice
Aether ??? (aether@poa.st)'s status on Sunday, 07-Jan-2024 23:15:20 JST Aether ???

Can AI lead the way to bug-free software?

umass.edu/news/article/umass-amherst-researchers-bring-dream-bug-free-software-one-step-closer-reality

No. What are you, stupid or something?
In conversation about 11 months ago from poa.st permalink
Attachments
1. Domain not in remote thumbnail source whitelist: www.umass.edu
  
  UMass Amherst Researchers Bring Dream of Bug-Free Software One Step Closer to Reality | UMass Amherst
  
  The prize-winning method, called Baldur, automatically verifies software with nearly 66% efficacy.
- Embed this notice
  Bread up, Bro (sickburnbro@poa.st)'s status on Sunday, 07-Jan-2024 23:15:19 JST Bread up, Bro
  in reply to
  
  @Aether someone needs to read Godel Escher Bach
  
  In conversation about 11 months ago permalink
- Embed this notice
  Aether ??? (aether@poa.st)'s status on Monday, 08-Jan-2024 04:45:18 JST Aether ???
  in reply to
  - Bread up, Bro
  @sickburnbro Good read, can recommend
  
  In conversation about 11 months ago permalink
  
  Bread up, Bro likes this.

Feeds