Rust indeed has good features I enjoy having them. But the joy I can have in Lisp, I cannot have in other traditional(or ordinary?) languages. I've developed an ML backend with Rust over 3 years to learn that for algorithm research and testing, Lisp ecosystem is much better than Rust. But I haven't done the research yet to see if there is a Lisp other than CL which is performant enough. Because CL is quite obscure and has self contradicting features, thus not mature.
farooqkz
joined 10 months ago
IRC is the best (jk)
I don't have to prove anything to anyone. Nor I've got the time for this. It's up to you to do your research. I have done mine and shared the results. You can take it or leave it.
And BTW, I edited the post. JMA servers are strictly family friendly. So you can join with your kids. Actually, there are few father-daugher or father-son who play together. I think there were also husband-wife couples but dunno if they still are around.
Me little cousins call all these games "Minecrafts" and then call Luanti "A minecraft". Like "I have installed a good minecraft" xD
You have a valid point. I think currently there are assists which we know an LLM definitely can do for us. Like mechanical tasks. And tasks which we know LLM can never do. In between there is a gray area. I think we will learn about the gray area over time.
Also I would like automatic generation of programs. But I don't think an LLM is the last stop for it. I personally research in the field of Genetic Programming. I strongly believe in future we could have tools which generate or optimize programs when guided by a human. Currently we have Evolutionary Art and Music which do the same. Tho they are far from being actually usable, this is the same with every technology in the beginning.
Also see this talk: https://cr.yp.to/talks/2015.04.16/slides-djb-20150416-a4.pdf
I didn't mean humans can solve ALL undecidable problems. As I have written in me reply to wicked, a programmer usually writes loops and the turing machine cannot decide their halting, for a vast majority of them.
Hey. The number of problems which can are decidable are infinite as are those which are not. But as soon as there is a backward jump in your code, a Turing machine most likely won't be able to decide if it'll halt or not. The while(true) is an exception. In the real world we have a great number of programs whose loops cannot be decided by a Turing machine. But the programmer who has written the code knows when the loop will terminate.
If we see the machine code, if there is a conditional backward jump(unlike while(true) which is unconditional), in the general case it's undecidable.
Codeberg now fits well for me static blogs, me personal projects and also Luanti CTF game I posted earlier in the community.
The link is now 404
I realized there is also LibreHardware community. I wonder why there is no post there. This fits right in LibreHardware.
Have you guys got a list of Linux phones. Either pre-installed or DIY. If you want to install Linux on most Android phones, you have to spend 3-5 years mainlining it and then the hardware is outdated. And phone is not produced anymore...