41554 blogs · [ { "id": "01a0c5c5-eebc-73f4-9f50-78b55b14eb05", "title": "Turning Kernel Defects into Compile Errors with Takibi lang", "url": "http://metasepi.org//en/posts/2026-09-19-koedolug.html", "published_at": "2026-09-19T00:00:00+00:00" }, { "id": "01a087a4-54e5-737c-808b-1a9b853ee54a", "title": "Gave My First Talk About Takibi at OCaml Meeting 2026 in Tokyo", "url": "http://metasepi.org//en/posts/2026-08-22-takibi.html", "published_at": "2026-08-22T00:00:00+00:00" }, { "id": "01a087a4-54e5-737c-808b-1a9b85680acb", "title": "ATS2 can avoid some of FreeBSD Problem Reports", "url": "http://metasepi.org//en/posts/2021-04-19-avoid-freebsd-pr.html", "published_at": "2021-04-19T00:00:00+00:00" }, { "id": "01a087a4-54e5-737c-808b-1a9b860e2f82", "title": "ATS2 and VeriFast avoid some of FreeBSD vulnerabilities", "url": "http://metasepi.org//en/posts/2020-10-14-avoid-freebsd-security-issue.html", "published_at": "2020-10-14T00:00:00+00:00" }, { "id": "01a087a4-54e5-737c-808b-1a9b86a4890b", "title": "A toy translator C to ATS", "url": "http://metasepi.org//en/posts/2019-07-19-toy-translator-c-to-ats.html", "published_at": "2019-07-19T00:00:00+00:00" }, { "id": "01a087a4-54e5-737c-808b-1a9b874aba48", "title": "So long VeriFast, and see again ATS", "url": "http://metasepi.org//en/posts/2018-11-13-see-you-verifast.html", "published_at": "2018-11-13T00:00:00+00:00" }, { "id": "01a087a4-54e5-737c-808b-1a9b87dea55f", "title": "You must buy SyncStitch with only 64,800 JPY!", "url": "http://metasepi.org//en/posts/2018-10-15-must-buy-syncstitch.html", "published_at": "2018-10-15T00:00:00+00:00" }, { "id": "01a087a4-54e5-737c-808b-1a9b88201427", "title": "Hands-on VeriFast with STM32 microcontroller", "url": "http://metasepi.org//en/posts/2017-02-05-verifast-hans-on.html", "published_at": "2017-02-05T00:00:00+00:00" }, { "id": "01a087a4-54e5-737c-808b-1a9b88e5eb73", "title": "c2ats - An utility to generate ATS interface from C code", "url": "http://metasepi.org//en/posts/2016-09-17-c2ats.html", "published_at": "2016-09-17T00:00:00+00:00" }, { "id": "01a087a4-54e5-737c-808b-1a9b8983b85a", "title": "Functional IoT Meetup", "url": "http://metasepi.org//en/posts/2016-01-30-fpiot_0.html", "published_at": "2016-01-30T00:00:00+00:00" }, { "id": "01a087a4-54e5-737c-808b-1a9b8a737b39", "title": "Metasepi's going year and coming year, 2015", "url": "http://metasepi.org//en/posts/2015-12-31-yuku-kuru.html", "published_at": "2015-12-31T00:00:00+00:00" } ] posts Claim your blog

Blog · corpus.blog/blogs/metasepi.org/posts