Code Correctness Debates

Discussions focus on verifying whether code logic, conditions, or properties hold true across all cases, with arguments over counterexamples, edge cases, tests, heuristics, preconditions, and common errors like missing negations.

➡️ Stable 0.5x Programming Languages
4,078
Comments
20
Years Active
5
Top Authors
#6635
Topic ID

Activity Over Time

2007
6
2008
21
2009
38
2010
62
2011
93
2012
111
2013
174
2014
166
2015
164
2016
225
2017
207
2018
214
2019
290
2020
298
2021
374
2022
398
2023
442
2024
356
2025
415
2026
26

Keywords

API github.com i.e rows error variables capture missing errors checking enums enum elf

Sample Comments

zelias Mar 20, 2017 View on HN

Probably because that kind of statement doesn't pass all the tests

No, they don't do that check, that is the problem.

triyambakam Nov 25, 2025 View on HN

I didn't say it must be always correct

carlosjobim Jan 9, 2024 View on HN

It's not an error, it's deliberate.

iknowstuff Aug 5, 2023 View on HN

bottom line is: this doesn't happen. Feel free to study why not.

dang May 16, 2020 View on HN

This one violates the 'if not' though.

progmal1 Oct 9, 2015 View on HN

Shouldn't there be a measure of error to decide that it is not any of of them?

zahlman Sep 20, 2025 View on HN

It's not being ignored. It's being judged to be incorrect.

Markoff Jun 30, 2020 View on HN

C is the correct question to see, if this actually works

MattSteelblade May 13, 2025 View on HN

This doesn't pass the sniff test. Please, show me the napkin math where this remotely adds up.