14:41:58
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
14:39:13
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
14:37:02
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
14:36:31
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
14:35:49
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
14:34:51
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
14:34:07
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2018-03-27 14:33:33 ほた님의 게시물
hota@mstdn.maud.io
This account is not set to public on notestock.
14:33:09
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
14:32:36
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
DANCERUSH どこでサーヴィスインしてるんだろ。立川行くしかないのかな。
14:30:24
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
14:29:24
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2018-03-27 14:28:23 エセ賢者님의 게시물
MulticolorWorld@mstdn.maud.io
This account is not set to public on notestock.
14:29:22
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2018-03-27 14:22:29 エセ賢者님의 게시물
MulticolorWorld@mstdn.maud.io
This account is not set to public on notestock.
14:29:00
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
14:28:23
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
14:27:27
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2018-03-27 14:18:18 USA皇帝ノートン2世うさうさ陛下님의 게시물
usa@mstdn.jp
This account is not set to public on notestock.
14:27:17
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
14:13:04
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
14:12:54
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
14:12:54
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
14:12:31
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
14:11:18
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
14:11:06
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
14:10:55
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2018-03-27 14:10:10 USA皇帝ノートン2世うさうさ陛下님의 게시물
usa@mstdn.jp
This account is not set to public on notestock.
14:10:44
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
14:10:24
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
14:09:58
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2018-03-27 14:09:20 かるばぶ님의 게시물
babukaru@mstdn.maud.io
This account is not set to public on notestock.
14:09:57
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2018-03-21 21:21:51 はいりふおじさん(LIFT650)님의 게시물
Common_Lisper@mstdn.maud.io
This account is not set to public on notestock.
14:09:36
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
14:09:34
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2018-03-27 14:08:31 ねこてー님의 게시물
Cat_Kayser@mstdn.maud.io
This account is not set to public on notestock.
14:09:32
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
14:07:50
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
14:06:43
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2018-03-27 13:52:57 コロコロコロ助님의 게시물
naota344@social.mikutter.hachune.net
This account is not set to public on notestock.
14:06:41
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2018-03-27 13:50:47 コロコロコロ助님의 게시물
naota344@social.mikutter.hachune.net
This account is not set to public on notestock.
14:05:59
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
雑に主張混ぜないで!あと私の年齢をエクスポネンシャルにしないで!
14:05:28
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2018-03-27 14:04:55 はいりふおじさん(LIFT650)님의 게시물
Common_Lisper@mstdn.maud.io
This account is not set to public on notestock.
14:05:10
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
14:04:49
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
14:04:41
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2018-03-27 14:04:00 rootY님의 게시물
rooty2@mstdn.maud.io
This account is not set to public on notestock.
14:04:22
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2018-03-27 14:04:08 金具✅님의 게시물
cobodo@mstdn.kanagu.info
This account is not set to public on notestock.
14:04:18
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2018-03-27 14:04:02 金具✅님의 게시물
cobodo@mstdn.kanagu.info
This account is not set to public on notestock.
14:03:50
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
s 要らなかったわ。いつも nproc か nprocs か忘れて打つとき間違える。
14:03:22
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2018-03-27 14:02:40 金具✅님의 게시물
cobodo@mstdn.kanagu.info
This account is not set to public on notestock.
14:03:06
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
まずおるみんさんが数千年も生きていないという事実を共有して参りたいと思います。
14:02:25
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2018-03-27 14:00:17 rootY님의 게시물
rooty2@mstdn.maud.io
This account is not set to public on notestock.
14:02:06
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
nprocs 使わなくても grep processor /proc/cpuinfo | wc -l でいいんですけどね。
14:00:04
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
本当は -l とか使ってロードアヴェレージ見るようにするとか色々やったほうがいいとは思うけど何が最適かよくわからない
13:59:25
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
nprocs コマンドの結果をそのまま -j に渡すとか脳死でやってるとラク
13:59:04
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2018-03-27 13:58:26 かるばぶ님의 게시물
babukaru@mstdn.maud.io
This account is not set to public on notestock.
13:58:44
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
13:58:39
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
13:58:34
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
昔は I/O とかで詰まることとかも考慮してーとかあったけど今は環境によっては I/O も速くなってるしーとかで環境に依るとしか言えないみたいなやつ。
13:57:46
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2018-03-27 13:57:31 かるばぶ님의 게시물
babukaru@mstdn.maud.io
This account is not set to public on notestock.
13:57:44
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2018-03-27 13:50:37 コロコロコロ助님의 게시물
naota344@social.mikutter.hachune.net
This account is not set to public on notestock.
13:57:28
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
おるみんカレーはバターチキンカレーか圧力鍋カレーになりがち
13:57:03
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
13:57:01
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2018-03-27 13:01:16 大破님의 게시물
musashino205@mstdn.maud.io
This account is not set to public on notestock.
13:56:33
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2018-03-27 13:24:59 エセ賢者님의 게시물
MulticolorWorld@mstdn.maud.io
This account is not set to public on notestock.
12:50:31
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
12:45:49
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
12:40:17
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2018-03-27 11:37:23 unarist님의 게시물
unarist@mstdn.maud.io
This account is not set to public on notestock.
12:40:14
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2018-03-27 12:37:36 箱山님의 게시물
pacochi@pawoo.net
This account is not set to public on notestock.
12:39:55
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2018-03-27 12:37:30 𝒂𝒊𝒘𝒂𝒔님의 게시물
aiwas@mstdn.maud.io
This account is not set to public on notestock.
12:39:35
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
ヤクザ漫画にありがちな「借金で首が回らなくなったので風呂に沈められる」というの,借金の型が変化してるっぽさがある(これは嘘で,労働が 労働 -> 金銭 という関数なので金銭の変わりに 労働 -> 金銭になっただけ)
12:37:16
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2018-03-27 12:36:13 unarist님의 게시물
unarist@mstdn.maud.io
This account is not set to public on notestock.
12:35:07
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
12:34:33
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
12:34:27
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2018-03-27 12:33:54 unarist님의 게시물
unarist@mstdn.maud.io
This account is not set to public on notestock.
12:33:23
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
この Arch Wiki にある xrandr を使うハックは Wayland がデルォルトになったから使えないのだよな。
12:32:54
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
12:31:54
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
12:30:40
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
この機能の名前が scale-monitor-framebuffer なことからも,3DCG の API でレンダリングされた各ウィンドウをコンポジットして一枚の画像にしてフレームバッファに書き出してモニタに表示する最後の段階でスケールしているのだと思う。ソースコード読んでないから想像だけどね。
12:26:50
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
12:24:09
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
GNOME 実は開発オプションとかで 1.75 倍とかのオプション使えるけどそれを使うと最終出力のビットマップを拡縮したような感じっぽいのかボヤけた出力しか得られないからダメな感じ(GTK3 アプリはちゃんと個別に拡縮してからレンダリングされてるのか綺麗だけど大半のアプリである GTK2 がアになって,Windows で GDI だけアになってるのと同じ格好になってる)
12:21:46
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
12:18:21
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
フォントと UI のスケーリングが独立してるほうがいいの連動してるほうがいいのかもまた難しい問題だけれどもね。
12:17:15
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
それよりも Windows ですら 125% 150% 175% と 0.25 刻みでスケーリングの係数変えられるのに GNOME3 はスケールファクターが整数しか使えないのがアレですね。フォントだけは小数点第二位までスケールファクター指定できるのに。
12:15:13
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
GDI 使ってるやつは辛いけどあれはどうしようもないし Windows のせいと言い切れないし
12:14:43
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
12:14:37
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
窓のスケーリング、たしかにつらさあるけど自分の使い方だとそんなに影響ないので100%でつらいのよりスケーリングしたさがある(
12:06:35
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
ひとりだけ浮かれた学部生がレンタルのアカデミックドレス着てたのは謎だったが
12:05:59
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
博士はみんなアカデミックドレス着ててここはそうなのかへーってなった。
08:26:13
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
このまま家で寝てようか考えたけど真面目に出席することにした。
04:00:12
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2018-03-27 00:18:22 unarist님의 게시물
unarist@mstdn.maud.io
This account is not set to public on notestock.
04:00:11
まちカドおるみん御嬢様
@orumin@mstdn.maud.io