🔁︎ Vftdan
@a1ba
Usb cables with at least one type-c end with usb version below 3.0 should be made illegal

@shuro @Chia @mo

Link to post

Also, Moon Channel posted a 2.5h banger recently:
https://youtube.com/watch?v=IM2VIKfaY0Y

Link to post

🔁︎ ~n
This happened exactly 40 years ago.

via: https://www.talisman.org/

Link to post

🔁︎ Verity :transHaskell: :verifiedtransfem:
linguistics via computation
“but yeah,” = “pop the conversation stack”

Link to post

🔁︎ Verity :transHaskell: :verifiedtransfem:
re: linguistics via computation
fun fact: there's a paper about using continuations to analyze quantification in natural language (“every”, “some”, etc.)

“Continuations in Natural Language” by Chris Barker
https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=241826bbfaefdc7dd305c23a61ebefa57ea65558

Link to post

~ Is grammatical copula a partial ordering :blobcatthink:

Link to post

#linguistics #math

~ 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