Menu Icon
What we do
AI Solutions
Haskell
Who we are
Spain Office
Insights
Careers
Contact Us
What we do
AI Solutions
Haskell
Who we are
Spain Office
Insights
Careers
Contact Us
Stack Builders Insider
Discover expert insights by industry-leading engineers to help you deliver pragmatic, reliable software solutions.
Subscribe
By subscribing to Stack Builders Insider, you agree to our
Privacy Policy
.
Learn about practical DevOps in our free resource
Find out how you can optimize DevOps for better security, reliability, and scalability.
Learn more
Clouds and Servers
Explore some topics
Search
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
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
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
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
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
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
8
9
10
11
12
...