[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/sci/ - Science & Math

Search:


View post   

>> No.14962051 [View]
File: 1.02 MB, 1000x1304, wallhaven-vg381m.jpg [View same] [iqdb] [saucenao] [google]
14962051

>>14961989
PHP is awful, but Python made bad decisions on purpose, like having significant whitespace. PHP is at least awful on accident and doesn't try to call bad design "PHPic".

>>14961997
>You can't prove an axiom with code.
Why not? In the Jech book it has something called Axiom of Existence which says that there exists an empty set. If I make a code implementation of Set, and I make an empty one, and a unit test shows it to be empty, then didn't I just prove the axiom by making the thing it says exists, actually exist and conform to the description?

Navigation
View posts[+24][+48][+96]