Aria Desires
Gankra@toot.cat
<p>It's me, the gay cat who maintains your docs</p><p>Author of The Rustonomicon and Learn Rust With Entirely Too Many Linked Lists. Also I made a lot of homestuck's games.</p><p>on a sabbatical</p>
Posts
-
Post #2272733
anyway just learned python typing invented a new kind of voldemort type -- one which when named doesn&#39;t actually name it `float` and `int` are two distinct types in the type system but if you write `x: float` that actually means `x: float | int`. but if you write `x: float | int` that means `x: float | int | int`. anyway that&#39;s why `ty` has a `JustFloat` extension that is an actual alias for actual `float` that doesn&#39;t expand to `float | int`, so you can actual refer t...
-
Post #1398719
periodic reminder that &quot;but we have so much old code, surely adding more analyzers to catch bugs in all the old code is much higher impact than piecemeal writing new code in a memory-safe language&quot; has been repeatedly demonstrated to be a falsehood by the android team https://security.googleblog.com/2024/09/eliminating-memory-safety-vulnerabilities-Android.html
-
Post #757589
function subtyping is easy, just remember you use **contra**ceptives when putting it inside and a **co**pay when taking it out