Jeff Mitchell · @sentinel1909
4 followers · 44 posts · Server hachyderm.ioLovely blog post on using the Kani verification tool in conjunction with ChatGPT to confirm that the code it gives you works properly. https://model-checking.github.io/kani-verifier-blog/2023/05/01/writing-code-with-chatgpt-improve-it-with-kani.html
#rust #rustlang #chatgpt #Kani
Everything Open Conference · @everythingopen
185 followers · 52 posts · Server fosstodon.org
Next in our #EverythingOpen Speaker Spotlight we have Tobin Harding who will take us through advanced #testing in @rustlang using tools like #Mutagen and #Kani
#everythingopen #testing #mutagen #Kani
Everything Open Conference · @everythingopen
184 followers · 51 posts · Server fosstodon.org2023-09-09T06:21:00.000Z Next in our #EverythingOpen Speaker Spotlight we have Tobin Harding who will take us through advanced #testing in @rustlang using tools like #Mutagen and #Kani https://2023.everythingopen.au/schedule/presentation/14/ You'll need a laptop, some #Python and an #IBM quantum experience account: https://2023.everythingopen.au/schedule/presentation/19/
#everythingopen #testing #mutagen #Kani #python #ibm
RealAurelius :verified: · @RealAurelius
65 followers · 230 posts · Server m.cmx.im
RealAurelius :verified: · @RealAurelius
65 followers · 230 posts · Server m.cmx.im
RealAurelius :verified: · @RealAurelius
65 followers · 230 posts · Server m.cmx.im
RealAurelius :verified: · @RealAurelius
65 followers · 230 posts · Server m.cmx.im
RealAurelius :verified: · @RealAurelius
65 followers · 230 posts · Server m.cmx.im
RealAurelius :verified: · @RealAurelius
65 followers · 230 posts · Server m.cmx.im
RealAurelius :verified: · @RealAurelius
65 followers · 230 posts · Server m.cmx.im
Puppy_Timbo · @Puppy_timbo
68 followers · 137 posts · Server rubber.social
Timbo was out and about in #Heidelberg when the weather was nice in #Kani style baggys and a Kani shirt
#newpost #photooftheday #photooftheday #puppy #paw #pride #puppylove #puppiesofinstagram #pup #puphood #puppies #scally #sox #socks #sk8erboy #fetisch #gearfetish
#heidelberg #Kani #newpost #photooftheday #puppy #paw #pride #puppylove #puppiesofinstagram #pup #puphood #puppies #scally #sox #socks #sk8erboy #fetisch #gearfetish
RealAurelius :verified: · @RealAurelius
65 followers · 230 posts · Server m.cmx.im
RealAurelius :verified: · @RealAurelius
65 followers · 230 posts · Server m.cmx.im
RealAurelius :verified: · @RealAurelius
65 followers · 230 posts · Server m.cmx.im
RealAurelius :verified: · @RealAurelius
65 followers · 230 posts · Server m.cmx.im
RealAurelius :verified: · @RealAurelius
65 followers · 230 posts · Server m.cmx.im
RealAurelius :verified: · @RealAurelius
65 followers · 230 posts · Server m.cmx.im
RealAurelius :verified: · @RealAurelius
65 followers · 230 posts · Server m.cmx.im
