EUNO.NEWS EUNO.NEWS
  • All (6596) +104
  • AI (1140) +10
  • DevOps (328) +2
  • Software (3293) +75
  • IT (1816) +17
  • Education (19)
  • Notice
  • All (6596) +104
    • AI (1140) +10
    • DevOps (328) +2
    • Software (3293) +75
    • IT (1816) +17
    • Education (19)
  • Notice
  • All (6596) +104
  • AI (1140) +10
  • DevOps (328) +2
  • Software (3293) +75
  • IT (1816) +17
  • Education (19)
  • Notice
Sources Tags Search
한국어 English 中文
  • 3 days 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 © 2025