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

software development industry

Tutorial Python

video generation with python

Producing a large number of personalized videos can be challenging. In this article, we will walk through a solution using Python that streamlines the process while creating high-quality user experiences. This popular post was originally written in 2019 and updated in March 2024 to reflect the library's upgrade to the latest version of MoviePy and the process of exporting the video in GIF format.

Sebastian Arias (+2 more) Dec. 21, 2024

Streamlining - Blog

Devenv Nix Terraform Development Environments

streamlining devops with nixpkgs-terraform and devenv

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

Óscar Izquierdo Valentín Dec. 21, 2024

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