Yoshiya@kt3kFeb 28, 2024

JSR、自分の想像より遥かに多くの反響があって、なかなか面白い。npm のスーパーセットになるような、いろんなルールが科されているレジストリっていうのが意外とかなり需要があったらしい。

npm は良くも悪くも、ただのファイル置き場的な作りのままここまで来ていて、そのシンプルさで受け入れられたというのもあるだろうけど、JS の registry である事から期待される機能 (例えばドキュメント自動生成など) がおろそかになっていて、そこに対する innovation の余地みたいなところを JSR がうまく突いた形になったっぽい


Yoshiya@kt3kFeb 24, 2024

SHEIN で 200~300円の時計4本と、1500円ぐらいの時計1本買ってみた・・・、どのくらいのクオリティなんだろう・・・? 🤔


Yoshiya@kt3kFeb 24, 2024

ペアノ公理系で比較的簡単に証明出来そうな定理ということで、算術の基本定理を選んでみたけど、これでもちょっと複雑すぎる・・・

さらに落としてユークリッドの補題を考えてみたけどこれですら、どうやって主張を式に落とすのかなんだかよくわからない・・・


Yoshiya@kt3kFeb 21, 2024

scrapbox 上で Peano playground というのを始めて、比較的かんたんな定理を完全に形式的に証明してみようと思っていろいろ作業してみたところ、自分は形式的に証明できる定理が何一つ無いということに気付いた。


Yoshiya@kt3kFeb 13, 2024

メモ: 趣味プロの複数同時進行は良くない。1度に1つづつにした方が良い。


Yoshiya@kt3kFeb 12, 2024

趣味プロなどで、プロジェクトがスタック気味になってきたら、プロジェクトの転用・目的の再定義に集中するのが良さそう。一番良くないのは、目的地が正しくない状態のままで速度が落ちた状態が続いてしまってモチベーション自体が下がってしまうこと。


Yoshiya@kt3kFeb 12, 2024

今本当にやりたい事は Editor 関連と、proof verifier 言語になって来ているので、もう少しそっち方向へのコミットを増やしていきたい。



Yoshiya@kt3kFeb 5, 2024

Apple から PKL という設定言語が Open Source された。オブジェクトに型が付くというところは目新しいし、有用そうだけど、それ以外の機能、特に設定のテストを書きたくなってしまうようなやたら複雑な機能が多くて、個人的には設定で使ってみたい言語にはならなそうと思った。


Yoshiya@kt3kFeb 4, 2024

久しぶりに flow type の contributor グラフ](https://github.com/facebook/flow/graphs/contributors) を眺めて見たけど、全く開発がスローダウンする気配が無い。世の中的には流行ってないけど、Meta 的にはきっとすごくアクティブに使われているんだろうなぁ




Yoshiya@kt3kJan 21, 2024

とりあえず、vscode-pixeledit のエクステンション側のテストのセットアップ成功。かなり VSCode にロックインされたテスト環境になっている点が若干怖い。

フロントエンドのテストなんかは JSDOM さえ引っ張ってくれば、Node でも Deno でもテストが書けるけど、VSCode Extension のテスト環境はそういう作りになっていないので、electron 自体立ち上げてみたいな感じになっている。フロントエンドで廃れた karma とか testem みたいなテスト環境になっている。

個人的には karma / testem は嫌いでは無かったけど、世の中的には受け入れられずに廃れたという経緯があるので、今後 @vscode/test-electron パッケージがきちんとメンテされ続けるのかというところに不安を感じる (けど、他に選択肢がないので使うしかない)。


Yoshiya@kt3kJan 21, 2024

Biome に対する期待感て VC-backed ではない純粋な OSS だからっていうのもありそうな気がする。Node.js vs Deno って性能・機能だけの話よりも、Open Governance な OSS か VC-backed な OSS かという見方で見ている人も結構居そう。



Yoshiya@kt3kJan 18, 2024

団体旅行をしている夢。旅行に来るときに普段飲んでいるクスリを持ってくるのを忘れてしまって少し焦っていた。地方の駅で電車が来るのをみんなで待っていた。


Yoshiya@kt3kJan 17, 2024

最近の Mercedes のほとんどの車種にバカでかスリーポインテドスターが付くようになっちゃったのってなんでなんだろう・・・、素人目に見て明らかにダサく見えるし、S-Class とかマイバッハとか、上位のモデルでは逆にあまりつけてないという状況から考えて、内部的にも「これはダサい (から上位モデルには付けられない)」っていう認識持ってるんじゃないかという疑惑を感じる


Yoshiya@kt3kJan 17, 2024

新しい Mercedes E-Class、Exclusive Edition というグレードを選択すると、グリルがクラシックな形状 (バカでかエンブレムがついてない奴) になるっぽい。ちょっと興味が湧いてきた



Yoshiya@kt3kJan 16, 2024

ベトナムには VinFast という車メーカーがあって、VinFast Lux A2.0 みたいな結構かっこいい車を作っているらしい。620 million VND (370万円) ぐらいみたいなので、かなりコスパ良さそう。







Yoshiya@kt3kDec 18, 2023

セダンが売れていないというよりは、高級じゃないセダンが売れていないという表現の方が正しい気がする。クラウン以上のグレードのセダンは全然普通にそこら中走ってる。

クラウンとレクサス以外の日本車のセダンを見るか、と言われると確かにほぼ見ない


Yoshiya@kt3kDec 18, 2023

自分、英語上手になってる気がする。聞き取る時に、文の切れ目がどこか、だけに集中すると聞き取れる情報量がグッと上がるような感覚がある



Yoshiya@kt3kDec 17, 2023

If we call self-reproducible informations memes, then mathematics, religions, and sciences are some of strongest forms of memes.


Yoshiya@kt3kDec 17, 2023

逆に第5世代 Lexus RX のニューモデル速報今出てないってことはもう出ないのかな・・・、ちょっと残念


Yoshiya@kt3kDec 17, 2023

新型スズキスイフトのニューモデル速報、もう出版されてる


Yoshiya@kt3kDec 17, 2023

クラウドエッジコンピューティングみたいな新しい言葉が有ったほうが良いかもしれない


Yoshiya@kt3kDec 17, 2023

エッジコンピューティングという言葉をいわゆるエッジファンクション的な名前で販売されている製品群の呼称として使うのはちょっと狭義の言葉の使い方過ぎる気がしてきた。

本来のエッジコンピューティングという言葉はデバイス(クライアント)で計算すること、LANのルーターで計算すること、ISP で計算すること等いろいろな意味を内包した言葉。


Yoshiya@kt3kDec 13, 2023

趣味プロは毎日少しでもやった方が良さそう。自分が所有しているプロジェクトを触るのは単に練習という以上の深い意味がある気がする



Yoshiya@kt3kDec 6, 2023

宇宙にいまいち夢が見れないんだよなぁ・・・、景色は綺麗かもしれないけど、言ってみたら究極のど田舎みたいなものだから、行っても何もないしすぐに退屈しそう。あとは、重力が無いし限られた空間しか使えないので生活が不便だし・・・


Yoshiya@kt3kDec 6, 2023

Rust 相対パスにしたいだけでなんで3rdパーティ依存必要になるの・・・


Yoshiya@kt3kDec 6, 2023

KV が S3 backup サポートしたので、ここのデータの保存を KV に移しても良いかもしれない・・・



Archives