Show more

@jonn @hecate As someone who spent some time trying to port cryptographic libraries from Rust to Haskell... I just gave up and decided to wrap the Rust libraries via the FFI. If Haskell wants to stay a higher-level language where you drop down to the FFI for performance, that's fine, though it does make me sad.

If Rust had a good capability-safe approach to managing side effects I might not come back to Haskell at all. As it is, the slow demise of Safe Haskell has me thinking that maybe there's not that much here for me anyway.

My russian buddy is saying that French people are tired of supporting Ukraine.

Are there any polls about it? What's the real story?

The mass shooting in Allen, Texas this past weekend was horrific. The message behind should add to our collective concern. I explain the history behind the terrifying letters that the shooter wore, in today’s piece. open.substack.com/pub/statusku

#Zelenskyy signs decree for Ukraine to celebrate Europe Day on May 9

🇺🇦 Ukraine will celebrate Europe Day instead of Victory Day Every year on May 9

"Today I signed the relevant decree, and every year from tomorrow, May 9, we will honor our historical unity — the unity of all Europeans who destroyed Nazism and will defeat rascism (russian fascism)," the Ukrainian leader said.

Read more here🔗 english.nv.ua/nation/zelenskyy

#Ukraine 🇺🇦 #SlavaUkraine
#СлаваУкраїні! #StandWithUkraine

blog.dodies.lv/2022/11/kuba/

I'm looking at @normis@toot.lv's photos made in and reading the text and I can't help but to think: "when russia will break down into pieces, it's not like the sanctions shall go away, this is how the so-called russian world shall look like in 2083".

@jonn Actually, one of the linked discussion is about dependent Haskell.

The implementation of one of the GHC proposals related to DH is currently blocked on the base split and GHC internal modules.

So if have suggestions on how to proceed and move forward efficiently, feel free to share your thoughts!

github.com/haskell/core-librar

The latest episode of my podcast features a conversation with Sheryl Cababa about systems thinking and designers' scope for effecting social change. Check it out!

theinformed.life/2023/05/05/ep

#SystemsThinking #SocialChange #UXDesign #ProductDesign

My favorite song these days: youtube.com/watch?v=aYXimhNnJE

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

Made a video about #Haskell in which I give an example of the simplest possible Servant server.
🔗 📽️ youtu.be/YYmxAHWrFR4

Cool humans.

youtube.com/watch?v=T9KXsEdHgP

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 ! It's called and apparently it was good.

en.m.wikipedia.org/wiki/30_Roc

Show more
Doma Social

Mastodon server of https://doma.dev.