SATソルバーを使ってBrainfuckのプログラムを実行するというネタのLTです。
詳しくはgithubのリポジトリへ。
「ねぇ、ひまわりちゃんはどこか見たいお店ある？」
「ん…別に。ここには、わたしがほしいもの、売ってないから」
「…欲しいものって？」
「！！ あのね！今狙ってるのは、連合防衛軍の、基幹コアサーバ！
二世代前の物だけど、今度オークションに出品されるみたいなの！」
「？…ふーん…何だか、全然わからないけど、高そうね…」
「大丈夫！この前公開したアプリのギャラが入ったから、…たぶんだけど、何とかなる！」
「…へ、へぇ…」
（ビビッドレッド・オペレーション 第九話 「晴れときどきふわふわ」）