@eruwero@ieji.de @mcrocker@indieweb.social Mercury is actually perhaps the closest to Nix in many ways, although it can do Prolog-like things. But mostly it is used in a declarative style similar to Nix. But it is eager evaluated and prefers tail recursion, so in that is like Scheme.
Anyway, it requires compilation so would be a terrible choice. :)
@eruwero@ieji.de @mcrocker@indieweb.social Guix is one of the two HURD distros I know of BTW. The other is Debian, which I have in a very old VirtualBox I haven’t tried starting up lately.
I wish we had HURD instead of Linux, but Linux took the steam out of it. The BSDs would have, anyway, if Linux hadn’t done so. GNU would have de facto adopted a copylefted BSD kernel variant, no doubt.
@eruwero@ieji.de @mcrocker@indieweb.social I know about Guix and am quite familiar with Guile, at least version 2.0. The main problem is I stopped liking Guile at version 2.2. :) I stopped trusting libguile to do what I expected.
Also I am a 7th Revision fan. Guile makes claims of having R⁷RS support, but Guile has no actual R⁷RS support.
So the deal is I have no great preference for Guile over Nix! But I would take either over Common Lisp or Prolog. :) (I am fond of Mercury, but can't stand Prolog.)
@eruwero@ieji.de @mcrocker@indieweb.social Mercury is actually perhaps the closest to Nix in many ways, although it can do Prolog-like things. But mostly it is used in a declarative style similar to Nix. But it is eager evaluated and prefers tail recursion, so in that is like Scheme.
Anyway, it requires compilation so would be a terrible choice. :)
I just thought of
(a) Installing a cron on my NixOS systems.
(b) Setting up cron.monthly, cron.daily, etc., or even cron.15th-of-each-month and so forth.
(c) Timing events by putting scripts in these directories.
(d) Doing all this with the NixOS configuration.
Why?
BECAUSE SYSTEMD IS EVIL!!!!!!!
Systemd is what you get when people are working on this who have never in their lives used Unix, and those who have and care much contribute to BSDs instead.
#NixOS #systemd #linux #POSIX #Unix
If you haven't muted me yet, here's a debunking of John Bell's "Heart attacks in Lille and Lyon".
Bell tells us the same logic applies to heart attack rates in Lille and Lyon as does to EPR-B, so he can ignore the rules of probability theory. Because, he says, neither city's causal influences can AFFECT the other's.
Note we are writing PROBABILITY THEORY. What can AFFECT does not matter—it is what is CORRELATED that matters!
So a counterexample is trivial to make...
#physics #science
I am struck again by the unwillingness of people who believe in "entanglement" and "non-locality" to actually PERFORM A TEST that I suggest. They merely want to debate. They simply WILL NOT run an experiment, nor will they go through Bell's logic with some other problem that proves Bell had no idea what he was doing.
THEY ARE NOT SCIENTISTS.
Scientists are people eager to perform tests! These people not only do not show eagerness, they resist, resist, resist.
#Science #physics
How to write a program that experimentally debunks "entanglement"
This is easy. You simply write a computer program that does what the Aspect experiment does. The hard part is calculating the probabilities by quantum mechanics, to see that QM predicted the outcomes and not some magically different result.
There is a way around having to do this (using detections to estimate a value of the correlation, -cos 2(a-b)), but it would complicate the program.
Here is how to...
#physics #Science
A summary of the experimental proof that the 2022 Nobel Prize in Physics is a load of garbage
The content warning has probably already driven off a lot of potential readers. That shows you how bad the situation is. You would think actual scientists would be curious to know if such experimental proof existed, but instead many assume anyone going against authority is a crank spouting nonsense.
My actual computer codes are in my GitHub. Also
https://pypi.org/project/Quantum-Correlations-Visualized
#physics #quantumPhysics
Barry Schwartz 🫖