The quote is confusing, because it's not always clear which Hall brother "Hall" refers to. Edward Hall, who developed the Minuteman missiles, was the brother of Theodore Hall, the spy. After reading the source article: <https://www.thenation.com/article/world/ted-hall-espionage-f...>, I can annotate the quote with first names:
"journalist Dave Lindorff, writing in The Nation on January 4, 2022, obtained through the Freedom of Information Act, Hall's FBI file in 2021. This 130-page file included communications between FBI Director J. Edgar Hoover to the head of the Air Force Office of Special Investigations, Gen. Joseph F. Carroll, showing that Carroll had effectively blocked Hoover's intended pursuit of [Theodore] Hall and Sax, probably fearing that [Theodore] Hall's arrest would have, in the political climate of the McCarthy Era, forced the Air Force to furlough and lose their top missile expert, Edward Hall. Carroll, a former top aide to Hoover before he became the first head of the USAF OSI, ultimately allowed Hoover's agents to question Ed Hall on June 12, 1951 (with an OSI officer monitoring the interview). Within several weeks of that session, the Air Force, which had conducted and completed its own investigation into Edward Hall's loyalty (having their own investigators question him four times), promoted him to Lt. Colonel, and later Colonel, and elevated him from assistant director to director of its missile development program. The promotions were a clear slap in the face to Hoover. Ed Hall went on to complete the development of the Minuteman missile program, and then retired."
I think you may have misunderstood the proposal. Your 3rd party library example would have to write `pystd2025::HashMap<pystd2025::U8String, size_t> member;`. Isn't that stable?
From the post:
The sample code above used the pystd namespace. It does not actually exist. Instead it is defined like this in the cpp file:
#include <pystd2025.hpp>
namespace pystd = pystd2025;
I download videos I use for teaching. In future classes, I can still provide students with the video even if it disappears from YouTube. This happens from time to time.
Dozer [0] doesn't require any special permissions. I guess this is needed by Bartender because it creates a little pop-out menu that shows the icons somewhere else?
Unicode actually has semantic symbols that could be used for a nicer 2D monospaced layout here, such as ⎧ ⎪ ⎨ ⎩ ( (LEFT CURLY BRACKET UPPER HOOK, MIDDLE PIECE, LOWER HOOK, and CURLY BRACKET EXTENSION). With more conditional rows, you could use these. One downside is that you would have to do a 2D parse, since the = wouldn't be on the first line. We've been loath to go there. It also seems painful as a user to have to type all the right bracket symbols in all the right places.
We do support the Unicode ⎡|⎦ symbols for matrices. The grammar is that a matrix starts with either [ or ⎡ and ends with either ] or ⎦. Rows can be optionally surrounded by |. I find this too cumbersome to use myself.
We're using MathJax 3.x, which dropped support for inserting MathML into the DOM due to uneven browser support [0]. The example you linked uses MathJax 2.x.
AsciiMath is a lightweight markup language for mathematical notation. Most mathematical notation isn't compilable. I Heart LA is focused on a compilable subset of mathematics. We chose to write our own grammar for various reasons.