rssoconnor

7 ms·

31.
by rssoconnor 1y ago
The book I was just reading says that the genes for MHC (Major Histocompatibility Complex) molecules are among the most diverse genes in the human population, with even the suggestion that people find others with different MHC genes than th
32.
by rssoconnor 1y ago
Normal distributions are the maximum entropy distributions for a given mean and variance. Therefore, in accordance with the principle of maximum entropy, unless you have some reason to not pick a normal distribution (e.g. you know your val
33.
by rssoconnor 1y ago
These slides from Ralf Hinze were instrumental to my understanding of how to use late-binding to define objects in a functional language: https://www.cs.ox.ac.uk/people/ralf.hinze/talks/Open.pdf
34.
by rssoconnor 1y ago
I have the following file called oop.nix dated from that time. # Object Oriented Programming library for Nix # By Russell O'Connor in collaboration with David Cunningham. # # This library provides support for object o
35.
by rssoconnor 1y ago
Dave Cunningham created jsonnet from some conversations I had with him about how Nix's lazy language allows one to make recursive references between parts of one's configuration in a declarative way. No need to order the evaluati
36.
Editorial board of the "Mathematical Logic Quarterly" resign [pdf](inbox.vuxu.org)
2 points by rssoconnor 1y ago|0 comments
37.
by rssoconnor 2y ago
I worked on the Galois theory needed in the formalization of the Odd Order Theorem. I wanted to check to see if I had this lemma. It's been over a decade but I think I found it: https://github.com/math-comp/math-
38.
by rssoconnor 2y ago
Can you use the spare electricity to stockpile some sodium hydroxide or something?
39.
by rssoconnor 2y ago
Due to way the Chinese government operates in other countries, if you happen to be ethnically Chinese living in the West, the Chinese government is still probably more of a threat to you than Western governments. https://www.cbc.
40.
by rssoconnor 2y ago
I do think the why that the Four Colour Theorem is true is captured my statement. The reason why it is true is because there exists some finite unavoidable and reducible set of configurations. I'm fairly sure that people are only
41.
by rssoconnor 2y ago
Is the proof of the Four Colour Theorem really that unsatisfying? The Four Colour Theorem is true because there exists a finite set of unavoidable yet reducible configurations. QED. To verify this computational fact one uses a (very) glorif
42.
by rssoconnor 2y ago
I figured the carbon tax just needed to reach $100-$200ish per tonne, because that is the quoted price to scrub CO2 from stacks.
43.
by rssoconnor 2y ago
Ah yes, I see what you are getting at. But to clarify the report's indirect costs is not due to (just) indirect costs on buying goods transported by carbon tax, but the report's additional "economic factors" is due to &q
44.
by rssoconnor 2y ago
FWIW, I got a combo washer dryer, specifically this one https://youtu.be/x44YAiVCbAY (not my video), because I don't have a dryer vent. While it was a pretty big upfront cost, the combo does have the advantage of enti
45.
by rssoconnor 2y ago
Can you explain what you mean by making every[one?] noticeably poorer when they have most to all of their payment reimbursed? (for the median individual it is more like "all to more" since the carbon credit is not capped at one&#x
46.
by rssoconnor 2y ago
> But the case was thrown out in August 2023 — not for a lack of evidence, but because the Crown took too long to bring it to trial under a set of strict timelines that have reshaped the way criminal cases are handled since a landmark 20
47.
by rssoconnor 2y ago
Can someone draw what hinkley is talking about?
48.
by rssoconnor 2y ago
> can I solve this with Syncthing? I recently found out that Syncthing is ending Android support. :(
49.
by rssoconnor 2y ago
I'll repeat my comment from last time this came up.[0] I could be wrong (and I probably am) but I feel like the term "reproducible build" has shifted/solidified since 2006 when Dolstra's thesis was first written (wh
50.
by rssoconnor 2y ago
I literally blog with raw SGML. Each post comes with a handful per post ENTITYs for that post's common abbreviations and links. Unlike inopinatus's comment, I do keep up with "modern" standards, which is why my posts c
51.
by rssoconnor 2y ago
I was reading about the Order of Cistercians the other day, and I am reminded of this passage from wikipedia: Relaxations were gradually introduced into Cistercian life with regard to diet and simplicity of life. Also, they began accepting
52.
by rssoconnor 2y ago
I get what you are saying. My point is that someone who is philosophically disinclined to buy into the "existance" of non-computable real numbers, e.g. constructivists, because they are not effectively computable, are also going
53.
by rssoconnor 2y ago
As a constructivist, I somewhat agree with your viewpoint, though my views are a bit more nuanced. (e.g. Dedekind's construction of the continuum as a collection of points is perhaps the primary source of corrupted thinking, which mu
54.
by rssoconnor 2y ago
It is not /really/ countable in a computable sense; it is undecidable whether or not a program generates a real number or diverges (as a consequence of Rice's theorem). Thus you cannot compute a function that enumerates all
55.
by rssoconnor 2y ago
It has been my experience that if the ICE engine in the Prius Prime switches on for the first time for any reason, it prefers to remain on for several minutes at a minimum, no matter what. I have a theory for why this happens, but it is pu
56.
by rssoconnor 2y ago
I’d much prefer to smell a car coming than not, personally.
57.
by rssoconnor 2y ago
> None of that would have mattered that much, but the dealbreaker: Trunk space. I hear you. I got a 2022 Prius Prime and I was disappointed with the smaller trunk space compared with the 2010(ish) Prius I had before, but I still went wi
58.
by rssoconnor 2y ago
> - No way to defrost your windshield, unless you're already driving I have a 2022 Prius Prime, and I am moderately sure with the car on and in park I can press the front window defrost button, and the ICE will turn on and start blo
59.
by rssoconnor 2y ago
> The programme is there for the convenience of the US. Would they allow Ireland to operate a corresponding facility on US soil? FWIW, I recall reading that the program in Canada is reciprocal, and it is simply the case that Canada hasn&
60.
by rssoconnor 2y ago
TDMA. Now that is a name I haven't heard in a long time.

More ›