Hey, I'm gonna try this again... Does anybody use the B-Method

God damn I've been posting variations of this for the past two days and I can't get a single response

Nobody's even fucked with this shit? It's free.

You fucking niggers come on

> coq
> homo-topy
> atelier

u fag lol XD

>>58058523
>>58058720
No, this is the first time I've heard of Atelier B. Tell me something interesting about it

>>58059086
it uses the b-method to help develop safety-critical systems. it's implemented in aerospace engineering as well as things like public transportation systems. it does it with proofs and is (i think) written in ocaml like coq.

b-method and z-method are sorta new to me but they use proofs to model physical things that may or may not kill people. it's specification software that's modeled on type theory, supports dependent types and homotopy. again, pretty cool but i'd just like to find someone else who uses it that isn't a french subway engineer

>>58059073
I'm a strong, beautiful black woman who doesn't need shit from anybody other than the person of indeterminate sex and/or gender who shits in my mouth, because that's the only way I can get off. That has nothing to do with my ability to code things, ranging from Java to C to other shit I learned in my cs101 to python or ruby or whatever. How dare you

>>58059163
Well it definitely sounds pretty cool. I might read up on it some time. It's just that I've literally never heard the term before, even though I'm in regular contact with the HoTT/DT crowd

>>58058523

If it's a distributed project, I would go with CSP or Petri nets as formal methods, since they are made for this.

>>58059276
well dang, I hope we cross paths again. I've been pretty invisible, but i'm also sort of a shut-in that's focused on quantum typing via shit like quipper. I'm very into HoTT but I don't really know any of those people.

>>58059379
This will probably sound totally retarded, but I found markov chains more simple for what I'm doing (over petri nets).

How big is your coq?

7x7 here, edging atm

>>58059410
>Quipper
Also new to me. I've been meaning to get into QC programming for a while though. I remember stumbling across some libraries on hackage which emulate quantum typing / embed quantum programming as a Haskell EDSL.

Is there anything particular you could maybe recommend if you're familiar with this shit?

>>58059747
Oh, interesting; I didn't realize Quipper was literally exactly that: A haskell EDSL. Reading up on the paper now, but my QC fundamentals are rusty and vague at best. Let's see how it goes