https://press.princeton.edu/books/paperback/9780691148182/th...
175 karma · joined January 22, 2021
Email: tim (at) texastim.dev
Home page: https://www.texastim.dev/
GH: https://github.com/timoteostewart/
LI: https://www.linkedin.com/in/texastimdev/
LC: https://leetcode.com/texastim/
https://press.princeton.edu/books/paperback/9780691148182/th...
https://web.archive.org/web/20260226093719/https://www.dvd30...
https://en.wikipedia.org/wiki/Liking_What_You_See:_A_Documen...
Here's something quick that ChatGPT ginned up: https://chatgpt.com/share/293ea9d5-b7ac-4064-b870-45f8266aea...
[0] https://old-releases.ubuntu.com/releases/lunar/
[1] https://canonical.com/blog/canonical-releases-ubuntu-23-04-l...
By contrast, 24.04 is Noble Numbat.
https://canonical.com/blog/canonical-releases-ubuntu-24-04-n...
(1) First, the Web server usually reports a character encoding, a.k.a. charset, in the HTTP headers that come with the content. Of course, the HTTP headers are not part of the HTML document but are rather part of the overhead of what the Web server sends to the user/client/browser. (The HTTP headers and the `head` element of an HTML document are entirely different.) One of these HTTP headers is called Content-Type, and conventionally this header often reports a character encoding, e.g., "Content-Type: text/html; charset=UTF-8". So this is one place a character encoding is reported.
If the actual content is not an (X)HTML file, the HTTP header might be the only report the user/client/browser receives about the character encoding. Consider accessing a plain text file via HTTP. The text file isn't likely to itself contain information about what character encoding it uses. The HTTP header of "Content-Type: text/plain; charset=UTF-8" might be the only character encoding information that is reported.
(2) Now, if the content is an (X)HTML page, a charset encoding is often also reported in the content itself, generally in the HTML document's head section in a meta tag such as '<meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>' or '<meta charset="utf-8">'. Now just because an HTML document self-reports that it uses a UTF-8 (or whatever) character encoding, that's hardly a guarantee that the document does in fact use said character encoding.
Consider the case of a program that generates web pages using a boilerplate template still using an ancient default of ISO-8859-1 in the meta charset tag of its head element, even though the body content that goes into the template is being pulled from a database that spits out a default of utf-8. Boom. Mismatch. Janky code is spitting out mismatched and inaccurate character encoding information every day.
Or to consider web servers. Consider a web server whose config file contains the typo "uft-8" because somebody fat-fingered while updating the config (I've seen this in random web pages.). Or consider a web server that uses a global default of "utf-8" in its outgoing HTTP headers even when the content being served is a hodge-podge of UTF-8, WINDOWS-1251, WINDOWS-1252, and ISO-8859-1. This too happens all the time.
I think the most important takeaway is that with both HTTP headers and meta tags, there's no intrinsic link between the character encoding being reported and the actual character encoding of the content. What a Web server tells me and what's in the meta tag in the markup just count as two reports. They might be accurate, they might not be. If it really matters to me what the character encoding is, there's nothing for it but to determine the character encoding myself.
I have a Hacker News reader, https://www.thnr.net, and my program downloads the URL for every HN story with an outgoing link. I have seen binary files sent with a "UTF-8" Content-Type header. I have seen UTF-8 files sent with a "inode/x-empty" Content-Type header. My logs have literally hundreds of goofy inaccurate reports of content types and character encodings. Because I'm fastidious and I want to know what a file actually is, I have a function `get_textual_mimetype` that analyzes the content of what the URL's web server sends me. My program downloads the content and uses tools such as `iconv` and `isutf8` to get some information about what encoding it might be. It uses `xmlwf` to check if it's well-formed XML. It uses `jq` to check whether it's valid JSON. It uses `libmagic`. There's a lot of fun stuff the program does to pin down with a high degree of certainty what the content is. I want my program to know whether the content is an application/pdf, an iamge/webp, a text/html, an application/xhtml+xml, a text/x-csrc, or whatever. Only a rigorous analysis will tell you the truth. (If anyone is curious, the source for `get_textual_mimetype` is in the repo for my HN reader project: https://github.com/timoteostewart/timbos-hn-reader/blob/main... )
- on LC, start with easy algorithm problems and sort by Acceptance in descending order. As you work the problem, talk aloud about your thought process and what you’re doing and where you’re headed. This is good practice for narrating your work during an interview
- maybe set a timer so if you’re truly stuck then you can pull up the solution and study it. Next time you see a similar problem or class of problem, you’ll be ready
- if you have a particular particular field or area you would like to work in, determine what kinds of algos or data structures might be particularly pertinent. For example, if you might work with storing and looking up strings, dig into trie structures. Or maybe it would be more suitable to dig into branch and bound strategies. Try to tailor what you’re learning to what you would find useful
“Falsehoods programmers believe about authoritative lists”
We have pi-hole too, primarily for blocking ads and call-homes.
In a sense, by starting to seed last night, I really was "preseeding" so that by the time the announcement is made, there are at least several seeders already available to service the many new leechers who will only begin torrenting once the official web page is updated.
That said, I'm sorry it's sowing confusion. I can see where you're coming from on that score.
The torrent file at https://www.tug.org/texlive/acquire-iso.html at the time of this writing is still the 2023 TeX Live ISO, and so yes, _that_ installer will install 2023 TL.
Platforms
The iso image again [Ed.: after a while of it not] includes binaries for all platforms. For the last several years, some binary sets had been pruned, but this year, we are not creating a physical DVD as a user group benefit, so may as well include everything again. Also, even a maximimally-pruned image is too large to fit on a single-layer DVD, so no benefit for the 2024 volunteer burners. More info.
Source: https://tug.org/texlive/pretest.html