I mainly use my Remarkable 1 (am I ancient?) for scratch math, with the paper or code I'm reading open on a computer or laptop. So I concur that having both a writing surface and a reading surface is necessary.
The closest I know of is the work on UMAP. I interviewed Leland McInnes who explained to me in detail how category theory was a big part of helping him connect the dots, even though the final result does not strictly need it in the actual code. Given the relative improvement over the previous state of the art (t-SNE), it's the only example that really makes me reconsider my poo-pooing the way category theory is discussed in software.
I felt UMAP and its limitations were explained in a friendly way here https://topos.site/blog/2024-04-05-understanding-umap/ - written by someone who understands the category theory but is able to explain it without using any category theory.
From a human rights perspective, there is no unethical behavior. You are allowed to invent things, sell those things, and profit from those things. It's a fundamental human right.
The entire antitrust concept is concerning honestly.
The author mentions that WordPress charges for everything, but after migrating off WordPress to a static site, I've found most of the features WordPress bundles together are, in total, more expensive when paid for separately. WordPress.com is $300/yr for a business account, which includes domain, newsletters, unlimited bandwidth, etc. The cheapest provider of blog->email newsletter for > 1k subscribers is already as expensive, not to mention the domain, netlify plan (or overages on the free plan!), a hosted comments service.
I'm not complaining, but after a certain threshold, unbundling is much more expensive.
You don't need netlify, Github pages or Cloudflare pages would do just fine. Email is a problem though and I'd wish you could easily integrate with your own email provider (ie: Fastmail, Gmail, etc..) to send newsletter to your 100s of subscribers.
I use ConvertKit for the newsletter. Its pricing is far more reasonable than MailChimp and the like. But in general, mail is more complicated than it seems, and I ended up giving up on self-hosting it.
Is there any good reference (in this book or another) that gives a sense of what coloring methods work well for various practical problems? Do they still use graph coloring for register allocation--and if so, which method is used?
I have heard of some people using the "degree saturation" method (DSATUR: https://en.wikipedia.org/wiki/DSatur), but a systematic review would be really interesting.
If you're asking for a legitimate explanation for why mathematicians came up with groups, it's because they wanted to find roots of polynomials (or rather, prove one cannot find a general formula for solving large-degree polynomials).
The complex roots of polynomials satisfy symmetry properties. The group structure of those symmetries allows one to discriminate when one can and cannot solve the polynomial using elementary operations (+,-,*,/) and radicals (nth roots). They call this "Galois Theory", and group theory grew out of it to streamline the ideas about symmetry so they could be applied elsewhere, particularly in the study of geometry and non-Euclidean geometry.
If someone's interested in a more detailed discussion of this, here's a an out-of-copyright paper that turned up in a 2 minute literature search: https://www.jstor.org/stable/2972411
reply