Article URL: https://pron.github.io/posts/correctness-and-complexity
Comments URL: https://news.ycombinator.com/item?id=50465352
Points: 14
# Comments: 1
Open Source
Why Writing Correct Software Is Hard
Hacker News0 views
Source：https://pron.github.io/posts/correctness-and-complexity
PreviousDaily briefing: Should old, bad science be culled from the literature?NextReal words or invented words. Pick the tradeoff on purpose
Related posts
Getting Traffic From aocr.org? It Could Be a ByteDance Crawler
0HackerNoon
How to Write Professional Git Commit Messages: 4 Essential Rules
0HackerNoon
Holiday Extras is rethinking what it can build with Codex
0OpenAI Blog
Wild Shift Devlog #2: It's always the semicolon
0dev.to GitHub
How I Built an Engineering Health Score (0–100) to Filter Noise on GitHub Trending
0dev.to GitHub
PHP json_encode(): one bad UTF-8 byte, an empty POST body
0dev.to PHP