Menu Icon
About
About Us
What We Do
Who We Are
Solutions
Services
AI Solutions
DevOps
AI Vision Engineering
Fractional CTO
Mobile + Web App Development
Legacy System Modernization
Insights
Careers
Case Studies
Contact Us
Contact Us
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
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 Valentín
6 min 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 min 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 min 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
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
Diving into Property-Based Testing with JavaScript - Part 2
Diving into Property-Based Testing with JavaScript - Part 2
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.
Nataly Rocha
4 min read
2
3
4
5
6
...
