00:02:17
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2020-08-08 23:48:30 バンクヒョン★さんの投稿
chin_ana_go13@under-bank.blue
このアカウントは、notestockで公開設定になっていません。
00:04:08
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
00:13:57
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
00:19:03
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2020-08-08 23:02:34 鈴木@アモーレクリニックの投稿
prs_watch@qiitadon.com
このアカウントは、notestockで公開設定になっていません。
01:06:50
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
macOSの画面キャプチャは本当になんとかなってほしい
01:06:53
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
その点Windowsは<del>ゲーミングOSだけあって</del>画面キャプチャ周りめっちゃまともですごい
01:06:58
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
老人だからWindowsのスクリーンキャプチャとかBitBltしかしらん
01:07:04
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
BitBltなんて汎用関数でなんでキャプチャなんか……
01:07:04
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
ID3D11Texture2Dでウィンドウキャプチャ渡してくれるAPI増えたんだ、ワロタ
01:07:07
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
確かにDWMはDirectXで駆動してるんだし、そりゃそのままくれってなるよな
01:07:44
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
DirectX の DLL がぶっ壊れたのに DirectX の再インストールもシステム修復もできなかったあのクソ OS !!!!
01:08:12
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
01:57:09
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
おたくなので、たった1曲のために CD に数千円出したりしてしまうんだよなぁ
生活費で多少割引をしたところでそのくらいの節約は簡単に吹っ飛んでしまう
02:14:58
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
わかる人にはわかる字幕シリーズ、 [Music] や [Applause] がある
02:16:53
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
02:17:25
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
02:18:10
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
02:30:35
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
最小構成カーネルコンフィグバトル (最小とは言ってない) ですが、現状とりあえずひととおり所有する機器が動き問題なく使えるレベルになっており、 kernel が 5.0 MiB 、 initramfs が 6.8 MiB となっております (initramfs については 3 MiB 未満にできるはずなので、ゴリゴリ削っていく)
02:39:24
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2020-08-09 02:21:48 ツ🤍の投稿
NielNate@mstdn.nielniel.net
このアカウントは、notestockで公開設定になっていません。
02:39:25
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2020-08-09 02:39:00 きゅーけーの投稿
tojoqk@mastodon.tojo.tokyo
このアカウントは、notestockで公開設定になっていません。
03:04:44
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
04:49:00
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
04:56:07
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
youtubeで時間を無駄にしたくない人へ送る1分以上の動画を非表示にするフィルター
05:42:56
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
sys-kernel/gentoo-kernel 、何も考えず emerge するだけでマトモに使える kernel と initramfs が生えてくるの最高じゃんと思ってたんだけど、どうも genkernel でやっているような LVM や LUKS への対応を initramfs に突っ込んでくれないらしく、 full disk encryption 環境で使えなかった (悲しい) #gentoo
06:06:30
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
KVM、Kernel-based Virtual Machine と Keyboard, Video and Mouse switch があってややこしい
06:07:55
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
KVM switch を「CPU切替器」と命名した香具師、詐欺師の才能あると思う
17:05:47
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
17:07:48
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
なーにが ♪生活リズム♪ を整えるじゃ
ヌルいこと言ってねえで 🔥生命の脈動《ビート》🔥 を刻んでいけ👊
17:09:32
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
19:16:39
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
CAPTCHAだよということにすれば賃金を払わずに人間を労働させることができるということをGoogleが活用している
19:17:07
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
19:19:28
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
環境を分離できるのはわかったけどプロジェクトごとに必要な依存をインストールする部分は?あと明示的に分けないと違う環境にならないということは、Pythonの世界では違うプロジェクトが同じライブラリを参照して使うのが普通なんですか?バージョン違いで問題が起きないの?
19:19:29
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
19:20:36
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
requirements.txt、json とか **ml みたいなファイル形式にしなかったのは良かったのか悪かったのか時々疑問に思う(個人的には悪いと思っている)
19:21:07
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
> CMakeLists.txt <
……の話してます? (?)
19:22:36
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
確かめてないけれどrequirements.txtってJSONより古いのでは
19:24:08
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
vim ってクソ長い行があると syntax highlight が重くなることで有名なんですよ。
で、日本語で小説なんか書くと段落が1行になる (何故なら分かち書きでない言語なので hard wrap がない) ため、普通に重くなって困るわけですね。
そこで vim の設定で *.txt について syntax off するようにしようとしたんですが、これ素朴にやると CMakeLists.txt とかまでシンタックス消えるんですよ。もうブチギレ。
19:25:49
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
CMake についていえば .cmake で統一すりゃよかったのに……
19:26:15
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
CMakeHoge.cmake もなんか頭悪いのでアレ
{{hogename}}@{{hogename}}.{{tld}}
みたいなのに近い悩みがある
19:28:15
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
しゃーないので一度ファイル種別判定かけたあとに条件付きで無効化してる
19:28:38
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2020-08-09 19:24:37 きゅーけーの投稿
tojoqk@mastodon.tojo.tokyo
このアカウントは、notestockで公開設定になっていません。
19:29:05
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
kb10uy@kb10uy.org だ……
19:29:14
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
私も loliconductor@loliconduct.org 作るかなぁ (?)
19:29:46
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
loliconduct.org は取得済みで admin 等のメールも実はもう設定済みなので、任意のメールアドレスを一瞬で錬成できる
19:31:20
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
Pythonはnodeみたいにパッケージ管理が統一されてないのが地獄めいてる
19:31:27
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2020-08-09 19:30:41 きゅーけーの投稿
tojoqk@mastodon.tojo.tokyo
このアカウントは、notestockで公開設定になっていません。
19:31:30
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2020-08-09 19:29:37 きゅーけーの投稿
tojoqk@mastodon.tojo.tokyo
このアカウントは、notestockで公開設定になっていません。
19:32:26
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
Rust の cargo とかは (言語として) 後発だけあって、システムのパッケージマネージャや外部のメタビルドシステムとの相性が結構良さそうなのよね。
Gentoo Linux の portage でも、 portage 側で依存管理できてる
19:36:29
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
システムのパッケージマネージャでpythonとかrubyとかのライブラリ入れるの、ローリングリリースじゃないディストリの場合古いバージョンで死ぬとか、ローリングリリースでも実はそのライブラリのパッケージがメンテナンスされてなかったりとか、もうここにあるrequirements.txtをどうやってシステムのパッケージマネージャでインストールするねんとか、いろいろ問題がある
19:37:55
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
そもそもバージョンの固定や制約の解決まで含めて担当するのがパッケージマネージャの仕事なので、言語固有 PM で記述された制約を distro の PM 側に正しく反映 (書き換え) する必要があるのは当然
たとえば Gentoo の場合だと cargo-ebuild というツールで ebuild ファイルがシュッと生成される
他の言語は知らん
https://github.com/cardoe/cargo-ebuild
GitHub - cardoe/cargo-ebuild: cargo extension that can generate ebuilds using the in-tree eclasses
19:38:03
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
あと、このライブラリはパッケージマネージャにないから直で入れるとその依存関係にあるライブラリがパッケージマネージャにあるのに野良で入ってしまうとかもある
19:38:13
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2020-08-09 19:36:55 きゅーけーの投稿
tojoqk@mastodon.tojo.tokyo
このアカウントは、notestockで公開設定になっていません。
19:39:17
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
これは本当にこれで、つまり「いかにシステムの PM にパッケージを簡単に追加できるか」というのは結構重要な要素だと思うんですよ。
Gentoo とかはその辺り大変優れていて (ソースコードのダウンヨッヨもビルドも自動化できるので) 、たぶん guix とか nix も似たような感じなのでは
19:39:25
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
ちょっと使いたいくらいのライブラリをわざわざ追加するのはだるいという問題もある
19:40:22
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
これは視点の違いかなぁ。
私は「ちょっと使いたい小さなツール」がいろいろなユーティリティや言語でバラバラに管理されるのが嫌なので、さっさと自分用リポジトリに突っ込んでしまう
19:40:24
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2020-08-09 19:39:49 きゅーけーの投稿
tojoqk@mastodon.tojo.tokyo
このアカウントは、notestockで公開設定になっていません。
19:40:58
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
lo48576/lo48576-portage-overlay: My personal portage overlay
https://github.com/lo48576/lo48576-portage-overlay
たとえばこんな感じですね。
しかもこうやって管理しておけば、アップストリーム (distro 公式だったり半公式のリポジトリ) に貢献するのも簡単になる
GitHub - lo48576/lo48576-portage-overlay: My personal portage overlay
19:41:02
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
例えば pip install がOSのパッケージマネージャのエイリアスになっていて、透過的にOSのパッケージに変換されてからインストールされるとかならいいかもしれない
19:42:09
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
結局、最終的にはそこなのよね。
Rust だと cargo-ebuild でシュッしてライセンスを cargo-license で確認して、あとはちょっと README / CHANGELOG の有無を見てやればあっというまにパッケージファイル作れるんだけど。
Rust に救われている
19:42:48
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
app-misc/watchexec: new package · gentoo/guru@7cd795c
19:46:59
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
Cargo.toml の C が大文字なの、「Makefile とか Gemfile も先頭が大文字だし、その方がビルド用ファイル感がある」みたいな話らしい (詳しいことは忘れた)
19:47:37
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
いやべつに雰囲気重視系とかそういう話ではなく、ちゃんと「ソースコード等とは別のメタなファイルであることに気付きやすい」的なアレがあるのだろうと思うけど
19:49:51
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
皆さんはちゃんと BSD Make で利用できない拡張付きの Makefile に GNUmakefile と命名していますか?
19:51:25
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
Gemfileとかcomposer.jsonとかcargo.tomlとかくらい素直な名前がいいよな(?)
19:51:25
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
composer.jsonも初見だとなんだかわからなさそう
19:51:30
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
RubyGemsとかCargoとかはその言語を学ぶ過程で通らないはずがない存在だけど、Composerは一応言語のコアから分離されている印象がある上に名前が一般的
19:51:31
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
ASP.NET Core 闇の時代の project.json の話してる?
19:51:43
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
大文字にしておくとlsしたときに目立つので特別感が出るというのはある
19:51:44
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
19:51:54
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
LinuxカーネルのドキュメントディレクトリがDocumentationになっているのもお前絶対読めよという熱い想いを感じる
19:53:30
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
@kb10uy 基本的に Rust は静的リンクでライブラリも feature 設定ごとにビルドする必要がある (たぶんマクロあたりの関係とか) というのと、 ABI が不安定とかの理由もあり、プロジェクトごとに必要な crate を各自で用意する方式ですね。
一応 *.crate ファイルは PM が管理してくれるので、全く同一バージョンの crate への依存があったらキャッシュを使ってはくれる
19:55:42
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
あ、 *.crate というのは crates.io 等のリポジトリから落とされてくる、ソースコードやリソースを固めたアーカイブ
19:56:11
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
つまり *.crate 自体はビルド時の feature とは無関係に使い回せる
19:59:56
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
そんなっ……自分を二次元美少女に擬人化して絵日記を描くのは異常独身中年男性の専売特許ではないのか…〔専売特許ではない〕
20:00:25
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
20:03:32
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
もう昔のことは忘れよう。これからうまれる Python 系ツールの設定は全部 pyproject.toml というファイルに書き込まれることになったんだ。忘れよう
20:03:38
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2020-08-09 20:03:28 きゅーけーの投稿
tojoqk@mastodon.tojo.tokyo
このアカウントは、notestockで公開設定になっていません。
20:05:34
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
脱 shell script といえば、古き良き sysVinit の "bashism" は印象に残ってるな。
sysVinit は基本的にシェルスクリプトでデーモン等の起動や終了の管理をするわけだけど、これが bash 依存のものが多かったりでシステムから bash 依存を実質的に排除できないという話があって……
それが今や systemd のユニットとして一貫した記法で書かれるようになって、シェルスクリプトは排されつつある
20:08:55
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2020-08-09 20:07:34 きゅーけーの投稿
tojoqk@mastodon.tojo.tokyo
このアカウントは、notestockで公開設定になっていません。
20:09:32
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
設定ファイルが特定のプログラミング言語に依存するの、一生をその言語と共に過ごす覚悟がないと厳しいんだよな……
20:10:58
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
たとえば meson とかは「シンタックスはちゃんと既定してあるから、公式実装以外の処理系を作ることもできるよ」みたいなことが明確に言われていたりするんだけど。
特定のプログラミング言語や言語処理系に依存してしまうと、二度とそこから脱却できないとか、互換な処理系の開発や置き換えが難しくなるというハードルがある
20:12:25
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
その観点では Rust と cargo はかなりバランスがとれていて、静的な設定は Cargo.toml なので言語を問わず読み書きできる。
特殊なビルドスクリプトが必要なら、 build.rs に記述することになっているので、当然今使っている Rust 処理系で処理できるし、コンパイラへのデータ受け渡しも標準出力経由で行われる (つまり公式の rustc への依存がない)。
20:13:26
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
まあ Rust に限らず Python でも Ruby でも「プロジェクトが使っている言語でビルドスクリプト書けば処理系固定の問題は起きないよね」というのは綺麗な解決だと思うけど、それをコンパイル型言語でやってのけたのは素晴らしいと思う
20:14:52
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
まあ Rust のコンパイラなんて2種類しか知らないけど……
まだまだ言語自体が開発途上だからそこは仕方ないね
20:14:59
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2020-08-09 20:14:43 きゅーけーの投稿
tojoqk@mastodon.tojo.tokyo
このアカウントは、notestockで公開設定になっていません。
20:15:25
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
Scheme は標準ライブラリあたりのゴタゴタがよくわからんという印象を持っているのでよくわからん (R5RS 並感)
20:15:39
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
処理系独自拡張を使わずどこまでやれるかということね
20:17:16
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
R6RS だか R7RS だかで small と large に分かれるだの何だのの話をちょっと聞いた記憶があるけど、結局 Scheme 本格的に使ってないのでその辺り追い掛けてなくて、最新の規格がどうなってるかは全くわかってない
20:18:57
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
20:19:29
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
???「意味論の定義されてない言語なんて妄想でっしゃろ」
20:19:54
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2020-08-09 20:19:06 きゅーけーの投稿
tojoqk@mastodon.tojo.tokyo
このアカウントは、notestockで公開設定になっていません。
20:20:11
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
R5RS は SRFI の有無がどうのあたりで、なんだかまとまりがないなぁという印象を持っています
20:20:20
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
「そうだ、プログラミング言語Xで書かれたプロジェクトをビルドするサポートスクリプトをXで書けば依存関係が増えないぞ!」
「わかる」
「XのコンパイラをビルドするためのサポートスクリプトもXで書くぞ!」
「ん?」
「ちなみにXのコンパイラ自身もXで書かれているぞ!」
「ブートストラップ問題!」
20:22:16
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
20:24:01
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
icedtea の話はやめれ!
gcc-5 の gcj で icedtea-7 をビルドしてそこから icedtea-8 をビルドしないといけない話はやめれ!!
20:25:00
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
20:25:20
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2020-08-09 20:25:13 きゅーけーの投稿
tojoqk@mastodon.tojo.tokyo
このアカウントは、notestockで公開設定になっていません。
20:25:33
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
あー、ライブラリが導入されたの R6RS からだったっけ、そういえば
20:27:20
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2020-08-09 20:27:13 きゅーけーの投稿
tojoqk@mastodon.tojo.tokyo
このアカウントは、notestockで公開設定になっていません。
20:27:27
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
20:27:33
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
20:28:21
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
まあ Scheme は動的言語だし R6RS のライブラリの構文木をヌッと変換して R7RS 用にするみたいな荒技使えそうだけど (いや知らんけど)
20:29:19
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2020-08-09 20:29:11 きゅーけーの投稿
tojoqk@mastodon.tojo.tokyo
このアカウントは、notestockで公開設定になっていません。
20:30:25
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
20:32:56
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
「Xの言語処理系がXで書かれている」問題は「Xの言語処理系を解釈するのに十分なXのサブセットをX以外の言語で書く」といういくらか手間がかかる作業で解決できるのですが、ふたつの言語がお互いと自分自身に依存するとそれが更に面倒くさくなる
20:33:59
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
20:35:29
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
ある言語のインタプリタ A 上で、ホスト言語のインタプリタ B を実装する。
すると、言語拡張などを B に組込むことができる。
さらに同じように B 上で動くホスト言語のインタプリタ C を実装し……とやっていくと、一番新しい拡張や変更付きの言語であっても、一番ベースの古いインタプリタ A で動くようにできるみたいな話
20:35:39
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
R5RS Schemeから進歩しなかった世界でもJavaScriptの世界で実績のある《ひとつのファイルにまとめたらええねん》方式でなんとかなるなる(?)
20:36:05
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
R6RS Scheme上にR7RS Schemeを実装するのってScheme Workshop 2014かなんかの発表じゃなかったですか?Sagittariusの作者が発表したやつ
20:37:14
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
Scheme ''14 :: 2014 Scheme and Functional Programming Workshop
20:37:18
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2020-08-09 20:36:45 きゅーけーの投稿
tojoqk@mastodon.tojo.tokyo
このアカウントは、notestockで公開設定になっていません。
20:39:30
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
JavaScript で JavaScript を構築する回
20:39:34
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
20:39:49
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
20:44:06
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2020-08-09 20:43:59 きゅーけーの投稿
tojoqk@mastodon.tojo.tokyo
このアカウントは、notestockで公開設定になっていません。
20:44:18
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
20:44:45
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
パヨヨンの勉強をアナログ電子回路から始めた勢なので、動的型付き言語のコンパイルという概念に今でも違和感を持っている (老人)
20:45:29
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
や、アナログ電子回路→論理回路→FPGA→アセンブリ→C言語 の順で勉強したら誰でもこうなると思う (知らんけど)
20:46:35
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
べつに C++ や Rust で実行時型情報を使わないわけでもないし、理屈ではわかってはいるんだけどね……
20:55:30
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
そういえば SECD マシンとかいう概念を100世紀ぶりに思い出した
20:56:27
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
これは formal definition ではなく完全にお気持ちなんですが、「静的解析が (比較的) しやすい言語が静的で、静的解析が困難な言語が動的である」という雑な判断基準がある
20:57:05
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
静的解析が需要に間に合ってない C++ ですら、全体的には静的解析しやすい方といえる
20:57:11
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
SRFIはPythonの標準ライブラリが機能ごとにそれぞれPEPになったようなもの(時系列を無視した説明)で、SRFIごとに議論を経ることや、用途や規模によってどれを実装するか選べるという利点があります。(移植性のあるコードはどうやって書くのというのはSRFI 0とか)
R7RSはR6RSの教訓を踏まえてR5RSプラスアルファなsmall languageとそれにSRFIの中から厳選されたものを加えたlarge languageを決めることになりました。
また、そのlarge languageも一度に入れたい機能全部を突っ込まずに基礎的なものからジャンルごとに議論してRed Edition、Tangerine Edition、……と分割することになりました。
これにより、「このコードはR5RSと(SRFIのリスト)で動きます」の代わりに「R7RS 〇〇 Editionで動きます」のようにいえるように……いつかはなるでしょう。きっと。
20:58:06
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
21:04:51
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2020-08-09 21:03:32 Risaline✈️の投稿
risa@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
21:05:43
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
21:06:21
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
XML 変換言語はチューリングおじさんの夢を見ない / Lambda calculus implementation by XSLT 1.0
21:07:57
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
21:08:18
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
metropolis テーマ、シンプルでありながら十分にヘッダと本文が区別できるのでかなり好み
21:08:49
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
XML 変換言語はチューリングおじさんの夢を見ない / Lambda calculus implementation by XSLT 1.0
21:10:40
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2020-08-09 21:09:30 ねこてーの投稿
Cat_Kayser@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
21:10:42
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2020-08-09 21:09:31 Risaline✈️の投稿
risa@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
21:17:47
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2020-08-09 21:09:10 Takezoe,Tomoaki(すみと)の投稿
tomoaki3478@mstdn.res.ac
このアカウントは、notestockで公開設定になっていません。
21:18:02
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
ついついmetropolisばっか使ってしまうので同じくらいに洗練されていて且つ視覚上も合理的なテーマがあと2-3個ほしいという悩みがある
21:21:34
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
LaTeX Beamerの"Beamerらしく"ないおすすめテーマ集 - Qiita
21:27:31
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
22:43:43
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
22:45:49
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
今のGashはインタラクティブシェルとしての機能どのくらい実装してるんだろうか。ツールチェーンをビルドするのに十分な水準に近づいているのは知っているけれど
22:45:50
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2020-08-09 22:45:24 きゅーけーの投稿
tojoqk@mastodon.tojo.tokyo
このアカウントは、notestockで公開設定になっていません。
22:45:53
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
Running a Ganeti cluster on Guix — 2020 — Blog — GNU Guix
22:47:18
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
Lisp 系のシェル、括弧の扱いをどうするかがひとつの関門になりそう (ffmpeg や find みたいな複雑なオプションでは有用だろうけど、フラットな場合は '(key val) よりも key=val のような中置記法の方が便利なので)
22:48:10
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
シェルでポ記法とか逆ポ記法とか使ったらもうちょっと表現力が高くなりそうみたいな気持ちは確かにあるので、S式もアリといえばアリなんだけど
22:52:27
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2020-08-09 22:52:19 きゅーけーの投稿
tojoqk@mastodon.tojo.tokyo
このアカウントは、notestockで公開設定になっていません。
22:53:36
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
これは完全に好みの問題なんですが、連想配列を [key1, value1, key2, value2, ...] のようなヘテロな配列で書くの嫌いなんですよね (好み)
22:53:44
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
GashはふつーにPOSIXシェルとして働くので今後Schemeで式をかけるようになってもその辺りの使い勝手が悪くなることはなさそう
22:54:22
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
key-value であるという情報が構文に表れていないのが implicit すぎて気持ち悪いので……
22:54:59
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
まあ人間は初めて見た構文を親だと思って育つので…… (???)
23:00:00
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
%E3%83%97%E3%83%AD%E3%83%91%E3%83%86%E3%82%A3%E3%83%AA%E3%82%B9%E3%83%88
23:00:06
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2020-08-09 22:58:34 きゅーけーの投稿
tojoqk@mastodon.tojo.tokyo
このアカウントは、notestockで公開設定になっていません。
23:01:11
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
HTML の <dl><dt></dt><dd></dd>...</dl> とかも嫌いなんですが、あれは HTML5 だと div を使えることになっているので、
<dl>
<div><dt></dt><dd></dd></div>
<div>...</div>
...
</dl>
のように書ける (そしてそう書く)
23:02:47
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
たぶん根底にあるメンタルモデルとして、「可変長な list において順番は壊れやすい (別の言い方をすると、要素同士は対等である)」という認識があるんでしょうね。
長さや上限が固定であれば tuple として認識するので、まあヘテロでええやんとなる
23:05:05
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
dracut の設定をどう弄っても LVM on LUKS なシステムで起動できなくて泣いてる (なんで……)
23:19:50
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
ワロスプレスは笑う (ワードプロレスだと思ってた派 (?))
23:26:41
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2020-08-09 23:21:24 身も蓋も404の投稿
ahiru@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
23:26:41
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2020-08-09 23:23:31 エアダスターの投稿
toshi_a@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
23:28:03
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2020-08-09 23:27:15 きゅーけーの投稿
tojoqk@mastodon.tojo.tokyo
このアカウントは、notestockで公開設定になっていません。
23:28:10
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
23:28:12
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
23:28:27
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red