Metasepi Blog

A talk about building the Takibi language and kernel together

Presentation "Create your own programming language and OS using OCaml, LLVM, and Generative AI -- accessible to everyone"

Mechanically avoid 12% of latest FreeBSD Problem Reports without code review.

Mechanically avoid 16% of latest FreeBSD vulnerabilities without code review.

Try to translate IDIOMATIC C code into human readable ATS code.

Shutdown Chiers iteration, and Come back to Bohai.

Dive into CSP (Communicating Sequential Processes) modeling.

Verify ChibiOS/RT sample application using VeriFast

Create scaffold to rewrite large Unix-like kernel using ATS.

First meetup to talk about Functional programming on embedded device.

Look back on 2015, and dream next year!