先日秋葉原行ったら PS5 で使える速度のある 2 TB の M.2 SSD が42k円くらいだったので衝動的に買っちったのよな

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

オワってるオタクなので「DLsite でﾎﾟﾁｰしがちな薄い本でよく見るやつのシリーズじゃん」と思ってしまった、オワりです

このアカウントは、notestockで公開設定になっていません。

larvaの意味・使い方・読み方 | Weblio英和辞書
https://ejje.weblio.jp/content/larva

lava に空目してﾝﾝ??? となっていた、なるほどそういうことね

アリの溶岩

ヴォー氏が電話持ったら端末名を "フォン・ド・ヴォー" にするのかな、とか考えてた (疲れているので)

https://mastodon.cardina1.red/@lo48576/104709893121119599

泣いてる

バイリンガルの間で大ウケしている「ジャパングリッシュ」とは:らばQ
http://labaq.com/archives/51907311.html

余震じゃん

や、余震か予震かはわからないけど

プレートの破片、そんなものが……なるほどねぇ

シミュレーションめちゃんこ大変そう……

プレートの破断、まあ言われてみると確かに固くて応力のかかり続けているものがあるなら壊れててもおかしくはないか……みたいな説得力はある

エディタなぁ、作りてえ

エディタ作りてえよ

CPU も OS もエディタもそうなんだけど、どうしても長時間使っているものってのは自分で完全に掌握できるものを作ってみたくなるんだよな

まあ OS はハードウェアまわりが絶望しかないけど、エディタなら I/O とメモリ管理とデータ構造と TUI/GUI を頑張ればあとはどうにかなるでしょ

そう、エディタ作りたいといってもまず TUI にするのか GUI にするのかさえ決まっていないという有様でな

常用するなら TUI 一択なんだけど、 UI の自由度を考えると絶対 GUI の方が綺麗になるんだよな。
だって TUI ってフォントサイズ変えられないんだぜ。

いつぞや書いたカラオケで歌った曲の管理 (<https://blog.cardina1.red/2019/12/15/you-can-use-rdb-lightly/>) とかもそうなんだけど、もっと「特定の (自分で用意した) スキーマに特化した UI を用意する」みたいなの楽になってほしいんだよな

MS Access のことは知らん。

あと LibreOffice Base も試そうとしたことがあった気がするんだけど、何かが面倒で結局やめたんだよな。なんだっけ。 ODBC か何かのコネクション設定の管理がクソ面倒だったんだっけか

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

literate programming を感じる

このアカウントは、notestockで公開設定になっていません。

うらやましいわ
Vim は組込みのスクリプト言語がアレすぎて険しいので

org-mode 、文法というか構造の解釈が人間的すぎて好きになれない (オタクなので)

たとえば同じ heading っぽい記法なのに TODO が先頭にあると勝手にタスクリストになるみたいなのキモくないですか……？ と思っちゃう、心の中心に XML があるので

タスクリストならタスクリスト用のディレクティブがちゃんと使われてないとモヤッとしちゃうタイプです

でもまあ大多数の人にはこういうやつの方が読み書きしやすいのだろうなとも思うので、私が社会不適合なだけ

このアカウントは、notestockで公開設定になっていません。

まあそれならエスケープしてればいいんですけど

こういう「構造で区別されるわけではないが特定のパターンにマッチすると特殊な解釈がされる」みたいなやつ、その「特定のパターン」を知らないと意図せず踏んだりするとか、構文で記憶できないからいちいちパターンを思い出さないといけないとかの面倒がある

たとえば「位置によってエスケープが必要な文字と不要な文字がいろいろ変化する」みたいなのは典型的に私が苦手なタイプのやつですが

あるいは markdown だと [text](link) の括弧の種類の順番とかリンクとテキストの順番が覚えられないみたいなことを言ってる人を見たことがあって、まあ一理あるなと思ったんだけど、 [[file:foo][text]] みたいな記法も本質的には同じ問題あるし、やっぱり系列として近い言語だなと思う (それが悪いかは別の話だが、私の好みではない)

markdown の [text](uri)、実際これ AsciiDoc になると link:uri[text] になって逆だったりするので、説明的でなく必然的でもない文法ってのはこれだから……となります

XML とかはその点、文法は小さく一貫していて、あとは語彙で殴りましょうというパターンなので好みではある。
ただ文法が若干冗長なのでエディタの支援なしで書くのは結構面倒なのが悲しいところ

あと見た目ごちゃごちゃするのもちょっとね。
ただ書いているときの記憶への負荷はとても小さい。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

なるほろなぁ

私は「環境は交換可能であれ」の信念を持っているので処理系の支援が一切なくても書ける状態になっていないと安心できないのよね。たぶんエディタがどんなに便利でも結局文法をマスターしないと気が済まなそう

notepad.exe で C++ や Rust のコードを書けと言われても普通に書ける程度には

というか vim で専用のプラグインなしで Java 書いてたりしたマンなので

そういえば Scheme も vim で書いてたわ

Scheme は括弧の対応と予約語だけわかれば認識に支障がないので楽だったな

まあ、それはそれとして文法習得後にはとことん自動化と支援は入れたいけどね

補完候補に「開いているファイル中の単語」しか出て来ない世界で日常的なプログラミングをしているマンです

言語ごとに補完の設定をするのが面倒というのもあるし、補完があっても結局記憶で打つ方が楽なことか多いみたいなのもある

https://mastodon.cardina1.red/users/lo48576/statuses/105972692727418926
https://mastodon.cardina1.red/users/lo48576/statuses/105972594090753766

このアカウントは、notestockで公開設定になっていません。

フォーマッタはフォーマッタで独立して存在しててほしいよなぁ。 *nix 的には。

このアカウントは、notestockで公開設定になっていません。

まあ実際のところ、フォーマッタが必要なのに処理系が不要ってこともないでしょみたいな話はあるんだけど、 Guix のコードは distro に紐付いているわけだから、コンパイラなりインタプリタなり distro なりを依存先としていてほしいのよね

そういう点では C をフォーマットするとき clang-format が clang 依存になっているのはギリギリ許せる。本当は gcc だけ持ってるユーザでも使えるよう分離されている方が望ましそうと思うけど、たぶん実装的に難しいんだろうな (結局 clang の C バックエンドに依存してしまうのだろうな)

その理屈からいくと Scheme のフォーマッタは guile まわりのエコシステムで提供されているのが筋だと思うわけですが

Code formatter for Scheme using Guile's pretty-print method. This reads from stdin and writes to stdout.
https://gist.github.com/ojarjur/6924001

pretty-print 用のモジュールはあるが一部コメントとかが消える、なるほど？

このアカウントは、notestockで公開設定になっていません。

[Home] Guile Emacs
https://www.emacswiki.org/emacs/GuileEmacs

はぇー

なるほどね

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

動機は理解できるんだけど、それでも笑っちゃうわあれは

なんというか、細々と DSL でやってきたところにいきなりマトモな汎用言語突っ込まれて、「それでいいなら最初から何でもアリやんけ」という……

ちょっとしたちゃぶ台返し感はあったな。今までやってきた縛りプレイは何だったのかという……

このアカウントは、notestockで公開設定になっていません。

静的型付きが好みな世界で生きてるマンとしては、そういう機能拡張まわりは WASM / WASI に期待しているし、そのうち何か実装してみたさもある

でもまああれは半ばバイナリなのでちょっと扱いが難しいといえば難しいんだけど……

静的型付きインタプリタ言語ね、存在しないこともないんだけどパッとしないというか、ごく一部の用途でしか使われていないというか

AngelScript - Wikipedia
https://en.wikipedia.org/wiki/AngelScript

まあパッチ当てて1秒後には反映させるみたいなのは、コンパイルを自動化するかスクリプト言語使うかしかないんだよな。
正直なところ、ユーザ自身が弄れるような言語は当然ユーザが処理系を持っているに決まってるんだから、自動コンパイルで十分じゃんという気持ちもあるんだけど。

Python のプラグインを動かす人の環境には当然 Python インタプリタが入っているし、 Rust のコードにパッチを当てたがる人の環境には当然 Rust 処理系が入っているのだから、実行の形態がどうあれ構造としては対等なわけで

むしろパッチを当てるつもりのない人がソース言語の処理系を持たずに済む分 WASM の方がユーザに優しいまである (ほんまか)

gradual typing なぁ

@risa
2021年の祝日移動について | 首相官邸ホームページ
https://www.kantei.go.jp/jp/headline/tokyo2020/shukujitsu.html

> 「スポーツの日」は10月第2月曜日ですが、2021年10月11日は平日になります。

10月「ないよ、祝日ないよぉ!!」

おじいちゃん、もう体育の日は堪能したでしょ

このアカウントは、notestockで公開設定になっていません。

有休のカンパネラしてもええんやで

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

たとえば i32 / i32 はクソなので i32 / NonZeroI32 だけを用意しろみたいなの、まあまあ正論ではあるんだけど、そのためには定理証明が必要になって、そして定理証明って案外非力なのよね。少なくともコンパイラに組み込んであらゆる場合に強制してやろうと思えるほど都合の良いものではない

というか確実に証明できる範囲が狭すぎる

コンパイル時に SAT ソルバが走るとか嫌やでワイは (脳裏を過る、型システムがチューリング完全な言語の数々)

どうすればいいんだろうね

私も Maybe (Option) をいちいち unwrap するの面倒なので safety invariant とかから自動導出したいという願いは持ってるんだけど、まあ無理だろうという諦観もある

このアカウントは、notestockで公開設定になっていません。

なんとかなる範囲のプログラムを書いている間はなんとかなる (トートロジー)

こう、動的型付き言語に静的型付き言語を埋め込むような感じで、未証明のプログラム中に直観主義論理で証明可能なものや一階述語論理で証明可能なものをシームレスに埋め込めると嬉しいのかもしれないけど

そういう「部分的な強い保証を埋め込みたい」みたいなの本当に様々な属性について言えて、たとえば C++ や Rust であっても「実行時に一切の副作用が発生しない純粋な関数である」みたいな属性を与えたかったりするわけですね。これはあまりに定番なので constexpr や const fn として表明できるよう言語仕様が用意されたわけだけど

あるいは「この関数は実行時に絶対に panic しない」とか「この関数はメモリアロケーションしない」とか「この関数は I/O を行わない」とか、マジで埋め込みたい保証が無限にあるんだわ

そういうのを考えると、結局なにかしらの属性やアノテーションとして外付けできるようにしといて、ホスト言語のコンパイル中に何かしらの形でフックして検査を挿入するというのが一番それっぽい作りなんだろうな

直通なくなって超苦痛！ (適当)

まあハードウェア系は高階のあれこれとか使わなそうだし妥当なユースケースという感じはある

ハードウェアに回路設計を突っ込んで編集された回路をそのまま実行するみたいな奇天烈な高階回路は普通作れないもんね

外部データの解釈や用法が制限されていればいるほど証明もしやすそうだし、逆に解釈や用法が自由度高いと証明も難しくなりそう

websocket 対応のための依存が増えるのは致し方なしでは……

たとえ websocket が HTTP フレームワーク上に自力で実装可能だとしても、それってたとえば WebDav 対応を HTTP フレームワーク上に自力で実装しようとするような筋肉を感じる

rfc6455
https://datatracker.ietf.org/doc/html/rfc6455#section-5.2

HTTP から 101 Switching Protocols で切り替えてるだけで ws の内部的なフレームは全然別物やんけ

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

Yahoo!チャットって場所があったんだよ
https://anond.hatelabo.jp/20150625153718

このアカウントは、notestockで公開設定になっていません。

TSMC・ソニーが熊本に新工場　半導体再興へ政府補助: 日本経済新聞 https://www.nikkei.com/article/DGXZQOUC10E680Q1A910C2000000/

緊急事態宣言があると緊急事態を認識できるようになるけど、緊急事態定義をリンクしておかないと実際に使うことはできない (?)

かじるバターアイス、めちゃくちゃ美味かった

このアカウントは、notestockで公開設定になっていません。

「今日は原住民を駆除してみようと思いま〜す✌️」

このアカウントは、notestockで公開設定になっていません。

夏休みの宿題で滅ぼされる人類

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

犯人はヤス

銀河ヒッチハイクガイドを読んだことないのに 42 というマジックナンバーは事あるごとに使いがちなんだよな。
まだ原作履修済の淫夢厨の方が殊勝だわ (???)

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。