Well I think using Mastodon is a failure for me.

I used it for 2 months as a way to share some interesting things or thoughts, and discover the same from others.

It appears though things which are interesting are not frequent, and when they are, deserve more than 500 characters associated with them.

In the end, Mastodon truly is microblogging, but the utility of microblogging seems very niche, and not for me.

Back to the drawing board.

Hello Mastodonians, it's been a couple months. I've felt no need to be social sur l'Internet.

A big thing I've been working on is learning formal verification. There is too much to say about it in one 500 character toot.

I've begun entering the world of Canadian law as well, a very interesting place.

In other news: proof-of-work and steganography are powerful when combined.

Formal verification needs to become popularized.

I want to see a future where I can truly compose and pull in functions and data structures from a global repository which is automatically verified by software.

It may not be this century, but in a few hundred years, I bet my money on a standardized formal verification programming language which everyone will use to discuss Mathematics, Physics, Biology, Software, Hardware, and many other fields.

Anyone use Coq? Anyone use Coq to derive code? Anyone use Coq to derive ReactJS components? 😛

Am I about to travel a path into hell?

I decided to look up if "chillhop" was trademarked out of curiosity. A quick search on the US trademark database and yep, "chillhop music" is trademarked. I guess technically you can't categorize your music as "chillhop music" without permission? Insane.

http://tmsearch.uspto.gov/bin/showfield?f=doc&state=4803:z2u5uu.2.1