From c3829265b6ed69eb103cd5bf2d93a8a9afe86438 Mon Sep 17 00:00:00 2001
From: franziskuskiefer <franziskuskiefer@users.noreply.github.com>
Date: Mon, 6 Jan 2025 14:33:41 +0000
Subject: [PATCH] deploy: 68413269c149f58fca426f822a8c937058feed34

---
 archives/index.html                        |  2 +-
 index.html                                 |  2 +-
 index.xml                                  |  4 ++--
 posts/index.html                           |  2 +-
 posts/index.xml                            |  4 ++--
 posts/this-month-in-hax/2024-12/index.html |  4 ++--
 sitemap.xml                                | 10 +++++-----
 tags/index.xml                             |  4 ++--
 tags/this-month-in-hax/index.html          |  2 +-
 tags/this-month-in-hax/index.xml           |  4 ++--
 10 files changed, 19 insertions(+), 19 deletions(-)
diff --git a/archives/index.html b/archives/index.html
index 12034d2..922f8c2 100644
--- a/archives/index.html
+++ b/archives/index.html
@@ -1,6 +1,6 @@
 <!doctype html><html lang=en dir=auto><head><meta charset=utf-8><meta http-equiv=X-UA-Compatible content="IE=edge"><meta name=viewport content="width=device-width,initial-scale=1,shrink-to-fit=no"><meta name=robots content="index, follow"><title>Archive | hax</title>
 <meta name=keywords content><meta name=description content="archives"><meta name=author content="hacspec authors"><link rel=canonical href=https://hacspec.github.io/blog/archives/><link crossorigin=anonymous href=/blog/assets/css/stylesheet.1b82bbed8b13f853704558d527b681efaea938ce91e6ae8903e8b19e73b1b0f8.css integrity="sha256-G4K77YsT+FNwRVjVJ7aB766pOM6R5q6JA+ixnnOxsPg=" rel="preload stylesheet" as=style><link rel=icon href=https://hacspec.github.io/blog/favicon.ico><link rel=icon type=image/png sizes=16x16 href=https://hacspec.github.io/blog/favicon-16x16.png><link rel=icon type=image/png sizes=32x32 href=https://hacspec.github.io/blog/favicon-32x32.png><link rel=apple-touch-icon href=https://hacspec.github.io/blog/apple-touch-icon.png><link rel=mask-icon href=https://hacspec.github.io/blog/safari-pinned-tab.svg><meta name=theme-color content="#2e2e33"><meta name=msapplication-TileColor content="#2e2e33"><noscript><style>#theme-toggle,.top-link{display:none}</style><style>@media(prefers-color-scheme:dark){:root{--theme:rgb(29, 30, 32);--entry:rgb(46, 46, 51);--primary:rgb(218, 218, 219);--secondary:rgb(155, 156, 157);--tertiary:rgb(65, 66, 68);--content:rgb(196, 196, 197);--hljs-bg:rgb(46, 46, 51);--code-bg:rgb(55, 56, 62);--border:rgb(51, 51, 51)}.list{background:var(--theme)}.list:not(.dark)::-webkit-scrollbar-track{background:0 0}.list:not(.dark)::-webkit-scrollbar-thumb{border-color:var(--theme)}}</style></noscript><meta property="og:title" content="Archive"><meta property="og:description" content="archives"><meta property="og:type" content="article"><meta property="og:url" content="https://hacspec.github.io/blog/archives/"><meta property="og:image" content="https://hacspec.github.io/blog/papermod-cover.png"><meta property="article:section" content><meta name=twitter:card content="summary_large_image"><meta name=twitter:image content="https://hacspec.github.io/blog/papermod-cover.png"><meta name=twitter:title content="Archive"><meta name=twitter:description content="archives"><script type=application/ld+json>{"@context":"https://schema.org","@type":"BreadcrumbList","itemListElement":[{"@type":"ListItem","position":1,"name":"Archive","item":"https://hacspec.github.io/blog/archives/"}]}</script><script type=application/ld+json>{"@context":"https://schema.org","@type":"BlogPosting","headline":"Archive","name":"Archive","description":"archives","keywords":[],"articleBody":"","wordCount":"0","inLanguage":"en","datePublished":"0001-01-01T00:00:00Z","dateModified":"0001-01-01T00:00:00Z","author":{"@type":"Person","name":"hacspec authors"},"mainEntityOfPage":{"@type":"WebPage","@id":"https://hacspec.github.io/blog/archives/"},"publisher":{"@type":"Organization","name":"hax","logo":{"@type":"ImageObject","url":"https://hacspec.github.io/blog/favicon.ico"}}}</script></head><body class=list id=top><script>localStorage.getItem("pref-theme")==="dark"?document.body.classList.add("dark"):localStorage.getItem("pref-theme")==="light"?document.body.classList.remove("dark"):window.matchMedia("(prefers-color-scheme: dark)").matches&&document.body.classList.add("dark")</script><header class=header><nav class=nav><div class=logo><a href=https://hacspec.github.io/blog/ accesskey=h title="hax (Alt + H)">hax</a><div class=logo-switches><button id=theme-toggle accesskey=t title="(Alt + T)"><svg id="moon" xmlns="http://www.w3.org/2000/svg" width="24" height="18" viewBox="0 0 24 24" fill="none" stroke="currentcolor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"><path d="M21 12.79A9 9 0 1111.21 3 7 7 0 0021 12.79z"/></svg><svg id="sun" xmlns="http://www.w3.org/2000/svg" width="24" height="18" viewBox="0 0 24 24" fill="none" stroke="currentcolor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"><circle cx="12" cy="12" r="5"/><line x1="12" y1="1" x2="12" y2="3"/><line x1="12" y1="21" x2="12" y2="23"/><line x1="4.22" y1="4.22" x2="5.64" y2="5.64"/><line x1="18.36" y1="18.36" x2="19.78" y2="19.78"/><line x1="1" y1="12" x2="3" y2="12"/><line x1="21" y1="12" x2="23" y2="12"/><line x1="4.22" y1="19.78" x2="5.64" y2="18.36"/><line x1="18.36" y1="5.64" x2="19.78" y2="4.22"/></svg></button></div></div><ul id=menu><li><a href=https://hacspec.github.io/blog/archives title=Archive><span class=active>Archive</span></a></li><li><a href=https://hacspec.github.io/blog/search/ title="Search (Alt + /)" accesskey=/><span>Search</span></a></li><li><a href=https://hacspec.github.io/blog/tags/ title=Tags><span>Tags</span></a></li></ul></nav></header><main class=main><header class=page-header><h1>Archive
-<a href=/blog/index.xml title=RSS aria-label=RSS><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24" fill="none" stroke="currentcolor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" height="23"><path d="M4 11a9 9 0 019 9"/><path d="M4 4a16 16 0 0116 16"/><circle cx="5" cy="19" r="1"/></svg></a></h1></header><div class=archive-year><h2 class=archive-year-header>2024<sup class=archive-count>&nbsp;&nbsp;7</sup></h2><div class=archive-month><h3 class=archive-month-header>December<sup class=archive-count>&nbsp;&nbsp;2</sup></h3><div class=archive-posts><div class=archive-entry><h3 class=archive-entry-title>This month in hax: December 2024</h3><div class=archive-meta><span title='2024-12-06 00:00:00 +0000 UTC'>December 6, 2024</span>&nbsp;·&nbsp;2 min&nbsp;·&nbsp;Lucas Franceschino</div><a class=entry-link aria-label="post link to This month in hax: December 2024" href=https://hacspec.github.io/blog/posts/this-month-in-hax/2024-12/></a></div><div class=archive-entry><h3 class=archive-entry-title>This month in hax: November 2024</h3><div class=archive-meta><span title='2024-12-03 00:00:00 +0000 UTC'>December 3, 2024</span>&nbsp;·&nbsp;2 min&nbsp;·&nbsp;Lucas Franceschino</div><a class=entry-link aria-label="post link to This month in hax: November 2024" href=https://hacspec.github.io/blog/posts/this-month-in-hax/2024-11/></a></div></div></div><div class=archive-month><h3 class=archive-month-header>November<sup class=archive-count>&nbsp;&nbsp;1</sup></h3><div class=archive-posts><div class=archive-entry><h3 class=archive-entry-title>This month in hax: October 2024</h3><div class=archive-meta><span title='2024-11-04 00:00:00 +0000 UTC'>November 4, 2024</span>&nbsp;·&nbsp;3 min&nbsp;·&nbsp;Maxime Buyse</div><a class=entry-link aria-label="post link to This month in hax: October 2024" href=https://hacspec.github.io/blog/posts/this-month-in-hax/2024-10/></a></div></div></div><div class=archive-month><h3 class=archive-month-header>October<sup class=archive-count>&nbsp;&nbsp;1</sup></h3><div class=archive-posts><div class=archive-entry><h3 class=archive-entry-title>This month in hax: September 2024</h3><div class=archive-meta><span title='2024-10-01 00:00:00 +0000 UTC'>October 1, 2024</span>&nbsp;·&nbsp;2 min&nbsp;·&nbsp;Lucas Franceschino</div><a class=entry-link aria-label="post link to This month in hax: September 2024" href=https://hacspec.github.io/blog/posts/this-month-in-hax/2024-09/></a></div></div></div><div class=archive-month><h3 class=archive-month-header>August<sup class=archive-count>&nbsp;&nbsp;1</sup></h3><div class=archive-posts><div class=archive-entry><h3 class=archive-entry-title>This month in hax: July 2024</h3><div class=archive-meta><span title='2024-08-12 00:00:00 +0000 UTC'>August 12, 2024</span>&nbsp;·&nbsp;2 min&nbsp;·&nbsp;Lucas Franceschino</div><a class=entry-link aria-label="post link to This month in hax: July 2024" href=https://hacspec.github.io/blog/posts/this-month-in-hax/2024-07/></a></div></div></div><div class=archive-month><h3 class=archive-month-header>July<sup class=archive-count>&nbsp;&nbsp;1</sup></h3><div class=archive-posts><div class=archive-entry><h3 class=archive-entry-title>This month in hax: June 2024</h3><div class=archive-meta><span title='2024-07-02 00:00:00 +0000 UTC'>July 2, 2024</span>&nbsp;·&nbsp;2 min&nbsp;·&nbsp;Lucas Franceschino</div><a class=entry-link aria-label="post link to This month in hax: June 2024" href=https://hacspec.github.io/blog/posts/this-month-in-hax/2024-06/></a></div></div></div><div class=archive-month><h3 class=archive-month-header>May<sup class=archive-count>&nbsp;&nbsp;1</sup></h3><div class=archive-posts><div class=archive-entry><h3 class=archive-entry-title>Announcing the hax tutorial</h3><div class=archive-meta><span title='2024-05-13 00:00:00 +0000 UTC'>May 13, 2024</span>&nbsp;·&nbsp;1 min&nbsp;·&nbsp;Lucas Franceschino</div><a class=entry-link aria-label="post link to Announcing the hax tutorial" href=https://hacspec.github.io/blog/posts/announcement-tutorial/></a></div></div></div></div><div class=archive-year><h2 class=archive-year-header>2023<sup class=archive-count>&nbsp;&nbsp;1</sup></h2><div class=archive-month><h3 class=archive-month-header>October<sup class=archive-count>&nbsp;&nbsp;1</sup></h3><div class=archive-posts><div class=archive-entry><h3 class=archive-entry-title>Introducing hax 🎂</h3><div class=archive-meta><span title='2023-10-20 00:00:00 +0000 UTC'>October 20, 2023</span>&nbsp;·&nbsp;7 min&nbsp;·&nbsp;Franziskus Kiefer & Lucas Franceschino</div><a class=entry-link aria-label="post link to Introducing hax 🎂" href=https://hacspec.github.io/blog/posts/hax-v0-1/></a></div></div></div></div></main><footer class=footer><span>&copy; 2025 <a href=https://hacspec.github.io/blog/>hax</a></span>
+<a href=/blog/index.xml title=RSS aria-label=RSS><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24" fill="none" stroke="currentcolor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" height="23"><path d="M4 11a9 9 0 019 9"/><path d="M4 4a16 16 0 0116 16"/><circle cx="5" cy="19" r="1"/></svg></a></h1></header><div class=archive-year><h2 class=archive-year-header>2025<sup class=archive-count>&nbsp;&nbsp;1</sup></h2><div class=archive-month><h3 class=archive-month-header>January<sup class=archive-count>&nbsp;&nbsp;1</sup></h3><div class=archive-posts><div class=archive-entry><h3 class=archive-entry-title>This month in hax: December 2024</h3><div class=archive-meta><span title='2025-01-06 00:00:00 +0000 UTC'>January 6, 2025</span>&nbsp;·&nbsp;2 min&nbsp;·&nbsp;Lucas Franceschino</div><a class=entry-link aria-label="post link to This month in hax: December 2024" href=https://hacspec.github.io/blog/posts/this-month-in-hax/2024-12/></a></div></div></div></div><div class=archive-year><h2 class=archive-year-header>2024<sup class=archive-count>&nbsp;&nbsp;6</sup></h2><div class=archive-month><h3 class=archive-month-header>December<sup class=archive-count>&nbsp;&nbsp;1</sup></h3><div class=archive-posts><div class=archive-entry><h3 class=archive-entry-title>This month in hax: November 2024</h3><div class=archive-meta><span title='2024-12-03 00:00:00 +0000 UTC'>December 3, 2024</span>&nbsp;·&nbsp;2 min&nbsp;·&nbsp;Lucas Franceschino</div><a class=entry-link aria-label="post link to This month in hax: November 2024" href=https://hacspec.github.io/blog/posts/this-month-in-hax/2024-11/></a></div></div></div><div class=archive-month><h3 class=archive-month-header>November<sup class=archive-count>&nbsp;&nbsp;1</sup></h3><div class=archive-posts><div class=archive-entry><h3 class=archive-entry-title>This month in hax: October 2024</h3><div class=archive-meta><span title='2024-11-04 00:00:00 +0000 UTC'>November 4, 2024</span>&nbsp;·&nbsp;3 min&nbsp;·&nbsp;Maxime Buyse</div><a class=entry-link aria-label="post link to This month in hax: October 2024" href=https://hacspec.github.io/blog/posts/this-month-in-hax/2024-10/></a></div></div></div><div class=archive-month><h3 class=archive-month-header>October<sup class=archive-count>&nbsp;&nbsp;1</sup></h3><div class=archive-posts><div class=archive-entry><h3 class=archive-entry-title>This month in hax: September 2024</h3><div class=archive-meta><span title='2024-10-01 00:00:00 +0000 UTC'>October 1, 2024</span>&nbsp;·&nbsp;2 min&nbsp;·&nbsp;Lucas Franceschino</div><a class=entry-link aria-label="post link to This month in hax: September 2024" href=https://hacspec.github.io/blog/posts/this-month-in-hax/2024-09/></a></div></div></div><div class=archive-month><h3 class=archive-month-header>August<sup class=archive-count>&nbsp;&nbsp;1</sup></h3><div class=archive-posts><div class=archive-entry><h3 class=archive-entry-title>This month in hax: July 2024</h3><div class=archive-meta><span title='2024-08-12 00:00:00 +0000 UTC'>August 12, 2024</span>&nbsp;·&nbsp;2 min&nbsp;·&nbsp;Lucas Franceschino</div><a class=entry-link aria-label="post link to This month in hax: July 2024" href=https://hacspec.github.io/blog/posts/this-month-in-hax/2024-07/></a></div></div></div><div class=archive-month><h3 class=archive-month-header>July<sup class=archive-count>&nbsp;&nbsp;1</sup></h3><div class=archive-posts><div class=archive-entry><h3 class=archive-entry-title>This month in hax: June 2024</h3><div class=archive-meta><span title='2024-07-02 00:00:00 +0000 UTC'>July 2, 2024</span>&nbsp;·&nbsp;2 min&nbsp;·&nbsp;Lucas Franceschino</div><a class=entry-link aria-label="post link to This month in hax: June 2024" href=https://hacspec.github.io/blog/posts/this-month-in-hax/2024-06/></a></div></div></div><div class=archive-month><h3 class=archive-month-header>May<sup class=archive-count>&nbsp;&nbsp;1</sup></h3><div class=archive-posts><div class=archive-entry><h3 class=archive-entry-title>Announcing the hax tutorial</h3><div class=archive-meta><span title='2024-05-13 00:00:00 +0000 UTC'>May 13, 2024</span>&nbsp;·&nbsp;1 min&nbsp;·&nbsp;Lucas Franceschino</div><a class=entry-link aria-label="post link to Announcing the hax tutorial" href=https://hacspec.github.io/blog/posts/announcement-tutorial/></a></div></div></div></div><div class=archive-year><h2 class=archive-year-header>2023<sup class=archive-count>&nbsp;&nbsp;1</sup></h2><div class=archive-month><h3 class=archive-month-header>October<sup class=archive-count>&nbsp;&nbsp;1</sup></h3><div class=archive-posts><div class=archive-entry><h3 class=archive-entry-title>Introducing hax 🎂</h3><div class=archive-meta><span title='2023-10-20 00:00:00 +0000 UTC'>October 20, 2023</span>&nbsp;·&nbsp;7 min&nbsp;·&nbsp;Franziskus Kiefer & Lucas Franceschino</div><a class=entry-link aria-label="post link to Introducing hax 🎂" href=https://hacspec.github.io/blog/posts/hax-v0-1/></a></div></div></div></div></main><footer class=footer><span>&copy; 2025 <a href=https://hacspec.github.io/blog/>hax</a></span>
 <span>Powered by
 <a href=https://gohugo.io/ rel="noopener noreferrer" target=_blank>Hugo</a> &
         <a href=https://github.com/adityatelange/hugo-PaperMod/ rel=noopener target=_blank>PaperMod</a></span></footer><a href=#top aria-label="go to top" title="Go to Top (Alt + G)" class=top-link id=top-link accesskey=g><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 12 6" fill="currentcolor"><path d="M12 6H0l6-6z"/></svg></a><script>let menu=document.getElementById("menu");menu&&(menu.scrollLeft=localStorage.getItem("menu-scroll-position"),menu.onscroll=function(){localStorage.setItem("menu-scroll-position",menu.scrollLeft)}),document.querySelectorAll('a[href^="#"]').forEach(e=>{e.addEventListener("click",function(e){e.preventDefault();var t=this.getAttribute("href").substr(1);window.matchMedia("(prefers-reduced-motion: reduce)").matches?document.querySelector(`[id='${decodeURIComponent(t)}']`).scrollIntoView():document.querySelector(`[id='${decodeURIComponent(t)}']`).scrollIntoView({behavior:"smooth"}),t==="top"?history.replaceState(null,null," "):history.pushState(null,null,`#${t}`)})})</script><script>var mybutton=document.getElementById("top-link");window.onscroll=function(){document.body.scrollTop>800||document.documentElement.scrollTop>800?(mybutton.style.visibility="visible",mybutton.style.opacity="1"):(mybutton.style.visibility="hidden",mybutton.style.opacity="0")}</script><script>document.getElementById("theme-toggle").addEventListener("click",()=>{document.body.className.includes("dark")?(document.body.classList.remove("dark"),localStorage.setItem("pref-theme","light")):(document.body.classList.add("dark"),localStorage.setItem("pref-theme","dark"))})</script></body></html>
\ No newline at end of file
diff --git a/index.html b/index.html
index 349838f..e72b5ef 100644
--- a/index.html
+++ b/index.html
@@ -2,7 +2,7 @@
 <meta name=description content="hax & hacspec blog - https://github.com/hacspec/blog"><meta name=author content="hacspec authors"><link rel=canonical href=https://hacspec.github.io/blog/><link crossorigin=anonymous href=/blog/assets/css/stylesheet.1b82bbed8b13f853704558d527b681efaea938ce91e6ae8903e8b19e73b1b0f8.css integrity="sha256-G4K77YsT+FNwRVjVJ7aB766pOM6R5q6JA+ixnnOxsPg=" rel="preload stylesheet" as=style><link rel=icon href=https://hacspec.github.io/blog/favicon.ico><link rel=icon type=image/png sizes=16x16 href=https://hacspec.github.io/blog/favicon-16x16.png><link rel=icon type=image/png sizes=32x32 href=https://hacspec.github.io/blog/favicon-32x32.png><link rel=apple-touch-icon href=https://hacspec.github.io/blog/apple-touch-icon.png><link rel=mask-icon href=https://hacspec.github.io/blog/safari-pinned-tab.svg><meta name=theme-color content="#2e2e33"><meta name=msapplication-TileColor content="#2e2e33"><link rel=alternate type=application/rss+xml href=https://hacspec.github.io/blog/index.xml><link rel=alternate type=application/json href=https://hacspec.github.io/blog/index.json><noscript><style>#theme-toggle,.top-link{display:none}</style><style>@media(prefers-color-scheme:dark){:root{--theme:rgb(29, 30, 32);--entry:rgb(46, 46, 51);--primary:rgb(218, 218, 219);--secondary:rgb(155, 156, 157);--tertiary:rgb(65, 66, 68);--content:rgb(196, 196, 197);--hljs-bg:rgb(46, 46, 51);--code-bg:rgb(55, 56, 62);--border:rgb(51, 51, 51)}.list{background:var(--theme)}.list:not(.dark)::-webkit-scrollbar-track{background:0 0}.list:not(.dark)::-webkit-scrollbar-thumb{border-color:var(--theme)}}</style></noscript><meta property="og:title" content="hax"><meta property="og:description" content="hax & hacspec blog - https://github.com/hacspec/blog"><meta property="og:type" content="website"><meta property="og:url" content="https://hacspec.github.io/blog/"><meta property="og:image" content="https://hacspec.github.io/blog/papermod-cover.png"><meta name=twitter:card content="summary_large_image"><meta name=twitter:image content="https://hacspec.github.io/blog/papermod-cover.png"><meta name=twitter:title content="hax"><meta name=twitter:description content="hax & hacspec blog - https://github.com/hacspec/blog"><script type=application/ld+json>{"@context":"https://schema.org","@type":"Organization","name":"hax","url":"https://hacspec.github.io/blog/","description":"hax \u0026amp; hacspec blog - https://github.com/hacspec/blog","thumbnailUrl":"https://hacspec.github.io/blog/favicon.ico","sameAs":["https://github.com/hacspec/hax","mailto:hacspec@cryspen.com"]}</script></head><body class=list id=top><script>localStorage.getItem("pref-theme")==="dark"?document.body.classList.add("dark"):localStorage.getItem("pref-theme")==="light"?document.body.classList.remove("dark"):window.matchMedia("(prefers-color-scheme: dark)").matches&&document.body.classList.add("dark")</script><header class=header><nav class=nav><div class=logo><a href=https://hacspec.github.io/blog/ accesskey=h title="hax (Alt + H)">hax</a><div class=logo-switches><button id=theme-toggle accesskey=t title="(Alt + T)"><svg id="moon" xmlns="http://www.w3.org/2000/svg" width="24" height="18" viewBox="0 0 24 24" fill="none" stroke="currentcolor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"><path d="M21 12.79A9 9 0 1111.21 3 7 7 0 0021 12.79z"/></svg><svg id="sun" xmlns="http://www.w3.org/2000/svg" width="24" height="18" viewBox="0 0 24 24" fill="none" stroke="currentcolor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"><circle cx="12" cy="12" r="5"/><line x1="12" y1="1" x2="12" y2="3"/><line x1="12" y1="21" x2="12" y2="23"/><line x1="4.22" y1="4.22" x2="5.64" y2="5.64"/><line x1="18.36" y1="18.36" x2="19.78" y2="19.78"/><line x1="1" y1="12" x2="3" y2="12"/><line x1="21" y1="12" x2="23" y2="12"/><line x1="4.22" y1="19.78" x2="5.64" y2="18.36"/><line x1="18.36" y1="5.64" x2="19.78" y2="4.22"/></svg></button></div></div><ul id=menu><li><a href=https://hacspec.github.io/blog/archives title=Archive><span>Archive</span></a></li><li><a href=https://hacspec.github.io/blog/search/ title="Search (Alt + /)" accesskey=/><span>Search</span></a></li><li><a href=https://hacspec.github.io/blog/tags/ title=Tags><span>Tags</span></a></li></ul></nav></header><main class=main><article class="first-entry home-info"><header class=entry-header><h1>hax & hacspec</h1></header><div class=entry-content>A Rust verification tool</div><footer class=entry-footer><div class=social-icons><a href=https://github.com/hacspec/hax target=_blank rel="noopener noreferrer me" title=Github><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24" fill="none" stroke="currentcolor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"><path d="M9 19c-5 1.5-5-2.5-7-3m14 6v-3.87a3.37 3.37.0 00-.94-2.61c3.14-.35 6.44-1.54 6.44-7A5.44 5.44.0 0020 4.77 5.07 5.07.0 0019.91 1S18.73.65 16 2.48a13.38 13.38.0 00-7 0C6.27.65 5.09 1 5.09 1A5.07 5.07.0 005 4.77 5.44 5.44.0 003.5 8.55c0 5.42 3.3 6.61 6.44 7A3.37 3.37.0 009 18.13V22"/></svg></a><a href=mailto:hacspec@cryspen.com target=_blank rel="noopener noreferrer me" title=Email><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 21" fill="none" stroke="currentcolor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"><path d="M4 4h16c1.1.0 2 .9 2 2v12c0 1.1-.9 2-2 2H4c-1.1.0-2-.9-2-2V6c0-1.1.9-2 2-2z"/><polyline points="22,6 12,13 2,6"/></svg></a></div></footer></article><article class=post-entry><header class=entry-header><h2>This month in hax: December 2024</h2></header><div class=entry-content><p>This is the last post of this series for 2024.
 During this somewhat brief December, as many take time off for the holidays, we merged 21 PRs.
 The focus this month was largely on bug fixes, improvements, and general cleanups, with most of the work concentrated on the engine. However, a few frontend updates made their way in as well.
-A notable contribution from @maximebuyse introduces more consistent support for marking Rust items as opaque, establishing a unified approach to opaqueness across nearly all types of Rust items....</p></div><footer class=entry-footer><span title='2024-12-06 00:00:00 +0000 UTC'>December 6, 2024</span>&nbsp;·&nbsp;2 min&nbsp;·&nbsp;Lucas Franceschino</footer><a class=entry-link aria-label="post link to This month in hax: December 2024" href=https://hacspec.github.io/blog/posts/this-month-in-hax/2024-12/></a></article><article class=post-entry><header class=entry-header><h2>This month in hax: November 2024</h2></header><div class=entry-content><p>Despite some team members attending an offsite work week event, we merged 24 PRs this month. Here’s an overview of the work of the month.
+A notable contribution from @maximebuyse introduces more consistent support for marking Rust items as opaque, establishing a unified approach to opaqueness across nearly all types of Rust items....</p></div><footer class=entry-footer><span title='2025-01-06 00:00:00 +0000 UTC'>January 6, 2025</span>&nbsp;·&nbsp;2 min&nbsp;·&nbsp;Lucas Franceschino</footer><a class=entry-link aria-label="post link to This month in hax: December 2024" href=https://hacspec.github.io/blog/posts/this-month-in-hax/2024-12/></a></article><article class=post-entry><header class=entry-header><h2>This month in hax: November 2024</h2></header><div class=entry-content><p>Despite some team members attending an offsite work week event, we merged 24 PRs this month. Here’s an overview of the work of the month.
 The frontend remained stable this month, with only a few pull requests focused on small improvements and bug fixes. Our CI now tests the extraction of Rust by Example.
 cmester0 is working on an annotated core library, which is extractable via hax to multiple backends. The Coq backend now uses this generated core library, and ships with an example....</p></div><footer class=entry-footer><span title='2024-12-03 00:00:00 +0000 UTC'>December 3, 2024</span>&nbsp;·&nbsp;2 min&nbsp;·&nbsp;Lucas Franceschino</footer><a class=entry-link aria-label="post link to This month in hax: November 2024" href=https://hacspec.github.io/blog/posts/this-month-in-hax/2024-11/></a></article><article class=post-entry><header class=entry-header><h2>This month in hax: October 2024</h2></header><div class=entry-content><p>In October, we merged 70 PRs! 🎉
 Thanks to a huge work from Nadrieril on trait resolution, the goal of handling all valid Rust code with hax frontend is now almost achieved. With these improvements and some bugfixes from W95Psp, we now produce JSON without errors for more than 99% of Rust’s top 800 crates!
diff --git a/index.xml b/index.xml
index 0d0afff..fa74895 100644
--- a/index.xml
+++ b/index.xml
@@ -11,11 +11,11 @@
     </image>
     <generator>Hugo -- gohugo.io</generator>
     <language>en</language>
-    <lastBuildDate>Fri, 06 Dec 2024 00:00:00 +0000</lastBuildDate><atom:link href="https://hacspec.github.io/blog/index.xml" rel="self" type="application/rss+xml" />
+    <lastBuildDate>Mon, 06 Jan 2025 00:00:00 +0000</lastBuildDate><atom:link href="https://hacspec.github.io/blog/index.xml" rel="self" type="application/rss+xml" />
     <item>
       <title>This month in hax: December 2024</title>
       <link>https://hacspec.github.io/blog/posts/this-month-in-hax/2024-12/</link>
-      <pubDate>Fri, 06 Dec 2024 00:00:00 +0000</pubDate>
+      <pubDate>Mon, 06 Jan 2025 00:00:00 +0000</pubDate>
       
       <guid>https://hacspec.github.io/blog/posts/this-month-in-hax/2024-12/</guid>
       <description>This is the last post of this series for 2024.
diff --git a/posts/index.html b/posts/index.html
index e8b5516..994dcbb 100644
--- a/posts/index.html
+++ b/posts/index.html
@@ -3,7 +3,7 @@
 <a href=/blog/posts/index.xml title=RSS aria-label=RSS><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24" fill="none" stroke="currentcolor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" height="23"><path d="M4 11a9 9 0 019 9"/><path d="M4 4a16 16 0 0116 16"/><circle cx="5" cy="19" r="1"/></svg></a></h1></header><article class=post-entry><header class=entry-header><h2>This month in hax: December 2024</h2></header><div class=entry-content><p>This is the last post of this series for 2024.
 During this somewhat brief December, as many take time off for the holidays, we merged 21 PRs.
 The focus this month was largely on bug fixes, improvements, and general cleanups, with most of the work concentrated on the engine. However, a few frontend updates made their way in as well.
-A notable contribution from @maximebuyse introduces more consistent support for marking Rust items as opaque, establishing a unified approach to opaqueness across nearly all types of Rust items....</p></div><footer class=entry-footer><span title='2024-12-06 00:00:00 +0000 UTC'>December 6, 2024</span>&nbsp;·&nbsp;2 min&nbsp;·&nbsp;Lucas Franceschino</footer><a class=entry-link aria-label="post link to This month in hax: December 2024" href=https://hacspec.github.io/blog/posts/this-month-in-hax/2024-12/></a></article><article class=post-entry><header class=entry-header><h2>This month in hax: November 2024</h2></header><div class=entry-content><p>Despite some team members attending an offsite work week event, we merged 24 PRs this month. Here’s an overview of the work of the month.
+A notable contribution from @maximebuyse introduces more consistent support for marking Rust items as opaque, establishing a unified approach to opaqueness across nearly all types of Rust items....</p></div><footer class=entry-footer><span title='2025-01-06 00:00:00 +0000 UTC'>January 6, 2025</span>&nbsp;·&nbsp;2 min&nbsp;·&nbsp;Lucas Franceschino</footer><a class=entry-link aria-label="post link to This month in hax: December 2024" href=https://hacspec.github.io/blog/posts/this-month-in-hax/2024-12/></a></article><article class=post-entry><header class=entry-header><h2>This month in hax: November 2024</h2></header><div class=entry-content><p>Despite some team members attending an offsite work week event, we merged 24 PRs this month. Here’s an overview of the work of the month.
 The frontend remained stable this month, with only a few pull requests focused on small improvements and bug fixes. Our CI now tests the extraction of Rust by Example.
 cmester0 is working on an annotated core library, which is extractable via hax to multiple backends. The Coq backend now uses this generated core library, and ships with an example....</p></div><footer class=entry-footer><span title='2024-12-03 00:00:00 +0000 UTC'>December 3, 2024</span>&nbsp;·&nbsp;2 min&nbsp;·&nbsp;Lucas Franceschino</footer><a class=entry-link aria-label="post link to This month in hax: November 2024" href=https://hacspec.github.io/blog/posts/this-month-in-hax/2024-11/></a></article><article class=post-entry><header class=entry-header><h2>This month in hax: October 2024</h2></header><div class=entry-content><p>In October, we merged 70 PRs! 🎉
 Thanks to a huge work from Nadrieril on trait resolution, the goal of handling all valid Rust code with hax frontend is now almost achieved. With these improvements and some bugfixes from W95Psp, we now produce JSON without errors for more than 99% of Rust’s top 800 crates!
diff --git a/posts/index.xml b/posts/index.xml
index 97ff3b9..f25a3ac 100644
--- a/posts/index.xml
+++ b/posts/index.xml
@@ -11,11 +11,11 @@
     </image>
     <generator>Hugo -- gohugo.io</generator>
     <language>en</language>
-    <lastBuildDate>Fri, 06 Dec 2024 00:00:00 +0000</lastBuildDate><atom:link href="https://hacspec.github.io/blog/posts/index.xml" rel="self" type="application/rss+xml" />
+    <lastBuildDate>Mon, 06 Jan 2025 00:00:00 +0000</lastBuildDate><atom:link href="https://hacspec.github.io/blog/posts/index.xml" rel="self" type="application/rss+xml" />
     <item>
       <title>This month in hax: December 2024</title>
       <link>https://hacspec.github.io/blog/posts/this-month-in-hax/2024-12/</link>
-      <pubDate>Fri, 06 Dec 2024 00:00:00 +0000</pubDate>
+      <pubDate>Mon, 06 Jan 2025 00:00:00 +0000</pubDate>
       
       <guid>https://hacspec.github.io/blog/posts/this-month-in-hax/2024-12/</guid>
       <description>This is the last post of this series for 2024.
diff --git a/posts/this-month-in-hax/2024-12/index.html b/posts/this-month-in-hax/2024-12/index.html
index d0b6394..1319053 100644
--- a/posts/this-month-in-hax/2024-12/index.html
+++ b/posts/this-month-in-hax/2024-12/index.html
@@ -5,10 +5,10 @@
 A notable contribution from @maximebuyse introduces more consistent support for marking Rust items as opaque, establishing a unified approach to opaqueness across nearly all types of Rust items."><meta name=author content="Lucas Franceschino"><link rel=canonical href=https://hacspec.github.io/blog/posts/this-month-in-hax/2024-12/><link crossorigin=anonymous href=/blog/assets/css/stylesheet.1b82bbed8b13f853704558d527b681efaea938ce91e6ae8903e8b19e73b1b0f8.css integrity="sha256-G4K77YsT+FNwRVjVJ7aB766pOM6R5q6JA+ixnnOxsPg=" rel="preload stylesheet" as=style><link rel=icon href=https://hacspec.github.io/blog/favicon.ico><link rel=icon type=image/png sizes=16x16 href=https://hacspec.github.io/blog/favicon-16x16.png><link rel=icon type=image/png sizes=32x32 href=https://hacspec.github.io/blog/favicon-32x32.png><link rel=apple-touch-icon href=https://hacspec.github.io/blog/apple-touch-icon.png><link rel=mask-icon href=https://hacspec.github.io/blog/safari-pinned-tab.svg><meta name=theme-color content="#2e2e33"><meta name=msapplication-TileColor content="#2e2e33"><noscript><style>#theme-toggle,.top-link{display:none}</style><style>@media(prefers-color-scheme:dark){:root{--theme:rgb(29, 30, 32);--entry:rgb(46, 46, 51);--primary:rgb(218, 218, 219);--secondary:rgb(155, 156, 157);--tertiary:rgb(65, 66, 68);--content:rgb(196, 196, 197);--hljs-bg:rgb(46, 46, 51);--code-bg:rgb(55, 56, 62);--border:rgb(51, 51, 51)}.list{background:var(--theme)}.list:not(.dark)::-webkit-scrollbar-track{background:0 0}.list:not(.dark)::-webkit-scrollbar-thumb{border-color:var(--theme)}}</style></noscript><meta property="og:title" content="This month in hax: December 2024"><meta property="og:description" content="This is the last post of this series for 2024.
 During this somewhat brief December, as many take time off for the holidays, we merged 21 PRs.
 The focus this month was largely on bug fixes, improvements, and general cleanups, with most of the work concentrated on the engine. However, a few frontend updates made their way in as well.
-A notable contribution from @maximebuyse introduces more consistent support for marking Rust items as opaque, establishing a unified approach to opaqueness across nearly all types of Rust items."><meta property="og:type" content="article"><meta property="og:url" content="https://hacspec.github.io/blog/posts/this-month-in-hax/2024-12/"><meta property="og:image" content="https://hacspec.github.io/blog/papermod-cover.png"><meta property="article:section" content="posts"><meta property="article:published_time" content="2024-12-06T00:00:00+00:00"><meta property="article:modified_time" content="2024-12-06T00:00:00+00:00"><meta name=twitter:card content="summary_large_image"><meta name=twitter:image content="https://hacspec.github.io/blog/papermod-cover.png"><meta name=twitter:title content="This month in hax: December 2024"><meta name=twitter:description content="This is the last post of this series for 2024.
+A notable contribution from @maximebuyse introduces more consistent support for marking Rust items as opaque, establishing a unified approach to opaqueness across nearly all types of Rust items."><meta property="og:type" content="article"><meta property="og:url" content="https://hacspec.github.io/blog/posts/this-month-in-hax/2024-12/"><meta property="og:image" content="https://hacspec.github.io/blog/papermod-cover.png"><meta property="article:section" content="posts"><meta property="article:published_time" content="2025-01-06T00:00:00+00:00"><meta property="article:modified_time" content="2025-01-06T00:00:00+00:00"><meta name=twitter:card content="summary_large_image"><meta name=twitter:image content="https://hacspec.github.io/blog/papermod-cover.png"><meta name=twitter:title content="This month in hax: December 2024"><meta name=twitter:description content="This is the last post of this series for 2024.
 During this somewhat brief December, as many take time off for the holidays, we merged 21 PRs.
 The focus this month was largely on bug fixes, improvements, and general cleanups, with most of the work concentrated on the engine. However, a few frontend updates made their way in as well.
-A notable contribution from @maximebuyse introduces more consistent support for marking Rust items as opaque, establishing a unified approach to opaqueness across nearly all types of Rust items."><script type=application/ld+json>{"@context":"https://schema.org","@type":"BreadcrumbList","itemListElement":[{"@type":"ListItem","position":1,"name":"Posts","item":"https://hacspec.github.io/blog/posts/"},{"@type":"ListItem","position":2,"name":"This month in hax: December 2024","item":"https://hacspec.github.io/blog/posts/this-month-in-hax/2024-12/"}]}</script><script type=application/ld+json>{"@context":"https://schema.org","@type":"BlogPosting","headline":"This month in hax: December 2024","name":"This month in hax: December 2024","description":"This is the last post of this series for 2024.\nDuring this somewhat brief December, as many take time off for the holidays, we merged 21 PRs.\nThe focus this month was largely on bug fixes, improvements, and general cleanups, with most of the work concentrated on the engine. However, a few frontend updates made their way in as well.\nA notable contribution from @maximebuyse introduces more consistent support for marking Rust items as opaque, establishing a unified approach to opaqueness across nearly all types of Rust items.","keywords":["this-month-in-hax"],"articleBody":"This is the last post of this series for 2024.\nDuring this somewhat brief December, as many take time off for the holidays, we merged 21 PRs.\nThe focus this month was largely on bug fixes, improvements, and general cleanups, with most of the work concentrated on the engine. However, a few frontend updates made their way in as well.\nA notable contribution from @maximebuyse introduces more consistent support for marking Rust items as opaque, establishing a unified approach to opaqueness across nearly all types of Rust items.\nAdditionally, we’ve expanded our documentation. I began outlining the technical architecture of hax in the book, providing a clearer overview for those interested in the inner workings of the project.\nMerged Pull Requests #1210: fix(backend) Filter Impl after adding comments. #1209: fix(engine) Check attributes of descendants to build dependency graph. #1208: fix(engine) Add ascription to match scrutinees. #1205: Bundle naming fixes #1201: Update stale.yml #1198: Frontend/exporter: Add a kind field to DefIdContents #1197: Engine: get rid of most of exception throwing function calls, improve parsers and error reports #1193: fix(frontend) Only include direct parent bounds for associated types in traits. #1191: Hint to check $PATH in Readme #1190: hax-types: version for serde-brief #1189: fix(engine) Opaque consts #1184: Skip generated impls using Erased attribute. #1182: fix(engine) Fix generic type constraints naming bug. #1181: feat(publishing): use --no-tag #1174: Remove rejected type ascription patterns from generated f*. #1166: Clean up of F* libraries #1154: chore: Release 0.1.0-rc.1 #1148: Book: small cleanup #1134: Opaque extensions #1120: doc(book): architecture of hax #971: doc: release procedure Contributors @W95Psp @franziskuskiefer @jschneider-bensch @karthikbhargavan @maximebuyse ","wordCount":"264","inLanguage":"en","datePublished":"2024-12-06T00:00:00Z","dateModified":"2024-12-06T00:00:00Z","author":{"@type":"Person","name":"Lucas Franceschino"},"mainEntityOfPage":{"@type":"WebPage","@id":"https://hacspec.github.io/blog/posts/this-month-in-hax/2024-12/"},"publisher":{"@type":"Organization","name":"hax","logo":{"@type":"ImageObject","url":"https://hacspec.github.io/blog/favicon.ico"}}}</script></head><body id=top><script>localStorage.getItem("pref-theme")==="dark"?document.body.classList.add("dark"):localStorage.getItem("pref-theme")==="light"?document.body.classList.remove("dark"):window.matchMedia("(prefers-color-scheme: dark)").matches&&document.body.classList.add("dark")</script><header class=header><nav class=nav><div class=logo><a href=https://hacspec.github.io/blog/ accesskey=h title="hax (Alt + H)">hax</a><div class=logo-switches><button id=theme-toggle accesskey=t title="(Alt + T)"><svg id="moon" xmlns="http://www.w3.org/2000/svg" width="24" height="18" viewBox="0 0 24 24" fill="none" stroke="currentcolor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"><path d="M21 12.79A9 9 0 1111.21 3 7 7 0 0021 12.79z"/></svg><svg id="sun" xmlns="http://www.w3.org/2000/svg" width="24" height="18" viewBox="0 0 24 24" fill="none" stroke="currentcolor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"><circle cx="12" cy="12" r="5"/><line x1="12" y1="1" x2="12" y2="3"/><line x1="12" y1="21" x2="12" y2="23"/><line x1="4.22" y1="4.22" x2="5.64" y2="5.64"/><line x1="18.36" y1="18.36" x2="19.78" y2="19.78"/><line x1="1" y1="12" x2="3" y2="12"/><line x1="21" y1="12" x2="23" y2="12"/><line x1="4.22" y1="19.78" x2="5.64" y2="18.36"/><line x1="18.36" y1="5.64" x2="19.78" y2="4.22"/></svg></button></div></div><ul id=menu><li><a href=https://hacspec.github.io/blog/archives title=Archive><span>Archive</span></a></li><li><a href=https://hacspec.github.io/blog/search/ title="Search (Alt + /)" accesskey=/><span>Search</span></a></li><li><a href=https://hacspec.github.io/blog/tags/ title=Tags><span>Tags</span></a></li></ul></nav></header><main class=main><article class=post-single><header class=post-header><h1 class=post-title>This month in hax: December 2024</h1><div class=post-meta><span title='2024-12-06 00:00:00 +0000 UTC'>December 6, 2024</span>&nbsp;·&nbsp;2 min&nbsp;·&nbsp;Lucas Franceschino</div></header><div class=post-content><p>This is the last post of this series for 2024.</p><p>During this somewhat brief December, as many take time off for the holidays, we merged 21 PRs.</p><p>The focus this month was largely on bug fixes, improvements, and general cleanups, with most of the work concentrated on the engine. However, a few frontend updates made their way in as well.</p><p>A notable contribution from <a href=https://github.com/maximebuyse>@maximebuyse</a> introduces more consistent support for marking Rust items as opaque, establishing a unified approach to opaqueness across nearly all types of Rust items.</p><p>Additionally, we’ve expanded our documentation. I began outlining the technical architecture of hax in the book, providing a clearer overview for those interested in the inner workings of the project.</p><h1 id=merged-pull-requests>Merged Pull Requests<a hidden class=anchor aria-hidden=true href=#merged-pull-requests>#</a></h1><ul><li>#1210: <a href=https://github.com/hacspec/hax/pull/1210>fix(backend) Filter Impl after adding comments.</a></li><li>#1209: <a href=https://github.com/hacspec/hax/pull/1209>fix(engine) Check attributes of descendants to build dependency graph.</a></li><li>#1208: <a href=https://github.com/hacspec/hax/pull/1208>fix(engine) Add ascription to match scrutinees.</a></li><li>#1205: <a href=https://github.com/hacspec/hax/pull/1205>Bundle naming fixes</a></li><li>#1201: <a href=https://github.com/hacspec/hax/pull/1201>Update stale.yml</a></li><li>#1198: <a href=https://github.com/hacspec/hax/pull/1198>Frontend/exporter: Add a <code>kind</code> field to <code>DefIdContents</code></a></li><li>#1197: <a href=https://github.com/hacspec/hax/pull/1197>Engine: get rid of most of exception throwing function calls, improve parsers and error reports</a></li><li>#1193: <a href=https://github.com/hacspec/hax/pull/1193>fix(frontend) Only include direct parent bounds for associated types in traits.</a></li><li>#1191: <a href=https://github.com/hacspec/hax/pull/1191>Hint to check <code>$PATH</code> in Readme</a></li><li>#1190: <a href=https://github.com/hacspec/hax/pull/1190>hax-types: version for serde-brief</a></li><li>#1189: <a href=https://github.com/hacspec/hax/pull/1189>fix(engine) Opaque consts</a></li><li>#1184: <a href=https://github.com/hacspec/hax/pull/1184>Skip generated impls using <code>Erased</code> attribute.</a></li><li>#1182: <a href=https://github.com/hacspec/hax/pull/1182>fix(engine) Fix generic type constraints naming bug.</a></li><li>#1181: <a href=https://github.com/hacspec/hax/pull/1181>feat(publishing): use <code>--no-tag</code></a></li><li>#1174: <a href=https://github.com/hacspec/hax/pull/1174>Remove rejected type ascription patterns from generated f*.</a></li><li>#1166: <a href=https://github.com/hacspec/hax/pull/1166>Clean up of F* libraries</a></li><li>#1154: <a href=https://github.com/hacspec/hax/pull/1154>chore: Release <code>0.1.0-rc.1</code></a></li><li>#1148: <a href=https://github.com/hacspec/hax/pull/1148>Book: small cleanup</a></li><li>#1134: <a href=https://github.com/hacspec/hax/pull/1134>Opaque extensions</a></li><li>#1120: <a href=https://github.com/hacspec/hax/pull/1120>doc(book): architecture of hax</a></li><li>#971: <a href=https://github.com/hacspec/hax/pull/971>doc: release procedure</a></li></ul><h3 id=contributors>Contributors<a hidden class=anchor aria-hidden=true href=#contributors>#</a></h3><ul><li><a href=https://github.com/W95Psp>@W95Psp</a></li><li><a href=https://github.com/franziskuskiefer>@franziskuskiefer</a></li><li><a href=https://github.com/jschneider-bensch>@jschneider-bensch</a></li><li><a href=https://github.com/karthikbhargavan>@karthikbhargavan</a></li><li><a href=https://github.com/maximebuyse>@maximebuyse</a></li></ul></div><footer class=post-footer><ul class=post-tags><li><a href=https://hacspec.github.io/blog/tags/this-month-in-hax/>this-month-in-hax</a></li></ul><nav class=paginav><a class=next href=https://hacspec.github.io/blog/posts/this-month-in-hax/2024-11/><span class=title>Next »</span><br><span>This month in hax: November 2024</span></a></nav></footer></article></main><footer class=footer><span>&copy; 2025 <a href=https://hacspec.github.io/blog/>hax</a></span>
+A notable contribution from @maximebuyse introduces more consistent support for marking Rust items as opaque, establishing a unified approach to opaqueness across nearly all types of Rust items."><script type=application/ld+json>{"@context":"https://schema.org","@type":"BreadcrumbList","itemListElement":[{"@type":"ListItem","position":1,"name":"Posts","item":"https://hacspec.github.io/blog/posts/"},{"@type":"ListItem","position":2,"name":"This month in hax: December 2024","item":"https://hacspec.github.io/blog/posts/this-month-in-hax/2024-12/"}]}</script><script type=application/ld+json>{"@context":"https://schema.org","@type":"BlogPosting","headline":"This month in hax: December 2024","name":"This month in hax: December 2024","description":"This is the last post of this series for 2024.\nDuring this somewhat brief December, as many take time off for the holidays, we merged 21 PRs.\nThe focus this month was largely on bug fixes, improvements, and general cleanups, with most of the work concentrated on the engine. However, a few frontend updates made their way in as well.\nA notable contribution from @maximebuyse introduces more consistent support for marking Rust items as opaque, establishing a unified approach to opaqueness across nearly all types of Rust items.","keywords":["this-month-in-hax"],"articleBody":"This is the last post of this series for 2024.\nDuring this somewhat brief December, as many take time off for the holidays, we merged 21 PRs.\nThe focus this month was largely on bug fixes, improvements, and general cleanups, with most of the work concentrated on the engine. However, a few frontend updates made their way in as well.\nA notable contribution from @maximebuyse introduces more consistent support for marking Rust items as opaque, establishing a unified approach to opaqueness across nearly all types of Rust items.\nAdditionally, we’ve expanded our documentation. I began outlining the technical architecture of hax in the book, providing a clearer overview for those interested in the inner workings of the project.\nMerged Pull Requests #1210: fix(backend) Filter Impl after adding comments. #1209: fix(engine) Check attributes of descendants to build dependency graph. #1208: fix(engine) Add ascription to match scrutinees. #1205: Bundle naming fixes #1201: Update stale.yml #1198: Frontend/exporter: Add a kind field to DefIdContents #1197: Engine: get rid of most of exception throwing function calls, improve parsers and error reports #1193: fix(frontend) Only include direct parent bounds for associated types in traits. #1191: Hint to check $PATH in Readme #1190: hax-types: version for serde-brief #1189: fix(engine) Opaque consts #1184: Skip generated impls using Erased attribute. #1182: fix(engine) Fix generic type constraints naming bug. #1181: feat(publishing): use --no-tag #1174: Remove rejected type ascription patterns from generated f*. #1166: Clean up of F* libraries #1154: chore: Release 0.1.0-rc.1 #1148: Book: small cleanup #1134: Opaque extensions #1120: doc(book): architecture of hax #971: doc: release procedure Contributors @W95Psp @franziskuskiefer @jschneider-bensch @karthikbhargavan @maximebuyse ","wordCount":"264","inLanguage":"en","datePublished":"2025-01-06T00:00:00Z","dateModified":"2025-01-06T00:00:00Z","author":{"@type":"Person","name":"Lucas Franceschino"},"mainEntityOfPage":{"@type":"WebPage","@id":"https://hacspec.github.io/blog/posts/this-month-in-hax/2024-12/"},"publisher":{"@type":"Organization","name":"hax","logo":{"@type":"ImageObject","url":"https://hacspec.github.io/blog/favicon.ico"}}}</script></head><body id=top><script>localStorage.getItem("pref-theme")==="dark"?document.body.classList.add("dark"):localStorage.getItem("pref-theme")==="light"?document.body.classList.remove("dark"):window.matchMedia("(prefers-color-scheme: dark)").matches&&document.body.classList.add("dark")</script><header class=header><nav class=nav><div class=logo><a href=https://hacspec.github.io/blog/ accesskey=h title="hax (Alt + H)">hax</a><div class=logo-switches><button id=theme-toggle accesskey=t title="(Alt + T)"><svg id="moon" xmlns="http://www.w3.org/2000/svg" width="24" height="18" viewBox="0 0 24 24" fill="none" stroke="currentcolor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"><path d="M21 12.79A9 9 0 1111.21 3 7 7 0 0021 12.79z"/></svg><svg id="sun" xmlns="http://www.w3.org/2000/svg" width="24" height="18" viewBox="0 0 24 24" fill="none" stroke="currentcolor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"><circle cx="12" cy="12" r="5"/><line x1="12" y1="1" x2="12" y2="3"/><line x1="12" y1="21" x2="12" y2="23"/><line x1="4.22" y1="4.22" x2="5.64" y2="5.64"/><line x1="18.36" y1="18.36" x2="19.78" y2="19.78"/><line x1="1" y1="12" x2="3" y2="12"/><line x1="21" y1="12" x2="23" y2="12"/><line x1="4.22" y1="19.78" x2="5.64" y2="18.36"/><line x1="18.36" y1="5.64" x2="19.78" y2="4.22"/></svg></button></div></div><ul id=menu><li><a href=https://hacspec.github.io/blog/archives title=Archive><span>Archive</span></a></li><li><a href=https://hacspec.github.io/blog/search/ title="Search (Alt + /)" accesskey=/><span>Search</span></a></li><li><a href=https://hacspec.github.io/blog/tags/ title=Tags><span>Tags</span></a></li></ul></nav></header><main class=main><article class=post-single><header class=post-header><h1 class=post-title>This month in hax: December 2024</h1><div class=post-meta><span title='2025-01-06 00:00:00 +0000 UTC'>January 6, 2025</span>&nbsp;·&nbsp;2 min&nbsp;·&nbsp;Lucas Franceschino</div></header><div class=post-content><p>This is the last post of this series for 2024.</p><p>During this somewhat brief December, as many take time off for the holidays, we merged 21 PRs.</p><p>The focus this month was largely on bug fixes, improvements, and general cleanups, with most of the work concentrated on the engine. However, a few frontend updates made their way in as well.</p><p>A notable contribution from <a href=https://github.com/maximebuyse>@maximebuyse</a> introduces more consistent support for marking Rust items as opaque, establishing a unified approach to opaqueness across nearly all types of Rust items.</p><p>Additionally, we’ve expanded our documentation. I began outlining the technical architecture of hax in the book, providing a clearer overview for those interested in the inner workings of the project.</p><h1 id=merged-pull-requests>Merged Pull Requests<a hidden class=anchor aria-hidden=true href=#merged-pull-requests>#</a></h1><ul><li>#1210: <a href=https://github.com/hacspec/hax/pull/1210>fix(backend) Filter Impl after adding comments.</a></li><li>#1209: <a href=https://github.com/hacspec/hax/pull/1209>fix(engine) Check attributes of descendants to build dependency graph.</a></li><li>#1208: <a href=https://github.com/hacspec/hax/pull/1208>fix(engine) Add ascription to match scrutinees.</a></li><li>#1205: <a href=https://github.com/hacspec/hax/pull/1205>Bundle naming fixes</a></li><li>#1201: <a href=https://github.com/hacspec/hax/pull/1201>Update stale.yml</a></li><li>#1198: <a href=https://github.com/hacspec/hax/pull/1198>Frontend/exporter: Add a <code>kind</code> field to <code>DefIdContents</code></a></li><li>#1197: <a href=https://github.com/hacspec/hax/pull/1197>Engine: get rid of most of exception throwing function calls, improve parsers and error reports</a></li><li>#1193: <a href=https://github.com/hacspec/hax/pull/1193>fix(frontend) Only include direct parent bounds for associated types in traits.</a></li><li>#1191: <a href=https://github.com/hacspec/hax/pull/1191>Hint to check <code>$PATH</code> in Readme</a></li><li>#1190: <a href=https://github.com/hacspec/hax/pull/1190>hax-types: version for serde-brief</a></li><li>#1189: <a href=https://github.com/hacspec/hax/pull/1189>fix(engine) Opaque consts</a></li><li>#1184: <a href=https://github.com/hacspec/hax/pull/1184>Skip generated impls using <code>Erased</code> attribute.</a></li><li>#1182: <a href=https://github.com/hacspec/hax/pull/1182>fix(engine) Fix generic type constraints naming bug.</a></li><li>#1181: <a href=https://github.com/hacspec/hax/pull/1181>feat(publishing): use <code>--no-tag</code></a></li><li>#1174: <a href=https://github.com/hacspec/hax/pull/1174>Remove rejected type ascription patterns from generated f*.</a></li><li>#1166: <a href=https://github.com/hacspec/hax/pull/1166>Clean up of F* libraries</a></li><li>#1154: <a href=https://github.com/hacspec/hax/pull/1154>chore: Release <code>0.1.0-rc.1</code></a></li><li>#1148: <a href=https://github.com/hacspec/hax/pull/1148>Book: small cleanup</a></li><li>#1134: <a href=https://github.com/hacspec/hax/pull/1134>Opaque extensions</a></li><li>#1120: <a href=https://github.com/hacspec/hax/pull/1120>doc(book): architecture of hax</a></li><li>#971: <a href=https://github.com/hacspec/hax/pull/971>doc: release procedure</a></li></ul><h3 id=contributors>Contributors<a hidden class=anchor aria-hidden=true href=#contributors>#</a></h3><ul><li><a href=https://github.com/W95Psp>@W95Psp</a></li><li><a href=https://github.com/franziskuskiefer>@franziskuskiefer</a></li><li><a href=https://github.com/jschneider-bensch>@jschneider-bensch</a></li><li><a href=https://github.com/karthikbhargavan>@karthikbhargavan</a></li><li><a href=https://github.com/maximebuyse>@maximebuyse</a></li></ul></div><footer class=post-footer><ul class=post-tags><li><a href=https://hacspec.github.io/blog/tags/this-month-in-hax/>this-month-in-hax</a></li></ul><nav class=paginav><a class=next href=https://hacspec.github.io/blog/posts/this-month-in-hax/2024-11/><span class=title>Next »</span><br><span>This month in hax: November 2024</span></a></nav></footer></article></main><footer class=footer><span>&copy; 2025 <a href=https://hacspec.github.io/blog/>hax</a></span>
 <span>Powered by
 <a href=https://gohugo.io/ rel="noopener noreferrer" target=_blank>Hugo</a> &
         <a href=https://github.com/adityatelange/hugo-PaperMod/ rel=noopener target=_blank>PaperMod</a></span></footer><a href=#top aria-label="go to top" title="Go to Top (Alt + G)" class=top-link id=top-link accesskey=g><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 12 6" fill="currentcolor"><path d="M12 6H0l6-6z"/></svg></a><script>let menu=document.getElementById("menu");menu&&(menu.scrollLeft=localStorage.getItem("menu-scroll-position"),menu.onscroll=function(){localStorage.setItem("menu-scroll-position",menu.scrollLeft)}),document.querySelectorAll('a[href^="#"]').forEach(e=>{e.addEventListener("click",function(e){e.preventDefault();var t=this.getAttribute("href").substr(1);window.matchMedia("(prefers-reduced-motion: reduce)").matches?document.querySelector(`[id='${decodeURIComponent(t)}']`).scrollIntoView():document.querySelector(`[id='${decodeURIComponent(t)}']`).scrollIntoView({behavior:"smooth"}),t==="top"?history.replaceState(null,null," "):history.pushState(null,null,`#${t}`)})})</script><script>var mybutton=document.getElementById("top-link");window.onscroll=function(){document.body.scrollTop>800||document.documentElement.scrollTop>800?(mybutton.style.visibility="visible",mybutton.style.opacity="1"):(mybutton.style.visibility="hidden",mybutton.style.opacity="0")}</script><script>document.getElementById("theme-toggle").addEventListener("click",()=>{document.body.className.includes("dark")?(document.body.classList.remove("dark"),localStorage.setItem("pref-theme","light")):(document.body.classList.add("dark"),localStorage.setItem("pref-theme","dark"))})</script><script>document.querySelectorAll("pre > code").forEach(e=>{const n=e.parentNode.parentNode,t=document.createElement("button");t.classList.add("copy-code"),t.innerHTML="copy";function s(){t.innerHTML="copied!",setTimeout(()=>{t.innerHTML="copy"},2e3)}t.addEventListener("click",t=>{if("clipboard"in navigator){navigator.clipboard.writeText(e.textContent),s();return}const n=document.createRange();n.selectNodeContents(e);const o=window.getSelection();o.removeAllRanges(),o.addRange(n);try{document.execCommand("copy"),s()}catch{}o.removeRange(n)}),n.classList.contains("highlight")?n.appendChild(t):n.parentNode.firstChild==n||(e.parentNode.parentNode.parentNode.parentNode.parentNode.nodeName=="TABLE"?e.parentNode.parentNode.parentNode.parentNode.parentNode.appendChild(t):e.parentNode.appendChild(t))})</script></body></html>
\ No newline at end of file
diff --git a/sitemap.xml b/sitemap.xml
index 3ad04f4..06c9330 100644
--- a/sitemap.xml
+++ b/sitemap.xml
@@ -3,19 +3,19 @@
   xmlns:xhtml="http://www.w3.org/1999/xhtml">
   <url>
     <loc>https://hacspec.github.io/blog/</loc>
-    <lastmod>2024-12-06T00:00:00+00:00</lastmod>
+    <lastmod>2025-01-06T00:00:00+00:00</lastmod>
   </url><url>
     <loc>https://hacspec.github.io/blog/posts/</loc>
-    <lastmod>2024-12-06T00:00:00+00:00</lastmod>
+    <lastmod>2025-01-06T00:00:00+00:00</lastmod>
   </url><url>
     <loc>https://hacspec.github.io/blog/tags/</loc>
-    <lastmod>2024-12-06T00:00:00+00:00</lastmod>
+    <lastmod>2025-01-06T00:00:00+00:00</lastmod>
   </url><url>
     <loc>https://hacspec.github.io/blog/posts/this-month-in-hax/2024-12/</loc>
-    <lastmod>2024-12-06T00:00:00+00:00</lastmod>
+    <lastmod>2025-01-06T00:00:00+00:00</lastmod>
   </url><url>
     <loc>https://hacspec.github.io/blog/tags/this-month-in-hax/</loc>
-    <lastmod>2024-12-06T00:00:00+00:00</lastmod>
+    <lastmod>2025-01-06T00:00:00+00:00</lastmod>
   </url><url>
     <loc>https://hacspec.github.io/blog/posts/this-month-in-hax/2024-11/</loc>
     <lastmod>2024-12-03T00:00:00+00:00</lastmod>
diff --git a/tags/index.xml b/tags/index.xml
index 64b16a8..426006d 100644
--- a/tags/index.xml
+++ b/tags/index.xml
@@ -11,11 +11,11 @@
     </image>
     <generator>Hugo -- gohugo.io</generator>
     <language>en</language>
-    <lastBuildDate>Fri, 06 Dec 2024 00:00:00 +0000</lastBuildDate><atom:link href="https://hacspec.github.io/blog/tags/index.xml" rel="self" type="application/rss+xml" />
+    <lastBuildDate>Mon, 06 Jan 2025 00:00:00 +0000</lastBuildDate><atom:link href="https://hacspec.github.io/blog/tags/index.xml" rel="self" type="application/rss+xml" />
     <item>
       <title>this-month-in-hax</title>
       <link>https://hacspec.github.io/blog/tags/this-month-in-hax/</link>
-      <pubDate>Fri, 06 Dec 2024 00:00:00 +0000</pubDate>
+      <pubDate>Mon, 06 Jan 2025 00:00:00 +0000</pubDate>
       
       <guid>https://hacspec.github.io/blog/tags/this-month-in-hax/</guid>
       <description></description>
diff --git a/tags/this-month-in-hax/index.html b/tags/this-month-in-hax/index.html
index 76148a0..7029e5a 100644
--- a/tags/this-month-in-hax/index.html
+++ b/tags/this-month-in-hax/index.html
@@ -3,7 +3,7 @@
 <a href=/blog/tags/this-month-in-hax/index.xml title=RSS aria-label=RSS><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24" fill="none" stroke="currentcolor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" height="23"><path d="M4 11a9 9 0 019 9"/><path d="M4 4a16 16 0 0116 16"/><circle cx="5" cy="19" r="1"/></svg></a></h1></header><article class="post-entry tag-entry"><header class=entry-header><h2>This month in hax: December 2024</h2></header><div class=entry-content><p>This is the last post of this series for 2024.
 During this somewhat brief December, as many take time off for the holidays, we merged 21 PRs.
 The focus this month was largely on bug fixes, improvements, and general cleanups, with most of the work concentrated on the engine. However, a few frontend updates made their way in as well.
-A notable contribution from @maximebuyse introduces more consistent support for marking Rust items as opaque, establishing a unified approach to opaqueness across nearly all types of Rust items....</p></div><footer class=entry-footer><span title='2024-12-06 00:00:00 +0000 UTC'>December 6, 2024</span>&nbsp;·&nbsp;2 min&nbsp;·&nbsp;Lucas Franceschino</footer><a class=entry-link aria-label="post link to This month in hax: December 2024" href=https://hacspec.github.io/blog/posts/this-month-in-hax/2024-12/></a></article><article class="post-entry tag-entry"><header class=entry-header><h2>This month in hax: November 2024</h2></header><div class=entry-content><p>Despite some team members attending an offsite work week event, we merged 24 PRs this month. Here’s an overview of the work of the month.
+A notable contribution from @maximebuyse introduces more consistent support for marking Rust items as opaque, establishing a unified approach to opaqueness across nearly all types of Rust items....</p></div><footer class=entry-footer><span title='2025-01-06 00:00:00 +0000 UTC'>January 6, 2025</span>&nbsp;·&nbsp;2 min&nbsp;·&nbsp;Lucas Franceschino</footer><a class=entry-link aria-label="post link to This month in hax: December 2024" href=https://hacspec.github.io/blog/posts/this-month-in-hax/2024-12/></a></article><article class="post-entry tag-entry"><header class=entry-header><h2>This month in hax: November 2024</h2></header><div class=entry-content><p>Despite some team members attending an offsite work week event, we merged 24 PRs this month. Here’s an overview of the work of the month.
 The frontend remained stable this month, with only a few pull requests focused on small improvements and bug fixes. Our CI now tests the extraction of Rust by Example.
 cmester0 is working on an annotated core library, which is extractable via hax to multiple backends. The Coq backend now uses this generated core library, and ships with an example....</p></div><footer class=entry-footer><span title='2024-12-03 00:00:00 +0000 UTC'>December 3, 2024</span>&nbsp;·&nbsp;2 min&nbsp;·&nbsp;Lucas Franceschino</footer><a class=entry-link aria-label="post link to This month in hax: November 2024" href=https://hacspec.github.io/blog/posts/this-month-in-hax/2024-11/></a></article><article class="post-entry tag-entry"><header class=entry-header><h2>This month in hax: October 2024</h2></header><div class=entry-content><p>In October, we merged 70 PRs! 🎉
 Thanks to a huge work from Nadrieril on trait resolution, the goal of handling all valid Rust code with hax frontend is now almost achieved. With these improvements and some bugfixes from W95Psp, we now produce JSON without errors for more than 99% of Rust’s top 800 crates!
diff --git a/tags/this-month-in-hax/index.xml b/tags/this-month-in-hax/index.xml
index 57f7290..fe23226 100644
--- a/tags/this-month-in-hax/index.xml
+++ b/tags/this-month-in-hax/index.xml
@@ -11,11 +11,11 @@
     </image>
     <generator>Hugo -- gohugo.io</generator>
     <language>en</language>
-    <lastBuildDate>Fri, 06 Dec 2024 00:00:00 +0000</lastBuildDate><atom:link href="https://hacspec.github.io/blog/tags/this-month-in-hax/index.xml" rel="self" type="application/rss+xml" />
+    <lastBuildDate>Mon, 06 Jan 2025 00:00:00 +0000</lastBuildDate><atom:link href="https://hacspec.github.io/blog/tags/this-month-in-hax/index.xml" rel="self" type="application/rss+xml" />
     <item>
       <title>This month in hax: December 2024</title>
       <link>https://hacspec.github.io/blog/posts/this-month-in-hax/2024-12/</link>
-      <pubDate>Fri, 06 Dec 2024 00:00:00 +0000</pubDate>
+      <pubDate>Mon, 06 Jan 2025 00:00:00 +0000</pubDate>
       
       <guid>https://hacspec.github.io/blog/posts/this-month-in-hax/2024-12/</guid>
       <description>This is the last post of this series for 2024.
