blah

Author: tecunningham

docs/index.html

@@ -258,20 +258,12 @@ <h3 class="no-anchor listing-title">
 </a>
 </div>
 </div>
-<<<<<<< HEAD
-<div class="quarto-post image-right" data-index="1" data-listing-date-sort="1767772800000" data-listing-file-modified-sort="1767616654191" data-listing-date-modified-sort="NaN" data-listing-reading-time-sort="7" data-listing-word-count-sort="1301">
-<div class="thumbnail">
-<p><a href="./posts/2025-12-30-llm-verification.html" class="no-external"></a></p><a href="./posts/2025-12-30-llm-verification.html" class="no-external">
-</a><p><a href="./posts/2025-12-30-llm-verification.html" class="no-external"></a></p>
-</div>
-=======
-<div class="quarto-post image-right" data-index="1" data-listing-date-sort="1767772800000" data-listing-file-modified-sort="1767193737256" data-listing-date-modified-sort="NaN" data-listing-reading-time-sort="7" data-listing-word-count-sort="1301">
+<div class="quarto-post image-right" data-index="1" data-listing-date-sort="1767600000000" data-listing-file-modified-sort="1767193737256" data-listing-date-modified-sort="NaN" data-listing-reading-time-sort="7" data-listing-word-count-sort="1301">
 <div class="thumbnail"><a href="./posts/2025-12-30-llm-verification.html" class="no-external">
 
 <div class="listing-item-img-placeholder card-img-top" >&nbsp;</div>
 
 </a></div>
->>>>>>> 0e1a6cf (time saving)
 <div class="body">
 <h3 class="no-anchor listing-title">
 <a href="./posts/2025-12-30-llm-verification.html" class="no-external">LLM verification</a>