Iron Fever | DMs open to talk shop

✝️
formal verification of semantic properties for agentic coding
honorary american

[Iron Fever | DMs open to talk shop @iron_fever]

okay bros lets do this

[Iron Fever | DMs open to talk shop @iron_fever]

@haydendevs just people trying to escape permanent underclass

[Iron Fever | DMs open to talk shop @iron_fever]

@dvb_eck its like getting a haircut for me

[Iron Fever | DMs open to talk shop @iron_fever]

@justalexoki youre going to love llms

[Iron Fever | DMs open to talk shop @iron_fever]

@haydendevs pls document if you find it. i also dont get what im ment to be doing with it

[Iron Fever | DMs open to talk shop @iron_fever]

@_ontologic lfg! ill test it out today

[Iron Fever | DMs open to talk shop @iron_fever]

@oxcrowx i think my tool can do this, it currently really only works well for equivalence checking.

[Iron Fever | DMs open to talk shop @iron_fever]

@_ontologic okay just looked into what exactly fuzzing is. curious what turns out to be better for llms. are you releasing it as a product or something?

[Iron Fever | DMs open to talk shop @iron_fever]

@_ontologic very cool, currently trying to productize this based on the same insight. although i think you are using different approach? mine is more or less standard formal verification approach with heavy focus on semantic properties

[Iron Fever | DMs open to talk shop @iron_fever]

@gossipaddress youre welcome bro

[Iron Fever | DMs open to talk shop @iron_fever]

@_ontologic hes made this mod also. probably his best work

[Iron Fever | DMs open to talk shop @iron_fever]

@Landeur bro is that in brno? that cant be no?

[Iron Fever | DMs open to talk shop @iron_fever]

@Landeur glad you like it here:)

[Iron Fever | DMs open to talk shop @iron_fever]

@haydendevs ive actually started visiting my parents regularly and ive never been happier

[Iron Fever | DMs open to talk shop @iron_fever]

@gossipaddress damn bro. i just wanted to make my saas a little better

[Iron Fever | DMs open to talk shop @iron_fever]

@ZyMazza i beg to differ

[Iron Fever | DMs open to talk shop @iron_fever]

@ZyMazza very cool in deed. i need to ask for intercession more

[Iron Fever | DMs open to talk shop @iron_fever]

@ZyMazza is that Cyril and Methodius?

[Iron Fever | DMs open to talk shop @iron_fever]

@ZyMazza some cool icons you got there. very based