from the article...
"Imperative Readability
< snip >
How does the function execute its logic?
What are the specific steps taken by the code?
Which operations are performed in what sequence?
How are state changes managed and tracked
< snip >
Declarative Readability
On the other hand, declarative readability (or readability-d) uses abstractions and architectural layers to manage complexity. It seeks to answer very different types of questions:
What is the intent of this function or module?
What business rule or domain concept is this code encapsulating?
What is the end goal or output of this code, in terms of the domain?
What are the high-level policies or constraints that this code is adhering to?
... I've no interest in learning Scala or Closure, but damn that is an important differentiation...
IF by "security" one means bugs have been prevented from living in it, there is one coded in Haskell, it may be named XMonad or something...
( .. digging .. )
Yep:
https://en.m.wikipedia.org/wiki/Xmonad
from there:
"Due to the small number of lines of code of the Xmonad application, the use of the purely functional programming language Haskell, and recorded use of a rigorous testing procedure it is sometimes used as a baseline application in other research projects. This has included re-implementation of xmonad using the Coq proof assistant,[31] a determination xmonad is an imperative program,[32] and studies of package management relating to the NixOS linux distribution.[33]"
Dig: 2000-ish lines of code.
Hoomin, if you can, please read Daniel Kahneman's "Thinking Fast & Slow, and also Kegan & Lahey's "Immunity to Change".
Your Kahneman System-1 has decided some of your life for you, and your unconscious-mind is fighting-off-adapting, to protect inertia/deadness, and that costs.
You don't have to accommodate your unconscious-mind doing that: you can change the rules, but it means using the actual leverage of understanding to cause change...
Life happens. Shit happens. Some of us have been set-up to fail. Some of us have set ourselves up to fail.
The fools who pretend that Free Will doesn't exist, don't understand that free will exists in time, and your life-vector IS your determination, not today, or this-minute, but your ongoing determination.
Earn your life: change rules in your own unconscious.
The "rat race" won't do it: it wants to consume your life.
Parents can't do it for one, one has to do it one's self.
Friends can't do it for one, for the same reason.
Give it a shot.
Libraries exist, and maybe they can get the books for you.
Try farming chickens without contianment: a fox will kill all of them in a single night.
Wolves & coyotes require 1 large-ish animal per night for a pack.
Every night.
That means that within earshot of where I sleep, about 730 ungulates per year ( 2 per night, avg ) die, their bellowing reaching my ears.
Multiply that by the factor of difference between the small area I hear vs the large area of the portion of North America that animal farming is happening in...
Nature is dynamic balance, we threw that out the window, and our excess-meat eating is part of that culture.
Buddha Shakyamuni stated repeatedly that non-consentually slaying animals for mere meals couldn't be justified.
I'm beginning to agree with him.
The problem is the end of civil-rights: WHEN the only internet left is the internet that IS for-profit propaganda, auto-deleting all non-compliant human thought, discussion, intelligence, objectivity, etc,
THEN humanity is just managed "steers" whose lives are being consumed by corporations which graze on us.
Since another dimension of ratchet is the concentration-of-wealth, you can see that working-destitution is being enforced on more & more of humankind, and real wealth being limited to fewer & fewer...
What happens when the working-poor try fighting for a fair share of the economy?
Rigged legislation, rigged "police" ( I used to believe in the police ), anti-education Florida-style for the public, etc...
AI tilts the playing-field, and it does-so for the monied special-interest-groups.
They don't have humanitarianism at heart.
Neither do the politically motivated.
Neither do for-profit-psychopaths ( corporations are psychopaths ).
Living in a Decorator Prison is all humanity can hope for, now: inmates, .. except for the fewer & fewer oligarchs & the financial-class.
'tisn't looking good.
Without Divine Intervention, which is statistically improbable an event, these are The End Times, but not for the reason that the religious claim.
What are the security-recommendations you have for Linux, Wine, & Proton users,
that we simply wouldn't, or don't commonly, think of, given your abnormal expertise/view?
Salut, Namaste, & Kaizen, eh?
_/_
I'm an old guy, whose been in Linux, off'n'on since 1997 or 1996, and not a professional.
Keep that in mind.
I now always recommend a pair of NVMe's,
with swap on both,
with root mdadm mirrored RAID1 on both ( I've read that BTRFS "RAID1", when 1 mirror is missing on boot, simply won't permit you to boot, unless you get jiggy with the damn thing, telling it arbitrary stuff, to get it to allow that )
with /home mdadm mirrored RAID1
and use the extra space for whatever.
Use SATA for your backups.
I recommend using the fastest NVMe's you can get, but biggest is more-important.
Samsung .. what are they, EVO drives? go up to 2TB, iirc, and are reasonably cheap ( for people who can afford such things )...
This gives Linux's mdadm RAID1 speed ( it does RAID0 for reads, RAID1 for writes ), AND it gives greater reliability.
I've been stung by incorrect partition space allocation sooo many times, that now I'd stick everything on as few partitions as is sane, but as OpenBSD recommends, some filesystems on separate partitions breaks some attack-methods ( partly by breaking hardlinks ).
The difference that access-speed & bandwidth do, for your OS, and especially swap, is stunning, so if you've got the funds, consider the Samsung PRO NVMe's, instead of their EVO's, but definitely get quality & quick NVMe's, RAID1 'em up, and enjoy.
PS: I always do a prototype-install, now:
whole-device ( except swap, EFI, boot ), 1 partition, install everything I'm likely to want, of that OS, take a look at the filesystem use, for different parts of the root fs-tree, and then begin deciding what partition-sizes to be considering, using a 1.5x or 2x factor for expansion-space... ( different distros with /usr and /opt, especially ).
Then I repartition into the intended structure, & install in...
And, of course, I now expect to have to re-partition 1/2y later, as the things I've later found, & added, alter the ratios...
Obviously, if this weren't just some random guy at home, LLVM would make much more sense, because then partitions could be resized/redistributed on-the-fly.
But for now, for a machine I only-sometimes use, it's good enough.
Maybe this seems useful information?
I hope so...
( :
There is a Powerlaw underlying global temperature, in the interglacial-times:
280-ish parts-per-million CO2 as the baseline...
The 9th-root-of-2 times that, gives you what CO2 level produces 1C global warming.
280*(9th-root-of-2)^2 gives you what ppm CO2 produces 2C global warming.
280*(9th-root-of-2)^3 gives you what ppm CO2 produces 3C global warming.
All the way up to 9C.
All the simulaitons which contradict the measured polar heating, the mega-rivers IN Greenland's ice, etc, are red herrings, and relying on them is incompetent: the evidence has already falsified their predictions.
Here is the paper:
https://www.nature.com/articles/nature19798
Notice that even not counting all the other greenhouse-gasses, like methane, sulfur-hexafuoride, etc, we already have guaranteed that the planet must stabilize at more than 5C,
.. not the 1.5C or 2C that the simulations-which-contradict-evidence predict.
This powerlaw is measured, historical fact.
Delusionally ignoring it .. isn't worthy of respect, OR able to create viability for our species.
I don't know that there will be any life left, in the tropics, within 1 century.
400+ cubic-km/year melting, now, iirc, and still accelerating, darkening the albedo of the planet...
: \
Possibly due to each discovery being some bacteria that eat exactly 1 chemistry of plastic.
: )
Decaf green tea, steeped at room-temperature, so NO tannins get into my tea...
possilby rooibos, but haven't had it in awhile, so don't know if that's still valid...
possibly something with cardamom seeds in it?
( :
@Paragone
@lemmy.ml