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.