Toots for aDot@treehouse.systems account

Written by Alona on 2025-01-22 at 19:47

huge rustc news! we're removing running the compiler!

https://github.com/rust-lang/rust/pull/135880

=> More informations about this toot | View the thread

Written by Alona on 2024-12-28 at 17:40

i've got a blow dryer (that i asked for) for christmas, and now have to face the reality of needing to decide what i want to do with my hair.

=> More informations about this toot | View the thread

Written by Alona on 2024-12-13 at 00:04

omg, seb start time!!!

=> More informations about this toot | View the thread

Written by Alona on 2024-11-18 at 20:37

pet peeve: referring to something that very robust and well supported as “legacy” (in comparison to a new thing that isn’t currently finished)

=> More informations about this toot | View the thread

Written by Alona on 2024-11-12 at 00:24

bad news: they seem to have invented something called "Double Category Theory"

cannot wait to here "a double-monad is a double-monoid in the double-category of double-endofunctors" when i'm learning double-haskell in 20 years

=> More informations about this toot | View the thread

Written by Alona on 2024-11-06 at 16:37

“inside my there are two wolves: executive disfunction and lesbianism. the lesbian is currently mauling executive disfunction to death”

=> More informations about this toot | View the thread

Written by Alona on 2024-10-27 at 14:23

is there any language/research into doing conditional compilation (for os/arch dependant code for example) after typechecking (instead of rust’s ast expansion, C’s preprocessor, go’s file based build tags, etc)?

=> More informations about this toot | View the thread

Written by Alona on 2024-10-23 at 23:06

why is it soo much easier to shower quickly in a different unfamiliar shower? someone should look into this.

=> More informations about this toot | View the thread

Written by Alona on 2024-10-21 at 22:13

https://willcrichton.net/notes/naming-conventions-that-need-to-die/ inject this straight into my veinnnnssssssss

=> More informations about this toot | View the thread

Written by Alona on 2024-10-17 at 17:40

is there any python library for rich spanned error reporting (like rustc/annotate-snippets/codespan-diagnostics/ariadne)?

=> More informations about this toot | View the thread

Written by Alona on 2024-09-22 at 20:25

when someone’s been around enough to post links to https://gcc.godbolt.org, instead of the younger and hipper plain https://godbolt.org, that’s how you know your deeling with an Extremely Powerful programmer

=> More informations about this toot | View the thread

Written by Alona on 2024-09-19 at 07:48

if the rust community is so trans-inclusive, why are they adding binders that aren’t safe smh: https://github.com/rust-lang/rust/issues/130516

=> More informations about this toot | View the thread

Written by Alona on 2024-09-04 at 16:57

wait, you can’t comment on LWN articles without a subscription? that’s genius, they’re actually managing to fund good journalism by the incessant need to argue on the internet; i love it

=> More informations about this toot | View the thread

Written by Alona on 2024-09-02 at 14:04

broke: using i32 for both signed and unsigned ints, and only distinguishing sdiv vs udiv.

woke: using i1 for bool

bespoke: using i0 for unit/()/void

=> More informations about this toot | View the thread

Written by Alona on 2024-08-29 at 19:51

“sun microsystems implies the existence of moon megasystems”

=> More informations about this toot | View the thread

Written by Alona on 2024-08-09 at 10:39

I JUST NEED ONE MORE HUG BRO. JUST ONE MORE HUG BRO. JUST ONE MORE HUG WILL FIX ME BRO

=> More informations about this toot | View the thread

Written by Alona on 2024-07-30 at 12:10

whose gonna be in Vienna for EuroRust? if you wanna meet up then, let me know.

=> More informations about this toot | View the thread

=> This profile with reblog | Go to aDot@treehouse.systems account