Stack Builders Insider

Discover expert insights by industry-leading engineers to help you deliver pragmatic, reliable software solutions.

Learn about practical DevOps in our free resource

Find out how you can optimize DevOps for better security, reliability, and scalability. Learn more

Explore some topics

Streamlining - Blog

Terraform Development Environments Devenv Nix

Explore the seamless integration of nixpkgs-terraform with devenv, enabling developers to specify Terraform versions effortlessly, enhancing productivity and quality of life.

Óscar Izquierdo

Óscar Izquierdo Valentín 6 min read

WebAssembly Blog

WebAssembly Formal Verification

This is a follow-up blog post to "Increasing confidence in your software with formal verification". This time, I introduce a proof-of-concept formal verification tool for WebAssembly bytecode. Even if you don't know WebAssembly, stick around: basic explanations of what WebAssembly is and how it works are included in this blog post!

foto_david_mazarro

David Mazarro 19 min read

Property based part 3 - Blog

CI/CD & Automation Testing

Explore a real-world example of property-based testing in the final part of the blog, where we dive into a concrete example highlighting the methodology's effectiveness. Uncover the challenges of debugging with property-based tests and discuss the benefits and drawbacks.

NatalyRocha

Nataly Rocha 9 min read

Semantic Release Package - Blog

Haskell CI/CD & Automation Hackage

Rooted in our commitment to fostering open-source software initiatives, this plugin brings the renowned benefits of semantic release to the Haskell community. We're thrilled to announce the release of semantic-release-hackage, a plugin for effortlessly publishing your libraries to Hackage. Forget about manual release, just create your commits and let the plugin do the rest!

David Villamarin 2 min read

Property Based Part II - Blog

CI/CD & Automation TDD Testing

In this part of the blog, discover the differences and add-ons of property-based testing over traditional methods. A practical template will be shared to guide you in incorporating property-based testing into your toolkit, providing you with additional resources to strengthen your testing practices.

NatalyRocha

Nataly Rocha 4 min read

Property Based - Part 1

CI/CD & Automation Testing

Property-based testing has gained popularity for powerful code validation, catching hidden bugs, and enhancing software quality. Originally in Haskell and now in various languages, including JavaScript, this blog showcases its features and differences with example-based testing through fun analogies and practical examples using fast-check.

NatalyRocha

Nataly Rocha 6 min read