# Rust and Formal Verification: How to Prove Your Code Actually Works
As a best-selling author, I invite you to explore my books on Amazon . Don't forget to follow me on Medium and show your support. Thank you! Your supp…
Testing & QA
⚑ Report a ProblemLatest Testing & QA news from Tech News
All topics
agents
ai
api
architecture
automation
aws
beginners
career
claude
cybersecurity
devchallenge
devops
discuss
frontpage
javascript
llm
machinelearning
mcp
opensource
performance
productivity
programming
python
rust
security
showdev
testing
tutorial
typescript
webdev
Crossposting without the copy-paste: a GitHub Action from Hugo to dev.to
My blog runs on Hugo. I also recently discovered I can cross-post to dev.to , because that's where a lot of the conversation actually happens. For a w…