23:41:41 @kb10uy@mstdn.maud.io
icon

まあ電源ラインだとどうしてもノイズ乗るだろうなあ

icon

長らく VSCode と Neovim しか使ってないので他のリッチな IDE がどれぐらいリッチなのか完全に忘れてしまった

23:34:36 @kb10uy@mstdn.maud.io
icon

ここ色付くのは他の IDE とかでもありそう

23:34:18 @kb10uy@mstdn.maud.io
icon

そこも色付くんだ

Attach image
23:29:39 @kb10uy@mstdn.maud.io
icon

あと 13" MBA だとちょっと窮屈なのでタイトルバーとパンくずリストが隠せるようになってほしいけどそのうちなりそう

23:28:01 @kb10uy@mstdn.maud.io
icon

個人的にはカスタムカラーテーマと line-height 変更が実装されたらそれだけで VSCode から乗り換えてもいいレベルかも

23:25:11 @kb10uy@mstdn.maud.io
icon

強いて言えば現状 line height が変更不可っぽいので Ascent/Descent がデカいフォントを使うとちょっとスカスカ感は出ちゃうかな
Issue: https://github.com/zed-industries/community/issues/304

Web site image
Configurable line height · Issue #304 · zed-industries/community
23:22:28 @kb10uy@mstdn.maud.io
icon

確かに軽い

Attach image
23:09:25 @kb10uy@mstdn.maud.io
icon

ともあれ入れてみるか

23:07:46 @kb10uy@mstdn.maud.io
icon

ちょっと前に伝導解禁みたいな感じで配布してたやつだっけ

22:38:17 @kb10uy@mstdn.maud.io
icon

オンゲキの運指基本的に親人薬で組んでるので薬指を曲げて運用するのがそもそも苦手かもしれない

22:34:15 @kb10uy@mstdn.maud.io
icon

厳密には押せはするんだけどくねらせるのがクソ苦手

22:33:25 @kb10uy@mstdn.maud.io
icon

とっさに 7 を右薬で押すのまだ難しい

20:44:38 @kb10uy@mstdn.maud.io
icon

num1000

Attach image
18:38:36 @kb10uy@mstdn.maud.io
2023-03-16 18:04:30 yuuhagi@pawoo.net님의 게시물 yuuhagi@pawoo.net
icon

This account is not set to public on notestock.

18:09:47 @kb10uy@mstdn.maud.io
2023-03-16 18:07:51 Masanori Ogino 𓀁님의 게시물 omasanori@mstdn.maud.io
icon

R7RS-smallから10年マジ?!(R7RS-smallが完成したときも「small languageだけでR6RSから数えて6年かかったのにlarge languageの完成なんていつになることか」などと言われていたが、しかし……)

18:09:36 @kb10uy@mstdn.maud.io
2023-03-16 18:05:08 Masanori Ogino 𓀁님의 게시물 omasanori@mstdn.maud.io
icon

SRFI 226を実装するとR7RS(2013年)から微妙に逸脱するのだが、執筆中の令和最新版R7RS(R8RSではない)はSRFI 226と互換性のある仕様になる、はず。

18:02:01 @kb10uy@mstdn.maud.io
icon

なるほどなあ

18:01:44 @kb10uy@mstdn.maud.io
2023-03-16 18:01:10 Masanori Ogino 𓀁님의 게시물 omasanori@mstdn.maud.io
icon

ないです。継続の仕様がRnRSの拡張であり、例外処理や遅延評価にもRnRSより強い保証が入って、なおかつ動的束縛とスレッドはR5RSの範囲外なので。

17:58:36 @kb10uy@mstdn.maud.io
icon

まあこれらがない Scheme が Scheme として受け入れられるかは別の話だが

17:57:54 @kb10uy@mstdn.maud.io
icon

逆に言うと R⁵RS 準拠を名乗るだけなら SRFI 226 を完全に実装する必要はないみたいな話なのかしら

17:56:52 @kb10uy@mstdn.maud.io
2023-03-16 17:56:09 Masanori Ogino 𓀁님의 게시물 omasanori@mstdn.maud.io
icon

Schemeの継続(の拡張版)と例外処理と遅延評価と動的束縛とスレッドの相互作用についての仕様書を書いたらSchemeの言語仕様全体と同じくらいの分量になるの、このトピックがそれだけ込み入ってると評価するべきか、それともR5RSがそれほど短かったと評価するべきか。

17:56:46 @kb10uy@mstdn.maud.io
2023-03-16 17:52:13 Masanori Ogino 𓀁님의 게시물 omasanori@mstdn.maud.io
icon

SRFI 226単体でR5RSと同じくらいの分量だという指摘を見かけてそれまじですのになった

17:32:09 @kb10uy@mstdn.maud.io
2023-03-16 17:29:57 Giraffe Beer님의 게시물 giraffe_beer@mstdn.maud.io
icon

This account is not set to public on notestock.

14:22:56 @kb10uy@mstdn.maud.io
icon

AAA 出た、さすがにもう伸びん

Attach image
13:26:51 @kb10uy@mstdn.maud.io
icon

ストレンジ・ワールド⇔チャーム・ローカル

13:25:19 @kb10uy@mstdn.maud.io
icon

strange が含まれる固有名詞必死に考えてる

12:57:25 @kb10uy@mstdn.maud.io
2023-03-16 03:43:08 kb10uy님의 게시물 kb10uy@mstdn.maud.io
icon

こないだどっかで百合難易度表みたいなの見た気がするんだけどどこだったかな……

12:45:03 @kb10uy@mstdn.maud.io
icon

4 回ぐらいやってたら抜いちゃった

03:37:29 @kb10uy@mstdn.maud.io
icon

C*C*J 灰、ほどよい速度で同時押したくさん降ってくるのでたのしいし練習になる

03:24:24 @kb10uy@mstdn.maud.io
icon

あけしちゃた

03:13:23 @kb10uy@mstdn.maud.io
icon

キャッシュまでいい感じにやってくれる action があったのでたすかる

03:13:03 @kb10uy@mstdn.maud.io
icon
Web site image
Use another action · kb10uy/declavatar@03ddde8
02:05:09 @kb10uy@mstdn.maud.io
icon

chi64v 覚えやすい ID だな