圏論真面目に勉強しないとなぁと思って放置しているのであった

TL を見て㊰だなぁつってる

Coq は複数レイヤーのメタ言語が入り乱れていて、もうちょっと文法どうにかならんかったのかという感じはある……

独学数学、「対角線論法は間違っている！」みたいな感じのアレな人になるリスクがあるのでこわい (永久機関を作ろうとしてしまう趣味者に似たようなやつ)

Coq インストールバトル難しいわかるわ
私も昔ちょっと使ってたけど、バージョンアップでビルド失敗するようになって消した #直観主義論理は直観的

私の大学時代のサークルで「線形代数は人生を豊かにする」という言葉が伝えられている

人生を豊かにする線形代数学
https://www.slideshare.net/rejell55/ss-31991194#24

> 線形代数とともにあらんことを…

対極の言葉として「非線形の裁き」という言葉もある (制御系の人がちょくちょく使ってる印象)

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

「何故他の体系ではなくそのような体系になったのか」と「そのような体系であると何がうれしいのか」は別の話で、これらのそれぞれを真に理解する必要を感じるか否かみたいな派閥があるものと理解している (知らんけど)

たとえば Rust で lifetime があるとどのように嬉しいのかというのは多少 Rust 書ければ誰でも説明できるけど、それは「lifetime のない世界がどれほどつらく苦しいものだったか」という苦痛への理解とはまた別の話で

とはいえやっぱり C++ がつらかった時代を生きていると Rust へ捧げる感謝の深さも変わってくるだろうし、まあどちらにせよメリットデメリットある

文脈が技術や理論を理解する一助となるのは間違いないと思うし、同時に文脈を必要とせず理解できる人々もおそらくそれなりにいるというのもまたそうなのだと思うので、そこまで含めてやっぱり好みなのかなぁという気はする

数学もまた似たような面があるとして、そうでない物理現象に強く紐付いた自然科学でどうなのかというのはまあ確かに事情が違うのかもしれない……

でも結局物理でも錬金術とかの時代をさておけば、漸進的な改善の積み重ねであることが多いわけで、レガシーな理論も「近似」という名目で現代まで残ることが多いので、その点では学ぶ対象そのものが文脈を保存している気はしなくもない

https://twitter.com/_primenumber/status/1347210050218020864
https://twitter.com/_primenumber/status/1347212307051368448

#tw #これすき

ニュートン力学とか、ラザフォードの原子模型とか

古典物理を習わず現代物理を習得する実験とか、ラザフォードの原子模型を知らないままボーアの原子模型を学んだりとか、そういうスッ飛ばし学習が成立するのか人体実験してほしい気がするけど、倫理的にアウトな雰囲気も感じなくもない (適当)

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

yakudoだ (?)

最近躍動写真撮ってないなぁ

{{組織名}}1yakudo の1は一発勝負の1という説があります (本当かは知らん)

今度から fedi1yakudo していくか

躍動に価する不健康でパワフルなメシを最近食べてないからなぁ

じゃあ Linux は長さ担当？ (???)

あ、長さってデカさに含まれますか (超どうでもいい)

㊰だなぁ

Steam client が 32-bit なのは勘弁してほしいわね

うるせえwww

持株会のおかげで12円の配当を得られて1円の所得税を支払うことになったっぽい、ワロてる

ｵﾝｼｬありがとう

そもそも低レベルではファイルシステムは パス→inode と inode→ディスク上の物理位置 の2段階の参照構造になっていて、 mv は単に パス→inode の部分を弄るものにすぎないから

なので、たとえば inode 空間を共有しない別 FS へのファイル移動を mv でやろうとすると失敗する

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

文脈

TBDR (To Be Determined Rendering): 何を書くかあとで決めるレンダリング #適当

renameシステムコールとmvコマンド - Linuxの備忘録とか・・・(目次へ） https://wiki.bit-hive.com/north/pg/rename%E3%82%B7%E3%82%B9%E3%83%86%E3%83%A0%E3%82%B3%E3%83%BC%E3%83%AB%E3%81%A8mv%E3%82%B3%E3%83%9E%E3%83%B3%E3%83%89

ん、なんか私の理解と違うことが書いてあるぞ……
mv で「オメー FS 跨いでんじゃねーよ」と叱られたのはなんだったんだ？ 幻覚か……？

こわくなってきた

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

そうそう、そういう「別々にフォーマットされていて inode 空間が共有されていない」ものをまたいだ rename はできないはず。
mv はもっと賢いっぽい

えーなんでだ、私が見たのは何だったの

わからん、わからんが cp でうまくいった記憶はあるのでたぶん「移動しようとしていたファイルの親ディレクトリの書き込み権限を持っていなかった」とかそういうことなのだろうと無理矢理自分を納得させることにした

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

訂正しときます、この説明は rename (2) についての説明で、 mv (1) はもっと賢いっぽい

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

わかる

そもそも「移動」という概念が素朴すぎて FAT 並の素朴なファイルシステムでないと適さない気はする (ほんまか)

パスから始まる一連の多段階抽象をぼんやりと把握してないと、 hard link とかどう説明するんですかみたいなことになってしまうので

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

Unix filesystems: How mv can be dangerous http://jstimpfle.de/blah/mv.html

Unix filesystems: How mv can be dangerous | Hacker News https://news.ycombinator.com/item?id=9585055

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

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

Linux でしか確認してないけど Linux 以外の環境でも言えることみたいなのでビクビクしながら *nix と言うのが嫌なので、もう少しあの辺りはっきり言葉が分かれてほしさある

言葉がというか、何が *nix で何がそうでないのか知らないとわからないところとか、 *nix でも多様性が大きいとか、その辺りがたまに厄介という印象

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

nand2tetris は出たとき話題になったなぁ、下から上まで全部なんだもん

ノーコードでTwitterクライアント魔改造　Androidアプリ「MarinDeck」開発の裏側 (1/2) - ITmedia NEWS
https://www.itmedia.co.jp/news/articles/2101/08/news080.html

これ見た目には単なる構文木だし、入力も多分補完が強力な環境でコード打つのと変わらなそうだし、ノーコードとは言うけど実質見た目にスタイル付いただけでは

ノーコード推進マンの言うノーコードにこれを含めていいなら、そんなノーコードには新しさも価値も感じないわ……

もっとパラダイムの違う物なら期待したんだけど、正直 †ノーコード† にはがっかり

> 「プログラミング（言語）はあまり得意ではない」とさぶうぇいさんは話す。「Cは少し書けるが、まともに使えるアプリにするまでが遠い。Kodularは簡単にアプリを作れるのがいい」（同）

とあるけど、これテンプレとか把握するのが面倒なだけで普通に現代言語プログラミングできるでしょこの人

なんだろう、ノーコードより「ビジュアルシンタックスツリー」みたいな表現がしっくりくるなと思った

や、私が聞いたことなくて検索にかかりづらいだけで、たぶん割と根本レベルで違う “ノーコード” 概念も存在してそうな気がするんだよなぁ。なんとなく。

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

#それはそう

ちゃんと新しいパラダイムを見ている人の視界を伝えてほしさがあるんだよな、ﾎﾟﾖｸﾞﾔﾐﾝｽｸｯﾙの SEO 効いたページとか超どうでもいいので……

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

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

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

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

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

それこそ RDB の ER 図とかも SQL の DDL にｼｭｯと変換できるだろうし、そのくらいまでいってやっと「ノーコードと言えなくもないか……？」くらいの感じかなというお気持ちがあります (これは個人の感想)

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

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

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

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

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

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

いつだってキャッチーな言葉はﾋﾞｽﾞｨﾈｽで歪められていく

書くときと編集するときはテキストでやりたい、純粋にブラウザとかで表示するときだけ visual にしてくれる程度で十分

ちょうど markdown を WYSIWYG なワープロソフトで編集したくない、 vim で読み書きしたいというのと同じ

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

まあいずれ直列な記号列によるﾎﾟﾖｸﾞﾔﾐﾝｸﾞが廃れる時代が来るにしても、まだ具体的にその出口はしっかり見えていないという感じはあるなぁ。
そもそも記号という発明があまりに偉大で便利すぎるので

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

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

これエディタの補完が強いだけじゃんと思ってまうよな

そういえばプログラミング言語 Self ってビジュアルプログラミングできなかったっけ

Self: The Movie; - YouTube
https://www.youtube.com/watch?v=Ox5P7QyL774

> (C) 1995 Sun Microsystems

なつかしいロゴで泣いちゃった

Self - YouTube
https://www.youtube.com/watch?v=YR4pFk0xj9w

映像自体はこっちの方が見やすい

Self | Welcome
https://selflanguage.org/

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

COBOL とか SQL とかのやたら自然言語に似せていく文法好きじゃないんだけど、まあユーザが自然言語ネイティブユーザなのでそうなってしまうのはある

javascript は文法的には C の系列だと思うけど、はたして言語として C と近いかというのはかなり微妙なところ……

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

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

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

この人プログラマに向いてる (失礼)

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

uni-dentified は草ww

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

自分でも似たようなこと言ってたわ

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

ビジュアルプログラミングしたことないので偏見なんですが、あの辺りってどうも記号的な側面を見せたくないせいか表現力の問題か、「手続きをビジュアルに提示する」ところの重点が大きい気がしていて、一方「満たすべき性質を記述する」というのが弱い気がしていて、そこがテストしづらさに繋がるのかなという気はする。
テストをビジュアルに書けなそうと言えばいいのか？

一方、たとえば ER 図やあるいは UML なんかはだいぶ宣言的な側面が出ている感じもあって、構造の記述自体はビジュアルでいいのかなとも。そういう意味での宣言的な記述はできるわけで、テストや性質を記述しづらいのがビジュアルであること自体の本質的な制約なのかはよくわからんという感想

あるいは型を図形で表現してみたりとかの「既に処理系が知っている性質をビジュアルにする」というのは既に実現されてると思うんだけど、それをユーザが作るのが難しいということなのか？ (できないことはないと思うんだけど……単に処理系が存在しないだけ？)

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

あーいや、形という性質に型という性質を与えてしまったら他の性質を表現できなくなるのか。
そりゃ確かにビジュアルにするには厳しいか。プログラムの性質ひとつごとに図形的性質をひとつ消費することになるわけだから

記号って強いんだなぁ

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

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

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

人間をコンテンツ化するのはろくでもねえなの気持ち

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

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

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

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

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

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

タイピングが打鍵でなく型付けに見えるようになってしまったのでもう駄目

回転寿司は動的寿司型付け (?)

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

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

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

既視感の正体がわかってすっきりした

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

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

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

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

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

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

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

GPU 触りたくない人に Vulkan を勧める神……

WebGPU くらいが良いのでは (?)

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

NTR が好きなわけじゃないんですよ、かわいそうな女の子がそれでも頑張ってるのが好きなだけで (?)

つらそうにしてる男とかどうでもいいんですよ
あと女の子最後には幸せになってくれ

わかる、高級言語書きたくないけどハードウェアのドライバも書きたくないので ELF 手書きを始めた動機がまさにそれ >https://mstdn.maud.io/@pakutoma/105519521919341130

kaibyaku / workspace · GitLab
https://gitlab.com/kaibyaku/workspace

コンソールだいたい6年とか8年周期みたいな感じだけど、こんな書き方されるってことは家電や雑貨は10年くらい廃棄されないってことか……？

Win7……WinXP……ｱｯ (察した)

すかさずアタリショックの話をするのは老人

#fedi1yakudo

留退力学

プログラミングスクールに通うくらいならこの本を読め → 計算論 計算可能性とラムダ計算

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

中まで熱通らなそうw

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

16:9 も分割したら 8:9 だしほぼ正方形では

上下で分割して 2:1 ×2 として映画を同時視聴とか (????)

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

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

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

オッ、例のコンパイラの記事か！？ (ちがう)

コンパイラとは？構造や自作方法、おすすめのコンバイラの選び方を解説！インタプリタやアセンブラとの違いとは？ | A-STAR（エースター）
https://agency-star.co.jp/column/compiler

これ是非最後まで読んで
超おすすめ

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