ReaderFunded · site

Metasepi Blog

metasepi.org

Metasepi Blog, “Metasepi”, is a tech site on metasepi.org, in English, funded by its readers: about 0 paying supporters on GitHub Sponsors + Patreon, estimated.

Metasepi, a project and blog by Kiwamu Okabe on designing Unix-like kernels in strongly typed languages such as Rust, ATS and Haskell.

Visit Metasepi BlogSupport on GitHub SponsorsSupport on Patreon

Is this your site? There is a badge you can show, with the live figure.

Latest posts

• Turning Kernel Defects into Compile Errors with Takibi lang2026-09-19
• Gave My First Talk About Takibi at OCaml Meeting 2026 in Tokyo2026-08-22
• ATS2 can avoid some of FreeBSD Problem Reports2021-04-19
• ATS2 and VeriFast avoid some of FreeBSD vulnerabilities2020-10-14
• A toy translator C to ATS2019-07-19
• So long VeriFast, and see again ATS2018-11-13
• You must buy SyncStitch with only 64,800 JPY!2018-10-15
• Hands-on VeriFast with STM32 microcontroller2017-02-05

From the site's feed, read 2026-10-14.

Pages

19 pages indexed; the pages that lead the site by its internal links:

Standing

Verified funding

• btc https://blockstream.info/address/15qcnttF66nu3veUQPsEGrveY8Eccy1jWcverified 2026-09-06
• github_sponsors https://github.com/sponsors/metasepiverified 2026-08-16
• patreon https://www.patreon.com/u14024680verified 2026-09-04
• youtube https://www.youtube.com/c/metasepiverified 2026-09-16

Badge

For the site's owner: a badge that says readers fund it, linked to this page. It shows the live figure, so it never goes stale; a count appears once a platform publishes one.

HTML

<a href="https://readerfunded.com/site/metasepi.org"><img src="https://readerfunded.com/badge/metasepi.org.svg" alt="Reader-funded, verified by ReaderFunded" height="20"></a>

Markdown

[![Reader-funded, verified by ReaderFunded](https://readerfunded.com/badge/metasepi.org.svg)](https://readerfunded.com/site/metasepi.org)

Channel

• Metasepi Project42 subscribers22 videos indexed · search them

Neighbourhood

Linked from 16 domains, links to 53; of the latter, the funded sites are shown. Funded sites first, then the sources that link to fewest other funded sites. Links as seen in the Common Crawl domain graph (cc-main-2026-aug-sep-oct), cut 2026-10-23: the pages crawled in a window of three months, not necessarily the site of today, and a page not crawled in that window leaves no link.

Similar funded sites

Sites the same sources link to, by cosine over the sets of linking domains. More.