The first time I really felt that deep neural networks can really do something fantastic

Show thread

I've just been informed that the magical new AI-based voice / accompaniment separation models are actually open-source instead of proprietary-only.

I'm actually interested in porting Android to mainline kernel on PinePhone Pro. No usual Android phones / SoCs nowadays can get any kernel upgrades or even vendor interface (VNDK version) upgrades anymore thanks go GRF.

Show thread

朝に眠る
昼に覚める
夕に起きる
夜に駆ける

So to learn Agda to complete my course I'm now speedrunning category theory and intuitionist logic

Last time I checked it still had a runtime-based garbage collector, but now it has support for automatic static memory management. That's really really interesting.

Show thread

RSS3: decentralization!
Also RSS3: Follow us on Twitter, Discord, or Telegram

Didn't even realize Doctor Who has season 13 this year

Show older
SN.Angry.Im

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!