~ 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

Ah, it's not even possible to non-initializer-assign sized arrays

src/common/util/fixed/tensor.c:27:28: error: assignment to expression with array type
   27 |   *(int(*)[3][3])(x.items) = (int[3][3]) {
      |                            ^

~ 🔁︎ 「 Extra Fristi 」
what if we had a sneakernet but globally

Link to post

~ 🔁︎ Kris :v_bi:
happy international mens day!!!

Link to post

Is the result of getting sizeof of a VLA type that does not fit into the address space defined?

Also, is it possible to delay tab loading until the previous tab finishes loading, i. e. to send requests and receive pages sequentially instead of concurrently?

~ 🔁︎ pulusound
emacs users horrified to discover that "meta-x" now means two awful social media companies

Link to post

~ 🔁︎ Vftdan
@dysfun
Is a type system even good if typechecking doesn't require running an SMT solver?

Link to post

~ 🔁︎ Soatok Dreamseeker
@broximar https://ismarchoveryet.com/

Link to post