23:57:15
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
とりとめもない雑談で思考を巡らせまくってるとひょんなことから良いアイディアや研究のヒントが転びでたりする
23:56:46
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
ジャーゴンが通じるオタクとの会話をオタクが心地良いと感じがちなのは,たぶん非常に高速にやりとりが出来るので思考が加速するからな気がする
23:53:56
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
知ってる分野に喩えて喋ってるのではなく,単に通じる相手にはジャーゴンを使うだけですね
23:53:30
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2018-05-19 23:51:56 tSU_RooT(つる)の投稿
tSU_RooT@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
23:51:12
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
人間の会話の通信路は全二重通信だけれども実際のところ送受信をする側が半二重でしか出来ない場合がほとんどなので,無限に情報を送信しつづけると相手が ack も nack も返せない
23:48:40
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
パケットロス率が非常に高レートな UDP で喋ってしまうので,ちゃんと輻輳制御した TCP で喋ると良いけど TCP の輻輳制御アルゴリズムだと相手がギブアップするまでデカいのを送りつけてからどんどん小さくしていくので会話向きではないですね
23:47:11
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
オタクの通信速度は高速だけどパケットロスが多すぎる
23:44:27
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
23:44:20
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2018-05-19 23:42:26 tSU_RooT(つる)の投稿
tSU_RooT@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
23:44:18
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2018-05-19 23:41:46 tSU_RooT(つる)の投稿
tSU_RooT@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
23:43:44
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
23:35:39
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
tumblr,自分の like 一覧をみると自分でも覚えてない自分の好きなテキストや動画や画像が無限に見れるからすごい便利
23:34:50
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
tumblr 開いたら“めいぼうじん 秋場所”がまた流れてきたのだけどこれきっと 5 回目くらいだ。
23:31:22
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
末代の discord のアカウント作ってからログインぜんぜんしていないのを思い出した
23:29:31
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
かなり昔から気になってたクソゲー,“My Summer Car”を購入したのだけれどもこれ配信向きだと思うし実況配信とかをここでやるのもアリなのかもしれない
23:28:22
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
23:28:06
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
@lo48576 quux の次が corge だけど xyzzy,thud は最後のほうでその間に grault, garply, waldo, fred, plugh がある。でもまあ quux か corge くらいまで覚えていたら足りそう
23:23:28
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
23:23:04
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
23:22:49
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
23:22:27
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
23:22:23
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2018-05-19 23:21:38 rootYの投稿
rooty2@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
23:22:15
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
23:22:06
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
23:21:59
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
メタ変数に hoge piyo fuga って使うの語感に間抜けな感じがあってあんまり好きじゃないので foo bar baz qux quux corge 使ってるのだけれども,RFC に foo の由来などが載ってるのは最近知った
23:20:34
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2018-05-19 23:19:42 rootYの投稿
rooty2@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
23:20:20
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
や、べつに素直に clang 使ってもよかったんですけどね
23:20:15
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
バ先の Linux マシンに gcc-4.8 だか 4.9 が入っており、文法としては C++11 対応していたんだけど、 std::regex が使えないと後輩に相談されたので、 gcc に合わせて libcxx を使うハックを伝授したことはある
23:20:08
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
いやまあとはいえ C11 ならともかく C99 ぐらいなら使えたとは思う,GCC 4.2 だったはずだし
23:19:21
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
なんか計算機室のシステムが FreeBSD 9.0 で,課題は TA にメールで送る,みたいな環境だったことがあって,FreeBSD 9.0 のデフォルトコンパイラはもちろん古い gcc なのだけれども clang も使えた,みたいなことがあった
23:18:10
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
ソースコードを人が見てないならわるいこと(小さな言語処理系を組み込んでそっちで解く)ができそうな感じする
23:18:08
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
C99(のメジャーな部分)も通らないような計算機基盤にClangインストールされてるんだろうか……?
23:18:07
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2018-05-19 23:14:10 rootYの投稿
rooty2@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
23:17:41
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
PowerShell,
find-package -name <package name> でパッケージ探すと
Name Version Summary
--------- ------------ ---------------
foo 1.0.0 descrption for foo
って普通に apt とかみたいにパッケージの検索一覧出てくるんですが,
packages = find-package -name <package name>
write-host $packages[0].Name
みたいなことが出来たりするのはちょっと驚いた
23:15:00
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
最近 PowerShell をちょいちょい勉強してます
23:14:33
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
git もそうだけど複数のファイルを色々に操作したいときって GUI の効率あんまよくないからつい CLI つかっちゃう……。
23:14:06
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
TortoiseGit おすすめポイント
- エクスプローラ上で操作できるので、普通のファイル操作の延長線でいろんな操作ができる
- GUI なのでログがサクサク見れる
- コミット前の diff チェックが漏れなくできる
- posh-git と組み合わせると tgit log で PowerShell 上からさくっとログが開ける。僕みたいなコマンドを覚えられない人間には tgit commit, tgit push も便利
ここがダメ
- ステージが使えない
23:12:37
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
23:12:30
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2018-05-19 23:12:18 rootYの投稿
rooty2@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
23:12:29
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2018-05-19 23:11:31 rootYの投稿
rooty2@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
23:12:25
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
Windows でも TortoiseGit 使わないなあ(というかどうせあんま使わない GUI や Shell Extension が邪魔で止めた)
23:11:31
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
ずっと TortoiseGit 推ししてるけど、みんなシェルエクステンション嫌いって言ってて本当に悲しい
23:11:24
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2018-05-19 23:09:03 身も蓋も404の投稿
ahiru@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
23:10:18
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
23:10:14
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2018-05-19 23:09:45 エセ賢者の投稿
MulticolorWorld@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
23:07:34
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
行単位でやるのとかもけっきょく git add -p でやってしまうなあ(GUI client だとカンタンだったりするのかな
23:07:13
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
VS Code、行単位のコミットしやすくなったりした?
23:06:58
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
Git 本家ってたぶん Linux Kernel Mailing List の文化を継承して開発フローが組まれてそうだし gitk や git-gui もそんな感じではないかと思ってるのだけどどうだろう
23:05:24
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
濱野さんの GitHub account が gitster なのおもしろい
23:04:07
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2018-05-19 23:03:46 金具✅の投稿
cobodo@mstdn.kanagu.info
このアカウントは、notestockで公開設定になっていません。
23:03:34
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
Tk から Qt に移行できたのなら Qt4 だとしても上等じゃないの
23:02:49
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
課題で Tk と perl 使ってエディタもどきを作らされたことがあるけど Tk なんも覚えてない
23:02:11
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
Tk、某所の某ツールがTkっぽいUIなので気持ちになっていた
23:01:35
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
23:01:26
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
23:01:18
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2018-05-19 23:01:11 8の投稿
r8_gre@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
23:00:57
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
ちなみに見えない理由は単に黒文字で同化しちゃってるだけです
23:00:50
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
*BSD や Linux で正常に動くしよくテストされているものが macOS で動かないのはよくあることなので不具合見つけたら報告するか直すしかない
23:00:14
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
Tk が HiDPI 対応してない残念さはともかく,*BSD や Linux みたいな Free OS の普通の環境でフォントの表示が消えて見えないとかそういうことはないので……
22:59:41
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
22:59:39
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
22:59:30
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
Tcl、FPGAのツールチェーン界隈で現役なんだよな……
22:59:25
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
22:59:22
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2018-05-19 22:59:03 USA皇帝ノートン2世うさうさ陛下の投稿
usa@mstdn.jp
このアカウントは、notestockで公開設定になっていません。
22:58:22
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
Tcl/Tk になにか高度なことを要求してはなりませんよ
22:58:11
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
gitkの問題としてメニュー読めないんですよね……というかこれRetinaすら対応してないけどもしかして自分がアプデしてないだけとかある?
22:57:39
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
SourceTree も GitKuraken も使ったことないけど後者はいろいろあって Linux で使える SourceTree alternative を調べてて知ったぐらいです
22:56:31
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
commit とかの操作は全部 CLI でやる(結局慣れると早い)し単に眺めるだけなら tig か gitk だけでいいやと思っててそれ以外使ってない
22:55:34
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
22:55:32
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
ほら、 Git for Windows に入ってくるけど、あれ使おうという気にはならないじゃん……
22:55:30
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
22:54:26
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
このまえ asciidoc についてググってたら,list の
----
* level 1
** level 2
*** level 3
-----
が
----
* level 1
*** level 3
----
とできないから asciidoc より markdown のほうがいいと主張しているブログ記事を見つけて,人は何故……となっていた
22:52:56
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
制約があるのがアレだなあってなるのあるていどちゃんと技術があったりモノを構造的に記述できる人は考えがちだけどわりと多くの人はむしろ制約を与えたほうがうまくやってくれたりするのだなあとか考えた
22:52:06
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
藤井聡太七段、昇段が早すぎて若手向けの棋戦の出場資格を15歳で一通り失ったのすごすぎて変な笑顔になる
22:51:02
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
その点 XML ではエスケープ規則はほとんど一貫しているし空白の扱いは xml:space とかスキーマで指定できるし、(属性内とかでなければ)基本的にどの場所でも、構文やエスケープ規則の変化を理由として情報の埋め込みを阻止されないという安心感があります
22:51:00
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
もっと根本的なことを言うなら、たとえば markdown や asciidoc のコードブロックとかリンク周辺の構文とかがそうなんだけど、「特定の文脈で構文(パースやエスケープの規則)が変化するようなものが沢山用意されている」という状況がそういう制約に繋がっていると思うので、そこが嫌です
22:50:31
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
22:50:23
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2018-05-19 22:49:52 Maya Minatsukiの投稿
mayaeh@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
22:49:12
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
Git Project 公式の GUI ツールである gitk を使う人の少なさについて
22:48:51
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
22:48:43
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
Linux で使える Git の GUI クライアント、みんなプロプライエタリでは……
22:48:32
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
terminal:: みたいな拡張つくったほうが良いのかもしれない
22:48:15
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
表現したいのが「コードブロック」というよりも「ターミナルの様子」なんですよね
22:48:07
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
22:48:06
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
というか今季の新人王戦のトーナメントで藤井「六段」がベスト16にもう入ってる
22:47:22
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
コードブロック中でコードの引用だけじゃなくてマークアップもするのはそもそも微妙なのではという気がする
22:45:03
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
22:44:59
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
AsciiDoc それなりに好きなんだけど、すごく気持ち悪いのが
foolink:bar[baz]
ってやると
foobarqux
みたいになるところ (link: の前に空白を置くと、その空白は保存されてしまう)
22:44:14
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
22:43:28
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
AsciiDoc でも表現できない構造はさすがにあんまりないけど AsciiDoc の表と HTML の表どっちが良いかは微妙なところ
22:42:57
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
ある Markdown,AsciiDoc,XML やらなんやら,みたいな感じで複雑性と表現力を天秤にかけた何かを考えて用途ごとに使いわけるのが良いなとなってきた
22:42:00
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2018-05-19 22:40:34 Satoshi Kojima (小嶋智)の投稿
skoji@sandbox.skoji.jp
このアカウントは、notestockで公開設定になっていません。
22:41:58
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
単調な構造を持つ文書とかはタギングのコストが相対的に大きく感じるのでは
22:41:57
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2018-05-19 22:36:44 Satoshi Kojima (小嶋智)の投稿
skoji@sandbox.skoji.jp
このアカウントは、notestockで公開設定になっていません。
22:41:56
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2018-05-19 22:22:24 Satoshi Kojima (小嶋智)の投稿
skoji@sandbox.skoji.jp
このアカウントは、notestockで公開設定になっていません。
22:41:55
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2018-05-19 22:21:50 Satoshi Kojima (小嶋智)の投稿
skoji@sandbox.skoji.jp
このアカウントは、notestockで公開設定になっていません。
22:41:53
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
HTML で満足できなくてオレオレ XML を使っている勢力なのでな✋
22:41:53
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2018-05-19 22:15:53 Satoshi Kojima (小嶋智)の投稿
skoji@sandbox.skoji.jp
このアカウントは、notestockで公開設定になっていません。
22:41:52
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2018-05-19 22:12:48 Satoshi Kojima (小嶋智)の投稿
skoji@sandbox.skoji.jp
このアカウントは、notestockで公開設定になっていません。
22:41:51
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
Markdown 、メモ程度にはちょうどいいけど、まっとうな文書に使いたくない
22:38:55
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
藤井七段が七段昇格につき新人王参加資格喪失というのに「そっかー……」ってなった
22:23:12
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
22:23:06
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2018-05-19 22:22:57 ちん山こ美の投稿
okano_t@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
22:20:39
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
22:20:27
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
ルーター殺すのとても良い話だなと思ったら去年のセキュリティキャンプの参加者だった
22:20:07
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
UARTで懲りずにルーターをハックした。あと間違えて殺した。2
22:19:45
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
起動したままのセッションから 1min ago にみえてたので反応してしまったのだけれども 19 時間前の toot だったみたいなのでトゥー消し
16:16:09
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
15:10:07
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
15:09:53
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
可変絞りが導入されたらしい Galaxy S9/9+,変態すぎるな。
13:26:59
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
13:20:39
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
研究室から貸与されてるラップトップあるし元々持ってた VAIO Pro 13 | mk2 は売っちゃうかーって思ってるのですが PC 売ったことないからどこで売るのがいちばんいいかわからん
12:25:04
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
12:24:52
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
11:53:17
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
11:51:39
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
11:47:00
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
11:44:44
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
10:00:17
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
08:47:41
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
00:36:08
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
00:32:31
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
00:32:08
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
テストページを印刷したのをつかってキャリブレーションセンサーで自分でプロファイルを作るとか
00:27:54
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
どのプロファイルつかってるのだろう Japan Color 2011?
00:23:20
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
00:21:42
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
00:21:30
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
GNOME 3.22 だと scale-monitor-framebuffer もないはずだしウィンドウのスケールファクターとフォントのスケールしかない
00:20:27
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
C++ は猫が理解できるか,あるいは猫には理解できない
00:18:56
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
GNOME 3.28 で置き換わったとかはまだ無い気がするけど最近 GNOME tweak みてないからわからない
00:18:10
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2018-05-18 23:57:32 tSU_RooT(つる)の投稿
tSU_RooT@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
00:18:08
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2018-05-18 23:57:23 tSU_RooT(つる)の投稿
tSU_RooT@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
00:16:48
まちカドおるみん御嬢様
@orumin@mstdn.maud.io