m5l.eu is a Fediverse instance that uses the ActivityPub protocol. In other words, users at this host can communicate with people that use software like Mastodon, Pleroma, Friendica, etc. all around the world.

This server runs the snac software and there is no automatic sign-up process.

Site description
Yet another single-user instance
Admin account
@marek@m5l.eu

Search results for tag #ocaml

1 ★ 1 ↺
Programming Channel boosted

[?]Marek S. ล. ยป 🌐
@marek@m5l.eu

I'm really tempted to use the Forester notes approach to writing my thesis. It is a very interesting approach to scientific writing, where (as I understood it) atomic ideas are described separate files that can be linked but also arranged into longer documents.

The original is written in with quite involved setup, but about two single-executable implementations: Kodama and Weibian.

I'm still trying them out, but luckily both support @typst@mastodon.social so at least I can keep a common content format between them and final document

    about this site - powered by snac/2.84