It is so easy to be part of a ‘club’, but to actually CARE about ‘science’ is to really want to know about the world. Too many people, I suspect, want to be part of the club, so they can (for instance) to BEAT UP ON THE RELIGIOUS FOR NO REASON, and actually do not care very much to know how the world operates.
I should repeat the two proofs. They are straightforward...
One is a proof by the content-agnosticism of mathematics.
Take ANY word problem in ‘quantum’ physics. Once written down, it is no longer physics as such, but mathematics. This is simply a fact and cannot be disputed unless you believe in word magic.
But mathematics is itself without content. This word problem has infinite exact logical equivalents in other problem domains. The Aspect experiment, for example, is easily converted to a (contrived, but so what?) messenger relay problem! ...
My two proofs that "quantum" stuff is fake, and that all the problems of "quantum" physics are actually ordinary physics problems, are unimpeachable.
That is exactly why they have the potential for a harsh response from anyone who has much invested in "quantum" stuff being real.
But I must say what really disappoints me is people who say they are "fans of science" but then go "that's out of my league" rather than even bother to try to understand those two proofs.
I ask: DO YOU ACTUALLY CARE?
It is so easy to be part of a ‘club’, but to actually CARE about ‘science’ is to really want to know about the world. Too many people, I suspect, want to be part of the club, so they can (for instance) to BEAT UP ON THE RELIGIOUS FOR NO REASON, and actually do not care very much to know how the world operates.
I should repeat the two proofs. They are straightforward...
My two proofs that "quantum" stuff is fake, and that all the problems of "quantum" physics are actually ordinary physics problems, are unimpeachable.
That is exactly why they have the potential for a harsh response from anyone who has much invested in "quantum" stuff being real.
But I must say what really disappoints me is people who say they are "fans of science" but then go "that's out of my league" rather than even bother to try to understand those two proofs.
I ask: DO YOU ACTUALLY CARE?
@eruwero@ieji.de I am not upset with NixOS BTW. Despite that Nix is not a Lisp, the difference is that Nix has a more complex syntax (which makes a Lisp-like macro system impractical--but check out the mixins in D: https://dlang.org/articles/mixin.html -- D is the only C derivative I kind of like).
I was able to set up an OpenVPN server with very little configuration.
I did a LOT of screaming at the screen along the way, but it was because there was so little documentation. I had to randomly find the best way.
@eruwero@ieji.de Basically all I had to do was tell it to use nftables instead of iptables, and tell NixOS to do NAT for me.
I had been struggling with trying to get iptables and systemd (yuck! why can’t I just use ip route?) to do NAT and probably NixOS was trying to stop me from succeeding. :)
I have this server running on a mini PC with fast Ethernet that I got just for the purpose. Now I do not have to use the garbagy OpenVPN server that is in my Netgear router.
@eruwero@ieji.de SBCL supposedly supports all the optimizations. I haven’t really tested it. It is the go-to if you have a powerful enough system. But I noticed Maxima for Termux (a distro for Android phones) is built with ECL. Which makes a kind of sense, because ECL is meant for embedded systems--though I think that’s supposed to be for the separate compilation aspect of ECL, not for how one uses it to compile Maxima.
@eruwero@ieji.de I am not upset with NixOS BTW. Despite that Nix is not a Lisp, the difference is that Nix has a more complex syntax (which makes a Lisp-like macro system impractical--but check out the mixins in D: https://dlang.org/articles/mixin.html -- D is the only C derivative I kind of like).
I was able to set up an OpenVPN server with very little configuration.
I did a LOT of screaming at the screen along the way, but it was because there was so little documentation. I had to randomly find the best way.
@eruwero@ieji.de (But I do not like Chez, because it is R⁶RS rather than R⁷RS. In fact, R⁶RS is basically an attempt to make everybody be Chez Scheme. :) )
@eruwero@ieji.de SBCL supposedly supports all the optimizations. I haven’t really tested it. It is the go-to if you have a powerful enough system. But I noticed Maxima for Termux (a distro for Android phones) is built with ECL. Which makes a kind of sense, because ECL is meant for embedded systems--though I think that’s supposed to be for the separate compilation aspect of ECL, not for how one uses it to compile Maxima.
@eruwero@ieji.de Even Schemes for the Java VM do not do proper tail calls, at least unless you use an option. The same is true of one other that compiles to C but whose name I do not remember. But some will refuse to call such an implementation ‘Scheme’. Most implementations do handle tail calls correctly.
This applies even to call-with-current-continuation. Sometimes this is very inefficient. In Guile it is very inefficient, but works. In CHICKEN or Chez Scheme it is efficient. (And Chez is FAST.)
@eruwero@ieji.de (But I do not like Chez, because it is R⁶RS rather than R⁷RS. In fact, R⁶RS is basically an attempt to make everybody be Chez Scheme. :) )
@eruwero@ieji.de @mcrocker@indieweb.social Nix looks worse than it is. It is one of those languages, like JSON or Python, that for no good reason is not a LISP.
(Indeed, SXML exists to turn XML into a Lisp and there is a Lisp for the C-Python backend! Though Python is still IMO a very bad abuse of OO.)
If Nix WERE a Lisp, then it could easily have a good macro system. THAT is why I wish it were a Lisp!
The same thing goes for MLs and ATSes, though I have to admit they have nice syntaxes. (I have written much ATS2.)
@eruwero@ieji.de @mcrocker@indieweb.social OT: my most interesting contribution to Rosetta Code, I think, is my evolutionary algorithm in m4.
It runs only in GNU m4 and is thus proof that GNU m4 is the best m4. OpenBSD m4 makes a decent try, though.
@eruwero@ieji.de @mcrocker@indieweb.social I cannot stand not having proper tail calls! That is why I do not like programming in Common Lisp.
I have written many examples for Rosetta Code (none since I caught COVID early in 2024, though). Often I added Common Lisp. That is most of my experience. Because CL does not guarantee any good behavior on tail calls, I generally use loops. And say BLECHHHHHH!!!!
Whereas in Scheme I program as if I had GOTO. LOL. Except it is proper tail calls, of course.
@eruwero@ieji.de @mcrocker@indieweb.social Nix looks worse than it is. It is one of those languages, like JSON or Python, that for no good reason is not a LISP.
(Indeed, SXML exists to turn XML into a Lisp and there is a Lisp for the C-Python backend! Though Python is still IMO a very bad abuse of OO.)
If Nix WERE a Lisp, then it could easily have a good macro system. THAT is why I wish it were a Lisp!
The same thing goes for MLs and ATSes, though I have to admit they have nice syntaxes. (I have written much ATS2.)
@eruwero@ieji.de @mcrocker@indieweb.social It doesn’t run, as far as anyone knows, except in virtual machines. :) You are definitely on your own if you try to install it in hardware. It is just basically just a very fancy toy.
Things that are done with FUSE in Linux are just natural in HURD. An ftp connection is just a file, for instance.
I think the same thing may be true in Plan 9 BTW. You can run that in a virtual machine, too.
The only filesystem in HURD is ext2 modified for unlimited file length. :)
@eruwero@ieji.de @mcrocker@indieweb.social That is because GNU design principles call for no artificial limitations such as filename length limitations. That is one of the things that went to heck when everyone settled on Linux. Linus Torvalds had no such design principle!
I am in favor of GNU’s design principle here. I prefer their C indentation format, too.
(Richard Stallman may be a much bigger jerk but Emacs is a better program than Linux, too. In fact I was using Emacs before there was a GNU Emacs.)
Barry Schwartz 🫖