Menu Icon
About
About Us
What We Do
Who We Are
Our Offices
Spain Office
Solutions
Services
AI Solutions
DevOps
Functional Programming
Technology
Haskell
Insights
Careers
Get in Touch
Get in Touch
Stack Builders Insider
Discover expert insights by industry-leading engineers to help you deliver pragmatic, reliable software solutions.
Email
Subscribe
By subscribing, you agree 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
Stack Builders recognized a second year in a row as a fast growing business
Stack Builders recognized a second year in a row as a fast growing business
Stack Builders was recognized for the second consecutive year at the University at Buffalo’s Fast 46 Celebration, honoring the fastest-growing businesses led by UB alumni. Co-founders Lori and Justin Leitgeb attribute this success to their team's innovative blend of social and computer sciences, driving impactful global software solutions.
Stack Builders team
1 min read
Streamlining DevOps with Nixpkgs-Terraform and Devenv
Streamlining DevOps with Nixpkgs-Terraform and Devenv
Devenv
Nix
Terraform
Development Environments
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
6 mins read
Increasing confidence in WebAssembly code with formal verification
Increasing confidence in WebAssembly code with formal verification
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!
David Mazarro
19 mins read
Diving into Property-Based Testing with JS - Part 3
Diving into Property-Based Testing with JS - Part 3
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.
Nataly Rocha
9 mins read
Announcing semantic-release-hackage, a semantic-release plugin to publish packages in Hackage
Announcing semantic-release-hackage, a semantic-release plugin to publish packages in Hackage
Hackage
Haskell
CI/CD & Automation
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 mins read
Diving into Property-Based Testing with JavaScript - Part 2
Diving into Property-Based Testing with JavaScript - Part 2
TDD
CI/CD & Automation
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.
Nataly Rocha
4 mins read
1
2
3
4
5
...
