Hacker News<p>Teaching Program Verification in Dafny at Amazon (2023)</p><p><a href="https://dafny.org/blog/2023/12/15/teaching-program-verification-in-dafny-at-amazon/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">dafny.org/blog/2023/12/15/teac</span><span class="invisible">hing-program-verification-in-dafny-at-amazon/</span></a></p><p><a href="https://mastodon.social/tags/HackerNews" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>HackerNews</span></a> <a href="https://mastodon.social/tags/TeachingProgramVerification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>TeachingProgramVerification</span></a> <a href="https://mastodon.social/tags/Dafny" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Dafny</span></a> <a href="https://mastodon.social/tags/Amazon" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Amazon</span></a> #2023 <a href="https://mastodon.social/tags/SoftwareEngineering" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SoftwareEngineering</span></a> <a href="https://mastodon.social/tags/CodeQuality" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CodeQuality</span></a></p>