Skip to content
Navigation menu
Search
Powered by Algolia
Search
Log in
Create account
DEV Community
Close
#
formalverification
Follow
Hide
Posts
Left menu
đź‘‹
Sign in
for the ability to sort posts by
relevant
,
latest
, or
top
.
Right menu
Why Verification Asks You to Leave the Language You Ship
Chris Roy
Chris Roy
Chris Roy
Follow
Sep 6
Why Verification Asks You to Leave the Language You Ship
#
architecture
#
languagedesign
#
formalverification
#
rust
Comments
Add Comment
12 min read
A formally-verified OCaml tool to recover RPG Maker assets — one binary, zero deps
LulLaS
LulLaS
LulLaS
Follow
Aug 2
A formally-verified OCaml tool to recover RPG Maker assets — one binary, zero deps
#
showdev
#
ocaml
#
reverseengineering
#
formalverification
1
 reaction
Comments
Add Comment
1 min read
When Did AI Become the New Toy? I Just Got Here.
Marius
Marius
Marius
Follow
Jul 30
When Did AI Become the New Toy? I Just Got Here.
#
ai
#
architecture
#
security
#
formalverification
Comments
4
 comments
4 min read
AI Can Migrate Your COBOL to Java. It Can't Prove It Didn't Break Anything. We Built the Part That Does.
Vaibhav Tekam
Vaibhav Tekam
Vaibhav Tekam
Follow
Jul 14
AI Can Migrate Your COBOL to Java. It Can't Prove It Didn't Break Anything. We Built the Part That Does.
#
legacy
#
architecture
#
formalverification
#
legacymigration
Comments
Add Comment
6 min read
đź‘‹
Sign in
for the ability to sort posts by
relevant
,
latest
, or
top
.
We're a place where coders share, stay up-to-date and grow their careers.
Log in
Create account
