{
  "description": "Browse aymeric's, an independent, searchable archive of readable snapshots from followed feeds, preserved in Git with aggr.",
  "feed_url": "https://aggr.aymericbeaumet.com/sources/leodemoura.github.io/feed.json",
  "home_page_url": "https://aggr.aymericbeaumet.com/sources/leodemoura.github.io/",
  "items": [
    {
      "authors": [
        {
          "name": "matt_d"
        }
      ],
      "content_html": "",
      "date_modified": "2026-10-16T06:16:13+00:00",
      "date_published": "2026-10-16T06:16:13+00:00",
      "external_url": "https://leodemoura.github.io/blog/2026-10-15-lean-now-ships-with-verified-kernels/",
      "id": "urn:aggr:item:6a996950b16518754ed44465c35113a940c4e625",
      "tags": [
        "news"
      ],
      "title": "Lean now ships with verified kernels",
      "url": "https://aggr.aymericbeaumet.com/items/hnrss-org/2026-10-16-lean-now-ships-with-verified-kernels/"
    }
  ],
  "language": "en",
  "title": "leodemoura.github.io",
  "version": "https://jsonfeed.org/version/1.1"
}