_Έλλεν Εμίλια Ά. Arson ζ.
mastodon 4.6.9languages, programming, type theory, math, control theory.
neurodiverse (AuSHD?), queer & trans, fem-leaning abinary / demiwoman
Friend of the 69420*arson ppl.; anti-authoritarian, anti-Copyright, anti-LLMs,, hellenophile / anarchist
anti-nationalist philhellenism. part of the scientific precariat.
punch Nazis. punch Child abusers. punch Freeze peach extremists. Authoritarians fuck off.
@condret@shitposter.world @theorytoe@ak.kyaruc.moe @hllizi@hespere.de > it is rather easy to write memory safe C
that's debatable. it is way harder to write memory safe C than write memory safe code in most other languages.
But I agree, it isn't what breaks the language.
if UB doesn't fuck you over.
That large parts of the language are UB, and that compiler authors are implementing that in the sense of "the optimizer is allowed to assume that never happens,and if it does, anything is possible" instead of somthing impl-def.breaks it
@marmarta@chaos.social It is possible, but the easiest way afaik is to build a wrapper in C++ around the Qt parts, which exports a C interface that can be used from Rust. (stuff like the cxx crate (unfortunately by dtolnay) make some stuff easier)
Lemongrab Infinite stairs - The Mountain 9
where can I find good books about homology & cohomology theories?
how does one translate the term "cohomology" (from mathematics / algebraic topology) into Greek? That "homology" corresponds to "ομολογία" is clear, but idk how to arrive at the "dual" term...