mzan @mzan@qoto.org

@freemo

They told me that Canada has a lot less murders by gun respect USA, because they have also more controls on the license.

Excerpt from this link:

https://edition.cnn.com/2021/07/06/americas/canada-deadly-gun-violence/index.html

> For a decade, there were about five murders per year in Canada with three or more victims, according to the country’s national statistics agency.

> For one, Canadian law requires citizens to undergo robust background checks and mandatory training before obtaining a gun license.

> Reasons for license denials or revocations have included mental health concerns, potentially being a threat to oneself or others, court orders, and lying on license applications.

Is this article wrong? Apparently the only logical conclusion is that the Canada way is better than the USA way. Were am I wrong?

@VoxDei @ihavenopeopleskills

@freemo I have no time to read all the toots, but IMHO, for certain themes like guns, illegal drugs, alcoholics, prostitution, etc... one should compare the effects of different rules in different nations, for deciding the best approach.

For example if gun regulamentation is effective in reducing a lot the crimes, then it can be a good thing, despite there can be cases of person affected in negative by this limitation.

If buying drugs in a regular way reduce the profit of criminal cartels and the health impact on society, why not?

etc...

Summing up: a nation should do the contrary of USA: public health-care system; legal drugs; prohibition of guns. 🙂

@VoxDei @ihavenopeopleskills

@antares
Theoretically, we can improve current democratic process, laws, etc... instead of making a revolution. For example, a separation between speculative/financial banks and economic/commercial banks will reduce a lot the power of finance.

In practice, we live inside a soft-power oligarchy, so also if it seems feasible, there will be always something preventing these type of changes.

@freemo @icedquinn

sorry if I misgendered your MIME-type and I didn't used You/Url as your preferred pronouns :-)

@freemo @icedquinn

> I think you accidentally broke @icedquinn tag with that reply.

sorry. If the qoto assembly will decide so, I will eat the hemlock. Except, qoto is a tiranny, then I will follow @freemo decision 🙂

@icedquinn

also in antique Greece, they noted that often the majority vote was not representing the free thinking of the assembly, but it was heavily influenced from the oratory art of the best speaker. In a similar way, now days, information is heavily controlled and manipulated. Worse: we have no permanent assemblies, but we vote only every few years.

We should have a better organized democracy, and informative system, using more the technology we have. But there is no will to do this.

And as you noted, if the institution that had to apply a process, are not fair, then a citizen can be "legally" oppressed.

@blob.cat @freemo

@freemo in other words, in Greece, democracy was like a Tirrany, but instead of giving all the power to a single man, or to a restrict number of people (oligarchia), they gave all the power to the vote of the majority.

Other fun fact: in many places, the king was not considered a tyrant, but a man that had to "serve" his people and partially subject to law and obliged to be fair. They considered "democracy" too much inefficient, and they trusted more a restricted number of people for taking decisions, protecting the kingdom, and maintaining order.

Often we see history like a fable, but there are many subtle variations.

@freemo fun fact: in ancient Greece, democracy was all about the "power" (i.e. 'crazia') to the citzens (i.e. 'demos'), through a majority vote during an assembly, after a free discussion. There were no clear concepts of individual rights and respect of the minority, like in modern democracies. There were no supreme constitutional rights: if the majority vote decides something, this will be effective.

The assembly was used for direct government, and also for judging people in trials. For example Socrate was condemned from a jury of 500 or more citizens. They did not applied codified laws, but they decided that what he was doing was a danger for the values of the community, because the majority of the assembly decided so.

@ramin_hal9001

Summing up, my impression is that ECL and CLASP are better than SBCL when you want to use CL for "orchestrating" the calling of C or C++ libraries, because the overhead is nearly zero.

The business logic will be in Common Lisp, and thanks to macro you can reduce the boilerplate, also creating DSL. But all the hard algorithms will be in C/C++.

Instead, if you had to write an hard algorithm in Common Lisp, SBCL is faster.

@rwxrwxrwx

@ramin_hal9001

I never used seriously ECL and CLASP, but only started some session and read some documentation.

IRRC: ECL and CLASP are in worst case condition also 20x times slower than SBCL on some pure Common Lisp code; ECL functions can be called directly from C, because the ECL run-time is very C-friendly and with minimal or non-existent overhead; CLASP is doing the same but with C++, thanks to its integration with the LLVM compiler; interaction between SBCL and C code has always some overhead because the two run-times are very different; I don't know if this overhead of SBCL can be reduced if you interact mainly with vectors of fixed-size integers and similar data-structures, but if you have an API with a lot of calls, you had to pay a price.

BTW, it's impressive starting an ECL or CLASP environment, with all access to C/C++ code, but having a friendly REPL. Python is slower and it does not give this interactivity.

@emacs.ch @rwxrwxrwx

@timorl

> you might want to be aware that the Depp situation is far from clear cut – he lost the cases in the UK and won the case in the US.

I followed the Deep case and it is completely clear that he is the victim. The UK judgment stated that 2 + 2 = 5.

@bonifartius @freemo

@freemo I didn't figure out that qoto.org stays for cute.organizer 😃

@galdor I never used it, and I don't know how much it fits in this discussion, but today I found this https://www.cs.utexas.edu/users/moore/acl2/

"ACL2 is an interactive system in which you can model digital artifacts and guide the system to mathematical proofs about the behavior of those models. It has been used at such places as AMD, Centaur, IBM, and Rockwell Collins to verify interesting properties of commercial designs. It has been used to verify properties of models of microprocessors, microcode, the Sun Java Virtual Machine, operating system kernels, other verifiers, and interesting algorithms."

@galdor maybe the situation is less worse: you can write a perfectly accurate code analyzer, but not for all possible #CommonLisp source codes, but only for a subset of them. Maybe, this subset is useful enough. Usually in the final images, all the macro are already expanded, so the analysis can be feasible.

@freemo I saw your selfie, and it seems to me that you don't need a diet!? https://qoto.org/@freemo/101287281032066213

@anandmallaya neither of the two: it is "body-swap", and it will reduce "gender transition" in favor of "gender bartering" 🙂

@yisraeldov
I don't know, but deduplication is based on the recognition of similar blocks of data. So a defrag should not affect the deduplication, because you are defraging blocks, not "files".

I never used defrag on BTRFS, but I used a lot this:

let # BTRFS maintanance.
# Add to ``systemd..services`` settings.
balanceBtrfs = fs: when: {
description = "Fast and incremental balance of btrfs file-system ${fs}";
startAt = when;
serviceConfig = {
Type = "oneshot";
ExecStart = "${pkgs.btrfs-progs}/bin/btrfs balance start -dusage=50 -dlimit=2 -musage=50 -mlimit=4 ${fs}";
};
};

...

in ...

# Btrfs maintanance
# Without this, the free space is not reclaimed after many deletions.
systemd.services.balanceBtrfsRoot = (balanceBtrfs "/" "daily");
systemd.services.balanceBtrfsHDD1 = (balanceBtrfs "/mnt/hdd-int-1/" "daily");

services.fstrim.enable = true;
services.fstrim.interval = "weekly";

@scott

@yisraeldov
I used it on a zstd compressed filesystem and the results were above my expectations.

After installation, it had to read the entire disk, and it is slow. But the incremental update phase is unnoticeable.

@scott

@scott yes, I confirm. I use something like this

services.beesd.filesystems = {
root = {
spec = "LABEL=nixos";
hashTableSizeMB = 512;
verbosity = "crit";
extraOptions = [ "--loadavg-target" "2.0" ];
};
};

and it saves a lot of space, without affecting CPU and RAM performances because it is a fast, incremental, off-line deduplication.

@yisraeldov