Nicolas Fränkel · @frankel
842 followers · 1026 posts · Server mastodon.top
#ProgrammingLanguages Going Above and Beyond
https://whileydave.com/2023/06/27/programming-languages-going-above-and-beyond/
José A. Alonso · @Jose_A_Alonso
820 followers · 1655 posts · Server mathstodon.xyz
Proving a beautiful identity in Dafny. ~ David J. Pearce (@whileydave) https://whileydave.com/2023/07/17/proving-a-beautiful-identity-in-dafny/ #ITP #Dafny #Math
Gareth Lloyd (He/him) · @glloyd
76 followers · 365 posts · Server fosstodon.org
#dafny looks like it has some good features
https://whileydave.com/2023/06/27/programming-languages-going-above-and-beyond/
....still waiting for C++ contracts #cplusplus #cpp
Yoxem · @Yoxem
153 followers · 2792 posts · Server g0v.social
Maciej Barć · @xgqt
295 followers · 3103 posts · Server fosstodon.orgFinally managed to create a #Gentoo #Ebuild for compiling #Dafny that does not access the network.
#Dafny is a verification-aware programming language written in #dotnet.
It took a long time of preparation and testing to satisfy #Portage with the new dotnet-pkg eclass and probably would not be possible without help from Anna "navi" Gomes.
https://gitlab.com/xgqt/gentoo-dotnet-2023/-/commit/8ebab6cb3ea4a8cabeb6d11c0e5d09e01365a93d
#gentoo #ebuild #dafny #dotnet #portage
badtuple · @badtuple
478 followers · 1267 posts · Server mastodon.socialHas anyone used #dafny for anything substantial? I haven't dived in yet, but I _really_ like the design-by-contract style by which they verify. Curious what people who have used it extensively enough to run into sharp corners think of it.
· @AdaPlanet
53 followers · 2261 posts · Server botsin.spaceHow to make Pre and Post conditions for recursive functions in SPARK? https://stackoverflow.com/questions/69147346/how-to-make-pre-and-post-conditions-for-recursive-functions-in-spark #ada #programming #apache-spark #recursion #dafny #ada
#ada #programming #apache #recursion #dafny