nitter
Felipe O. Carvalho
@_Felipe
Sep 23
You have to read the formal spec to not have to read the code.
Sep 23, 2026 · 10:44 PM UTC
2
1
34
1,165
Felipe O. Carvalho
@_Felipe
Sep 23
This is good news because reading the specs is much easier than writing them or the refined implementation.
7
248
Sort replies:
Relevant
Recent
Liked
Ed Minnix
@egregius313
Sep 24
Replying to
@_Felipe
Well, and have a decent confidence that the code complies with the spec I was hoping the agentic age would make property based testing parse-don’t-validate easier/more popular, but it seems like all of that is taking a very long time to mature
1
3
38
Load more