Jons Mostovojs @jonn@social.doma.dev

@stefan lacking "I am the admin" option.

Holy smokes, #theCatEmpire reunion! https://open.spotify.com/album/6u52QmpTv1JqKbATZnQDUx?si=8iRHcP8xT5qZgMU0TvcBtA&context=spotify%3Aalbum%3A6u52QmpTv1JqKbATZnQDUx

Classic sound... And the thunder rumbles!

Proggier instrumental version of #theCatEmpire.

https://open.spotify.com/album/7M6WNiGB6bHoGr2jPe75OW?si=7DykPppkQaehhnpZqRtckQ&context=spotify%3Aalbum%3A7M6WNiGB6bHoGr2jPe75OW

#CURD is basically #CCCC.

@chshersh I only really care about dependent types in Haskell, the rest: I keep my opinions to myself to not create useless (and looping) discussions.

@hecate yeah, in practice we often just use i/u64, but also, big its are memory safe. I don't understand your surprise. Look at this implementation: https://github.com/tczajka/ibig-rs/blob/main/src/ubig.rs and buffer.rs there. I wouldn't hate to have this in #rust prelude.

My favorite song these days: https://www.youtube.com/watch?v=aYXimhNnJEQ

Remember: it's ok to punch nazis, and it's also ok to punch commies.

@chshersh pedantic numeric sizes are quoted by some as one of the biggest turn-offs in Rust dev ux. As long as they're optional and prelude has long arithmetic, should be fine though. Glad to see you involved with #haskell!

Have you tried #lean?

Cool humans.

https://youtube.com/watch?v=T9KXsEdHgPo

Want to get into aggressive skating now.

But also I feel like practically, I can clear enough obstacles by just jumping vertically and I'd much rather practice wizard skating, which is all about wall rides, jumps and speed rather than grind.

Although grinding elements especially in a flow look really cool.

Hey now! There's a modern reinterpretation of #LarrySandersShow! It's called #30Rock and apparently it was good.

https://en.m.wikipedia.org/wiki/30_Rock

@Pwnallthethings I sure hope they won't have to concede Belgorod People's Republic. :chuckle:

👏 telegram 👏 chats 👏 are 👏 public 👏 plain text 👏

https://www.pwnallthethings.com/p/russia-is-spying-on-telegram-chats

sudo

#TIL #TAYGA and in general, #NAT64 concept.

https://thenewstack.io/tayga-bridge-an-ipv6-network-back-to-ipv4-using-nat64/

@evan oh my.

@virtulis so cute!