~ You may ask me whether I think before boosting notes. I do: I think "what???" and press Boost

Link to post

~ Why does unicode-math.sty define \emptyset through \varnothing and not the other way round?

Isn't it more likely that a person would want to change \varnothing without influencing \emptyset rather than changing \emptyset ?

#TeX #LaTeX #XeLaTeX

Link to post

~ I'm a calendar, once more

Link to post

~ Rhombic dodecahedrons are bestahedrons

Link to post

~ High vis jacket (thaumcraft chestplate-slot armor piece)

Link to post

Is there an stdlib and python (argparse) equivalent for O_CREAT | O_EXCL?

Oh, wait, x

~ People who say that a task is not worth spending time automating, because it only saves several (deci)seconds per invocation and so would only break even in (dozens of) years don't account for time for restoring context, focus, and motivation, all of which can be easily lost

Link to post

~ The only actually serverless architecture is DHT

Link to post

~ 🔁︎ Vftdan
@goldstein
Oh, yeah
Less-equal is a way to generalize implication for fuzzy logic and multiset inclusion, so basically:
(≤) = (→)

Additionally, max and min are respectively ways to generalize disjunction and conjunction in these cases. And I've seen someone relatively recently tried to use ↑ as binary max operator and ↓ as binary min operator, so with this notation:
(∧) = (↓)
(∨) = (↑)

So there is an approximate, rotation-respecting equivalence between wedge and arrow glyphs, where the sharp end of the wedge corresponds to the arrow source.

Link to post

#math

There are some things I didn't know about.

https://youtube.com/watch?v=lLv1s7rKeCM

#links #video #youtube

~ 🔁︎ Shane Redman
@mira Woah, someone just shared this relevant blog with me today: https://lowbackgroundsteel.ai/

Link to post

~ 🔁︎ Michael
Happy Halloween! 🎃

Link to post

~ 🔁︎ ✧✦✶✷Catherine✷✶✦✧
for sale: shared object, statically linked

Link to post

Oh, I seem to have found a way to do N×M codegen in C!

~ 🔁︎ gnu/m43
Compiling C software:

- 5 seconds codegen
- 30 seconds compiling C code
- 1 second linking
- 34 hours of autotools checking whether it's running in a universe where 2+2=4

Link to post

~ Why is it not allowed to initialize a flexible array field with a sized array in order to specify how much stack/global memory to reserve?

typedef struct {
  long length;
  int values[] __attribute__((__counted_by__(length)));
} MyType;

MyType instance = {
  .length = 10,
  .values = (int[10]) { [5] = 2 },
};

Link to post