π1π1
O_CREAT | O_EXCLx~ 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
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
@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
π€―1
There are some things I didn't know about.
https://youtube.com/watch?v=lLv1s7rKeCM
#links #video #youtube
https://youtube.com/watch?v=lLv1s7rKeCM
#links #video #youtube
YouTube
Programming in Modern C with a Sneak Peek into C23 - Dawid Zalewski - ACCU 2023
ACCU Membership: https://tinyurl.com/ydnfkcyn
https://accu.org
https://www.accuconference.org/
C Is Great, Long Live C! Programming in Modern C with a Sneak Peek into C23 - Dawid Zalewski - ACCU 2023
Slides: https://accu.org/conf-previous/accu2023/
If youβ¦
https://accu.org
https://www.accuconference.org/
C Is Great, Long Live C! Programming in Modern C with a Sneak Peek into C23 - Dawid Zalewski - ACCU 2023
Slides: https://accu.org/conf-previous/accu2023/
If youβ¦
~ ποΈ Shane Redman
@mira Woah, someone just shared this relevant blog with me today: https://lowbackgroundsteel.ai/
Link to post
@mira Woah, someone just shared this relevant blog with me today: https://lowbackgroundsteel.ai/
Link to post
~ ποΈ 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
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
β€4
header-includes:
- '`\makeatletter`{=latex}'
- '`\AtBeginDocument{\let\theauthor\@author}`{=latex}'
- '`\AtBeginDocument{\let\thetitle\@title}`{=latex}'
- '`\makeatother`{=latex}'
π€―1
~ 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π€1π1
Vftdan Channel
~ 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β¦
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]) {
| ^
π1
Is the result of getting
sizeof of a VLA type that does not fit into the address space defined?π€1