00:04:22
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
主に自己のフェイク野郎ぶりで気持ちになるタイプの無なので、同窓会に出たり同級生の子どもへの誕生日プレゼント購入に共同出資したりできるタイプの無
00:06:04
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
2018-03-07 22:23:08 ミミゲハカセ🎨の投稿
Immigration@pawoo.net
このアカウントは、notestockで公開設定になっていません。
00:07:06
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
デートの例として国際的に認知されているものにISO 8601がある
00:09:48
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
00:10:29
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
2018-03-11 00:08:59 まぜうさぎ🔞の投稿
maze_mix@pawoo.net
このアカウントは、notestockで公開設定になっていません。
00:11:46
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
00:13:28
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
2018-03-10 23:45:50 🐾🐾の投稿
Nyatoruhu@pawoo.net
このアカウントは、notestockで公開設定になっていません。
00:18:09
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
SunがホストしていたOpenSolarisのドキュメントがもはやダウンロードできない件を先日認識したため、OracleがホストしているOpenSPARCのアレコレを現在入手できる範囲で収集した
00:20:13
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
回収できなかったドキュメントがひとつあるので、後日ダメ元でOracleに問い合わせる
00:21:52
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
2018-03-09 22:36:56 箱山の投稿
pacochi@pawoo.net
このアカウントは、notestockで公開設定になっていません。
00:21:53
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
2018-03-11 00:21:13 箱山の投稿
pacochi@pawoo.net
このアカウントは、notestockで公開設定になっていません。
00:22:25
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
systemd-9999はノウハウのないものが降ってくる可能性がありきつそう
00:22:46
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
いろいろパッチ当たってたり ebuild がえらい複雑だったりすると、「これ私が知らんだけでいろいろ前提条件とかあるやろ……」という気分になるので、 ebuild を自分で書く気になれない
00:24:11
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
Autotoolsでないconfigureスクリプトを扱うebuildによくある、一見eなんとかでうまくやってくれるから冗長なはずの記述
00:25:52
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
00:26:19
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
CFLAGS とかガン無視タイプのスクリプトだったんだもん……
00:46:54
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
Cloud At Cost、ゲーム性があることしか知らない
00:47:47
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
00:52:48
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
pixivの例のやつ、判型や紙のことを忘れて脳内で『境界線上のホライゾン』とページ数を比較する奴になっていた
00:53:33
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
判型や紙のことを考えると多分あれやっぱり難しいんだろうなと思う
00:55:10
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
2018-03-11 00:52:46 景の投稿
fctrack@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
00:55:11
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
2018-03-11 00:54:39 ほたの投稿
hota@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
00:55:21
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
00:56:00
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
2018-03-11 00:55:48 白坂/pepepperの投稿
reiden@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
00:57:48
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
『境界線上のホライゾン』を引き合いに出すと世の中の文庫本カバーが必ずしも世の中の文庫本をカバーできるとは限らないという事実が明らかになってしまう
00:59:01
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
ちなみに『境界線上のホライゾン』公式グッズとして文庫本カバーが発売されたのですが、案の定長すぎてその辺の文庫本を入れようとすると難があったとのこと
01:03:02
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
何度も言及していますが、私は川上稔入門として『連射王』を強く推薦しています
01:05:34
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
デビュー作の『パンツァーポリス1935』もプリミティブなカワカミンが感じられておすすめなのですが入手性が……
01:06:06
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
文庫本のサイズといえば、オタクカバー(ビニールの透明なブックカバー)がラノベに対しては 1cm 弱くらい高さが余るのに、ハヤカワ文庫に使おうとすると数 mm 足りなくて使えないという、実に絶妙に微妙なサイズで困る
01:06:08
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
ラノベだけをターゲットにするなら 5mm くらい縮めても余裕で使えるはずだし、ハヤカワに使いたければあの高さでは足りない
01:06:54
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
例のカバーにハヤカワが入らねえ問題ほんと困りますね
01:13:13
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
FORTHシリーズ 連射王<上> (電撃文庫) | 川上 稔 |本 | 通販 | Amazon https://www.amazon.co.jp/dp/404891412X
FORTHシリーズ 連射王<下> (電撃文庫) | 川上 稔 |本 | 通販 | Amazon https://www.amazon.co.jp/dp/4048915061
Amazonで川上 稔のFORTHシリーズ 連射王 (電撃文庫)。アマゾンならポイント還元本が多数。川上 稔作品ほか、お急ぎ便対象商品は当日お届けも可能。またFORTHシリーズ 連射王 (電撃文庫)もアマゾン配送商品なら通常配送無料。
Amazonで川上 稔のFORTHシリーズ 連射王 (電撃文庫)。アマゾンならポイント還元本が多数。川上 稔作品ほか、お急ぎ便対象商品は当日お届けも可能。またFORTHシリーズ 連射王 (電撃文庫)もアマゾン配送商品なら通常配送無料。
01:18:23
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
2018-03-11 01:12:33 🔞みかづち❁の投稿
mikaduchi@pawoo.net
このアカウントは、notestockで公開設定になっていません。
01:20:32
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
01:25:11
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
2018-03-11 01:25:01 ほたの投稿
hota@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
01:27:07
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
2018-03-11 01:26:38 ほたの投稿
hota@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
08:58:26
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
410 Gone | Firefox Site Compatibility
08:59:10
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
410 Gone | Firefox Site Compatibility
09:03:58
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
09:08:06
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
オーム社、激強出版社だったのに最近は森北出版とかの方が存在感を出している気もするの悲しい気持ちになる
09:10:17
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
ドン・キホーテとかいう不定期に激安4Kテレビを発売するお店
09:12:58
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
SSReflect/MathCompの本を日本で最初に出すのはオーム社だと思っていたんですよ……私は……真面目に……
09:15:03
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
森北出版が嫌いというわけではなく、何冊か買っているのですが、それはそれとしてな……
09:16:11
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
09:18:42
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
SDカードが刺さるPixelがあれば私の中では無敵感ある
09:19:11
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
09:19:42
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
09:20:59
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
Developer Previewはこなくてもいいけれどn月のセキュリティアップデートがn月に来る端末であってほしい
09:21:38
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
2018-03-09 21:19:09 so品の投稿
sohin@pawoo.net
このアカウントは、notestockで公開設定になっていません。
09:21:46
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
2018-03-09 22:59:00 五月猫の投稿
satsuki_Katze@pawoo.net
このアカウントは、notestockで公開設定になっていません。
09:24:06
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
Developer Previewをそこまで欲しがってないのはAndroidアプリケーション開発者ではないという点が大きいので、アプリケーション開発者であればDeveloper Preview用と普段使い用を用意すると思う
09:25:01
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
09:26:06
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
半年くらい休暇取って海外でバカンスを楽しみつつPixelでDeveloper Previewを得るという手がある(?)
11:39:04
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
11:42:02
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
11:42:36
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
11:42:55
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
2018-03-11 11:42:49 あくらふの投稿
Aqraf@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
11:43:57
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
2018-03-11 11:27:57 自鯖の丼復活しましたの投稿
jnsk@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
11:44:29
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
11:49:10
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
今この投稿を見ている皆さんに耳寄り情報をお伝えしますが、若者という体のアカウントでCtrlの横にAがあるキーボードという文脈でSun Microsystemsとか言い出すと年齢詐称を疑われるのでMacと言いましょう
11:59:24
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
2018-03-11 11:57:48 Masataka "CAMELLIA" KONDOの投稿
machey@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
12:40:08
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
2018-03-11 12:39:49 ほたの投稿
hota@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
12:46:31
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
WLAN性能、部屋を電波暗室にした場合の知見がある有識者が求められている(?)
12:47:18
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
WLAN性能のためにモバイルネットワークの到達性を破壊する
14:58:55
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
2018-03-11 12:54:20 ほたの投稿
hota@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
14:59:08
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
15:00:27
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
15:00:28
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
15:01:58
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
2018-03-11 13:59:33 Rokouchaの投稿
atnanasi@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
15:02:07
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
2018-03-11 14:47:04 Rokouchaの投稿
atnanasi@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
15:02:09
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
2018-03-11 14:47:39 Rokouchaの投稿
atnanasi@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
15:02:14
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
2018-03-11 15:01:18 Rokouchaの投稿
atnanasi@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
15:06:43
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
MIPSパソコンといえば、中国のLemoteという会社が龍芯 (Loongson) を搭載したパソコンを出していたのですが最近あまり話題を聞かない気がする
15:08:57
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
2018-03-11 15:08:03 あきの投稿
aki@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
15:08:59
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
2018-03-11 15:08:31 あきの投稿
aki@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
15:09:30
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
有線ルーターと無線アクセスポイントの組み合わせは禁止されていない可能性が……?(ない)
15:11:32
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
「無線ルーターは用意したものを使え」と言われて有線ルーターと無線アクセスポイントの組み合わせを思いつくような人間は自分でトラブルを解決すると期待されるので見逃される説と、そんな組み合わせを思いつくような厄介者にはなるべく来てほしくない説がある
15:14:08
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
弊研究室のネットワークもMACアドレスを基にDHCPサーバーがIPアドレスを割り当てるようになっているのでまあねという感じ
15:19:04
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
15:19:17
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
2018-03-11 15:18:20 Rokouchaの投稿
atnanasi@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
15:19:45
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
15:20:59
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
ルーターを繋いで(OSはLinuxとか書いとけば嘘ではない)10.0.0.0/8の広大なアドレス空間を自室で謳歌しような(??)
15:22:00
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
2018-03-11 15:21:49 SHIMADA Hirofumiの投稿
shimada@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
15:22:35
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
私の部屋は192.168.0.0/24かなんかなので一般のご家庭性が立証された結果
15:24:02
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
おたくが全幅の信頼を置く知恵袋サイトことArchWiki
15:24:38
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
stock firmwareのBuffaloなんだよなぁ
15:25:25
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
というか、ゼロ年代の一般のご家庭は/24も使い切らないですよね多分
15:26:00
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
15:28:05
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
2018-03-11 15:26:37 ほたの投稿
hota@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
15:28:36
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
イングリッシュインターネットミームコミュニティー特有のファンキーアニメーションすき
15:30:40
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
setopt hist_ignore_all_dups
setopt hist_ignore_dups
setopt hist_ignore_space
setopt share_history
これが最強、あとは incremental search にキーバインド適当に振っておけば完璧
15:30:44
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
ls とか git status みたいなどうでもいいコマンドは先頭にスペース入れて履歴に残さないでおくと、 history には覚えづらいけど大事なコマンドだけを残すことができます
15:30:45
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
2018-03-11 15:29:11 ほたの投稿
hota@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
15:43:38
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
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 … https://github.com/att/ast
シェルの話をしているので紹介しますが、これは由緒正しきAT&T kshをメンテナンスしているリポジトリです
GitHub - att/ast: AST - AT&T Software Technology
15:45:23
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
15:53:05
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
スイッチ持ち込んでもMACアドレス登録制なので本質的な厳しさは……
15:57:17
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
寮はふつーの有名ISPを通してふつーに外部と繋がっていたけれど、現在の住居はあれこれあって気持ちになっています
15:58:58
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
入居したときに接続したら他人の音楽ライブラリが見えたので、ルーターでその手のアレコレをブロックするようにしてそれ以来解除しておらず、今どうなっているのか謎
16:05:12
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
公開範囲の機能をそこまで信頼していない(ので普段は使用していない)けれど、気持ちの表明として受け取っていただきたい
16:06:05
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
まさか俺らの中にBitTorrentがLinuxディストリビューションインストーラー配布プロトコルだと知らないやつはいねーと思うが……
16:08:31
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
BitTorrentのトラフィックをブロックする→わかる
BitTorrentを違法なファイル交換ソフトと称する→???
16:09:52
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
16:10:28
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
P2Pにいたってはネットワークアーキテクチャなんだよなぁ
16:11:15
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
16:14:12
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
IPとかいう21世紀初頭における多くの犯罪組織にとって必要不可欠な基盤技術(これは「犯罪者のほとんどが犯行の24時間前までにDHMOを摂取している」と同じ論法です)
16:15:52
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
16:17:34
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
SINETのバックボーン回線100 Gbpsなんだー……へえー……ほーう……ふーん……
16:18:43
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
無限の資金でラストワンマイルまで100 Gbps回線引きたいよなあ……
16:19:15
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
SINET5 は MPLS で 100 GbE 論理フルメッシュですよ
16:19:48
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
詳しくないんですがそれはDCまでの接続形態で研究機関との接続はあれこれあるのでは
16:20:44
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
以前読んだ資料だとNTTの回線通るやつとかもあったような
16:20:58
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
2018-03-11 16:20:49 8の投稿
r8_gre@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
16:27:10
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
専用線だとしてもFast Ethernetなところから10 GbEなところまで色々ありそう
16:27:50
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
16:27:52
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
16:29:05
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
16:35:25
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
DCと研究機関の間の専用線は研究機関持ちなのでそこのバンド幅の桁を増やすとあれそれあるのでうーんというそれ
16:36:56
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
16:40:48
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
SINET4時代の東京大学のネットワークに関するインタビューによるとSINET通ってフレッツ網に繋がってる辺りに20Gって書いてあるけど詳細は謎
16:42:14
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
16:42:55
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
加算無限円ほしいけど実際加算無限円発生すると円の通貨としての価値が限りなく無になるという問題がある
16:43:33
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
5000兆円でも突然発生すると世界経済が滅茶苦茶になるという話がありますね
16:45:00
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
『空想科学読本』シリーズの柳田理科雄さんが仮面ライダービルド(ラビットタンクフォーム)の必殺技を見て理に適ってるとコメントしたとかいう話、真偽を確認してないけど笑う
16:48:41
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
17:01:01
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
SourceForge、最近もavailabilityが多少損なわれてちょっと困った
17:03:19
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
17:04:08
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
17:04:39
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
17:05:49
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
第三のモバイルOS、様々な形を取って何度も出てくるし実質ナイアーラトテップ
17:06:55
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
ところで、ふんふんふふふ〜んの前にふふふんふふ ふふが必要でしたね
17:07:41
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
Nyarlathotep はナイアルラトホテップ派
17:07:49
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
17:08:15
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
17:08:15
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
17:08:26
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
17:08:53
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
17:09:41
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
さっきアナタ,ナイアーラトテップって言ってたでショ!
18:22:54
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
2018-03-11 18:11:48 ♂雄っぱいアナリスト♂の投稿
_EOF_83_EOF_@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
18:23:29
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
tarのzとかjとか、GNU tarならいらないですね
18:23:58
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
GNU tarでもパイプでtarballを渡すときはいるかもしれない(試してない)
18:25:50
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
USB 3.0のmicro B端子とか言う謎のやつで同期が困ってた(私はたまたま持ってたので貸した)
18:26:22
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
2018-03-11 18:21:37 うづきの投稿
uzuky@mstdn.jp
このアカウントは、notestockで公開設定になっていません。
18:26:29
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
2018-03-11 18:23:00 ほたの投稿
hota@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
18:27:51
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
AnkerのUSB Type-Cなあれこれは最近のものは比較的まともっぽい印象
18:28:27
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
ケーブルはAmazon Basicのやつでいいんじゃね的なことをはんぺんさんが言ってた
18:29:09
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
はんぺんブログはUSB Type-C界のArchWiki日本語版ですからね(???)
18:29:39
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
atoolを使えばtar, gzip, zip, 7zなどの複数のツールのコマンドラインオプションを覚える必要が無くなります - ncaq - https://www.ncaq.net/2017/09/23/
atoolを使えばtar, gzip, zip, 7zなどの複数のツールのコマンドラインオプションを覚える必要が無くなります - ncaq
18:30:24
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
AnkerはともかくAUKEYは最近どうなんですかね
18:31:03
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
POSIXにはcpioとtarを統合するpaxってコマンドがあってぇ……
18:31:27
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
18:33:35
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
Cで始まるネットワークベンダーの資格、所属機関の受験料補助なしに受ける気持ちが無い……
18:34:14
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
LPICもなかなか厳しい気持ちになるので取ってないですね……
18:35:28
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
更新する義務のない試験は持ってても知識がアップデートされている保証がない一方で、更新する義務のある試験は受験料が厳しいという気持ちがある
18:38:03
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
18:38:09
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
18:38:44
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
秋葉原でユリアーモ話者オフあったってマジ?(??)
18:39:11
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
18:39:15
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
18:40:03
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
18:40:34
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
ところでcpioは2038年問題あるって話があるんですが有識者はいらっしゃいませんか
18:41:11
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
cpioに2038年問題があると困る場面、まずRPM形式がダメになる
18:44:04
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
少なくとも一番古いcpio形式のヘッダーはmtimeが4バイト整数(ちなみにビッグエンディアンでもリトルエンディアンでもない)なので2038年問題の影響を受けるんですが、最近の(POSIXのどれかの版以降の)cpioはmtimeの大きさ変わってるのでどうなのか気になってます
18:45:51
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
古いcpioのmtimeがリトルエンディアンでもビッグエンディアンでもないの明らかにPDP-11の影響だと思っている
18:47:12
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
私もAnkerのなんかを使っていて、特に何もなければ次もAnkerの何かにしようと思っている(今のなんかはQC3.0なのがうーんという感じ)
18:48:42
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
『だがしかし』10巻の著者近影、知ってたという感想しかない
18:49:24
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
「バレてるかわかりませんが ボタンのスキマが好きです」
18:50:29
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
バレてるかわかりませんがじゃないんだよなあ……という気持ちしかない
18:52:55
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
バッテリー、およそ27000 mAhを超えると国際線で引っかかったりするリスクがあるらしいですね
18:53:11
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
単行本の一巻が出る前から気がついてたよね…… > 「だがしかし」の著者はボタンの隙間好き
18:57:16
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
越えてなくても何も記載がないと没収されます(された)(LinuxCon Japan で Intel のノベルティとして入手したロゴ入りモバイルバッテリー)
18:58:02
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
19:01:09
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
Android版Firefox、リリースチャンネルなはずなのになぜか最近ベータ版降ってきて謎すぎる(13日に正式版になる予定とはいえ……)
19:01:28
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
行きはスーツケースに放り込んでたら羽田で何もいわれなかったが帰りに浦東でリュックに入れてたのを確認されて,cheero のダンボーのやつはアンペアの記載あったから返されたけど Intel のロゴ入りのやつは何も記載がなかったから没収された。
19:01:36
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
22:18:13
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
22:19:09
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
2018-03-11 22:15:13 さめたすたすの投稿
sharkpp@mstdn.jp
このアカウントは、notestockで公開設定になっていません。
22:19:59
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
FranzってFranz Lispしか知らないけどそれとは関係ないなんかがあるのか、なるほど
22:22:05
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
2018-03-11 22:20:09 ほたの投稿
hota@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
22:22:57
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
22:24:05
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
周囲にカメラ趣味の人間が複数いるので相談相手はいるけれど
22:31:01
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
TMP は TC だから、永遠に終わらないかどうか試してみないとわからないコンパイルも可能……!!!(??)
22:31:08
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
永遠は人間の手に余るよ、我々は謙虚に、停止性の保証されたコードしかコンパイルの通らない言語で生きていこうな……(???)
22:31:21
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
22:34:19
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
ところでこの分野私は詳しくないんですが、停止性を保証されたコードしかコンパイルの通らない言語のコンパイラそのものは、停止性を保証できるものなんですか?
22:35:32
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
22:38:09
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
停止するプログラムにしか型が付かない体系はあるけれど、処理系がどうかというのはまた別の話のはず
22:40:38
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
CompCert、Cコードの意味論が出力に正しく保存されることは証明してるけどコンパイラ自身の低姿勢とかどうなんですかね
22:41:33
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
22:43:34
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
というより正確には、コンパイル自体を含めてそういった保証が可能な「実用的な言語」はありえるか、という表現になるけど
22:45:53
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
まず、コンパイルするプログラムの停止性を保証するために言語のデザインに制約が必要で、コンパイルの停止性を保証するために更に制約が必要で、その上でコンパイラで使うデータ構造やアルゴリズムをきちんと考えてやっていく必要がありそう
22:46:19
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
あー、でも一旦そのような言語を作ればその言語で書けばいいのか
22:46:40
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
まあしかしこれ言語の外側について考えていないので限界ありますね
22:51:59
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
@ryna それならExtractにバグがあったり、Extract後先の言語の処理系にバグがあったり、ランタイムシステムにバグがあったりしなければそうかもしれません(ところで、Coqにはあまり詳しくないのですが、もしも停止性の保証を緩められるunsafe的なものがあるのならそれを使っている場合はCoqとしては保証できなくなるはず)
22:53:21
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
22:53:46
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
セルフホスティング、あらゆる言語処理系実装者が興味を持つ分野だと思っていた(極端)
22:54:24
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
セルフホスティング、実利もあるのですが、とはいえ難しい面もあるという認識
22:55:54
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
Rust とか一応 self hosting したと言ってるけど、結局バックエンドが LLVM なので、 LLVM も Rust で書きたくない?(やるとは言ってない)みたいなことを言っている人が多数おり
22:56:01
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
22:56:37
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
23:02:35
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
23:03:57
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
23:05:29
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
ところでよく考えたらこれアダルトゲームメーカーじゃないですか
23:05:43
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
おのれほたさん、ほたさんによってブラウザ履歴がまた破壊されてしまった
23:06:46
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
2018-03-11 23:06:40 ほたの投稿
hota@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
23:07:43
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
2018-03-11 23:07:09 きーすとの投稿
keasti@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
23:08:30
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
(元々、Twitter時代にほたさんがURLを貼る→無警戒に開く→アダルトゲームメーカーのサイトだったを何度か繰り返したという経緯がある)
23:09:18
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
今はSubway TooterでWebページを開くとFirefox Focusが起動するので履歴は守られている
23:10:32
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
でもYouTubeアプリで開いたので今後のオススメ動画がそのようになる可能性がある、それもほたってやつの仕業なんだ……(??)
23:11:00
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
2018-03-11 23:10:54 ほたの投稿
hota@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
23:11:05
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
23:11:23
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
23:11:43
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
良い子のみんなはソーシャルエンジニアリングに気をつけようね
23:13:00
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
2018-03-11 23:11:46 ほたの投稿
hota@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
23:13:02
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
2018-03-11 23:12:24 ほたの投稿
hota@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
23:13:06
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
23:14:20
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
2018-03-11 23:06:56 ヒポポタマスジの投稿
Otakyuline@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
23:14:20
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
2018-03-11 23:07:00 ヒポポタマスジの投稿
Otakyuline@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
23:14:21
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
2018-03-11 23:07:08 ヒポポタマスジの投稿
Otakyuline@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
23:14:23
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
2018-03-11 23:07:14 ヒポポタマスジの投稿
Otakyuline@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
23:14:24
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
2018-03-11 23:07:23 ヒポポタマスジの投稿
Otakyuline@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
23:14:29
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
23:14:52
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
2018-03-11 23:13:59 ほたの投稿
hota@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
23:15:09
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
23:15:57
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
Ubiquiti Networksの正式な日本代理店出てきてほしいという気持ちある
23:16:49
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
Ubiquiti Networksの無線なあれこれも工事設計認証通してほしいという気持ち
23:18:13
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
airFiberは通るのかどうかよくわからないけれど……
23:21:08
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
Wi-Fiの5Gとセルラーネットワークの5Gは別のGなんだよな問題という架空の問題を思いついたのですが、実際に遭遇したくはない
23:23:14
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
2018-03-11 23:23:06 ヒポポタマスジの投稿
Otakyuline@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
23:23:22
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
23:24:40
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
藤井聡太さん強すぎて架空の人物に近付いているのでバーチャルユーチューバーとも一種の共通性がある(?)
23:25:35
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
23:26:06
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
23:27:32
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
@ryna こちらこそ前提が明らかでない状況で先走った感ありますね、ごめんなさい
23:29:04
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
現代(学園)超能力もの、歴史的にたくさんありそうではある
23:29:54
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
23:30:32
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
23:33:15
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
2018-03-11 23:31:16 かるばぶの投稿
babukaru@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
23:33:15
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
2018-03-11 23:31:48 ほたの投稿
hota@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
23:33:58
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
異能物でパトロール隊要素があるのペルソナシリーズにありがち
23:36:11
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
ペルソナシリーズは2までと3からの2つに大きく分類されるよ、メガテンのおたくは2までを好む人々も多いけれど3からの方が今どきっぽくはあるよ
23:40:09
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
23:41:49
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
23:42:59
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
ストレージが吹っ飛んで後悔する事例無限に生まれ続けてるし人々が絶望に転じる際にエネルギー取り出せたらすごそう(?)
23:51:36
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
人々がどんどんやる気をなくしている……これは一体……
23:54:17
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
23:58:52
Masanori Ogino 𓀁 @omasanori@mstdn.maud.io
リドルジョーカーのOP更に何回か繰り返して観ているけど、やっぱりイントロのギターすき、あと冒頭のビル街に飛び出していくとこすき