00:04:22 @omasanori@mstdn.maud.io
icon

主に自己のフェイク野郎ぶりで気持ちになるタイプの無なので、同窓会に出たり同級生の子どもへの誕生日プレゼント購入に共同出資したりできるタイプの無

00:06:04 @omasanori@mstdn.maud.io
2018-03-07 22:23:08 ミミゲハカセ🎨の投稿 Immigration@pawoo.net
icon

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

00:07:06 @omasanori@mstdn.maud.io
icon

デートの例として国際的に認知されているものにISO 8601がある

00:09:48 @omasanori@mstdn.maud.io
icon

🎂🥂🎉🎉🎉

00:10:29 @omasanori@mstdn.maud.io
2018-03-11 00:08:59 まぜうさぎ🔞の投稿 maze_mix@pawoo.net
icon

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

00:11:46 @omasanori@mstdn.maud.io
icon

17歳も19歳も四捨五入すれば0歳

00:13:28 @omasanori@mstdn.maud.io
2018-03-10 23:45:50 🐾🐾の投稿 Nyatoruhu@pawoo.net
icon

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

00:18:09 @omasanori@mstdn.maud.io
icon

SunがホストしていたOpenSolarisのドキュメントがもはやダウンロードできない件を先日認識したため、OracleがホストしているOpenSPARCのアレコレを現在入手できる範囲で収集した

00:20:13 @omasanori@mstdn.maud.io
icon

回収できなかったドキュメントがひとつあるので、後日ダメ元でOracleに問い合わせる

00:21:52 @omasanori@mstdn.maud.io
2018-03-09 22:36:56 箱山の投稿 pacochi@pawoo.net
icon

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

00:21:53 @omasanori@mstdn.maud.io
2018-03-11 00:21:13 箱山の投稿 pacochi@pawoo.net
icon

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

00:22:25 @omasanori@mstdn.maud.io
icon

systemd-9999はノウハウのないものが降ってくる可能性がありきつそう

00:22:46 @omasanori@mstdn.maud.io
2018-03-11 00:22:27 らりお・ザ・何らかの🈗然㊌ソムリエの投稿 lo48576@mastodon.cardina1.red
icon

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

00:24:11 @omasanori@mstdn.maud.io
icon

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

00:25:52 @omasanori@mstdn.maud.io
2018-03-11 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:19 @omasanori@mstdn.maud.io
2018-03-11 00:26:01 らりお・ザ・何らかの🈗然㊌ソムリエの投稿 lo48576@mastodon.cardina1.red
icon

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

00:46:54 @omasanori@mstdn.maud.io
icon

Cloud At Cost、ゲーム性があることしか知らない

00:47:47 @omasanori@mstdn.maud.io
2018-03-11 00:35:14 らりお・ザ・何らかの🈗然㊌ソムリエの投稿 lo48576@mastodon.cardina1.red
icon

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

Web site image
Opusの音量周りがとてもつらい - Qiita
00:52:48 @omasanori@mstdn.maud.io
icon

pixivの例のやつ、判型や紙のことを忘れて脳内で『境界線上のホライゾン』とページ数を比較する奴になっていた

00:53:33 @omasanori@mstdn.maud.io
icon

判型や紙のことを考えると多分あれやっぱり難しいんだろうなと思う

00:55:10 @omasanori@mstdn.maud.io
2018-03-11 00:52:46 景の投稿 fctrack@mstdn.maud.io
icon

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

00:55:11 @omasanori@mstdn.maud.io
2018-03-11 00:54:39 ほたの投稿 hota@mstdn.maud.io
icon

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

00:55:21 @omasanori@mstdn.maud.io
icon

親切設計だ

00:56:00 @omasanori@mstdn.maud.io
2018-03-11 00:55:48 白坂/pepepperの投稿 reiden@mstdn.maud.io
icon

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

00:57:48 @omasanori@mstdn.maud.io
icon

『境界線上のホライゾン』を引き合いに出すと世の中の文庫本カバーが必ずしも世の中の文庫本をカバーできるとは限らないという事実が明らかになってしまう

00:59:01 @omasanori@mstdn.maud.io
icon

ちなみに『境界線上のホライゾン』公式グッズとして文庫本カバーが発売されたのですが、案の定長すぎてその辺の文庫本を入れようとすると難があったとのこと

01:03:02 @omasanori@mstdn.maud.io
icon

何度も言及していますが、私は川上稔入門として『連射王』を強く推薦しています

01:05:34 @omasanori@mstdn.maud.io
icon

デビュー作の『パンツァーポリス1935』もプリミティブなカワカミンが感じられておすすめなのですが入手性が……

01:06:06 @omasanori@mstdn.maud.io
2018-03-11 01:03:00 らりお・ザ・何らかの🈗然㊌ソムリエの投稿 lo48576@mastodon.cardina1.red
icon

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

01:06:08 @omasanori@mstdn.maud.io
2018-03-11 01:04:00 らりお・ザ・何らかの🈗然㊌ソムリエの投稿 lo48576@mastodon.cardina1.red
icon

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

01:06:54 @omasanori@mstdn.maud.io
icon

例のカバーにハヤカワが入らねえ問題ほんと困りますね

01:13:13 @omasanori@mstdn.maud.io
icon

FORTHシリーズ 連射王<上> (電撃文庫) | 川上 稔 |本 | 通販 | Amazon amazon.co.jp/dp/404891412X
FORTHシリーズ 連射王<下> (電撃文庫) | 川上 稔 |本 | 通販 | Amazon amazon.co.jp/dp/4048915061

Amazonで川上 稔のFORTHシリーズ 連射王 (電撃文庫)。アマゾンならポイント還元本が多数。川上 稔作品ほか、お急ぎ便対象商品は当日お届けも可能。またFORTHシリーズ 連射王 (電撃文庫)もアマゾン配送商品なら通常配送無料。
Amazonで川上 稔のFORTHシリーズ 連射王 (電撃文庫)。アマゾンならポイント還元本が多数。川上 稔作品ほか、お急ぎ便対象商品は当日お届けも可能。またFORTHシリーズ 連射王 (電撃文庫)もアマゾン配送商品なら通常配送無料。
01:18:23 @omasanori@mstdn.maud.io
2018-03-11 01:12:33 🔞みかづち❁の投稿 mikaduchi@pawoo.net
icon

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

01:20:32 @omasanori@mstdn.maud.io
icon

IPv6 Readyになりたいなぁ

01:25:11 @omasanori@mstdn.maud.io
2018-03-11 01:25:01 ほたの投稿 hota@mstdn.maud.io
icon

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

01:27:07 @omasanori@mstdn.maud.io
2018-03-11 01:26:38 ほたの投稿 hota@mstdn.maud.io
icon

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

08:58:26 @omasanori@mstdn.maud.io
icon

今後予定されている変更 | Firefox サイト互換性情報 fxsitecompat.com/ja/versions/f

08:59:10 @omasanori@mstdn.maud.io
icon

Firefox 59 サイト互換性情報 | Firefox サイト互換性情報 fxsitecompat.com/ja/versions/5

09:03:58 @omasanori@mstdn.maud.io
icon

NextCloudやるぞの気持ち

09:08:06 @omasanori@mstdn.maud.io
icon

オーム社、激強出版社だったのに最近は森北出版とかの方が存在感を出している気もするの悲しい気持ちになる

09:10:17 @omasanori@mstdn.maud.io
icon

ドン・キホーテとかいう不定期に激安4Kテレビを発売するお店

09:12:58 @omasanori@mstdn.maud.io
icon

SSReflect/MathCompの本を日本で最初に出すのはオーム社だと思っていたんですよ……私は……真面目に……

09:15:03 @omasanori@mstdn.maud.io
icon

森北出版が嫌いというわけではなく、何冊か買っているのですが、それはそれとしてな……

09:16:11 @omasanori@mstdn.maud.io
icon

Nexus 5Xがベストな端末ではない、わかる

09:18:42 @omasanori@mstdn.maud.io
icon

SDカードが刺さるPixelがあれば私の中では無敵感ある

09:19:11 @omasanori@mstdn.maud.io
icon

Nexus 5Xの見た目がチープ、まあそうですね

09:19:42 @omasanori@mstdn.maud.io
icon

はんぺんさんはなんか背面に貼るシール貼ってた

09:20:59 @omasanori@mstdn.maud.io
icon

Developer Previewはこなくてもいいけれどn月のセキュリティアップデートがn月に来る端末であってほしい

09:21:38 @omasanori@mstdn.maud.io
2018-03-09 21:19:09 so品の投稿 sohin@pawoo.net
icon

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

09:21:46 @omasanori@mstdn.maud.io
2018-03-09 22:59:00 五月猫の投稿 satsuki_Katze@pawoo.net
icon

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

09:24:06 @omasanori@mstdn.maud.io
icon

Developer Previewをそこまで欲しがってないのはAndroidアプリケーション開発者ではないという点が大きいので、アプリケーション開発者であればDeveloper Preview用と普段使い用を用意すると思う

09:25:01 @omasanori@mstdn.maud.io
icon

当方完全体のキモです

09:26:06 @omasanori@mstdn.maud.io
icon

半年くらい休暇取って海外でバカンスを楽しみつつPixelでDeveloper Previewを得るという手がある(?)

11:39:04 @omasanori@mstdn.maud.io
icon

KDEもそれはそれで良いよ

11:42:02 @omasanori@mstdn.maud.io
icon

こんにちはこんにちは!!

11:42:36 @omasanori@mstdn.maud.io
icon

種田山頭火フォロワーがいますね……

11:42:55 @omasanori@mstdn.maud.io
2018-03-11 11:42:49 あくらふの投稿 Aqraf@mstdn.maud.io
icon

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

11:43:57 @omasanori@mstdn.maud.io
2018-03-11 11:27:57 自鯖の丼復活しましたの投稿 jnsk@mstdn.maud.io
icon

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

11:44:29 @omasanori@mstdn.maud.io
icon

Sun!!!!!!

11:49:10 @omasanori@mstdn.maud.io
icon

今この投稿を見ている皆さんに耳寄り情報をお伝えしますが、若者という体のアカウントでCtrlの横にAがあるキーボードという文脈でSun Microsystemsとか言い出すと年齢詐称を疑われるのでMacと言いましょう

11:59:24 @omasanori@mstdn.maud.io
2018-03-11 11:57:48 Masataka "CAMELLIA" KONDOの投稿 machey@mstdn.maud.io
icon

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

12:40:08 @omasanori@mstdn.maud.io
2018-03-11 12:39:49 ほたの投稿 hota@mstdn.maud.io
icon

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

12:46:31 @omasanori@mstdn.maud.io
icon

WLAN性能、部屋を電波暗室にした場合の知見がある有識者が求められている(?)

12:47:18 @omasanori@mstdn.maud.io
icon

WLAN性能のためにモバイルネットワークの到達性を破壊する

14:58:55 @omasanori@mstdn.maud.io
2018-03-11 12:54:20 ほたの投稿 hota@mstdn.maud.io
icon

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

14:59:08 @omasanori@mstdn.maud.io
icon

ニューウェーブ(ニューウェーブ)だ

15:00:27 @omasanori@mstdn.maud.io
2018-03-11 13:39:02 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
icon

ブックオフやハードオフの店員がポンコツだと嬉しいことがあるなあ >> twitter.com/darekasan_net/stat

15:00:28 @omasanori@mstdn.maud.io
2018-03-11 13:39:17 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
icon

たまにすごいポンコツな値付けあるよね。

15:01:58 @omasanori@mstdn.maud.io
2018-03-11 13:59:33 Rokouchaの投稿 atnanasi@mstdn.maud.io
icon

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

15:02:07 @omasanori@mstdn.maud.io
2018-03-11 14:47:04 Rokouchaの投稿 atnanasi@mstdn.maud.io
icon

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

15:02:09 @omasanori@mstdn.maud.io
2018-03-11 14:47:39 Rokouchaの投稿 atnanasi@mstdn.maud.io
icon

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

15:02:14 @omasanori@mstdn.maud.io
2018-03-11 15:01:18 Rokouchaの投稿 atnanasi@mstdn.maud.io
icon

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

15:06:43 @omasanori@mstdn.maud.io
icon

MIPSパソコンといえば、中国のLemoteという会社が龍芯 (Loongson) を搭載したパソコンを出していたのですが最近あまり話題を聞かない気がする

15:08:57 @omasanori@mstdn.maud.io
2018-03-11 15:08:03 あきの投稿 aki@mstdn.maud.io
icon

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

15:08:59 @omasanori@mstdn.maud.io
2018-03-11 15:08:31 あきの投稿 aki@mstdn.maud.io
icon

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

15:09:30 @omasanori@mstdn.maud.io
icon

有線ルーターと無線アクセスポイントの組み合わせは禁止されていない可能性が……?(ない)

15:11:32 @omasanori@mstdn.maud.io
icon

「無線ルーターは用意したものを使え」と言われて有線ルーターと無線アクセスポイントの組み合わせを思いつくような人間は自分でトラブルを解決すると期待されるので見逃される説と、そんな組み合わせを思いつくような厄介者にはなるべく来てほしくない説がある

15:14:08 @omasanori@mstdn.maud.io
icon

弊研究室のネットワークもMACアドレスを基にDHCPサーバーがIPアドレスを割り当てるようになっているのでまあねという感じ

15:19:04 @omasanori@mstdn.maud.io
icon

Bon Echoで満面の笑顔が溢れてきた

15:19:17 @omasanori@mstdn.maud.io
2018-03-11 15:18:20 Rokouchaの投稿 atnanasi@mstdn.maud.io
icon

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

15:19:45 @omasanori@mstdn.maud.io
icon

おるみんさん、スクリプトキディ行為教唆、ステイ

15:20:59 @omasanori@mstdn.maud.io
icon

ルーターを繋いで(OSはLinuxとか書いとけば嘘ではない)10.0.0.0/8の広大なアドレス空間を自室で謳歌しような(??)

15:22:00 @omasanori@mstdn.maud.io
2018-03-11 15:21:49 SHIMADA Hirofumiの投稿 shimada@mstdn.maud.io
icon

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

15:22:35 @omasanori@mstdn.maud.io
icon

私の部屋は192.168.0.0/24かなんかなので一般のご家庭性が立証された結果

15:24:02 @omasanori@mstdn.maud.io
icon

おたくが全幅の信頼を置く知恵袋サイトことArchWiki

15:24:38 @omasanori@mstdn.maud.io
icon

stock firmwareのBuffaloなんだよなぁ

15:25:25 @omasanori@mstdn.maud.io
icon

というか、ゼロ年代の一般のご家庭は/24も使い切らないですよね多分

15:26:00 @omasanori@mstdn.maud.io
icon

IoT時代はどうなのかわからんけど

15:28:05 @omasanori@mstdn.maud.io
2018-03-11 15:26:37 ほたの投稿 hota@mstdn.maud.io
icon

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

15:28:36 @omasanori@mstdn.maud.io
icon

イングリッシュインターネットミームコミュニティー特有のファンキーアニメーションすき

15:30:40 @omasanori@mstdn.maud.io
2018-03-11 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:30:44 @omasanori@mstdn.maud.io
2018-03-11 15:28:31 らりお・ザ・何らかの🈗然㊌ソムリエの投稿 lo48576@mastodon.cardina1.red
icon

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

15:30:45 @omasanori@mstdn.maud.io
2018-03-11 15:29:11 ほたの投稿 hota@mstdn.maud.io
icon

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

15:43:38 @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:45:23 @omasanori@mstdn.maud.io
icon

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

15:53:05 @omasanori@mstdn.maud.io
icon

スイッチ持ち込んでもMACアドレス登録制なので本質的な厳しさは……

15:57:17 @omasanori@mstdn.maud.io
icon

寮はふつーの有名ISPを通してふつーに外部と繋がっていたけれど、現在の住居はあれこれあって気持ちになっています

15:58:58 @omasanori@mstdn.maud.io
icon

入居したときに接続したら他人の音楽ライブラリが見えたので、ルーターでその手のアレコレをブロックするようにしてそれ以来解除しておらず、今どうなっているのか謎

16:05:12 @omasanori@mstdn.maud.io
icon

公開範囲の機能をそこまで信頼していない(ので普段は使用していない)けれど、気持ちの表明として受け取っていただきたい

16:06:05 @omasanori@mstdn.maud.io
icon

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

16:08:31 @omasanori@mstdn.maud.io
icon

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

16:09:52 @omasanori@mstdn.maud.io
icon

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

16:10:28 @omasanori@mstdn.maud.io
icon

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

16:11:15 @omasanori@mstdn.maud.io
icon

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

16:14:12 @omasanori@mstdn.maud.io
icon

IPとかいう21世紀初頭における多くの犯罪組織にとって必要不可欠な基盤技術(これは「犯罪者のほとんどが犯行の24時間前までにDHMOを摂取している」と同じ論法です)

16:15:52 @omasanori@mstdn.maud.io
icon

SINET、DCと大学を繋ぐ回線が問題

16:17:34 @omasanori@mstdn.maud.io
icon

SINETのバックボーン回線100 Gbpsなんだー……へえー……ほーう……ふーん……

16:18:43 @omasanori@mstdn.maud.io
icon

無限の資金でラストワンマイルまで100 Gbps回線引きたいよなあ……

16:19:15 @omasanori@mstdn.maud.io
2018-03-11 16:18:37 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
icon

SINET5 は MPLS で 100 GbE 論理フルメッシュですよ

16:19:48 @omasanori@mstdn.maud.io
icon

詳しくないんですがそれはDCまでの接続形態で研究機関との接続はあれこれあるのでは

16:20:44 @omasanori@mstdn.maud.io
icon

以前読んだ資料だとNTTの回線通るやつとかもあったような

16:20:58 @omasanori@mstdn.maud.io
2018-03-11 16:20:49 8の投稿 r8_gre@mstdn.maud.io
icon

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

16:27:10 @omasanori@mstdn.maud.io
icon

専用線だとしてもFast Ethernetなところから10 GbEなところまで色々ありそう

16:27:50 @omasanori@mstdn.maud.io
2018-03-11 16:24:51 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
icon

SINET5 の主な接続方法として専用線でノードまで接続する方法があってこれだとまあ速そうだけど 1000 BASE-T のアクセス回線とか使ってると残念になりそう >> sinet.ad.jp/connect_service/ac

16:27:52 @omasanori@mstdn.maud.io
2018-03-11 16:26:31 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
icon

あと NTT-com の UNO 網をつかってアクセスする広域 LAN 接続もあるらしくてこっちのほうが安そうだけど絶対速度は残念になるので,お金のない学校だとインターネット速度も残念になりそうですね sinet.ad.jp/connect_service/ac

16:29:05 @omasanori@mstdn.maud.io
icon

@orumin (存じております……)

16:35:25 @omasanori@mstdn.maud.io
icon

DCと研究機関の間の専用線は研究機関持ちなのでそこのバンド幅の桁を増やすとあれそれあるのでうーんというそれ

16:36:56 @omasanori@mstdn.maud.io
icon

加算無限円欲しいです、皆さんはどうですか

16:40:48 @omasanori@mstdn.maud.io
icon

SINET4時代の東京大学のネットワークに関するインタビューによるとSINET通ってフレッツ網に繋がってる辺りに20Gって書いてあるけど詳細は謎

16:42:14 @omasanori@mstdn.maud.io
icon

対外接続にSINETを活用した全学情報ネットワーク基盤「UTnet」 – 学術情報ネットワーク SINET5 sinet.ad.jp/case/utnet

Web site image
対外接続にSINETを活用した全学情報ネットワーク基盤「UTnet」 - SINET6 - Science Information NETwork 6
16:42:55 @omasanori@mstdn.maud.io
2018-03-11 16:37:29 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
icon

加算無限円ほしいけど実際加算無限円発生すると円の通貨としての価値が限りなく無になるという問題がある

16:43:33 @omasanori@mstdn.maud.io
icon

5000兆円でも突然発生すると世界経済が滅茶苦茶になるという話がありますね

16:45:00 @omasanori@mstdn.maud.io
icon

『空想科学読本』シリーズの柳田理科雄さんが仮面ライダービルド(ラビットタンクフォーム)の必殺技を見て理に適ってるとコメントしたとかいう話、真偽を確認してないけど笑う

16:48:41 @omasanori@mstdn.maud.io
icon

大阪にある某旧帝大……一体どこなんだ……?

17:01:01 @omasanori@mstdn.maud.io
icon

SourceForge、最近もavailabilityが多少損なわれてちょっと困った

17:03:19 @omasanori@mstdn.maud.io
icon

Fuchsiaに百合を感じろ(??)

17:04:08 @omasanori@mstdn.maud.io
icon

アタシポンコツふんふふんふ ふんふんふふふ〜ん

17:04:39 @omasanori@mstdn.maud.io
icon

権利に配慮しました

17:05:49 @omasanori@mstdn.maud.io
icon

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

17:06:55 @omasanori@mstdn.maud.io
icon

ところで、ふんふんふふふ〜んの前にふふふんふふ ふふが必要でしたね

17:07:41 @omasanori@mstdn.maud.io
2018-03-11 17:07:24 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
icon

Nyarlathotep はナイアルラトホテップ派

17:07:49 @omasanori@mstdn.maud.io
icon

ニャルラトホテプでしょ

17:08:15 @omasanori@mstdn.maud.io
2018-03-11 17:06:10 らりお・ザ・何らかの🈗然㊌ソムリエの投稿 lo48576@mastodon.cardina1.red
icon

「第三」は無限集合!?

17:08:15 @omasanori@mstdn.maud.io
2018-03-11 17:06:21 らりお・ザ・何らかの🈗然㊌ソムリエの投稿 lo48576@mastodon.cardina1.red
icon

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

17:08:26 @omasanori@mstdn.maud.io
icon

本質だ

17:08:53 @omasanori@mstdn.maud.io
icon

zero, one, many

17:09:41 @omasanori@mstdn.maud.io
2018-03-11 17:08:21 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
icon

さっきアナタ,ナイアーラトテップって言ってたでショ!

18:22:54 @omasanori@mstdn.maud.io
2018-03-11 18:11:48 ♂雄っぱいアナリスト♂の投稿 _EOF_83_EOF_@mstdn.maud.io
icon

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

18:23:29 @omasanori@mstdn.maud.io
icon

tarのzとかjとか、GNU tarならいらないですね

18:23:58 @omasanori@mstdn.maud.io
icon

GNU tarでもパイプでtarballを渡すときはいるかもしれない(試してない)

18:25:50 @omasanori@mstdn.maud.io
icon

USB 3.0のmicro B端子とか言う謎のやつで同期が困ってた(私はたまたま持ってたので貸した)

18:26:22 @omasanori@mstdn.maud.io
2018-03-11 18:21:37 うづきの投稿 uzuky@mstdn.jp
icon

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

18:26:29 @omasanori@mstdn.maud.io
2018-03-11 18:23:00 ほたの投稿 hota@mstdn.maud.io
icon

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

18:27:51 @omasanori@mstdn.maud.io
icon

AnkerのUSB Type-Cなあれこれは最近のものは比較的まともっぽい印象

18:28:27 @omasanori@mstdn.maud.io
icon

ケーブルはAmazon Basicのやつでいいんじゃね的なことをはんぺんさんが言ってた

18:29:09 @omasanori@mstdn.maud.io
icon

はんぺんブログはUSB Type-C界のArchWiki日本語版ですからね(???)

18:29:39 @omasanori@mstdn.maud.io
2018-03-11 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:30:24 @omasanori@mstdn.maud.io
icon

AnkerはともかくAUKEYは最近どうなんですかね

18:31:03 @omasanori@mstdn.maud.io
icon

POSIXにはcpioとtarを統合するpaxってコマンドがあってぇ……

18:31:27 @omasanori@mstdn.maud.io
icon

pax使ってる人あまり聞いたことないですね……

18:33:35 @omasanori@mstdn.maud.io
icon

Cで始まるネットワークベンダーの資格、所属機関の受験料補助なしに受ける気持ちが無い……

18:34:14 @omasanori@mstdn.maud.io
icon

LPICもなかなか厳しい気持ちになるので取ってないですね……

18:35:28 @omasanori@mstdn.maud.io
icon

更新する義務のない試験は持ってても知識がアップデートされている保証がない一方で、更新する義務のある試験は受験料が厳しいという気持ちがある

18:38:03 @omasanori@mstdn.maud.io
icon

cheero知らなかった民

18:38:09 @omasanori@mstdn.maud.io
2018-03-11 18:37:47 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
icon

あああ金曜秋葉原行ったときこれ行けばよかった!知らなかった!ちくしょー >> 3月1〜11「ことのはアムリラート」コラボ | スープカレーカムイ カムイのユーカラ ameblo.jp/soupcurry-kamui/entr

Web site image
『3月1〜11「ことのはアムリラート」コラボ』
18:38:44 @omasanori@mstdn.maud.io
icon

秋葉原でユリアーモ話者オフあったってマジ?(??)

18:39:11 @omasanori@mstdn.maud.io
2018-03-11 18:38:56 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
icon

@omasanori 要るよ

18:39:15 @omasanori@mstdn.maud.io
icon

いるとのこと

18:40:03 @omasanori@mstdn.maud.io
2018-03-11 18:38:30 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
icon

最近知って使おうと努力している

18:40:34 @omasanori@mstdn.maud.io
icon

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

18:41:11 @omasanori@mstdn.maud.io
icon

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

18:44:04 @omasanori@mstdn.maud.io
icon

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

18:45:51 @omasanori@mstdn.maud.io
icon

古いcpioのmtimeがリトルエンディアンでもビッグエンディアンでもないの明らかにPDP-11の影響だと思っている

18:47:12 @omasanori@mstdn.maud.io
icon

私もAnkerのなんかを使っていて、特に何もなければ次もAnkerの何かにしようと思っている(今のなんかはQC3.0なのがうーんという感じ)

18:48:42 @omasanori@mstdn.maud.io
icon

『だがしかし』10巻の著者近影、知ってたという感想しかない

18:49:24 @omasanori@mstdn.maud.io
icon

「バレてるかわかりませんが ボタンのスキマが好きです」

18:50:29 @omasanori@mstdn.maud.io
icon

バレてるかわかりませんがじゃないんだよなあ……という気持ちしかない

18:52:55 @omasanori@mstdn.maud.io
icon

バッテリー、およそ27000 mAhを超えると国際線で引っかかったりするリスクがあるらしいですね

18:53:11 @omasanori@mstdn.maud.io
2018-03-11 18:52:42 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
icon

単行本の一巻が出る前から気がついてたよね…… > 「だがしかし」の著者はボタンの隙間好き

18:57:16 @omasanori@mstdn.maud.io
2018-03-11 18:56:42 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
icon

越えてなくても何も記載がないと没収されます(された)(LinuxCon Japan で Intel のノベルティとして入手したロゴ入りモバイルバッテリー)

18:58:02 @omasanori@mstdn.maud.io
icon

没収まじか

19:01:09 @omasanori@mstdn.maud.io
icon

Android版Firefox、リリースチャンネルなはずなのになぜか最近ベータ版降ってきて謎すぎる(13日に正式版になる予定とはいえ……)

19:01:28 @omasanori@mstdn.maud.io
2018-03-11 18:59:54 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
icon

行きはスーツケースに放り込んでたら羽田で何もいわれなかったが帰りに浦東でリュックに入れてたのを確認されて,cheero のダンボーのやつはアンペアの記載あったから返されたけど Intel のロゴ入りのやつは何も記載がなかったから没収された。

19:01:36 @omasanori@mstdn.maud.io
icon

なるほど……

22:18:13 @omasanori@mstdn.maud.io
icon

スッと寝てしまった

22:19:09 @omasanori@mstdn.maud.io
2018-03-11 22:15:13 さめたすたすの投稿 sharkpp@mstdn.jp
icon

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

22:19:59 @omasanori@mstdn.maud.io
icon

FranzってFranz Lispしか知らないけどそれとは関係ないなんかがあるのか、なるほど

22:22:05 @omasanori@mstdn.maud.io
2018-03-11 22:20:09 ほたの投稿 hota@mstdn.maud.io
icon

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

22:22:57 @omasanori@mstdn.maud.io
icon

カメラに興味はなくはないけど結局手を出していない

22:24:05 @omasanori@mstdn.maud.io
icon

周囲にカメラ趣味の人間が複数いるので相談相手はいるけれど

22:31:01 @omasanori@mstdn.maud.io
2018-03-11 22:30:04 らりお・ザ・何らかの🈗然㊌ソムリエの投稿 lo48576@mastodon.cardina1.red
icon

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

22:31:08 @omasanori@mstdn.maud.io
2018-03-11 22:30:50 らりお・ザ・何らかの🈗然㊌ソムリエの投稿 lo48576@mastodon.cardina1.red
icon

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

22:31:21 @omasanori@mstdn.maud.io
icon

オッ

22:34:19 @omasanori@mstdn.maud.io
2018-03-11 22:31:44 らりお・ザ・何らかの🈗然㊌ソムリエの投稿 lo48576@mastodon.cardina1.red
icon

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

22:35:32 @omasanori@mstdn.maud.io
icon

とは限らないはず

22:38:09 @omasanori@mstdn.maud.io
icon

停止するプログラムにしか型が付かない体系はあるけれど、処理系がどうかというのはまた別の話のはず

22:40:38 @omasanori@mstdn.maud.io
icon

CompCert、Cコードの意味論が出力に正しく保存されることは証明してるけどコンパイラ自身の低姿勢とかどうなんですかね

22:41:33 @omasanori@mstdn.maud.io
icon

停止性

22:43:34 @omasanori@mstdn.maud.io
2018-03-11 22:32:26 らりお・ザ・何らかの🈗然㊌ソムリエの投稿 lo48576@mastodon.cardina1.red
icon

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

22:45:53 @omasanori@mstdn.maud.io
icon

まず、コンパイルするプログラムの停止性を保証するために言語のデザインに制約が必要で、コンパイルの停止性を保証するために更に制約が必要で、その上でコンパイラで使うデータ構造やアルゴリズムをきちんと考えてやっていく必要がありそう

22:46:19 @omasanori@mstdn.maud.io
icon

あー、でも一旦そのような言語を作ればその言語で書けばいいのか

22:46:40 @omasanori@mstdn.maud.io
icon

まあしかしこれ言語の外側について考えていないので限界ありますね

22:51:59 @omasanori@mstdn.maud.io
icon

@ryna それならExtractにバグがあったり、Extract後先の言語の処理系にバグがあったり、ランタイムシステムにバグがあったりしなければそうかもしれません(ところで、Coqにはあまり詳しくないのですが、もしも停止性の保証を緩められるunsafe的なものがあるのならそれを使っている場合はCoqとしては保証できなくなるはず)

22:53:21 @omasanori@mstdn.maud.io
2018-03-11 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:53:46 @omasanori@mstdn.maud.io
2018-03-11 22:47:40 らりお・ザ・何らかの🈗然㊌ソムリエの投稿 lo48576@mastodon.cardina1.red
icon

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

22:54:24 @omasanori@mstdn.maud.io
icon

セルフホスティング、実利もあるのですが、とはいえ難しい面もあるという認識

22:55:54 @omasanori@mstdn.maud.io
2018-03-11 22:55:29 らりお・ザ・何らかの🈗然㊌ソムリエの投稿 lo48576@mastodon.cardina1.red
icon

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

22:56:01 @omasanori@mstdn.maud.io
icon

それはある(あるが……)

22:56:37 @omasanori@mstdn.maud.io
icon

しばふ艦に追われている大破さん

23:02:35 @omasanori@mstdn.maud.io
2018-03-11 23:01:54 ひらちょんの投稿 hirachon@mstdn.maud.io
icon

ZUK Z2にAndroid8.0えらいっ!

Attach image
Attach image
23:03:57 @omasanori@mstdn.maud.io
icon

RIDDLE JOKER OPムービー youtu.be/0EJ7HvJYe1M
:don:でしょっちゅうマーケティング行為を受けていたのでOP観たんですが、イントロのギターすき

Attach YouTube
23:05:29 @omasanori@mstdn.maud.io
icon

ところでよく考えたらこれアダルトゲームメーカーじゃないですか

23:05:43 @omasanori@mstdn.maud.io
icon

おのれほたさん、ほたさんによってブラウザ履歴がまた破壊されてしまった

23:06:46 @omasanori@mstdn.maud.io
2018-03-11 23:06:40 ほたの投稿 hota@mstdn.maud.io
icon

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

23:07:43 @omasanori@mstdn.maud.io
2018-03-11 23:07:09 きーすとの投稿 keasti@mstdn.maud.io
icon

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

23:08:30 @omasanori@mstdn.maud.io
icon

(元々、Twitter時代にほたさんがURLを貼る→無警戒に開く→アダルトゲームメーカーのサイトだったを何度か繰り返したという経緯がある)

23:09:18 @omasanori@mstdn.maud.io
icon

今はSubway TooterでWebページを開くとFirefox Focusが起動するので履歴は守られている

23:10:32 @omasanori@mstdn.maud.io
icon

でもYouTubeアプリで開いたので今後のオススメ動画がそのようになる可能性がある、それもほたってやつの仕業なんだ……(??)

23:11:00 @omasanori@mstdn.maud.io
2018-03-11 23:10:54 ほたの投稿 hota@mstdn.maud.io
icon

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

23:11:05 @omasanori@mstdn.maud.io
icon

これすき

23:11:23 @omasanori@mstdn.maud.io
icon

背後にいる人ほんとすき

23:11:43 @omasanori@mstdn.maud.io
icon

良い子のみんなはソーシャルエンジニアリングに気をつけようね

23:13:00 @omasanori@mstdn.maud.io
2018-03-11 23:11:46 ほたの投稿 hota@mstdn.maud.io
icon

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

23:13:02 @omasanori@mstdn.maud.io
2018-03-11 23:12:24 ほたの投稿 hota@mstdn.maud.io
icon

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

23:13:06 @omasanori@mstdn.maud.io
icon

かなしいね

23:14:20 @omasanori@mstdn.maud.io
2018-03-11 23:06:56 ヒポポタマスジの投稿 Otakyuline@mstdn.maud.io
icon

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

23:14:20 @omasanori@mstdn.maud.io
2018-03-11 23:07:00 ヒポポタマスジの投稿 Otakyuline@mstdn.maud.io
icon

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

23:14:21 @omasanori@mstdn.maud.io
2018-03-11 23:07:08 ヒポポタマスジの投稿 Otakyuline@mstdn.maud.io
icon

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

23:14:23 @omasanori@mstdn.maud.io
2018-03-11 23:07:14 ヒポポタマスジの投稿 Otakyuline@mstdn.maud.io
icon

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

23:14:24 @omasanori@mstdn.maud.io
2018-03-11 23:07:23 ヒポポタマスジの投稿 Otakyuline@mstdn.maud.io
icon

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

23:14:29 @omasanori@mstdn.maud.io
icon

これらすき

23:14:52 @omasanori@mstdn.maud.io
2018-03-11 23:13:59 ほたの投稿 hota@mstdn.maud.io
icon

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

23:15:09 @omasanori@mstdn.maud.io
icon

正しい記述という感じはする

23:15:57 @omasanori@mstdn.maud.io
icon

Ubiquiti Networksの正式な日本代理店出てきてほしいという気持ちある

23:16:49 @omasanori@mstdn.maud.io
icon

Ubiquiti Networksの無線なあれこれも工事設計認証通してほしいという気持ち

23:18:13 @omasanori@mstdn.maud.io
icon

airFiberは通るのかどうかよくわからないけれど……

23:21:08 @omasanori@mstdn.maud.io
icon

Wi-Fiの5Gとセルラーネットワークの5Gは別のGなんだよな問題という架空の問題を思いついたのですが、実際に遭遇したくはない

23:23:14 @omasanori@mstdn.maud.io
2018-03-11 23:23:06 ヒポポタマスジの投稿 Otakyuline@mstdn.maud.io
icon

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

23:23:22 @omasanori@mstdn.maud.io
icon

委員長のおたくだ

23:24:40 @omasanori@mstdn.maud.io
icon

藤井聡太さん強すぎて架空の人物に近付いているのでバーチャルユーチューバーとも一種の共通性がある(?)

23:25:35 @omasanori@mstdn.maud.io
2018-03-11 23:24:20 らりお・ザ・何らかの🈗然㊌ソムリエの投稿 lo48576@mastodon.cardina1.red
icon

家燃えリファレンス画像

Attach image
23:26:06 @omasanori@mstdn.maud.io
icon

家燃えが:don:のメインカルチャーだった時代

23:27:32 @omasanori@mstdn.maud.io
icon

@ryna こちらこそ前提が明らかでない状況で先走った感ありますね、ごめんなさい

23:29:04 @omasanori@mstdn.maud.io
icon

現代(学園)超能力もの、歴史的にたくさんありそうではある

23:29:54 @omasanori@mstdn.maud.io
icon

リドルジョーカー、多分hinaさんが有識者ですね

23:30:32 @omasanori@mstdn.maud.io
2018-03-11 23:30:32 Masanori Ogino 𓀁の投稿 omasanori@mstdn.maud.io
23:33:15 @omasanori@mstdn.maud.io
2018-03-11 23:31:16 かるばぶの投稿 babukaru@mstdn.maud.io
icon

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

23:33:15 @omasanori@mstdn.maud.io
2018-03-11 23:31:48 ほたの投稿 hota@mstdn.maud.io
icon

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

23:33:58 @omasanori@mstdn.maud.io
icon

異能物でパトロール隊要素があるのペルソナシリーズにありがち

23:36:11 @omasanori@mstdn.maud.io
icon

ペルソナシリーズは2までと3からの2つに大きく分類されるよ、メガテンのおたくは2までを好む人々も多いけれど3からの方が今どきっぽくはあるよ

23:40:09 @omasanori@mstdn.maud.io
icon

バリツは使うんだよなあ(諸説あり)

23:41:49 @omasanori@mstdn.maud.io
23:42:59 @omasanori@mstdn.maud.io
icon

ストレージが吹っ飛んで後悔する事例無限に生まれ続けてるし人々が絶望に転じる際にエネルギー取り出せたらすごそう(?)

23:51:36 @omasanori@mstdn.maud.io
icon

人々がどんどんやる気をなくしている……これは一体……

23:54:17 @omasanori@mstdn.maud.io
icon

18歳以上の17歳

23:58:52 @omasanori@mstdn.maud.io
icon

リドルジョーカーのOP更に何回か繰り返して観ているけど、やっぱりイントロのギターすき、あと冒頭のビル街に飛び出していくとこすき