@Yuras@mastodon.social avatar

Yuras

@Yuras@mastodon.social

writing in haskell for food

This profile is from a federated server and may be incomplete. Browse more on the original instance.

Yuras, to haskell
@Yuras@mastodon.social avatar

For unit tests we have test coverage. If we replace unit tests with theorems, should we have some kind of "theorem coverage" then?

Yuras,
@Yuras@mastodon.social avatar

@mangoiv Sorry, I don't understand you comment. By coverage 1, you mean 100%, don't you?
What about peano number? I think commutativity is not the only essential property of natural numbers, so commutativity theorem doesn't give you 100% coverage.

Yuras, to haskell
@Yuras@mastodon.social avatar

The difference between FFI design in in
In Haskell all the heavy lifting happens in haskell. I.e. you allocate and free memory, peek and poke data from/to C structures etc. As a result, C part known almost nothing about haskell.
In lean it's other way around: C functions get lean objects as arguments, convert them into C data, create new lean objects and return them. As a result, lean's C API is big, complicated and unstable.

chris__martin, to random
@chris__martin@functional.cafe avatar

Online collaboration tools, if they're good, aren't merely approximations of in-person conversations and whiteboards. The medium has its own drawbacks and also its own strengths. We work differently.

Yuras,
@Yuras@mastodon.social avatar

@chris__martin OK, but how to force people to use public channels? It's crazy how attached a lot of people are to DMs...
Yes, I tried to respond with "ask in public channel", but they DM again the next day.

Yuras,
@Yuras@mastodon.social avatar

@chris__martin Interesting idea, I'll definitely consider it, thanks! Though in my case we have multi-language environment, and DMs are usually written in a language different from one used in public channels.

hungryjoe, to haskell
@hungryjoe@functional.cafe avatar

Anyone up for giving me feedback on a api design problem?
https://github.com/joe-warren/opencascade-hs/issues/3

Yuras,
@Yuras@mastodon.social avatar

@hungryjoe If Acquire is a problem, why don't use finalizers to release memory? I know, you explicitly wrote that you don't want Ptr, but I don't understand why.

Yuras,
@Yuras@mastodon.social avatar

@hungryjoe ah, I see now. I misread this part in the post.
So all these functions, like volume, are impure by design, so you need a monad there anyway. And the question has nothing to do with Acquire per ser, you just happen to have this monad already.
In this case, as a hypothetical user of the library, I'd prefer Monad/Applicative and do-notation. Again, you explicitly wrote that you don't want it. Why?

EyalL, to random
@EyalL@mastodon.social avatar

So disappointing:

I was so hoping for a Russian implosion

It seemed completely inevitable as Prigozhin backing down is suicide and the military hasn't enough to stop him.

It still seems that way, yet he backed down?

Is he dumb? Does he know something we don't?

Yuras,
@Yuras@mastodon.social avatar

@EyalL imo it was not a rebellion against Putin in the first place, and Prigozhin didn't actually plan to take Moscow.
When Putin said that he considers it a rebellion, it immediately became clear for Prigozhin that he had lost. The rest was his exit strategy.

Yuras,
@Yuras@mastodon.social avatar

@EyalL but yeah, it's disappointing anyway.

Yuras,
@Yuras@mastodon.social avatar

@EyalL you mean, would he succeed or not? Probably he would since there were not many forces between him and Moscow. There were a lot of Rosgvardiya, but they are good only against civilians. But I doubt he'd have chances in the civil war it would start.
But it's just a speculation at this point.

Yuras,
@Yuras@mastodon.social avatar

@EyalL I saw mentions that 45th brigade was somewhere there though. If it was true, then probably no chances. At least not easy.

Yuras,
@Yuras@mastodon.social avatar

@EyalL For the world - definitely. Well, assuming nukes would be under control. For him - I don't know. I though it was actually his exit strategy - take Moscow if negotiations fail, but it's very risky. IMO the solution he found, while risky, is still less so.

Yuras,
@Yuras@mastodon.social avatar

@EyalL I don't think Prigozhin had 20k on the Moscow axe. Also pro-putin forces just needed to slow him down to give Putin time to gather more forces.

Yuras,
@Yuras@mastodon.social avatar

@EyalL I don't think he'd worry about Ukraine at that point. Also there are forces at borders with NATO and China (they are depleted, but still.) There are forces at training camps, on move from camps to Ukraine, etc. It's a question of time to gather more troops, really. The real question is whether he had enough time and whether these troops would actually obey his orders.

  • All
  • Subscribed
  • Moderated
  • Favorites
  • •
  • JUstTest
  • thenastyranch
  • magazineikmin
  • ethstaker
  • khanakhh
  • rosin
  • Youngstown
  • everett
  • slotface
  • ngwrru68w68
  • mdbf
  • GTA5RPClips
  • kavyap
  • DreamBathrooms
  • provamag3
  • cisconetworking
  • cubers
  • Leos
  • InstantRegret
  • Durango
  • tacticalgear
  • tester
  • osvaldo12
  • normalnudes
  • anitta
  • modclub
  • megavids
  • lostlight
  • All magazines
    •