Home | Notifications | New Note | Local | Federated | Search | Logout
きゅーけー@tojoqk@mastodon.tojo.tokyo
Lisp と自由ソフトウェアと行動分析学が好きです。
自分専用のマストドンサーバー(Docker on Guix System)を運用しており、このアカウントはそのサーバーで唯一アクティブなアカウントです。
Typed Racket や Coalton のような型のついている Lisp や、定理支援系の Agda、GNU Guix System に興味があります。
いまは Typed Racket での趣味開発がメインです。
個人サイト: https://www.tojo.tokyo
サブアカウント: https://fedibird.com/@tojoqk
Joined: 2025-12-01 20:07:27
259 notes, 1 following, 1 followers
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-09-02 02:08:01)
たぶん、そこそこ賢い翻訳にかければどうせAI的な何かによってプロクラミング言語はプログラミング言語の誤字として認識されるに違いない。記憶にないけどスマホで入力したんだろうな…
Reply to @tojoqk@mastodon.tojo.tokyo
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-09-02 02:05:36)
s/プロクラミング言語/プログラミング言語/
一体なぜ…。これちゃんと翻訳されるのか心配すぎる…
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-09-01 20:48:31)
ちゃんと滞りなく配信できているか心配
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-09-01 20:47:36)
(自サーバーのMastodonの体力的な限界を感じたのでインスタンスの増強を決心しました)
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-09-01 20:36:48)
Rhombusは型を自在に開発するためのインフラであり、S式の単純なマクロ展開とそれに基づいて型システムを実装するときの課題を annot という基盤で解決しているからやっぱり最強だと思う。
Rhombusにとってもはや型はプリミティブな言語機能ではないと捉えるのがおそらく正しい。
いまリリースされているRhombusが動的型付けだったから、最初不当に低く見てしまってたのだけど実際にはRhombusの可能性は無限大すぎる。
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-09-01 20:16:01)
Rhombusは知れば知るほど良い言語で、私は本質的にプロクラミング言語の設計者に支配されるのが嫌で、すべての力を手にしたいと思っているということがよくわかった。
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-09-01 08:53:06)
この件かなり心配していたのだけどLinux等が対象外になってよかった
きゅーけー@tojoqk@mastodon.tojo.tokyo boosted:
@spiegel@goark.fedicity.net (2026-09-01 08:50:49)
＞OSに年齢確認を義務づける法案でLinuxなどのオープンソースOSが除外される、Windows・macOS・iOS・Androidは引き続き対象に - GIGAZINE
https://gigazine.net/news/20260831-os-age-verification-law-amendment/
＞OS(オペレーティングシステム)を提供する者にユーザーの年齢確認を実施するという法律に、「提供者が固定されないオープンソースのOSも対象になるのか」と批判があったことを受け、カリフォルニア州議会が法律の修正を行いました。
ちょっとなに言ってるか分からない
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-08-31 19:33:41)
Rhombusにはこのまま静的型付け化して Typed RhombusになってそのままTyped Racketが抱えていた弱点を克服してTyped Racketを超えていくようなポテンシャルを感じるので、将来 Rhombus に公式のTyped Racketと互換性のある静的型Rhombus完成したときのことを意識して自作ライブラリのインターフェース設計をすることにした
きゅーけー@tojoqk@mastodon.tojo.tokyo boosted:
@LwVe9@mstdn.poyo.me (2026-08-31 01:02:24)
まあ最近のOLEDの事情についてはあまり詳しくはないので、改善してるかも？という気もするので……
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-08-31 01:01:43)
なるほど…。まあ3年くらいもてばいいかな…。
毎回割と安めの十数万円くらいのを買ってるからだと思うけど、だいたい3年くらい経過するとキーボードがボロボロになったりヒンジが壊れたりして買い替えてるので、たぶんこれもそれくらいの使用期間になりそうだし…
きゅーけー@tojoqk@mastodon.tojo.tokyo boosted:
@LwVe9@mstdn.poyo.me (2026-08-31 00:57:21)
OLED、出始めのころから好きではあるんだけど、デカいと高いのと寿命とか考えるとにゃーんとなりメインにはできてないのよねえ
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-08-31 00:56:23)
これはOLEDやめられないかもしれない。
OLEDでも自分なら違い気づかないだろって思ってたけど全然そんなことない。
背景を黒にした場合に明らかに視認性に影響する絶大な違いがある。
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-08-31 00:50:46)
OLEDの黒がとても綺麗であることに気づいたので全部ダークテーマにする。
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-08-30 22:34:07)
ノートパソコンが物理的に壊れたので新しいのに買ったけど無事に移行が終わった。
Nonguixまわりで一時的にLinuxがビルドできないタイミングがあってはまったけど、今日確認したら直ってたのでとても助かった。
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-08-29 14:03:10)
Guixで一部だけ古いバージョンのコミットハッシュのパッケージを利用する方法を完全に把握することに成功…。これでどれだけ最新が壊れても問題ないな…？
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-08-29 12:59:54)
Mastodonを無事に4.7.0まで上げられた。マイグレーションめっちゃ時間かかった……
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-08-29 11:24:01)
そろそろMastodonのマイナーバージョンを上げていかないとまずい気がするから今日は作業していくか…
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-08-29 10:48:27)
Racket由来のデータに対して Rhombus の低レベルAPIでパターンマッチを定義するのだいぶ大変だが、とりあえずやはりできることは分かった。
ただ、いまのところ少なくとも自分にとっては実装するコストが高いので、いったん dot.macro と annot.macro だけ書いて dot 記法のインターフェースだけサポートすることにした。
Reply to @tojoqk@mastodon.tojo.tokyo
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-08-29 00:10:58)
ドット記法やパターンマッチというモダンな記法は実は抽象の壁を犠牲にしているという問題を Rhombus は完全解決している……
Reply to @tojoqk@mastodon.tojo.tokyo
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-08-29 00:08:34)
動的ディスパッチか実体がなんなのかが決まっていないと使えない foo.bar 的記法は基本的に私は嫌いで、なるべく関数によって参照する方がいいっていう思想でいたんだけど、まさにこの問題を完全に克服したのが Rhombus だということか……。bind も実体を知らなくてもできると。最強じゃん。
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-08-29 00:05:34)
Rhombusのanotとdotの凄さいところはその実体に関する情報が何もなくても、静的に foo.bar の意味を確定させることができてしまうことだと思う。
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-08-29 00:01:37)
これはアイデア次第でとても面白いことできそう……
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-08-28 23:57:21)
自作RacketライブラリをRhombusから自然な形で使えるようにしたい!って思って頑張っていればいずれこのRhombusの凄さに気づくことができそうだけど、普通にRhombusに入門してRhombusの機能を普通に使っていても永久に何も感じない可能性あるのでは…
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-08-28 23:53:35)
でもいったいどうやってこの凄さをPRしたらいいんだ……
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-08-28 23:50:44)
RE: https://mastodon.tojo.tokyo/@tojoqk/117164633108015837
これは Rhombus クール！最高！になってしまうかもしれん…
Reply to @tojoqk@mastodon.tojo.tokyo
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-08-28 23:42:04)
これ、Rhombusはめちゃくちゃすごい新言語なのにすごいことが伝わりにくすぎるのでは……。
Reply to @tojoqk@mastodon.tojo.tokyo
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-08-28 23:40:31)
annotとdotだけ定義してbindを定義しないことで抽象の壁を守ることもできると…
Reply to @tojoqk@mastodon.tojo.tokyo
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-08-28 23:38:39)
Rhombus の annot と dot による foo.bar 的なアクセサ記法は新規性があることが分かった。これは動的ディスパッチでもなければ、レコード型情報への直接アクセスでもない。
annot と dot による foo.bar はプログラマが自由に定義できるのに、それは動的にディスパッチするものではなくて型っぽいannotの記法と組み合わせて静的に確定させることができるということか…
これは本当に欲しかったものかもしれない…
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-08-28 23:09:25)
Rhombus の annot.macro, dot.macro まわりについて理解し始めたかもしれない。これ結構面白いかも…
Older Notes