Профиль

is there anyone that actually understands how rice's theorem works omfg rice's theorem does not say that you can't prevent bad things from happening in a turing complete programming language.

does rust have an equivalent of strict-aliasing? i don't see any tbaa metadata in the generated llvm so i'm guessing no? that would be kind of surprising tbh since it would basically be free in safe code, wouldn't it?

great choice by rust to rename "object safety" to the much more intuitive "dyn compatibility (previously known as object safety)"

this idea i had about combining logic programming with type inference is so incredibly cool that i'm really wondering why i haven't seen it anywhere before (and also hoping that i'm not going to find out why ^^)

i have such a cool idea for vega but I will need type classes and effects for it so I can't implement it yet

i don't want to open this whole thing up again, but I think what really bothers me about the whole rust reaction to fil-c is that rust users have spent years arguing that the only important property is memory safety.

there is something so funny about incels discovering voice training

rust programmers write a monomorphic function challenge (impossible)

the just world fallacy is just undefined behavior for politics send tweet

i don't know if I can get used to rust using `!` for bitwise negation