Skip to content
lnds
@
net
:
~
$
Search the blog
posts
newsletter
books
about
es
en
light
dark
$
ls -l en/tag/verification/
Verification
2025
2025-09-14
Software engineering as a technology