Splrの並列化は突然やる気を失って中断してしまった。
やる気を失ってというだけではなくて、 ちょっとは仕事に関係してきそうなのでPythonでの機械学習(を教えるため)の基礎の勉強を始めて、 でもPythonを個人的に使う気には全然なれなくてRustとBQNで書き直しながら選んだテキストを読んでいったりしてました。
ところがそれも途中で中断して、やっぱり(Helixで)syntax highlightingなしでプログラミングなんかしたくないよなあという気分になってきて今度はBQN用のtree-sitterを書き出してしまった。 tree-sitter-bqnはほぼ2週間程で完成にはこぎつけたけど、 体調悪かったり、三ヶ月連続出版のグインサーガ外伝最終巻を読む時間も必要だったりしたのでsplrの開発は完全に中断しているのでした。
6月は全身麻酔のイベントがあったりしてまた進展なさそう🤷。 むしろこの数日は1万変数規模の問題に対するBQN版SAT solverの開発にすごく興味があってまずはAPL版Sudokuソルバの読解と移植なんかやっていたりして。
はたして日本人でBQNを使える人は何人いるのだろうか。