@freemo Do either of NixOS and Guix support tge same style of dual booting as Devuan and Debian so I can choose OS's at coot time? Do their package managers fit insidevanother OS?
@freemo I'm currently using Devuan, but I've wondered about NixOS and Guix. I seem to remember one of these is based on Scheme? Possibly Guile?
@Pat And velcro lets me put my shoes and sandals on without tying any shoelaces!
@SpinozasHeresy Maybe neither is true?
@fonso_s And maybe they won't spoil.
@fonso_s It's not visibility that worried me. It's whether chemical attack might affect their function. Your experience suggests this isn't a problem in practice.
@fonso_s I always worry that chemicals in the glue on the tape will damage the sheath on the cable.
@trinsec @peterdrake The entire kitchen was replaced -- counters, cupboards, flooring, heating, plumbing ...
@peterdrake About 8 years ago, my wife and I went to a local big, enormous hardware store and enquired about kitchen renovation. They handled the entire job, from design to installation. Once the construction was under way we ate take-out and the like in the living room for a month or two.
@Theraviranjankr Even so, events are partially ordered, andvan individual's own times are a totally ordered subset.
@Pat my favourite lepton is the positron.
@thor And it went past the significant 2048 and no one noticed at tg\he tine
@freemo dolphins?
With Category Theory, Mathematics Escapes From Equality | Quanta Magazine https://www.quantamagazine.org/with-category-theory-mathematics-escapes-from-equality-20191010/
An interesting but quite vague and breezy presentation about infinity category tgeory:
With Category Theory, Mathematics Escapes From Equality | Quanta Magazine https://www.quantamagazine.org/with-category-theory-mathematics-escapes-from-equality-20191010/
@freemo yes. Bi see it and
it is animated.
@x0rz
I heard of one such developer. Kruseman Aretz, who wrote the first Algol 60 compiler at the Mathematisch Centrum in Amsterdam.
@mundauf The reference is an atomic clock. that's how seconds are defined last I heard.
@peterdrake I use Linux instead of Windows. That's how I deal. Of course I'm maybe not a normal person.
I'm a 72 year old constructive mathematician who has spent most of his professional life with computers. I have worked on the design of Algol 68, and have attempted formal verification using constructive type theory. I would love to understand how category theory is involved with quantum mechanics.