ocaml · sabine · May 20, 2025 · May 19, 2025 · May 19, 2025 · May 19, 2025
diff --git a/data/planet-sources.yml b/data/planet-sources.yml
@@ -211,7 +211,3 @@
   name: Anil Madhavapeddy's Blog
   url: https://anil.recoil.org/news.xml
   only_ocaml: true
-- id: ryangibb
-  name: Ryan Gibb's Blog
-  url: https://ryan.freumh.org/atom.xml
-  only_ocaml: true
diff --git a/data/planet/anil/analysis-of-the-raft-consensus-protocol.md b/data/planet/anil/analysis-of-the-raft-consensus-protocol.md
@@ -7,10 +7,11 @@
 authors:
 - Anil Madhavapeddy
 source:
+ignore: true
 ---
 
 <h1>Analysis of the Raft Consensus Protocol</h1>
 <p>This is an idea proposed in 2012 as a Cambridge Computer Science Part II project, and has been <span class="idea-completed">completed</span> by <a href="https://anil.recoil.org/news.xml" class="contact">Heidi Howard</a>.</p>
 <p>The Paxos algorithm, despite being synonymous with distributed consensus for
 a decade, is famously difficult to reason about and implement due to its
 non-intuitive approach and underspecification. In response, this project
@@ -29,13 +30,13 @@
 parameters for real-world deployments.</p>
 <h2>Related Reading</h2>
 <ul>
 <li><a href="https://raft.github.io/raft.pdf">In Search of an Understandable Consensus Algorithm</a>, Diego Ongaro and John Ousterhout</li>
 <li><a href="https://anil.recoil.org/papers/rwo">Real World OCaml: Functional Programming for the Masses</a></li>
 </ul>
 <h2>Links</h2>
 <p>The dissertation is available as <a href="https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-857.html">UCAM-CL-TR-857</a> in the Cambridge Computer Laboratory technical report series.  <a href="https://anil.recoil.org/news.xml" class="contact">Heidi Howard</a> continued work on Raft subsequent to submitting this project and published it later in the year as <a href="https://anil.recoil.org/papers/2014-sigops-raft">Raft Refloated: Do We Have Consensus?</a>.</p>
 <p>You can watch <a href="https://anil.recoil.org/news.xml" class="contact">Heidi Howard</a> talk about her work in a Computerphile video from 2016:</p>
 <iframe width="560" height="315" src="https://www.youtube-nocookie.com/embed/jn3DBzr--Ok?si=D0rbJYdhqMX37pBw" title="YouTube video player" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture; web-share" referrerpolicy="strict-origin-when-cross-origin" allowfullscreen=""></iframe>
 <p><a href="https://anil.recoil.org/news.xml" class="contact">Heidi Howard</a> also continued to work on Raft and distributed consensus later:</p>
 <iframe width="560" height="315" src="https://www.youtube-nocookie.com/embed/Pqc6X3sj6q8?si=HuYcxC1crauL422C" title="YouTube video player" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture; web-share" referrerpolicy="strict-origin-when-cross-origin" allowfullscreen=""></iframe>

diff --git a/data/planet/anil/being-on-the-hotnets-2024-program-committee.md b/data/planet/anil/being-on-the-hotnets-2024-program-committee.md
@@ -8,11 +8,12 @@
 authors:
 - Anil Madhavapeddy
 source:
+ignore: true
 ---
 
 <p>I was on the program committee for <a href="https://conferences.sigcomm.org/hotnets/2024/">HotNets
 2024</a> this year, which was a
 thoroughly enjoyable experience. The <a href="https://conferences.sigcomm.org/hotnets/2024/accepted.html">list of accepted
 papers</a> is now out,
 and it's a diverse program -- with my personal favourites being the ones on
 space communications networks using low earth orbit satellites.</p>
@@ -23,7 +24,7 @@
 doing the difficult job of selecting papers from a crowded set of submissions.
 The structure of of the program committee was also somewhat novel, and one
 I'd like to replicate in other conferences I organise in the future.</p>
 <p></p><figure class="image-center"><img src="https://anil.recoil.org/images/hotnetspc-view-2024.webp" loading="lazy" class="content-image" alt="The spectacular view from Jane Street's 18th floor!" srcset="/images/hotnetspc-view-2024.1024.webp 1024w,/images/hotnetspc-view-2024.1280.webp 1280w,/images/hotnetspc-view-2024.1440.webp 1440w,/images/hotnetspc-view-2024.1600.webp 1600w,/images/hotnetspc-view-2024.1920.webp 1920w,/images/hotnetspc-view-2024.2560.webp 2560w,/images/hotnetspc-view-2024.320.webp 320w,/images/hotnetspc-view-2024.3840.webp 3840w,/images/hotnetspc-view-2024.480.webp 480w,/images/hotnetspc-view-2024.640.webp 640w,/images/hotnetspc-view-2024.768.webp 768w" title="The spectacular view from Jane Street's 18th floor!" sizes="(max-width: 768px) 100vw, 33vw"><figcaption>The spectacular view from Jane Street's 18th floor!</figcaption></figure>
 <p></p>
 <ul>
 <li><strong>Two Review Rounds.</strong> There were two rounds of reviewing, with any clear decisions from the first

diff --git a/data/planet/anil/decentralised-tech-on-recoil.md b/data/planet/anil/decentralised-tech-on-recoil.md
@@ -7,6 +7,7 @@ preview_image:
 authors:
 - Anil Madhavapeddy
 source:
+ignore: true
 ---
 
 <p><a href="https://nick.recoil.org" class="contact">Nick Ludlam</a> and I have self-hosted recoil.org since around 1996, typically for

diff --git a/...net/anil/learnings-from-the-cambridge-environmental-sustainability-committee.md b/...net/anil/learnings-from-the-cambridge-environmental-sustainability-committee.md
@@ -7,6 +7,7 @@ preview_image:
 authors:
 - Anil Madhavapeddy
 source:
+ignore: true
 ---
 
 <p>I joined Cambridge's loftily named <a href="https://www.governance.cam.ac.uk/committees/essc/Pages/default.aspx">Environment Sustainability Strategy Committee</a> this academic year, and have attended a couple of meetings with the latest one being held today. While a lot of what goes on is intricately tied into the University's rather <a href="https://www.governance.cam.ac.uk/Pages/default.aspx">special</a> governance structure and the complexity of the College system, there has been significant progress on making all of this more visible more widely.</p>

diff --git a/data/planet/anil/openbsd-c2k5-thoughts.md b/data/planet/anil/openbsd-c2k5-thoughts.md
@@ -7,6 +7,7 @@ preview_image:
 authors:
 - Anil Madhavapeddy
 source:
+ignore: true
 ---
 
 <p>Finally had some time to get back from the OpenBSD hackathon and take

diff --git a/data/planet/anil/our-eeg-group-discussion-on-useful-ai-tools.md b/data/planet/anil/our-eeg-group-discussion-on-useful-ai-tools.md
@@ -8,6 +8,7 @@ preview_image:
 authors:
 - Anil Madhavapeddy
 source:
+ignore: true
 ---
 
 <p><a href="https://svr-sk818-web.cl.cam.ac.uk/keshav/wiki/index.php/Main_Page" class="contact">Srinivasan Keshav</a> organised this week's <a href="https://www.cst.cam.ac.uk/research/eeg">EEG</a> group <a href="https://www.cst.cam.ac.uk/seminars/list/229027">discussion</a> on what AI tools we use for our daily work.  I was immediately struck by how <em>few</em> tools there are that are actually making us more productive, so I jotted down notes as the discussion was going on.</p>

diff --git a/data/planet/anil/prototyping-carbon-aware-domain-name-resolution.md b/data/planet/anil/prototyping-carbon-aware-domain-name-resolution.md
@@ -7,6 +7,7 @@ preview_image:
 authors:
 - Anil Madhavapeddy
 source:
+ignore: true
 ---
 
 <p><a href="https://ryan.freumh.org" class="contact">Ryan Gibb</a> and I have been thinking about how the current Internet architecture fails to treat the carbon emissions

diff --git a/data/planet/anil/pulling-together-a-user-interface.md b/data/planet/anil/pulling-together-a-user-interface.md
@@ -8,6 +8,7 @@ preview_image:
 authors:
 - Anil Madhavapeddy
 source:
+ignore: true
 ---
 
 <p>We’ve been <a href="http://github.com/avsm/perscon">hacking</a> away on fleshing out the <a href="http://code.google.com/appengine">App Engine</a> node for personal containers. We’re building this node first because, crucially, deploying an App Engine VM is free to anyone with a Google account.  The service itself is limited since you can only respond to HTTP or XMPP requests and do HTTP fetches, and so its primary use is as an always-on data collection service with a webmail-style UI written using <a href="http://www.extjs.com/">extjs</a>.</p>

diff --git a/data/planet/anil/semi-distributed-filesystems-with-zfs-and-sanoid.md b/data/planet/anil/semi-distributed-filesystems-with-zfs-and-sanoid.md
@@ -7,6 +7,7 @@ preview_image:
 authors:
 - Anil Madhavapeddy
 source:
+ignore: true
 ---
 
 <p>Over in my <a href="https://www.cst.cam.ac.uk/research/eeg">EEG</a> group, we have a <em>lot</em> of primary and secondary datasets lying around: 100s of terabytes of <a href="https://anil.recoil.org/projects/rsn">satellite imagery</a>, <a href="https://anil.recoil.org/projects/life">biodiversity data</a>, <a href="https://anil.recoil.org/projects/ce">academic literature</a>, and the intermediate computations that go along with them. Our trusty central shared storage server running <a href="https://www.truenas.com">TrueNAS</a> stores data in <a href="https://en.wikipedia.org/wiki/ZFS">ZFS</a> and serves it over <a href="https://en.wikipedia.org/wiki/Network_File_System">NFSv4</a> to a bunch of hosts. This is rapidly becoming a bottleneck as our group and datasets grow, and <a href="https://tarides.com/blog/author/mark-elvers/" class="contact">Mark Elvers</a> has been steadily adding <a href="https://www.tunbury.org/kingston-drives/">lots more raw capacity</a>.  The question now is how to configure this raw SSD capacity into a more nimble storage setup.  If anyone's seen any systems similar to the one sketched out below, I'd love to hear from you.</p>

diff --git a/data/planet/anil/simulating-xmpp-group-communication.md b/data/planet/anil/simulating-xmpp-group-communication.md
@@ -7,6 +7,7 @@ preview_image:
 authors:
 - Anil Madhavapeddy
 source:
+ignore: true
 ---
 
 <h1>Simulating XMPP Group Communication</h1>

diff --git a/data/planet/anil/talks-from-loco24-are-now-available-online.md b/data/planet/anil/talks-from-loco24-are-now-available-online.md
@@ -7,6 +7,7 @@ preview_image:
 authors:
 - Anil Madhavapeddy
 source:
+ignore: true
 ---
 
 <p>The sister conference to <a href="https://anil.recoil.org/notes/propl-at-splash">PROPL</a> was held late last year in Scotland with a bumper attendance from Cambridge. All of the talks from it are now available online at <a href="https://www.youtube.com/@loco-workshop">YouTube</a>, or on our ad-free <a href="https://watch.eeg.cl.cam.ac.uk/c/loco/videos">EEG video site</a>.

diff --git a/data/planet/anil/the-aietf-arrives-and-not-a-moment-too-soon.md b/data/planet/anil/the-aietf-arrives-and-not-a-moment-too-soon.md
@@ -8,6 +8,7 @@ preview_image:
 authors:
 - Anil Madhavapeddy
 source:
+ignore: true
 ---
 
 <p>The <a href="https://ietf.org">IETF</a> <a href="https://bsky.app/profile/ietf.org/post/3lj6w5fpjx22u">announced</a> their new <a href="https://www.ietf.org/blog/aipref-wg/">AI Preferences Working Group</a> (AIPREF), which will <em>"work on standardizing building blocks that allow for the expression of preferences about how content is collected and processed for Artificial Intelligence models"</em>. This is quite well timed; the IETF tries not to standardise too early before there is <a href="https://www.ietf.org/runningcode/">running code</a> but also needs to move before it's too late and a bad defacto standard is <a href="https://datatracker.ietf.org/doc/html/rfc7282">chosen</a>.  The AI world seems to be at that nexus point right about now, with <a href="https://openai.com/index/introducing-gpt-4-5/">GPT 4.5</a> seemingly hitting a <a href="https://www.newscientist.com/article/2470327-is-openai-hitting-a-wall-with-huge-and-expensive-gpt-4-5-model/">scaling wall</a> and possibly triggering the start of a renewed data scraping frenzy.</p>

diff --git a/.../planet/anil/thoughts-on-the-national-data-library-and-private-research-data.md b/.../planet/anil/thoughts-on-the-national-data-library-and-private-research-data.md
@@ -8,6 +8,7 @@ preview_image:
 authors:
 - Anil Madhavapeddy
 source:
+ignore: true
 ---
 
 <p>Over the past year, <a href="https://toao.com" class="contact">Sadiq Jaffer</a> and I have been getting an object lesson in how the modern Internet handles researcher access to data, as we've been downloading tens of millions of research papers towards our <a href="https://anil.recoil.org/projects/ce">Conservation Evidence</a> project. This is legally possible via our <a href="https://www.lib.cam.ac.uk/stories/student-guide-libraries">institutional subscriptions</a> that give us license to fulltexts, and the incredibly helpful <a href="https://uk.linkedin.com/in/james-caudwell-60681766">head of electronic services</a> at the University Library who wields encyclopedic knowledge of each of our agreements with the hundreds of publishers out there. My thoughts on this then segwayed into recent conversations I've been having about the emerging <a href="https://takes.jamesomalley.co.uk/p/wtf-is-the-national-data-library">National Data Library</a> and also with the UK <a href="https://www.wildlifetrusts.org/">Wildlife Trusts</a>...</p>

diff --git a/data/planet/anil/towards-reproducible-urls-with-provenance.md b/data/planet/anil/towards-reproducible-urls-with-provenance.md
@@ -7,6 +7,7 @@ preview_image:
 authors:
 - Anil Madhavapeddy
 source:
+ignore: true
 ---
 
 <h1>Towards reproducible URLs with provenance</h1>

diff --git a/data/planet/anil/ubiquitous-interaction-devices.md b/data/planet/anil/ubiquitous-interaction-devices.md
@@ -7,6 +7,7 @@ preview_image:
 authors:
 - Anil Madhavapeddy
 source:
+ignore: true
 ---
 
 <div>

diff --git a/data/planet/anil/using-at-proto-for-more-than-just-bluesky-posts.md b/data/planet/anil/using-at-proto-for-more-than-just-bluesky-posts.md
@@ -8,6 +8,7 @@ preview_image:
 authors:
 - Anil Madhavapeddy
 source:
+ignore: true
 ---
 
 <p>While <a href="https://bsky.app">Bluesky</a> is taking off like a rocket, a number of us <a href="https://anil.recoil.org/notes/enter-the-matrix-hookshot">moving</a> towards <a href="https://anil.recoil.org/news.xml">self sovereign</a> digital infrastructure have been looking at how to use the Bluesky network for other uses than just short-form notes. This is possible because of my colleague <a href="https://martin.kleppmann.com" class="contact">Martin Kleppmann</a>'s hard work on the "<a href="https://atproto.com/">AT Protocol</a>" that underpins the Bluesky network. Martin recently gave us a <a href="https://talks.cam.ac.uk/talk/index/224767">deep-dive into the AT proto</a> in the Cambridge <a href="https://www.cl.cam.ac.uk/research/security/">security group</a>, which made me look into other uses of it more closely. As background, you may wish to read <a href="https://arxiv.org/abs/2402.03239">his paper</a> on the subject which explains the technical architecture extremely clearly.</p>

diff --git a/data/planet/anil/using-computational-ssds-for-vector-databases.md b/data/planet/anil/using-computational-ssds-for-vector-databases.md
@@ -7,6 +7,7 @@ preview_image:
 authors:
 - Anil Madhavapeddy
 source:
+ignore: true
 ---
 
 <h1>Using computational SSDs for vector databases</h1>

diff --git a/data/planet/anil/viewing-web-logs-the-old-fashioned-way-with-goaccess.md b/data/planet/anil/viewing-web-logs-the-old-fashioned-way-with-goaccess.md
@@ -7,6 +7,7 @@ preview_image:
 authors:
 - Anil Madhavapeddy
 source:
+ignore: true
 ---
 
 <p>Like many <a href="https://anil.recoil.org/notes/ai-ietf-aiprefs">others</a>, my website is under a constant barrage of crawling from bots. I need to figure out which one is hosing me, but I am also resisting having third-party trackers of any form. I took a look at hosting a <a href="https://plausible.io/">Plausible</a> instance as <a href="https://plausible.ci.dev/ocaml.org">OCaml does</a>, but it's yet another service to run and maintain. Then <a href="https://nick.recoil.org" class="contact">Nick Ludlam</a> pointed me to an old-fashioned server-side log analyser with builtin privacy called <a href="https://goaccess.io">Goaccess</a> he's using on his <a href="https://nick.recoil.org">site</a>, which is also perfect for my needs!</p>

diff --git a/data/planet/anil/webassembly-on-exotic-architectures-a-2025-roundup.md b/data/planet/anil/webassembly-on-exotic-architectures-a-2025-roundup.md
@@ -7,6 +7,7 @@ preview_image:
 authors:
 - Anil Madhavapeddy
 source:
+ignore: true
 ---
 
 <p>It's about the time of the academic year to come up with project <a href="https://anil.recoil.org/ideas">ideas</a>! <a href="https://kcsrk.info" class="contact">KC Sivaramakrishnan</a>, <a href="https://github.com/andrewray" class="contact">Andy Ray</a> and I have been looking into <a href="https://anil.recoil.org/notes/fpgas-hardcaml">FPGA/OCaml matters</a> recently so I thought I'd review the latest in the land of <a href="https://webassembly.org">Webassembly</a> for non-traditional hardware targets.  It turns out that there are very fun systems projects going on to turn wasm into a "real" target architecture on several fronts: a native port of Linux to run in wasm, a port of wasm to run in kernel space, a POSIX mapping of wasm, and fledgling wasm-CPUs-on-FPGAs.</p>

diff --git a/...a-hrefhttpsjonrecoilorgblog202503code-block-metadatahtmlcode-block-metadataa.md b/...a-hrefhttpsjonrecoilorgblog202503code-block-metadatahtmlcode-block-metadataa.md
@@ -1,6 +1,5 @@
 ---
-title: <a href="https://jon.recoil.org/blog/2025/03/code-block-metadata.html">Code
-  block metadata</a>
+title: Code block metadata
 description:
 url: https://jon.recoil.org/blog/2025/03/code-block-metadata.html
 date: 2025-03-07T00:00:00-00:00

diff --git a/...psjonrecoilorgblog202503module-type-ofhtmlthe-road-to-odoc-3-module-type-ofa.md b/...psjonrecoilorgblog202503module-type-ofhtmlthe-road-to-odoc-3-module-type-ofa.md
@@ -1,6 +1,5 @@
 ---
-title: '<a href="https://jon.recoil.org/blog/2025/03/module-type-of.html">The Road
-  to Odoc 3: Module Type Of</a>'
+title: 'The Road to Odoc 3: Module Type Of'
 description:
 url: https://jon.recoil.org/blog/2025/03/module-type-of.html
 date: 2025-03-08T00:00:00-00:00

diff --git a/...udlam/a-hrefhttpsjonrecoilorgblog202504meeting-the-teamhtmlmeeting-the-teama.md b/...udlam/a-hrefhttpsjonrecoilorgblog202504meeting-the-teamhtmlmeeting-the-teama.md
@@ -1,5 +1,5 @@
 ---
-title: <a href="https://jon.recoil.org/blog/2025/04/meeting-the-team.html">Meeting
+title: Meeting
   the Team</a>
 description:
 url: https://jon.recoil.org/blog/2025/04/meeting-the-team.html
@@ -8,6 +8,7 @@ preview_image:
 authors:
 - Jon Ludlam
 source:
+ignore: true
 ---
 
 <section><h1><a href="https://jon.recoil.org/atom.xml#meeting-the-team" class="anchor"></a>Meeting the Team</h1><ul class="at-tags"><li class="published"><span class="at-tag">published</span> <p>2025-04-08</p></li></ul><p>It's tremendously exciting to be back in the <a href="https://www.cst.cam.ac.uk/">Computer Laboratory</a>, as the last time I worked here was just before the pandemic. I'm now a member of the <a href="https://www.cst.cam.ac.uk/research/eeg">Energy and Environment Group</a> whose goal is "to have a measurable impact on tools and techniques for de-risking the future".</p></section><p>Continue reading <a href="https://jon.recoil.org/blog/2025/04/meeting-the-team.html">here</a></p>
diff --git a/...sjonrecoilorgblog202504ocaml-docs-ci-and-odoc-3htmlocaml-docs-ci-and-odoc-3a.md b/...sjonrecoilorgblog202504ocaml-docs-ci-and-odoc-3htmlocaml-docs-ci-and-odoc-3a.md
@@ -1,6 +1,5 @@
 ---
-title: <a href="https://jon.recoil.org/blog/2025/04/ocaml-docs-ci-and-odoc-3.html">OCaml-Docs-CI
-  and Odoc 3</a>
+title: OCaml-Docs-CI and Odoc 3
 description:
 url: https://jon.recoil.org/blog/2025/04/ocaml-docs-ci-and-odoc-3.html
 date: 2025-04-29T00:00:00-00:00

diff --git a/.../planet/jonludlam/a-hrefhttpsjonrecoilorgblog202504odoc-3htmlodoc-3-so-whata.md b/.../planet/jonludlam/a-hrefhttpsjonrecoilorgblog202504odoc-3htmlodoc-3-so-whata.md
@@ -1,5 +1,5 @@
 ---
-title: '<a href="https://jon.recoil.org/blog/2025/04/odoc-3.html">Odoc 3: So what?</a>'
+title: 'Odoc 3: So what?'
 description:
 url: https://jon.recoil.org/blog/2025/04/odoc-3.html
 date: 2025-04-25T00:00:00-00:00

diff --git a/...og202504semantic-versioning-is-hardhtmlsemantic-versioning-in-ocaml-is-harda.md b/...og202504semantic-versioning-is-hardhtmlsemantic-versioning-in-ocaml-is-harda.md
@@ -1,6 +1,5 @@
 ---
-title: <a href="https://jon.recoil.org/blog/2025/04/semantic-versioning-is-hard.html">Semantic
-  Versioning in OCaml is Hard</a>
+title: Semantic Versioning in OCaml is Hard
 description:
 url: https://jon.recoil.org/blog/2025/04/semantic-versioning-is-hard.html
 date: 2025-04-20T00:00:00-00:00

diff --git a/data/planet/jonludlam/a-hrefhttpsjonrecoilorgblog202504this-sitehtmlthis-sitea.md b/data/planet/jonludlam/a-hrefhttpsjonrecoilorgblog202504this-sitehtmlthis-sitea.md
@@ -1,5 +1,5 @@
 ---
-title: <a href="https://jon.recoil.org/blog/2025/04/this-site.html">This site</a>
+title: This site
 description:
 url: https://jon.recoil.org/blog/2025/04/this-site.html
 date: 2025-04-07T00:00:00-00:00

diff --git a/...202505ai-for-climate-and-nature-dayhtmlai-for-climate--nature-community-daya.md b/...202505ai-for-climate-and-nature-dayhtmlai-for-climate--nature-community-daya.md
@@ -1,13 +1,13 @@
 ---
-title: <a href="https://jon.recoil.org/blog/2025/05/ai-for-climate-and-nature-day.html">AI
-  for Climate & Nature Community Day</a>
+title: AI for Climate & Nature Community Day
 description:
 url: https://jon.recoil.org/blog/2025/05/ai-for-climate-and-nature-day.html
 date: 2025-05-01T00:00:00-00:00
 preview_image:
 authors:
 - Jon Ludlam
 source:
+ignore: true
 ---
 
 <section><h1><a href="https://jon.recoil.org/atom.xml#ai-for-climate-%26-nature-community-day" class="anchor"></a>AI for Climate &amp; Nature Community Day</h1><ul class="at-tags"><li class="published"><span class="at-tag">published</span> <p>2025-05-01</p></li></ul><p>

diff --git a/...efhttpsjonrecoilorgblog202505oxcaml-gets-closerhtmloxcaml-is-getting-closera.md b/...efhttpsjonrecoilorgblog202505oxcaml-gets-closerhtmloxcaml-is-getting-closera.md
@@ -1,6 +1,5 @@
 ---
-title: <a href="https://jon.recoil.org/blog/2025/05/oxcaml-gets-closer.html">OxCaml
-  is getting closer...</a>
+title: OxCaml is getting closer...
 description:
 url: https://jon.recoil.org/blog/2025/05/oxcaml-gets-closer.html
 date: 2025-05-02T00:00:00-00:00

diff --git a/...gblog202505ticks-solved-by-aihtmlsolving-first-year-ocaml-exercises-with-aia.md b/...gblog202505ticks-solved-by-aihtmlsolving-first-year-ocaml-exercises-with-aia.md
@@ -1,6 +1,5 @@
 ---
-title: <a href="https://jon.recoil.org/blog/2025/05/ticks-solved-by-ai.html">Solving
-  First-year OCaml exercises with AI</a>
+title: Solving First-year OCaml exercises with AI
 description:
 url: https://jon.recoil.org/blog/2025/05/ticks-solved-by-ai.html
 date: 2025-05-07T00:00:00-00:00
-Original file line number
+Diff line change
@@ Expand Up / @@ -7,6 +7,7 @@ preview_image: @@
     authors:
     - Anil Madhavapeddy
     source:
+    ignore: true
     ---
     <div>
@@ Expand Down @@