miacycle's comments

On: Meshery 1.0 debuts, offering Infrastructure as Design for cloud native infra

[miacycle]

It wasn't mentioned in the article, but Meshery has an online playground in which you can tryout all of its tooling from your browser at https://playground.meshery.io.

Since Meshery designs are deployable, you can essentially configure and deploy any and all CNCF projects inside its playground. Pretty awesome.

On: Leanstral: Open-source agent for trustworthy coding and formal proof engineering

[miacycle]

Assuming that what you're dealing with is assertable. I guess what I mean to say is that in some situations is difficult to articulate what is correct and what isn't depending in some situations is difficult to articulate what is correct and what isn't depending upon the situation in which the software executes.

[DrewADesign → miacycle]

And Bob’s your uncle.

On: Leanstral: Open-source agent for trustworthy coding and formal proof engineering

[miacycle]

The TDD foundation! We might need one of those. :)