·Software Development
Vibe Coding vs. Formal Verification: Bridging the Gap
Why 'It feels right' is not a unit test. Learn how to combine the speed of LLM 'Vibe Coding' with the safety of formal verification for mission-critical agents.
testing
7 articles
·DevOps
Module 11 Lesson 4: Automated Testing with Docker
Verify your code in a clean environment. Learn how to use Docker to run unit and integration tests as part of your automated build process.
·DevOps
Module 5 Lesson 1: Automated Unit Testing
The first line of defense. Learn how to integrate unit tests into your GitLab pipeline, use test reports, and visualize your code coverage.
·DevOps
Module 5 Lesson 2: Integration Testing & Services
Do they play well together? Learn how to use GitLab 'Services' to spin up temporary databases and caches (like Redis or Postgres) during your integration tests.
·Automation
Module 3 Lesson 5: Testing & Debugging
Fail fast. Learn how to test individual nodes in isolation, read the execution JSON, and find the 'Needle in the haystack' when a workflow fails.
·Generative AI
Module 3 Lesson 5: Iterative Prompt Design
The Refinement Loop. How to treat prompting as an experiment rather than a one-off command.
·AI & LLMs
Module 6 Lesson 6: Compatibility Validation
Is it working? How to verify that your imported Hugging Face model is behaving correctly in Ollama.