Remote

Crazazy @ my computer c:

@crazazy@tiny.tilde.website

Crazazy likes computers Is not on facebook Is not on twitter Listens to moody #dnb Listens to deep #dubstep Listens to ruffneck #jungle Has visited Portugal Has diagnosed #autism Has undiagnosed #adhd Likes theorem provers Has strong opinions about #Haskell, #Rust and #lisp Plays #Trackmania Does not keep a schedule Needs to keep a schedule Rips off Dub Phyzix (see banner) Talks in the shower Is not a big fan of the axiom of choice And is an all-around agreeable and relaxed character

26 Followers

56 Following

19 Posts

Joined July 09, 2025

page:

https://tilde.town/~crazazy

matrix:

@crazazy:utwente.io

bird:

yellow

he:

him

Posts

Crazazy @ my computer c: @crazazy@tiny.tilde.website · May 17, 2026

Replying to @Vierkantor@mastodon.vierkantor.com

@Vierkantor@mastodon.vierkantor.com fwiw before this I had never heard of Math Inc and also I think that everyone who is like me likely doesn't have a reason to not keep it that way (All double negations fully intended, by the way)

Crazazy @ my computer c: @crazazy@tiny.tilde.website · May 15, 2026

Heading to #rustweek next week. I hope, despite the stuff I see on fedi about rust today, that the atmosphere won't be too tense

Crazazy @ my computer c: @crazazy@tiny.tilde.website · May 14, 2026

The bun rust vibe-rewrite, which they "did not currently plan on upstreaming", has been upstreamed
https://github.com/oven-sh/bun/pull/30412

Final diff size: +1 009 257 -4 044
This has got to be one of the most aggressive displays of hubris I've seen

GitHub

Rewrite Bun in Rust by Jarred-Sumner · Pull Request #30412 · oven-sh/bun

Blog post with details coming soon. It passes Bun's pre-existing test suite on all platforms (and fixes several memory leaks and flaky tests), the binary size shrinks by 3 MB - 8 MB, the benchm...

Crazazy @ my computer c: @crazazy@tiny.tilde.website · May 05, 2026

Replying to @jonmsterling@mathstodon.xyz

@jonmsterling for those (like me) out of the loop. This was said in context to the recent agda fork: https://types.pl/@amy/116522250630340534

Crazazy @ my computer c: @crazazy@tiny.tilde.website · May 04, 2026

Replying to @gwenthefops@transfem.social

@gwenthefops I think you shouldn't, therefore I am you shouldn't

Crazazy @ my computer c: @crazazy@tiny.tilde.website · Apr 30, 2026

Replying to @pigworker@types.pl

@pigworker me and multiple other people have been asking ourselves where we can pin the butlerian jihad on our calendar

Crazazy @ my computer c: @crazazy@tiny.tilde.website · Apr 28, 2026

Replying to @uwuspace@catgirl.global

death Hover or focus to reveal Sensitive

@uwuspace @memdmp I remember, having a hard time remembering its name when first meeting it. I'll sure remember it now, and may it be remembered forever more

Crazazy @ my computer c: @crazazy@tiny.tilde.website · Apr 25, 2026

Replying to @Salum@mas.to

@Salum yes but now you can try to get these juniors for way cheaper than before, and have their AI replacement loom over their head to demand subordinance because in fact the devaluation of workers was always the goal

Crazazy @ my computer c: @crazazy@tiny.tilde.website · Apr 07, 2026

Hot(?) take: I love house, and I love techno music, but tech house is an abomination that sucks the soul out of anything the other 2 genres can bring to the table

Crazazy @ my computer c: @crazazy@tiny.tilde.website · Mar 30, 2026

https://notes.zachmanson.com/copilot-edited-an-ad-into-my-pr/

I think everyone kind of knew this would happen eventually, but now we finally know when people would start putting ads in their ai

notes.zachmanson.com

notes: copilot edited an ad into my pr

Crazazy @ my computer c: @crazazy@tiny.tilde.website · Mar 24, 2026

Replying to @haskal@types.pl

@haskal@types.pl

Crazazy @ my computer c: @crazazy@tiny.tilde.website · Mar 23, 2026

Replying to @crazazy@tiny.tilde.website

Oh wait wine is getting compiled from source as well

Crazazy @ my computer c: @crazazy@tiny.tilde.website · Mar 23, 2026

"just one nixos upgrade before going to be bed"

"Wait why is it compiling emacs from scratch"

Crazazy @ my computer c: @crazazy@tiny.tilde.website · Mar 21, 2026

Every time I see a new #Wayland post on the internet somewhere, it always seems to be followed by people who have had either
- No problems using Wayland
- All the problems using Wayland
No in-betweens

Crazazy @ my computer c: @crazazy@tiny.tilde.website · Mar 16, 2026

Replying to @lianna@micro.webgarden.click

@lianna huh that one being a deal breaker was new to me. I thought matrix was used less because of things like [1/2]

Crazazy @ my computer c: @crazazy@tiny.tilde.website · Mar 04, 2026

Replying to @mei@donotsta.re

@mei@donotsta.re isn't that all podcasts to an extent? Well at least all *good* podcasts

Crazazy @ my computer c: @crazazy@tiny.tilde.website · Feb 21, 2026

Replying to @mei@donotsta.re

long, rambling, computertouching despair, and all i wanted to do was learn category theory, why does this keep happening to me Hover or focus to reveal Sensitive

@mei this sounds like the category equivalent of that Malcolm in the middle clip "Hal, did you formalize your category theorems yet" "WHAT DOES IT LOOK LIKE IM DOING"

Crazazy @ my computer c: @crazazy@tiny.tilde.website · Jan 03, 2026

Replying to @tildetown@tiny.tilde.website

@tildetown@tiny.tilde.website

Someone was probably running vscode again :(

wait we can do that? :blobopenmouth:

Crazazy @ my computer c: @crazazy@tiny.tilde.website · Dec 11, 2025

Replying to @androcat@toot.cat

@androcat@toot.cat @hailey@hails.org gnu stands for gnot a gnunix, gnot a gnelf ITS A GNU, AND YOU'VE BEEN... GNUUU'D

Crazazy @ my computer c:

Posts

Rewrite Bun in Rust by Jarred-Sumner · Pull Request #30412 · oven-sh/bun

notes: copilot edited an ad into my pr

Remote instance