EUNO.NEWS EUNO.NEWS
  • All (22475) +206
  • AI (3359) +6
  • DevOps (1000) +4
  • Software (11789) +146
  • IT (6273) +49
  • Education (53)
  • Notice
  • All (22475) +206
    • AI (3359) +6
    • DevOps (1000) +4
    • Software (11789) +146
    • IT (6273) +49
    • Education (53)
  • Notice
  • All (22475) +206
  • AI (3359) +6
  • DevOps (1000) +4
  • Software (11789) +146
  • IT (6273) +49
  • Education (53)
  • Notice
Sources Tags Search
한국어 English 中文
  • 1 month ago · ai

    AI will make formal verification go mainstream

    Article URL: https://martin.kleppmann.com/2025/12/08/ai-formal-verification.html Comments URL: https://news.ycombinator.com/item?id=46294574 Points: 236 Comment...

    #formal verification #AI-assisted verification #software correctness #program analysis
  • 1 month ago · software

    The Coming Need for Formal Specification

    Article URL: https://benjamincongdon.me/blog/2025/12/12/The-Coming-Need-for-Formal-Specification/ Comments URL: https://news.ycombinator.com/item?id=46251667 Po...

    #formal specification #software engineering #program verification #static analysis #type safety #software correctness
EUNO.NEWS
RSS GitHub © 2026