comonoid·vor 26 Tagen·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·vor 2 Monaten·discussEnglish is not my native language, but I believe "attributed" does imply unverifiability. Otherwise other word is used.
comonoid·vor 2 Monaten·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·vor 2 Monaten·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·vor 2 Monaten·discussI wonder when my manager "prompts" me "I want the feature X and I want it fast", is his prompt a human creativity?
comonoid·vor 5 Monaten·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·vor 5 Monaten·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·vor 6 Monaten·discussSwitching gas providers is more difficult than switching from Zoom to Google Meet or other alternative.
comonoid·vor 6 Monaten·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.