mzan @mzan@social.cleverlibre.org
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.
@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
> 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.
@freemo I didn't figure out that qoto.org stays for cute.organizer 😃
mzan
boosted
tips for being more #positive about your work!
❌ “I can’t fix this bug no matter what I try”
✔ “I am an avant-garde software artist”
❌ “my code won’t compile”
✔ “this is an abstract piece”
❌ “I never get around to implementing any of the features I want”
✔ “I consider myself a minimalist“
❌ “sorry I forget to document my code…”
✔ “my art is about the journey, not the destination”
❌ “I have never finished a project”
✔ “I prefer to leave the ending open to interpretation”
❌ “sorry, this software is not compatible with ( )”
✔ “here I have chosen to make a political statement against ( )”
❌ “this memory leak causes the program to crash”
✔ “this program symbolizes the transience of mortality and reminds us all what is important in life”
@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";
@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 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.
This poll does not make sense. Fossil is the only rational choice for haters, because: case A) if you are an hater against the cancel culture, you had to vote for Fossil, because no commit can be cancelled from it; case B) if you are a woke who likes starting hating campaign, you need a RCS like Fossil were history cannot be rewritten, so you have the luxury to blame trunk for a bug fixed ten years ago;
@rml @surabax @amszmidt @screwtape @tychosoft@fosstodon.org @lispi314 @a13cui@emacs.ch
@rml ehm... "sadly" in the sense that Plan9 is not mainstream, not that Emacs is a real technology! 🙂
@rml The link is catching, and fun to read, but in the end one should compare Emacs against Plan9, for judging the real difference between the two paradigms.
Plan9 supports a real Unix-philosohpy, and in fact one can express complex workflows in it, with minimal effort. It is all composable.
But sadly, Emacs and Unix (Linux, FreeBSD and so on) are two real technologies, while Plan9 (and forks) are far from being mainstream.
her: "For living... I'm an hooker"
freemo: "What a coincidence: I'm an hacker!"
her: "Do you condemn this type of business?"
freemo: "What!? Every admin knows that starting with a shared service is cheaper because it requires less upfront costs, respect paying for a dedicated girlfriend, or worse, housing a wife. You are following a respectful business model."
her: "But, I mean... sometime I have customers asking for hardcore tasks, outside the initial agreement"
freemo: "Don't tell me!"
yes, I partially agree, but chess is a rather logical and systematic game, so I expect that there are more boys interested to it, respect girls, for the reasons explained in the documentary.
For being a top-level player, you had to study a lot of time, in a very focused way. Usually there are more men that women loving to do one single thing to a maniac and extreme level. In another documentary, they show that the mean man and woman have the same IQ, but, there are more dumb man, and more genius man respect dumb and genius women. The nature experiments more with men, respect women.
I'm not saying that women are less intelligent than men, or that there cannot be a women playing chess like a top 10 man player. I'm only saying that it is more likely a chess player is a male, and that the top 10 player is a man.
I don't know if this is enough for creating distinct sex categories in chess, but there is for sure a statistical measurable difference.
this documentary https://youtu.be/tiJVJ5QRRUE shows that there are differences between the mind of a male and a woman. So there can be a different attitude toward chess.
Only for "introducing an information". I have no clear answer about how to make distinctions in sports between different genders.
My anecdotal experience is: X is more stable/mature than Wayland; NixOS on the desktop is rather stable, but not always perfect; year after year NixOS stability is improving; the most stable distro I tried is OpenSUSE Leap; OpenSUSE Tumbleweed has occasionally problems, like NixOS; in NixOS and in SUSE it is easy to revert to past configurations, so problems can be reduced, but probably affecting security.
Up to date I'm using NixOS, because it is very easy to configure.
