Show more

@nuttycom @hecate I like how @kirelagin does it. He doesn't let users worry about allocations and such, focuses on having pure external modules. Internals are catering to it with "inner mutability" pattern.

Check haskell-crypto. It's simple in terms of capabilities, yet well-written. My go-to library to do conventional cryptography with .

@nuttycom @hecate wrapping libs is the way! haskell-crypto is a libsodium wrapper for instance.

That said, I love how ffi and typeclasses allow us to go gradually from verified code to ffi.

@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

@salvaterra in one of my games, I have a person living in a forest, who is a symbiotic organism between an alien mushroom (of a similar shape) and a hag.

Same vibes, but aquatic. Maybe they are friends? :)

@normis@toot.lv we can never know. I heard there's something called "welcoming russian soul" or something. They were always pretty OK at propaganda, I think they'll figure out how to appear charming.

But regarding the weather, yeah, you're right. Except for maybe "the People's Republic of Krasnodar". My understanding is that they're very proud of the weather there or something 🤣

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

@ben ah yes, the Devil magic. I do hope it's going to be enough for us, but G3 was sure something.

@hecate @friend agreed. I was only talking about experts for precise use cases. Rust with a bit of bloat is still x1000 of python.

@hecate sure, but I said "it's cool to have them side by side".

Show more
Doma Social

Mastodon server of https://doma.dev.