libera/#lisp - IRC Chatlog
Search
10:51:18
lisbeths
if you had to work on an abstract programming project like mine I think you would eventually be forced to think in the same way
10:59:42
pjb
lisbeths: only if your machine is a universal turing machine, and only if your problem size grows to the infinity!
11:00:41
pjb
with actual finite machines, in actual finite universe, you better use O(n) over O(9999999999log(n))
11:04:42
lisbeths
3:59 AM <pjb> lisbeths: only if your machine is a universal turing machine, and only if your problem size grows to the infinity! -- as computers double in feature count each 2 years they approach infinity
11:05:52
pjb
If your problem can be held in the computer memory, and can be solved before you shut down the computer, then it's all O(1).
11:06:35
lisbeths
what about a server that is critical and must never shut down like the simulator that runs my skyrim game
11:08:28
pjb
Yes. Say otherwise, our computers are not turing machines, they're DFAs. Very big ones, but still.
11:09:30
pjb
Also, said otherwise, if you assume infinite stack or infinite memory in your programs, you have bugs (critical security bugs even!). You must take into account those finitude, and handle the errors.
11:10:06
lisbeths
you can choose to bound your algorithms in the lc but only if you know the size of the computer specs
11:21:34
lisbeths
the non monadic code on the puulc should run the same way on the pdp6 as they do on a computer today if there is enough memory
11:27:18
aap
what is PUULC? are you talking about my pdp-6 implementation of the binary lambda calculus?
12:35:47
lisbeths
I am very hardcore about puulc and I have some pretty powerful friends who are gonna investigate it for me
13:12:34
lisbeths
what seems to be the disagreement is how much ambiguity there is to the logical consequences of the lambda calculus
13:44:48
lisbeths
I have access to some powerful coders who shall plunder the knowledge of the lambda calculus for me
14:54:56
jackdaniel
I knew a firefighter, he had this looong ladder, so sometimes he was in a high place