comonoid·27 วันที่ผ่านมา·discussThe book "Program = Proof" by Samuel Mimram starts with a formula which is true for all n belown = 15 341 178 777 673 149 429 167 740 440 969 249 338 310 889I don't think you can catch it with any test suite.
comonoid·2 เดือนที่ผ่านมา·discussEnglish is not my native language, but I believe "attributed" does imply unverifiability. Otherwise other word is used.
comonoid·2 เดือนที่ผ่านมา·discussFrom Reddit:> After being laid off, a programmer becomes a welder. One day while working, he suddenly muttered to himself, "It's been so long, I've even forgotten how to solve three sum". A coworker next to him quietly replied, "Two pointers".
comonoid·2 เดือนที่ผ่านมา·discuss"If you are not in prison yet, it is not your merit, but our failure." -- attributed to Felix Dzerzhinsky.Upd: are they able to use VPN when the Internet is in so-called "white-list mode" where only certain websites are available?
comonoid·2 เดือนที่ผ่านมา·discussI wonder when my manager "prompts" me "I want the feature X and I want it fast", is his prompt a human creativity?
comonoid·5 เดือนที่ผ่านมา·discussI've seen Mallorca from the Tibidabo mountain in Barcelona (the website states it is 194km). It required number of attempts for perfect atmosphere.This is an independent observation from the Fabra Observatory: https://english.elpais.com/elpais/2015/03/03/inenglish/14253...
comonoid·5 เดือนที่ผ่านมา·discussIt seems you haven't been to Moscow for the last 20 years. With all the oil money + cheap workforce it looks much better than EU capitals.It is rather Novosibirsk.
comonoid·6 เดือนที่ผ่านมา·discussSwitching gas providers is more difficult than switching from Zoom to Google Meet or other alternative.
comonoid·6 เดือนที่ผ่านมา·discussGod bless these horrible devices are not disposed in billions every day as bottles are!
n = 15 341 178 777 673 149 429 167 740 440 969 249 338 310 889
I don't think you can catch it with any test suite.