Show newer

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

Show older

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