00:21:35 @lo48576@mastodon.cardina1.red
icon

systemd-238 はよ gentoo 公式にこい〜〜!(←おまえが ebuild を書くんだよ!)

00:21:45 @lo48576@mastodon.cardina1.red
icon

や、まあ systemd-9999 とか使えばいいんでしょうけどね

00:22:27 @lo48576@mastodon.cardina1.red
icon

いろいろパッチ当たってたり ebuild がえらい複雑だったりすると、「これ私が知らんだけでいろいろ前提条件とかあるやろ……」という気分になるので、 ebuild を自分で書く気になれない

00:24:19 @lo48576@mastodon.cardina1.red
2018-03-11 00:24:11 Masanori Ogino 𓀁の投稿 omasanori@mstdn.maud.io
icon

Autotoolsでないconfigureスクリプトを扱うebuildによくある、一見eなんとかでうまくやってくれるから冗長なはずの記述

00:25:26 @lo48576@mastodon.cardina1.red
icon

lo48576-portage-overlay/sdl-fakeqwerty-20170117.ebuild at 55245af3bf36bef0679c978777ab7f7a202a8cb8 · lo48576/lo48576-portage-overlay
github.com/lo48576/lo48576-por

これ dvorak とかで QWERTY 用のゲームのキーバインド使えるようにするための LD_PRELOAD 用 .so の ebulid なんですが、 Makefile がガバいので公式のを自前ので置き換える荒技に出ている

Web site image
lo48576-portage-overlay/sdl-fakeqwerty-20170117.ebuild at 55245af3bf36bef0679c978777ab7f7a202a8cb8 · lo48576/lo48576-portage-overlay
00:26:01 @lo48576@mastodon.cardina1.red
icon

CFLAGS とかガン無視タイプのスクリプトだったんだもん……

00:35:14 @lo48576@mastodon.cardina1.red
icon

Opusの音量周りがとてもつらい - Qiita
qiita.com/obsolete-standard/it
いつ読んでもつらい……

Web site image
Opusの音量周りがとてもつらい - Qiita
00:36:12 @lo48576@mastodon.cardina1.red
icon

や、何かというと、今までは頑張って wavpack と flac と mp3 と m4a でやりくりしてきたんだけど、ついに youtube-dl -x が webm から抽出した opus ファイルを吐く時代になってしまったので、 opus に replaygain (相当のもの)を適用したくなってしまった

00:57:06 @lo48576@mastodon.cardina1.red
icon

master 追従した

01:01:33 @lo48576@mastodon.cardina1.red
2018-03-11 00:59:28 красная икраの投稿 ikuradon@comm.cx
icon

.

01:03:00 @lo48576@mastodon.cardina1.red
icon

文庫本のサイズといえば、オタクカバー(ビニールの透明なブックカバー)がラノベに対しては 1cm 弱くらい高さが余るのに、ハヤカワ文庫に使おうとすると数 mm 足りなくて使えないという、実に絶妙に微妙なサイズで困る

01:04:00 @lo48576@mastodon.cardina1.red
icon

ラノベだけをターゲットにするなら 5mm くらい縮めても余裕で使えるはずだし、ハヤカワに使いたければあの高さでは足りない

01:11:56 @lo48576@mastodon.cardina1.red
icon

録画勢なので PPTP タグをミュートした

01:12:19 @lo48576@mastodon.cardina1.red
icon

タグ使ってない実況勢が沢山いるけど……

01:18:31 @lo48576@mastodon.cardina1.red
icon

social.kimamass.com が AAAA レコード持ってるのに v6 で HTTP 接続できないので私の鯖からフョヨーできない……

01:18:36 @lo48576@mastodon.cardina1.red
2018-03-11 01:12:33 🔞みかづち❁の投稿 mikaduchi@pawoo.net
icon

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

01:20:05 @lo48576@mastodon.cardina1.red
icon

仮想通貨リテラシーで重要なのはブロックチェーンより公開鍵暗号 - アンカテ
d.hatena.ne.jp/essa/20180222/p

Web site image
仮想通貨リテラシーで重要なのはブロックチェーンより公開鍵暗号
01:35:37 @lo48576@mastodon.cardina1.red
icon

hiveway.creatodon.online 死んでる?

01:36:35 @lo48576@mastodon.cardina1.red
icon

Maintenance - ykzts.technology
ykzts.technology/
> I forgot to pay to the Google Cloud Platform. Therefore, the service is stopped.

笑ってしまった(私も支払い忘れで鯖止められたこと何度かあるので他人事ではない)

Web site image
ykzts.technology
01:37:11 @lo48576@mastodon.cardina1.red
icon

mstdn.ryanak.xyz も何やらエラーか

01:37:40 @lo48576@mastodon.cardina1.red
icon

再試行が溜まっててびっくりしたけど、まあ待ってれば直るかな

01:58:18 @lo48576@mastodon.cardina1.red
2018-03-11 01:56:17 雪餅の投稿 YUKIMOCHI@toot.yukimochi.jp
icon

お。 PeerTube on Docker for Production の docker-compose にめどが立った。

02:03:23 @lo48576@mastodon.cardina1.red
2018-03-11 02:00:35 📖📲📶の投稿 deflis@mstdn.maud.io
icon

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

05:35:49 @lo48576@mastodon.cardina1.red
icon

人は何故
なろうを読んで
夜更かしを
してしまうのか
天橋立

#57577

05:35:58 @lo48576@mastodon.cardina1.red
2018-03-11 05:34:55 🔞みかづち❁の投稿 mikaduchi@pawoo.net
icon

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

14:30:17 @lo48576@mastodon.cardina1.red
icon

systemd-238-r1 来てる!!!

14:30:55 @lo48576@mastodon.cardina1.red
icon

これでやっと systmed.legacy_systemd-cgroup_controller=1 オプションを消せるようになるかな

14:32:49 @lo48576@mastodon.cardina1.red
icon

TL 見てみたらバッチファイルだの REM だのクッソなつかしい言葉が飛び交っている……

14:47:02 @lo48576@mastodon.cardina1.red
15:21:50 @lo48576@mastodon.cardina1.red
icon

$ systemctl --user status dbus
Unit dbus.service could not be found.
$

なにかがおかしいと思ったら、 sys-apps/dbus の user-session USE flag が有効化されてなかった……

15:23:29 @lo48576@mastodon.cardina1.red
icon

gentoo 、ちょくちょくこういうことあるな(普通に使えると思い込んでいた機能がデフォで無効化されていた)

15:23:37 @lo48576@mastodon.cardina1.red
icon

や、 minimal で結構なことです

15:24:34 @lo48576@mastodon.cardina1.red
icon

Arch wiki は最強すぎる

15:26:35 @lo48576@mastodon.cardina1.red
2018-03-11 15:22:48 ほたの投稿 hota@mstdn.maud.io
icon

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

15:26:41 @lo48576@mastodon.cardina1.red
2018-03-11 15:25:47 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
icon

zsh にして ZSH_HISTORY を 100000000 とかに設定してないからそんなことに……。

15:27:53 @lo48576@mastodon.cardina1.red
icon

setopt hist_ignore_all_dups
setopt hist_ignore_dups
setopt hist_ignore_space
setopt share_history

これが最強、あとは incremental search にキーバインド適当に振っておけば完璧

15:28:31 @lo48576@mastodon.cardina1.red
icon

ls とか git status みたいなどうでもいいコマンドは先頭にスペース入れて履歴に残さないでおくと、 history には覚えづらいけど大事なコマンドだけを残すことができます

15:32:10 @lo48576@mastodon.cardina1.red
icon

.zsh_histfile

Attach image
15:33:12 @lo48576@mastodon.cardina1.red
icon

たまーに .zsh_histfile をエディタで開いて、「これ履歴辿らんでも手打ちするやろ」みたいなコマンドを削除してお掃除することもある

15:34:39 @lo48576@mastodon.cardina1.red
icon

find -type f \( -iname '*.jpg' -o -iname '*.jpeg' -o -iname '*.jpe' \) -print0 | xargs -0r -P 4 -n 16 jpegoptim --strip-none --all-progressive

とか履歴に残ってるとすごく楽できる(これはカレントディレクトリ以下の jpeg のサイズをすべて劣化なしで最適化するコマンド)

15:35:47 @lo48576@mastodon.cardina1.red
icon

find ~/Pictures/screenshots -maxdepth 1 -type f -iname '*.png' -print0 | xargs -0r -P 4 -n 1 optipng

これはスクショの png を劣化なしに最適化すコマンドで、たとえば画像を送信したりする前にこれを実行しておくと png のサイズをかなり縮小できたりするのでいい感じになります

15:36:23 @lo48576@mastodon.cardina1.red
2018-03-11 15:36:10 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
icon

そのくらい長いコマンドが発生しだしたら私の場合即座に alias か shell 関数にしたりブログにメモしたりするな。history ファイルを手動でお掃除とかやらなくていいし

15:36:41 @lo48576@mastodon.cardina1.red
icon

wiki (mediawiki) にメモしてたんですが、その鯖もう潰したのでw

15:37:39 @lo48576@mastodon.cardina1.red
icon

alias とかシェル関数もときどき作ってはいるんですが、たとえば「-maxdepth 1 になってるけどこれをなしにしたい」とか「-mindepth 1 -maxdepth 1 になってるけど -maxdepth 2 にしたい」みたいなコマンド改変需要があるので、あえて alias でなくヒストリでやってます

15:38:37 @lo48576@mastodon.cardina1.red
icon

sudo cpupower frequency-set --max 1.50GHz && echo 'chotto silent'

英語クソザコ感の強いヒストリ

15:40:07 @lo48576@mastodon.cardina1.red
icon

dotfiles もっとガッツリ管理したい

15:40:41 @lo48576@mastodon.cardina1.red
2018-03-11 15:38:08 Yavit :verified:の投稿 8vit@gs.yvt.jp
icon

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

15:40:43 @lo48576@mastodon.cardina1.red
2018-03-11 15:40:32 Yavit :verified:の投稿 8vit@gs.yvt.jp
icon

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

15:43:18 @lo48576@mastodon.cardina1.red
icon

や、プランはあるんですが、今のところ

・スクリプトのサンドボックス実行に systemd-run --user が使える必要ありそう
 ・→ systemd-238 にアプデしたので環境を調整中
・設定を toml で管理したいけど環境変数とか文字列展開したい
 ・→ rust でシェルとして文字列やコマンド評価できるライブラリ作るか〜! という気分
 ・→明らかに opaque typedef が必要そうだし、先にそっちのライブラリを完成させないと!という気分

といった感じで、さっそくいつもの病気が発症している

15:43:33 @lo48576@mastodon.cardina1.red
icon

なんで dotfiles を管理するだけでシェルを実装することになるのか……

15:43:49 @lo48576@mastodon.cardina1.red
2018-03-11 15:43:38 Masanori Ogino 𓀁の投稿 omasanori@mstdn.maud.io
icon

att/ast: This is the AT&T Software Technology ast software download site from AT&T Research. The AT&T AST OpenSource Software Collection provides an overview and Practical Reusable UNIX Software provides a historical perspective. You can join the ast and … github.com/att/ast
シェルの話をしているので紹介しますが、これは由緒正しきAT&T kshをメンテナンスしているリポジトリです

Web site image
GitHub - att/ast: AST - AT&T Software Technology
15:44:04 @lo48576@mastodon.cardina1.red
icon

fish, ksh, (t)csh は使ったことないなぁ

15:44:27 @lo48576@mastodon.cardina1.red
icon

sh, bash, dash, zsh は文法が近いので使ってるけど (でも zsh って csh 系統なんだっけ)

15:44:46 @lo48576@mastodon.cardina1.red
icon

rlwrap だったっけ >inputrc

15:45:02 @lo48576@mastodon.cardina1.red
icon

rlwrap gosh

15:46:24 @lo48576@mastodon.cardina1.red
2018-03-11 15:42:54 rootYの投稿 rooty2@mstdn.maud.io
icon

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

15:46:26 @lo48576@mastodon.cardina1.red
2018-03-11 15:45:36 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
icon

tcsh つかったことないひと,*BSD はつかったことないの

15:46:28 @lo48576@mastodon.cardina1.red
icon

ないですね

15:46:31 @lo48576@mastodon.cardina1.red
2018-03-11 15:46:16 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
icon

つかおうね

15:46:35 @lo48576@mastodon.cardina1.red
2018-03-11 15:45:23 Masanori Ogino 𓀁の投稿 omasanori@mstdn.maud.io
icon

Linuxディストリビューション作りたい熱

15:46:48 @lo48576@mastodon.cardina1.red
icon

わかる(正確には OS レベルで使えるパッケージマネージャを作りたい)

15:47:35 @lo48576@mastodon.cardina1.red
icon

ebuild ファイルの滲み出る bash 感を見ていると、えも言われぬモヤモヤがな

15:47:40 @lo48576@mastodon.cardina1.red
2018-03-11 15:47:08 雪餅の投稿 YUKIMOCHI@toot.yukimochi.jp
icon

Alpine Linux べースで小型化した PeerTube イメージを作成しました。 github.com/yukimochi-container

15:47:43 @lo48576@mastodon.cardina1.red
icon

えらいっ!

15:51:03 @lo48576@mastodon.cardina1.red
2018-03-11 15:48:19 Yavit :verified:の投稿 8vit@gs.yvt.jp
icon

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

15:51:45 @lo48576@mastodon.cardina1.red
icon

alias sysu="systemctl --user"
alias sysc="systemctl"

15:52:53 @lo48576@mastodon.cardina1.red
2018-03-11 15:45:09 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
15:52:57 @lo48576@mastodon.cardina1.red
icon

hist_reduce_blanks は知らなかった

15:59:55 @lo48576@mastodon.cardina1.red
icon

systemd-run --user --pty -- zsh が動いた!!

16:00:02 @lo48576@mastodon.cardina1.red
icon

あとは PrivateHome とかが使えればおkかな

16:08:08 @lo48576@mastodon.cardina1.red
icon

ProtectHome だった。
そして -p ProtectHome=yes したのに $HOME に書き込めてしまった……(何故だ)

16:08:44 @lo48576@mastodon.cardina1.red
icon

How do you set ReadOnlyDirectories with systemd-run? - Unix & Linux Stack Exchange
unix.stackexchange.com/questio

16:11:19 @lo48576@mastodon.cardina1.red
icon

わからん、なんだこれは

16:12:27 @lo48576@mastodon.cardina1.red
2018-03-11 16:06:05 Masanori Ogino 𓀁の投稿 omasanori@mstdn.maud.io
icon

まさか俺らの中にBitTorrentがLinuxディストリビューションインストーラー配布プロトコルだと知らないやつはいねーと思うが……

16:12:31 @lo48576@mastodon.cardina1.red
2018-03-11 16:08:31 Masanori Ogino 𓀁の投稿 omasanori@mstdn.maud.io
icon

BitTorrentのトラフィックをブロックする→わかる
BitTorrentを違法なファイル交換ソフトと称する→???

16:12:36 @lo48576@mastodon.cardina1.red
2018-03-11 16:09:52 Masanori Ogino 𓀁の投稿 omasanori@mstdn.maud.io
icon

「違法動画配信プロトコルHTTPを許すな」

16:12:38 @lo48576@mastodon.cardina1.red
2018-03-11 16:10:28 Masanori Ogino 𓀁の投稿 omasanori@mstdn.maud.io
icon

P2Pにいたってはネットワークアーキテクチャなんだよなぁ

16:12:43 @lo48576@mastodon.cardina1.red
2018-03-11 16:11:15 Masanori Ogino 𓀁の投稿 omasanori@mstdn.maud.io
icon

「詐欺メッセージ配信プロトコルSMTPも許すな」

16:13:01 @lo48576@mastodon.cardina1.red
2018-03-11 16:12:39 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
icon

どうせ SINET なら上流くそ速いし jaist のサーヴァーとか SINET の中にあるし IIJ のサーヴァーも SINET のすぐそばにあるし直接ダウンロードでなんも困らん

16:13:05 @lo48576@mastodon.cardina1.red
2018-03-11 16:12:58 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
icon

P2P で Linux のイメージ,RedStar ぐらいしかダウンロードしたことないかもしれない

16:18:27 @lo48576@mastodon.cardina1.red
icon

-p ProtectHome={yes,read-only} しても sudo touch /home/po が通ってしまうのだが、何故だ

16:30:16 @lo48576@mastodon.cardina1.red
icon

なんでー!!

16:32:39 @lo48576@mastodon.cardina1.red
icon

InaccessiblePaths, ReadOnlyPaths, ReadWritePaths have no effect · Issue #6008 · systemd/systemd
github.com/systemd/systemd/iss

そういうことか……

Web site image
InaccessiblePaths, ReadOnlyPaths, ReadWritePaths have no effect · Issue #6008 · systemd/systemd
16:33:37 @lo48576@mastodon.cardina1.red
icon

sudo systemd-run --uid=1000 --pty -p InaccessibleDirectories=/home/larry/po -- bash
などして意図した通りの挙動を確認したので、つまりそういうことっぽいな

16:46:09 @lo48576@mastodon.cardina1.red
icon

unshare --user --mount すればいいのかな

16:46:58 @lo48576@mastodon.cardina1.red
icon

おっと、 unshare --user --mount したら sudo も使えないし mount --bind も使えないぞ

16:47:45 @lo48576@mastodon.cardina1.red
icon

unshare -m とか mount --make-shared とか - Qiita
qiita.com/ngyuki/items/a9cff2b

Web site image
unshare -m とか mount --make-shared とか - Qiita
16:50:32 @lo48576@mastodon.cardina1.red
icon

--make-* は関係なさそう

16:51:31 @lo48576@mastodon.cardina1.red
2018-03-11 16:46:06 unaristの投稿 unarist@mstdn.maud.io
icon

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

16:51:39 @lo48576@mastodon.cardina1.red
2017-11-17 15:32:31 箱山の投稿 pacochi@pawoo.net
icon

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

17:05:41 @lo48576@mastodon.cardina1.red
icon

unshare -r -m -u あたりで mount --bind はできるようになったけど、その後で mount -o ro,remount すると「アクセスが拒否されました」と言われて read-only にできない……

17:05:54 @lo48576@mastodon.cardina1.red
2018-03-11 17:05:49 Masanori Ogino 𓀁の投稿 omasanori@mstdn.maud.io
icon

第三のモバイルOS、様々な形を取って何度も出てくるし実質ナイアーラトテップ

17:06:10 @lo48576@mastodon.cardina1.red
icon

「第三」は無限集合!?

17:06:21 @lo48576@mastodon.cardina1.red
icon

「いち、に、たくさん」だ……

17:12:33 @lo48576@mastodon.cardina1.red
icon

@hota Do not double html-encode page titles by Gargron · Pull Request #6720 · tootsuite/mastodon
github.com/tootsuite/mastodon/
これでは

Web site image
Do not double html-encode page titles by Gargron · Pull Request #6720 · mastodon/mastodon
17:26:08 @lo48576@mastodon.cardina1.red
2018-03-11 17:22:01 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
icon

samba で unix extensions を no に設定しないと macOS からアクセスするときの書き込み権限がおかしくなるのですが,unix extensions を no にしていると Windows からの書き込みのとき uid = 100,gid = 1000 で固定されるうえに fmask と dmask をガン無視して自分が書き込んだ実行ファイルが実行できないとかいうポンコツなことになるんですがこれはどうすれば……。

17:26:09 @lo48576@mastodon.cardina1.red
2018-03-11 17:23:13 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
icon

権限がありませんじゃあないんだよ君がそのように書き込んだんだよ

17:26:27 @lo48576@mastodon.cardina1.red
2018-03-11 17:19:58 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
icon

最近の OOMkiller はそこそこ賢いから!昔ほどポンコツじゃないから!

17:26:52 @lo48576@mastodon.cardina1.red
icon

OOMKiller「アー!メモリ!メモリタリナイ!プロセスコロス!」

17:32:07 @lo48576@mastodon.cardina1.red
icon

OOM Killer 、たしかプロセスごとに確率の比重をセットできたはずだし、重要なプロセスは殺されないように設定できる(或いはデフォでされている?)みたいな話を聞いたので、ポンコツ感を自分が感じたことはない

17:32:33 @lo48576@mastodon.cardina1.red
icon

わかものなので大昔の話は知らない

17:32:44 @lo48576@mastodon.cardina1.red
icon

cgroup に圧倒的感謝だよ……

17:46:28 @lo48576@mastodon.cardina1.red
icon

linux-user-chroot(8) - Linux man page - linux.die.net/man/8/linux-user
!?

linux-user-chroot(8) - Linux man page
18:09:30 @lo48576@mastodon.cardina1.red
icon

tar xf

18:10:01 @lo48576@mastodon.cardina1.red
icon

Tape ARchive EXtract File と覚えます

18:10:24 @lo48576@mastodon.cardina1.red
icon

覚えたくないなら atool 使うといいのでは

18:10:53 @lo48576@mastodon.cardina1.red
icon

atoolを使えばtar, gzip, zip, 7zなどの複数のツールのコマンドラインオプションを覚える必要が無くなります - ncaq - ncaq.net/2017/09/23/

Web site image
atoolを使えばtar, gzip, zip, 7zなどの複数のツールのコマンドラインオプションを覚える必要が無くなります - ncaq
18:37:49 @lo48576@mastodon.cardina1.red
icon

GNOME/linux-user-chroot: linux-user-chroot
github.com/GNOME/linux-user-ch

> THIS PROJECT IS REPLACED BY BUBBLEWRAP

なるほどね

Web site image
Build software better, together
18:41:14 @lo48576@mastodon.cardina1.red
2018-03-11 18:40:34 Masanori Ogino 𓀁の投稿 omasanori@mstdn.maud.io
icon

ところでcpioは2038年問題あるって話があるんですが有識者はいらっしゃいませんか

18:41:15 @lo48576@mastodon.cardina1.red
2018-03-11 18:41:11 Masanori Ogino 𓀁の投稿 omasanori@mstdn.maud.io
icon

cpioに2038年問題があると困る場面、まずRPM形式がダメになる

18:41:21 @lo48576@mastodon.cardina1.red
icon

え、そうなの

18:41:24 @lo48576@mastodon.cardina1.red
icon

知らなかった

18:41:38 @lo48576@mastodon.cardina1.red
icon

initramfs とかって cpio だった気がする(知らんけど)

18:49:49 @lo48576@mastodon.cardina1.red
2018-03-11 18:44:04 Masanori Ogino 𓀁の投稿 omasanori@mstdn.maud.io
icon

少なくとも一番古いcpio形式のヘッダーはmtimeが4バイト整数(ちなみにビッグエンディアンでもリトルエンディアンでもない)なので2038年問題の影響を受けるんですが、最近の(POSIXのどれかの版以降の)cpioはmtimeの大きさ変わってるのでどうなのか気になってます

19:36:26 @lo48576@mastodon.cardina1.red
icon

unshare を使おうが何をしようが、 user privilege で read-only mount しなおすのは無理……?

19:36:29 @lo48576@mastodon.cardina1.red
icon

険しいぞ

19:37:08 @lo48576@mastodon.cardina1.red
2018-03-11 19:36:22 あっきぃの投稿 akkiesoft@social.mikutter.hachune.net
icon

自作キーボード、縦でもいいんだなということに気づいたので今はこうなってる

Attach image
19:41:40 @lo48576@mastodon.cardina1.red
icon

Hands on Linux sandbox with namespaces and cgroups
blogs.rdoproject.org/2015/08/h

やっぱり root privilege 必要か……嫌だな……

19:47:51 @lo48576@mastodon.cardina1.red
icon

unshare と user namespace のプロになりたい……(無理)

19:48:02 @lo48576@mastodon.cardina1.red
2018-03-11 19:42:36 ✏️ スズキシの投稿 suzukishi@pawoo.net
icon

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

19:51:37 @lo48576@mastodon.cardina1.red
icon

やりたいこと:
・特定のプロセスに、ファイルシステム全体に原則として read-only でアクセスさせたい
・特定ディレクトリのみ writable にしたい

試したこと:
・ unshare --mount --map-root-user --user -- sh -c 'mount --bind ./po ./po ; mount -o ro,remount ./po'

結果:
・2度目の -o ro,remount の mount で「permission denied」と言われて read-only での remount に失敗する

19:54:43 @lo48576@mastodon.cardina1.red
icon

xrandr --transform を使うと、回転行列を指定して画面表示を変形させることができるので、 Linux ならエディタと言わずディスプレイ全体を回転/変形できます >RT

19:55:33 @lo48576@mastodon.cardina1.red
19:55:50 @lo48576@mastodon.cardina1.red
icon

ディスプレイ壊す - Togetter
togetter.com/li/968492

Web site image
ディスプレイ壊す
19:56:41 @lo48576@mastodon.cardina1.red
20:11:52 @lo48576@mastodon.cardina1.red
icon

Search Results for 'rush' - Cargo: packages for Rust
crates.io/search?q=rush

あのさぁ……

20:18:38 @lo48576@mastodon.cardina1.red
icon

lo48576/opaque_typedef: Easy opaque typedef for Rust programming language
github.com/lo48576/opaque_type

Web site image
GitHub - lo48576/opaque_typedef: Easy opaque typedef for Rust programming language.
20:37:33 @lo48576@mastodon.cardina1.red
2018-03-11 19:44:16 📖📲📶の投稿 deflis@mstdn.maud.io
icon

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

20:37:37 @lo48576@mastodon.cardina1.red
2018-03-11 19:49:31 📖📲📶の投稿 deflis@mstdn.maud.io
icon

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

20:37:38 @lo48576@mastodon.cardina1.red
2018-03-11 19:57:43 📖📲📶の投稿 deflis@mstdn.maud.io
icon

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

21:06:12 @lo48576@mastodon.cardina1.red
2018-03-11 20:26:38 ばらむの投稿 xbaramx@pawoo.net
icon

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

21:51:22 @lo48576@mastodon.cardina1.red
icon

何でも言うことを聞いてくれるアカネチャン youtu.be/OVuYIMa5XBw

Attach YouTube
22:03:02 @lo48576@mastodon.cardina1.red
icon

オブジェクトストレージ、 nextcloud と mastodon から使ってる

22:03:49 @lo48576@mastodon.cardina1.red
icon

順番としては、先に own(next)cloud で使ってて、かつ GNU social で結構画像が食うことを知っていたので、 Mastodon が対応しているならオブジェクトストレージ使おうということにした

22:07:38 @lo48576@mastodon.cardina1.red
2018-03-11 17:44:22 xanacの投稿 rk_asylum@under-bank.blue
icon

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

22:07:43 @lo48576@mastodon.cardina1.red
2018-03-11 17:48:45 xanacの投稿 rk_asylum@under-bank.blue
icon

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

22:08:11 @lo48576@mastodon.cardina1.red
2017-12-30 21:53:24 らりお・ザ・何らかの🈗然㊌ソムリエの投稿 lo48576@mastodon.cardina1.red
icon

SNS に月7000円も払うか?じゃあないんですよ、逆になんで Facebook や Twitter が無料で使えてると思ってるんですか

22:08:13 @lo48576@mastodon.cardina1.red
2017-12-30 21:54:29 らりお・ザ・何らかの🈗然㊌ソムリエの投稿 lo48576@mastodon.cardina1.red
icon

そりゃ我々のプライバシーをそういった企業が商品にして広告主に売っているからでしょう。その価値が年7000円以上か未満かはさておき、プライバシーを売り物にしてさらにその上行動まで規制されて生きているという実感が全くないんですか、という感想だった

22:08:15 @lo48576@mastodon.cardina1.red
2017-12-30 21:55:41 らりお・ザ・何らかの🈗然㊌ソムリエの投稿 lo48576@mastodon.cardina1.red
icon

それを実感どころか考えたことすらないから、 Mastodon の /about の文面に共感できないんでしょうね……

> あなたは人間であり、商品ではありません
> Mastodon は営利的な SNS ではありません。広告や、データの収集・解析は無く、またユーザーの囲い込みもありません。

22:24:42 @lo48576@mastodon.cardina1.red
2018-03-11 22:24:26 えじょねこの投稿 ejo090@mstdn.nere9.help
icon

TDRほしいにゃあ

22:24:57 @lo48576@mastodon.cardina1.red
icon

Tokyo Disney Resort?

22:25:01 @lo48576@mastodon.cardina1.red
icon

(んなワケない)

22:27:50 @lo48576@mastodon.cardina1.red
2018-03-11 22:27:25 красная икраの投稿 ikuradon@comm.cx
icon

コンパイル終わらない奴~

22:28:14 @lo48576@mastodon.cardina1.red
icon

宇宙はいつか終わる、人類の歴史も終わる、しかしコンパイルはいつまでも終わらない――

22:29:42 @lo48576@mastodon.cardina1.red
2018-03-11 22:29:22 TGMのサントラ販売中の投稿 Common_Lisper@mstdn.maud.io
icon

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

22:30:04 @lo48576@mastodon.cardina1.red
icon

TMP は TC だから、永遠に終わらないかどうか試してみないとわからないコンパイルも可能……!!!(??)

22:30:50 @lo48576@mastodon.cardina1.red
icon

永遠は人間の手に余るよ、我々は謙虚に、停止性の保証されたコードしかコンパイルの通らない言語で生きていこうな……(???)

22:31:44 @lo48576@mastodon.cardina1.red
icon

ところでこの分野私は詳しくないんですが、停止性を保証されたコードしかコンパイルの通らない言語のコンパイラそのものは、停止性を保証できるものなんですか?

22:32:26 @lo48576@mastodon.cardina1.red
icon

というより正確には、コンパイル自体を含めてそういった保証が可能な「実用的な言語」はありえるか、という表現になるけど

22:32:45 @lo48576@mastodon.cardina1.red
icon

ふと「実用的な言語の話をしている」を思い出した……

22:33:03 @lo48576@mastodon.cardina1.red
icon

実用的な言語の話をしている!! - Togetter
togetter.com/li/590766

Web site image
実用的な言語の話をしている!!
22:39:42 @lo48576@mastodon.cardina1.red
icon

mastodon.cardina1.red/@lo48576
これ、すごく今更だけど年7000円ですねorz

Web site image
らりお・ザ・何らかの🈗然㊌ソムリエ (@lo48576@mastodon.cardina1.red)
22:40:05 @lo48576@mastodon.cardina1.red
icon

500/month (VPS) + 1000/year (domain)

22:40:33 @lo48576@mastodon.cardina1.red
icon

まあこのスペックじゃかなり険しい感じになるだろうけど、ひとまず個人規模で動くには動く……はず

22:44:24 @lo48576@mastodon.cardina1.red
icon

たとえば Coq 処理系自体を Coq で書けるか、みたいは話に興味がある

22:44:35 @lo48576@mastodon.cardina1.red
icon

オタクが好きな再帰性

22:47:40 @lo48576@mastodon.cardina1.red
icon

セルフホスティング、あらゆる言語処理系実装者が興味を持つ分野だと思っていた(極端)

22:48:58 @lo48576@mastodon.cardina1.red
icon

popl2012-paper211.pdf
microsoft.com/en-us/research/w

> Self-Certification
> Bootstrapping Certified Typecheckers in F* with Coq

MS 強い……

22:49:32 @lo48576@mastodon.cardina1.red
2018-03-11 22:47:53 unaristの投稿 unarist@mstdn.maud.io
icon

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

22:49:39 @lo48576@mastodon.cardina1.red
icon

これすき

22:54:55 @lo48576@mastodon.cardina1.red
icon

セルフホスティング、単にロマンだけ考えても十分に挑戦する価値はある(と思う)

22:55:29 @lo48576@mastodon.cardina1.red
icon

Rust とか一応 self hosting したと言ってるけど、結局バックエンドが LLVM なので、 LLVM も Rust で書きたくない?(やるとは言ってない)みたいなことを言っている人が多数おり

22:56:07 @lo48576@mastodon.cardina1.red
icon

個人的にはコンパイラのバックエンドとかフレームワークなんて Rustの安全性がかなり活きる分野だと思うんですが、まあコストは

22:56:57 @lo48576@mastodon.cardina1.red
icon

あと LLVM はエコシステムというか対応している環境の広さも重要なので、後発実装で LLVM に勝とうというのはかなり難しそう

23:06:30 @lo48576@mastodon.cardina1.red
2018-03-11 23:01:17 Aqraf.7zの投稿 Aqraf@home.aqraf.tokyo
icon

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

23:06:35 @lo48576@mastodon.cardina1.red
icon

おっ、家燃えか?

23:06:57 @lo48576@mastodon.cardina1.red
icon

ノートPCをサーバーにして大惨事になった話 | vps比較メモ
hotel-raj.si/hr

いつものステマサイト

ノートPCをサーバーにして大惨事になった話 | vps比較メモ
23:07:20 @lo48576@mastodon.cardina1.red
icon

ステマというほどステルスでもないけど

23:24:20 @lo48576@mastodon.cardina1.red
icon

家燃えリファレンス画像

Attach image
23:50:00 @lo48576@mastodon.cardina1.red
2018-03-11 23:49:56 らりお (進捗垢)の投稿 loliconductor@mastodon.cardina1.red
icon

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