22:47:29
2017-04-20 22:47:29 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
22:47:15
2017-04-20 22:47:15 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
22:47:15
2017-04-20 22:47:15 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
22:46:26

私も様相論理や時相論理はもうすこしちゃんと学んでおかねばなあ。

22:44:23

古典論理をやめたら真偽の二値だけの世界でなくなるという話っぽい?

22:43:51
2017-04-20 22:40:46 ただのおっさん:white_check_mark:の投稿 kmt_t@pawoo.net

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

22:43:50
2017-04-20 22:34:53 ただのおっさん:white_check_mark:の投稿 kmt_t@pawoo.net

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

22:43:12

あっ本当じゃんちょっと羨ましいなくそっ

22:42:31
2017-04-20 22:39:41 ぼりの投稿 bori_so1@pawoo.net

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

22:42:15

余こそ余が内包する自我世界の神

22:39:42

openssl コマンドつかわせてほしい

22:39:30
2017-04-20 22:36:16 zgock999の投稿 zgock999@mstdn.maud.io

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

22:31:59

やつはいつから神になったんだ

22:31:47
2017-04-20 22:27:47 ぺんぎん🐧の投稿 penguinzaurs@mstdn.jp

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

22:25:27

自由ソフトウェア主義者にはリターンあるんでない?知らんけど

22:24:58
2017-04-20 22:23:25 otofuneの投稿 otofune@mstdn.maud.io

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

22:22:28

最近は IP 電話とかあるし SIP でなんとかなる気がするので適当なボードコンピュータと匣とソフトウェアでなんとかして自由なオレオレ携帯電話は不可能ではなさそう。

22:21:31
2017-04-20 22:21:31 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
22:21:31
2017-04-20 22:21:31 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
22:18:43

Activity Streams を AS と略して書かれてたのか。BGP のやつかとおもった

22:11:14
2017-04-20 20:27:09 Masanori Ogino 𓀁の投稿 omasanori@mstdn.maud.io

OStatusの構成要素の内、AtomとWebFingerはIETF RFCで、Activity StreamsとPuSHはW3Cでの(後継)規格策定が進んでいて、SalmonはGoogle Code跡地から発掘することで手に入る

22:10:05
2017-04-20 20:32:51 Eugen Rochkoの投稿 Gargron@mastodon.social

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

22:07:03
2017-04-19 17:25:20 鉄人桃子の投稿 te2momo@pawoo.net

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

22:04:55
2017-04-20 21:18:42 どまの投稿 tofu_mgmg@kirakiratter.com

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

22:04:13
2017-04-20 21:32:03 nullkal 🦊の投稿 nullkal@mstdn.jp

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

22:04:13
2017-04-20 21:11:20 三上洋の投稿 mikamiyoh@mstdn.jp

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

22:03:15
2017-04-20 21:33:36 鉄人桃子の投稿 te2momo@pawoo.net

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

21:59:49
2017-04-20 20:18:47 Masanori Ogino 𓀁の投稿 omasanori@mstdn.maud.io

ちゃんと調べたけど、やはりActivity Streams 2.0はOStatusのActivity Streams 1.0部分(なお、Activity Streams 1.0にはAtomベースの構文とJSONベースの構文がある)の置き換えであって他の部分は他の部分でやっていく必要があるな

17:40:21

バッテリ失せたし帰るかの。

17:40:10

ぬう,しまったな

17:37:52

crate 便利すぎる

17:37:48
17:37:46
2017-04-20 15:26:21 ubnt-intrepidの投稿 ubnt_intrepid@mstdn.maud.io

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

17:35:08
2017-04-20 17:35:08 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
17:34:52

tumblr はまあ

17:34:47
2017-04-20 15:56:02 ǝunsʇo ıɯnɟɐsɐɯ✅の投稿 otsune@mstdn.jp

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

17:34:22
2017-04-20 17:34:22 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
17:33:49
2017-04-20 17:33:49 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
17:33:48
2017-04-20 17:33:48 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
17:32:22

pump.io おもしろいな

15:03:53

http(s) や ssh の git clone は通るけど git:// なレポジトリからの clone は塞がれてるネットワークなんていくらでもあるじゃん。

15:03:01
2017-04-20 14:41:29 ボ@破滅亭炎上の投稿 trickart@mstdn.maud.io

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

15:02:10

???

15:02:09
2017-04-20 13:52:51 uzukyの投稿 uzuky@mastodon.cloud

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

15:02:09
2017-04-20 13:54:49 uzukyの投稿 uzuky@mastodon.cloud

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

15:01:49
2017-04-20 13:58:10 ほたの投稿 hota@mstdn.maud.io

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

15:01:24
2017-04-20 14:09:02 ほたの投稿 hota@mstdn.maud.io

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

15:01:24
2017-04-20 14:07:59 himanoaの投稿 himanoa@mstdn.maud.io

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

15:00:26

パイロット?

14:57:47

ご明察

14:57:39
2017-04-20 14:57:39 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
13:56:58

@akahana post でよくない?

13:53:35

@hota git pull や git fetch に --tags 付ける

13:52:14
2017-04-20 13:49:07 ほたの投稿 hota@mstdn.maud.io

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

13:52:08

@babukaru 黄昏のシンセミア

13:45:34

それよっ!

13:45:29
2017-04-20 13:44:29 Masanori Ogino 𓀁の投稿 omasanori@mstdn.maud.io

ておいいねボタンよりモードちゃんかわいすぎかボタンの方が適切では

13:45:15

@akahana またそこらへんも自由なのだ。

13:43:37

ほたさん Mastodon の fork 公開して欲しい。fav を"ておいいね"にする Pull-req したい。

13:42:46

わたしの研究目標は世界征服です。

13:41:29
2017-04-20 13:40:46 としぁ〄の投稿 toshi_a@mstdn.maud.io

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

13:40:40
2017-04-20 13:28:50 zgock999の投稿 zgock999@mstdn.maud.io

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

13:39:19

@akahana notice ではなく quip なところが Qvitter!ってかんじ

13:38:52

Windows の WSL に使われてる Picoprocess や, Xen の上のコンテナになる Unikernel (Docker に買収されたけど)の技術とかも近年色々出て話題性があるのですが元々は 1995 年の Exokernel に起因する LibraryOS 技術の末裔とも見れる

13:34:58

FreeBSD の jail は SANE 2000 で論文出た技術だしねぇ。

13:34:14
2017-04-20 13:33:50 zgock999の投稿 zgock999@mstdn.maud.io

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

13:33:03

@akahana お祭りに乗ってるだけ(GNU social から notice)← 強い

13:32:02

タイミングもあるし,それは大きいけれども,他にも隠れた因子は複数あるとおもうな。

13:31:12

なぜうまくいったかというのは往々にして偶発的要素が積み重なってることが多いので,なぜ GNU Social や Qvitter だとダメだったのかを考えるほうが良い。

13:30:02

シンプルだったら 7 年前の StatusNet や GNU Social にもっと人が集ってたでしょうに,シンプルなわけがない。

13:29:14
2017-04-20 13:29:14 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
13:29:14
2017-04-20 13:22:51 西村誠一の投稿 khb02323@mstdn.jp

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

13:28:27

としぁさん怖いよぅ

13:28:07

@toshi_a おっそうだな

13:28:01
2017-04-20 13:27:03 としぁの投稿 toshi_a@mastodon.cloud

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

13:27:46

別にカーネルレベルで手を加えたわけじゃないかこれ。

13:26:18

ボクの手が遅いのが悪い。

13:26:03

こういうことされると研究が厳しくなったりしてウッてなるやつ

13:25:18

Xen の dom0 を system docker container に,domU を user container にする感じかしら。手強い。

13:23:21

【今日の話題】
Dockerコンテナに特化した「RancherOS」正式版リリース。
→ Linux OSの構造そのものをコンテナ専用にしようというアプローチを採用

Today's Linux 2017/04/19
jp.linux.com/news/todays-linux

13:20:27

にわにはにわにわとりがいる

13:19:33
2017-04-20 13:18:27 unaristの投稿 unarist@mstdn.maud.io

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

13:19:19
2017-04-20 13:18:27 zgock999の投稿 zgock999@mstdn.maud.io

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

13:18:21

そんなわけで OSC はヤバい

13:17:39

知らないひとにラップトップのキーボードに分厚いシールの束投げ付けて逃走されるテロされたことがあって,Teokure Point シールだった。で,このシール投げ付けた人物の名をとしぁって言うんですが。

13:16:12
2017-04-20 11:24:56 Masanori Ogino 𓀁の投稿 omasanori@mstdn.maud.io

OSCの方が無限にシールが沸いてくるなど魔境っぽい噂があるんですが実際どうなんですか(OSC未経験)

13:15:36

PCI パススルーはよくコケるのでちゃんと動いてると「ちゃんと動いてるー!」という感動が。

13:14:53

PCI パススルーがちゃんと動いている実例だ。

13:14:37
2017-04-20 13:12:52 zgock999の投稿 zgock999@mstdn.maud.io

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

13:13:17

Mastodon のつもりで Pawoo って書いちゃう人が出るのは Pixiv が宣伝には成功してる証だろうか。(利益に繋がって成功してるとは言ってない

13:12:12

インフラ屋がいくら強化しても何もやってないだろサーバ増強しろよ!って言われる気がしなくもない。実際増強してるかしてないか知らずに文句言ってるわけで。

13:11:20
2017-04-19 19:49:56 ぼりの投稿 bori_so1@pawoo.net

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

13:10:41
2017-04-19 17:11:35 Masanori Ogino 𓀁の投稿 omasanori@mstdn.maud.io

ちなみに、営利目的での利用を制限するようなライセンスは『オープンソースの定義』にも反しています

13:10:37
2017-04-19 17:13:21 Masanori Ogino 𓀁の投稿 omasanori@mstdn.maud.io

The Open Source Initiative: オープンソースの定義(日本語) opensource.jp/osd/osd-japanese OSS界隈の人々は割と皆目を通している気もする文書だけど、マストドンを通してOSSを知り始めた人々も多いっぽいしURLを貼っておこう

13:09:22

Linus って Google+ はやってても Twitter や OStatus はやってない?

13:06:15

アッハイ

13:06:09
2017-04-20 13:04:09 unaristの投稿 unarist@mstdn.maud.io

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

13:05:31
2017-04-18 12:44:23 Haruhiko Okumuraの投稿 h_okumura@mstdn.jp

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

13:05:13
2017-04-20 13:05:13 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
13:04:29
2017-04-20 13:04:29 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
13:04:28
2017-04-20 13:04:28 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
13:03:17

アイカツの話してるんじゃなかったのか!

13:03:05
2017-04-20 13:02:15 unaristの投稿 unarist@mstdn.maud.io

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

13:01:12

OStatus なら Twitter と違って R. M. Stallman 師の notice が読める!

13:00:27
2017-04-20 12:45:51 matoken🐾の投稿 matoken@mstdn.maud.io

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

12:59:47

私も 2010 年ぐらいからしか知らない。

12:59:32
2017-04-20 12:54:49 ほたの投稿 hota@mstdn.maud.io

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

12:58:14

@omasanori たぶんアカウントの数だけでいうと二つだけじゃない

12:57:42
2017-04-20 12:57:42 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
12:55:47

> Twitter とは違って数日前の

えっ Twitter でも数日前のが RT されたりよくするよね,あれっ

12:55:09
2017-04-20 12:09:44 Opiさん@mstdn.jpの投稿 opi@mstdn.jp

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

12:40:40
2017-04-20 11:32:59 としぁの投稿 toshi_a@mastodon.cloud

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

12:40:40
2017-04-20 11:34:12 としぁの投稿 toshi_a@mastodon.cloud

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

12:40:36
2017-04-20 11:43:57 ほたの投稿 hota@mstdn.maud.io

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

12:40:35
2017-04-20 11:41:04 としぁの投稿 toshi_a@mastodon.cloud

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

12:40:34
2017-04-20 11:35:25 Masanori Ogino 𓀁の投稿 omasanori@mstdn.maud.io

ジョブスの息吹案件(著しく不謹慎)

12:40:33
2017-04-20 11:37:15 Masanori Ogino 𓀁の投稿 omasanori@mstdn.maud.io

mWWDCの説明文みたけど別に普通だった、NHKのドキュメンタリー番組紹介もこんなものでは感

11:20:22

……

11:20:14

ウッ頭が……

11:20:02

謎の衣装を送り付けられてそれで登壇する破目になるとかそんな話まったく

11:19:11

> 危険ではなかった

危険な人はいるけど危険に曝されることはないですね基本的に。

11:18:26
2017-04-20 11:16:20 Masanori Ogino 𓀁の投稿 omasanori@mstdn.maud.io

カーネル/VMは私にとって初めてのITイベントでしたけど、全然危険ではなかったですよ

11:18:25
2017-04-20 11:12:37 zgock999の投稿 zgock999@mstdn.maud.io

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

11:17:37

昨夜自由ソフトウェアの解説モードになってたのか

11:17:11
2017-04-19 22:34:30 かるばぶの投稿 babukaru@mstdn.maud.io

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

11:17:07
2017-04-19 22:29:40 かるばぶの投稿 babukaru@mstdn.maud.io

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

11:17:02
2017-04-19 22:24:44 かるばぶの投稿 babukaru@mstdn.maud.io

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

11:17:02
2017-04-19 22:23:10 かるばぶの投稿 babukaru@mstdn.maud.io

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

11:15:31
2017-04-19 22:28:15 zgock999の投稿 zgock999@mstdn.maud.io

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

11:15:19
2017-04-19 22:21:05 えじょねこの投稿 ejo090@mstdn.nere9.help

ちなみに東鳩はまだちゃんとリンクが存在するし多分送ったらとどく leaf.aquaplus.jp/product/xvid.

11:15:12
2017-04-19 22:16:04 えじょねこの投稿 ejo090@mstdn.nere9.help

GPL違反が発覚したためそこで廃盤になった悲しい結末が

11:15:11
2017-04-19 22:15:02 えじょねこの投稿 ejo090@mstdn.nere9.help

あと結構有名になったのといえばアレですよね、ICO

11:15:09
2017-04-19 22:12:12 えじょねこの投稿 ejo090@mstdn.nere9.help

東鳩あたりのソースコードが公開されたのっていつでしたっけ

11:15:07
2017-04-19 22:10:39 かるばぶの投稿 babukaru@mstdn.maud.io

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

11:14:11
2017-04-19 22:14:36 Masanori Ogino 𓀁の投稿 omasanori@mstdn.maud.io

ちなみに私のスタンスはそこまで自由ソフトウェア側ではない(自由の擁護に全霊をかけていない)という自覚があるので、ちゃんとした話は自由ソフトウェア側の方に訊いた方が良いです

11:13:48
2017-04-19 22:09:44 Masanori Ogino 𓀁の投稿 omasanori@mstdn.maud.io

自由ソフトウェアでいう「自由」は一般に利用者の自由を指しているので、ある種の提供者の自由(たとえば、ソフトウェアを難読化したバイナリのみ提供し、ソースコードを利用者に開示しない自由)は制約を受けますし、利用者が第二および第三の自由を行使するときにその利用者は提供者にもなります

11:13:45
2017-04-19 22:04:21 Masanori Ogino 𓀁の投稿 omasanori@mstdn.maud.io

利用者が提供者に対してソースコードを要求する権利をライセンスが保障するのは、自由ソフトウェアの四つの基本的な自由(特に第一の自由と第三の自由)を実現するため……という意味で関係していますね

11:10:13
2017-04-20 11:10:13 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
11:02:00
2017-04-20 10:47:38 Shin-ya Murakamiの投稿 murashin@pawoo.net

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

05:29:49

@alice にゃーん……