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

WebAssembly Blog

WebAssembly Formal Verification

increasing confidence in webassembly code with 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!

David Mazarro Dec. 21, 2024

Property based part 3 - Blog

CI/CD & Automation Testing

diving into property-based testing with js - part 3

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.

Nataly Rocha Dec. 21, 2024

Semantic Release Package - Blog

Hackage Haskell CI/CD & Automation

announcing semantic-release-hackage, a semantic-release plugin to publish packages in 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 Dec. 21, 2024

Property Based Part II - Blog

TDD CI/CD & Automation Testing

diving into property-based testing with javascript - part 2

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.

Nataly Rocha Dec. 21, 2024

Property Based - Part 1

CI/CD & Automation Testing

diving into property-based testing with javascript - part 1

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.

Nataly Rocha Dec. 21, 2024

Combining Nix with Terraform - Blog

DevOps Nix CI/CD & Automation Development Environments

combining nix with terraform for better devops

We're thrilled to announce the release of nixpkgs-terraform, a game-changer for your Terraform environment. Forget about documentation hassles and effortlessly keep your team on the same version with its declarative and reproducible installation. Dive into the future of DevOps with Stack Builders!

Óscar Izquierdo Valentín (+2 more) Dec. 21, 2024