It's not a tag, there aren't even HTML/XML tags in Typst. The effect of that <figure> is giving the #figure(...) element the label `figure` (i.e. the name is what's inside the <>). Probably using the label "figure" was not the best choice for an example, something like <my_figure> would have been a bit less confusing showing that it is an arbitrary name/id that you choose.
Edit: and I think you also misinterpreted the other comment about the <div>. It wasn't about using <div> in place of <figure>, but rather that using <figure> in typst does the same thing as id="figure" in HTML.
Yeah. It made me think of anosognosia -- a condition in which a person with a disability is cognitively unaware of having it (due to an underlying physical condition). Taking the Latin more literally, it's basically "ignorance of one's ignorance". Which is applicable to any number of human endeavors (maybe all of them).
Obsidian's WYSIWYG editor is excellent and amazingly featureful. I use it for hours every day, only ever in "edit" mode w/ "live preview", just a couple plugins enabled, and it's by far the best interface to markdown I've encountered.
I believe it's morally wrong to make software that makes people wait needlessly. If your software makes me wait, it better have something to do with the speed of light.
I vaguely remember (sometime in the 80s) sticking a straightened paperclip into a small hole on the face of a payphone to avoid having to drop a dime / quarters, and being able to call anywhere.
If I recall, you’d stick the straightened paperclip into one of the holes on the mouthpiece and touch the other end of the paperclip to some metal part on main phone body.
War Games used a pull tab from an aluminum can to a similar effect?
Throttling or deprioritization is a thing, but it's definitely not "nothing" across the board. How usable a deprioritized connection still is heavily depends on the network and location in question.
I’m currently charging my phone from my laptop. And tethering off my phone as the wifi on Amtrak (which could be great if it had a starlink dish on the top) is awful and keeps going back to unauthorised.
I haven’t really had much signal problem and I’m not travelling through particularly built up areas (on the New York to Miami train, nearing the GA/FL border)
That definitely works, but it requires a cable, balancing two devices on a potentially small seatback tray etc.
On most trains I've traveled on, Wi-Fi (if available) also works much better since the antenna for that is usually on top of the train, and windows are sometimes coated with a metallic paint to keep out solar radiation.
That’s not quite true: There’s a limit to the amount of data usage your provider has to grant you at no additional cost, and mine enforces that. It works out to a 16 or so GB/month limit, on an otherwise >50 GB/month plan.
How does one “demand better” from a handful of giant corporations? Did you personally negotiate that plan with your phone operator?
Besides that, neither tethering (for reasons other than cost, mentioned above) nor international roaming (increased latency) are a perfect replacement for fast local Wi-Fi at this point.
reply