Code Contracts: Halfway Between Unit Testing And Formal Verification
Comparing three ways to catch logic regressions: Eiffel contracts, Code Contracts checked by an agent, and Bend proofs.
Full-stack web developer at marmelab, Anthony seeks to improve and learn every day. He likes basketball, motorsports and is a big Harry Potter fan
Comparing three ways to catch logic regressions: Eiffel contracts, Code Contracts checked by an agent, and Bend proofs.
When using AI to build applications, many developers prefer to implement their own solutions rather than rely on existing libraries. But that comes at a cost.
Taskfile is a tool inspired by Makefile written in Go. It was designed to address common problems encountered with Makefile, while offering a simpler and more readable syntax.
Developing Lambdas can be a pain, but with SAM to manage the infrastructure and Localstack to test locally, it's a breeze.
FormAIdable is a browser extension for Chrome and Firefox that extracts information from one tab and automatically populates form fields in another. It makes a great tutorial for building extensions.
Leveraging cutting-edge JavaScript techniques, Marmelab proudly introduces a revolutionary library to get the current date. Say goodbye to timezone issues and date struggles with this innovative approach.
Marmelab était à la conférence lilloise et vous raconte les conférences qui ont marqué leur esprit.