raoof
Show HN: Practical programming using only composition
Re:Show HN: You can program without loop and recursion and×÷- is all y...
on Monday July 22, 2024 @12:00PM (#41035928)
FRACTRAN has a goto instruction so it is not a total model of computation but my claim is that Ar is a total model of computation
Re:Show HN: You can program without loop and recursion and×÷- is all y...
on Wednesday July 17, 2024 @03:06PM (#40989230)
the only approach to practical programming with Ar is to have external dependencies on hard to compute functions until I implement them :)
Re:Show HN: You can program without loop and recursion and×÷- is all y...
on Tuesday July 16, 2024 @01:00PM (#40978239)
in my model it's the platform job to handle the user input and your program output you just write your function and the platform calls your program for example f(time,input_data,key_a,key_b,key_c,...) . if you are very very patient and don't care about the program length you can just compute every output of your program for every possible input. according to [this](https://web.archive.org/web/20230505022436/http://page.mi.fu...) paper a single loop and four basic arithmetic operation is enough to simulate a turing machine so my idea was that to unroll the loop and my conjecture is that we don't need the loop and only four operations is enough to compute all total computable functions
Re:Show HN: You can program without loop and recursion and×÷- is all y...
on Tuesday July 16, 2024 @12:41PM (#40978106)
it takes a lot of time and patient to come up with a function that works for all n and also have a short length, let me try if I can solve this problem it may takes a few hours or days or maybe months I'll post the solution here so stay tuned. but if you want to make your life easier you can generate the function in a meta language so you can always be sure that your software does not have a halting problem
Re:Show HN: You can program without loop and recursion and×÷- is all y...
on Tuesday July 16, 2024 @07:40AM (#40975598)
(now I can reply here, let me repeat it again)
it depend how you want to display the result to the user, you can just compute a number that represent an html page showing the numbers from 1 to n
Re:Show HN: You can program without loop and recursion and×÷- is all y...
on Tuesday July 16, 2024 @07:19AM (#40975472)
(it seems like I can't reply to your last comment so I do it here)
it depend how you want to display the result to the user, you can just compute a number that represent an html page showing the numbers from 1 to n
Re:Show HN: You can program without loop and recursion and×÷- is all y...
on Tuesday July 16, 2024 @06:58AM (#40975341)
the language is obviously (at least to me) turing-complete in the limit of the program length. even if you don't buy my argument that it is also turing-complete without the limit notice that in ordinary programming you never need a function that is valid on all input because actual computers have time and memory limitation
Re:Show HN: You can program without loop and recursion and×÷- is all y...
on Tuesday July 16, 2024 @06:29AM (#40975181)
if you don't want to melt your brain :D you just precompute the value of any functions f(x) for x<n otherwise you need to be very clever I explained my idea in the link
Show HN: You can program without loop and recursion and×÷- is all you need
Re:Daniel Dennett (1942-2024)
on Friday April 19, 2024 @01:49PM (#40089884)
consciousness is like a joke, if you think it needs an explanation you already miss it.
I struggled with myself to convince Dennett that his conscious so much that I ended up losing it myself I hope you don't make the same mistake that I did
Uniqueness Violations
Re:Critique of the mind/body problem: it's not solvable
on Saturday February 04, 2023 @05:46AM (#34653440)
consciousness is equivalent to the halting function h(p,n) where p is a physical process and n is time, we know how to turn a physical process into a virtual process but we don't know how to turn consciousness itself into a virtual process
Re:Are Real Numbers Real? (2017)
on Monday October 24, 2022 @11:40PM (#33325907)
I can see that you can symbolically talk about the power set of (0,1) and say it's cardinality is bigger than the set itself (although I haven't studied sets and cardinalities deeply enough) but I can't see what Real numbers offers against the computable Universe hypothesis
Re:Are Real Numbers Real? (2017)
on Monday October 24, 2022 @09:07PM (#33324870)
the proofs that I've read shows that the list of infinite binary strings between [0,1] are uncountable because the invert of the diagonal of the list is not on the list, do you know any proof that does not refer to the invert of the diagonal?
Re:Are Real Numbers Real? (2017)
on Monday October 24, 2022 @02:37PM (#33320571)
you can't prove something just by assuming it that would be trivial, if we can build or convince ourselves how to build a wormhole or a time machine then we can believe in Real numbers
Re:Are Real Numbers Real? (2017)
on Monday October 24, 2022 @01:56PM (#33320046)
if you put 1 out then there is no reason to believe it is uncountable because you can sort the list such that the diagonal is all 0s (if you know an argument that shows [0,1) is uncountable I'd be happy to know)
Re:Are Real Numbers Real? (2017)
on Monday October 24, 2022 @01:43PM (#33319854)
if Reality!=0.111... :
the Universe is computable ( the list of infinite binary strings between [0,1) is countable )
the Universe is non-computable ( the list of infinite binary strings between [0,1] is uncountable )
Tell HN: Programmers do not use a bug free program to debug programs
try to debug the following program:def hasbug(p): return debug(p) == pI know that hasbug has bug meaning hasbug(hasbug) == Truetherefore I do not use a bug free program to debug programslet me know if you find this interesting
Re:Ask HN: Can you give me something interesting or useful to work on?
on Friday July 08, 2022 @03:22AM (#32023855)
thank you for the recommendation
Re:Ask HN: Can you give me something interesting or useful to work on?
on Thursday July 07, 2022 @02:22PM (#32017509)
that would get way too much time to reach an acceptable state for one person and creating your own game engine is much better
Re:Ask HN: Can you give me something interesting or useful to work on?
on Thursday July 07, 2022 @02:08PM (#32017347)
interesting in any sense
Re:Ask HN: Can you give me something interesting or useful to work on?
on Thursday July 07, 2022 @10:40AM (#32014707)
thanks for the idea but not that interesting beside I don't have access to RPi
Ask HN: Can you give me something interesting or useful to work on?
hiI'm desperate to do something interesting or usefulit shouldn't be too easy because you can google itit shouldn't take too long because I easily get boredif I need toI can read any documentation or paperI can debug or program in any programming languageI can learn inkscape or krita or blender or godot or Unityany idea is welcomethanks
Show HN: Lang: run .c .cpp .py .cljs .ts and more directly in Chrome offline
How to Build a Hypercomputer
Re:The Mind’s Body Problem
on Tuesday November 16, 2021 @12:14AM (#29237120)
didn't read the whole article but I have to say that having a non-mechanical process in the ontology of the Universe does not mean nonsense, it's not obvious that AI is not possible but also it's not obvious that we are just a body so why should we believe in a meaningless and boring universe rather than a meaningful and wonderful one and also if it turns out that there is no room for a non-mechanical process in the Universe then we can believe that consciousness is equivalent to existence meaning if the Universe seems meaningful and wonderful then it is really meaningful and wonderful no matter how much you try to explain the meaning and wonder away.
Turing mind: Turing machine as a mathematical model of a mind instead of a body
I always thought of a turing machine as a model of a body and it always makes me depressed to think of myself as just a bodybut recently I come up with this idea to think of a turing machine as a model of a mind, I still not convinced that I am not just a body because I've seen many bodies doing extra ordinary things but my mind is very boring and it can't do anything interestingbut a Turing...
Re:Turing sentence: This program does not halt
on Saturday October 02, 2021 @08:50AM (#28728186)
I hope it's okay to post to my own article.