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

設定画面で登録したら登録されたけどオーバーレイというやつが働いていない気がするぞ……?

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

クイックランチャーにも登録されないし……

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

Discordの使い方がわからんになってる

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

Steamの使い方もわからん

00:07:23 @omasanori@mstdn.maud.io
2018-08-26 00:07:13 sksatの投稿 sksat@mstdn.maud.io
icon

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

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

黄色い本といえば丸善なんだよな(?)

00:08:19 @omasanori@mstdn.maud.io
icon

『数値計算の常識』は共立出版だけど

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

『ハードナッツ!~数学girlの恋する事件簿~』で本棚が見事に黄色かったのすき

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

ドラマの内容はまあそうねという感じ

00:10:17 @omasanori@mstdn.maud.io
2018-08-26 00:09:31 itmz153の投稿 mino2357@mstdn.maud.io
icon

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

00:11:57 @omasanori@mstdn.maud.io
2018-08-26 00:10:04 ぜるめふの投稿 xelm@mstdn.jp
icon

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

00:12:06 @omasanori@mstdn.maud.io
2018-08-26 00:11:29 4/22から新新生活1.00の投稿 4pk@social.mikutter.hachune.net
icon

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

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

Springerは青~緑系の本(コンピューターサイエンス系はそういう傾向がある)しか読んでないからそのイメージが強かったけれど確かに数学は黄色いですね

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

SpringerやElsevierは高いから自腹ではあんまり買ってないマンだよ

00:16:37 @omasanori@mstdn.maud.io
2018-08-26 00:08:55 itmz153の投稿 mino2357@mstdn.maud.io
icon

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

00:17:05 @omasanori@mstdn.maud.io
2018-08-26 00:15:55 ぜるめふの投稿 xelm@mstdn.jp
icon

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

00:17:12 @omasanori@mstdn.maud.io
icon

確かに

00:17:44 @omasanori@mstdn.maud.io
icon

『圏論の基礎』読んでなくて申し訳ない

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

△読めない
○そもそも読んでない

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

CCCとλ-calculusをふわーっとやって通り過ぎたマンなのでちゃんとやらんとなという後ろめたさがある

00:20:19 @omasanori@mstdn.maud.io
2018-08-26 00:19:34 ぜるめふの投稿 xelm@mstdn.jp
icon

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

00:20:41 @omasanori@mstdn.maud.io
2018-08-26 00:17:45 進捗出していきましょうの投稿 Kory3@mstdn.jp
icon

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

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

"Categories for the Working Mathematician"はそもそも自分が読める本だと思っていない

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

†真の数学†を修めていないという引け目を感じて生きてきて、これからも生きていくというつらい気持ち

00:27:12 @omasanori@mstdn.maud.io
icon

理学部、B3になる頃には相対論の講義を受けてよくわからんけど演習問題は解けるみたいな感じなのでつよいなーになる

00:32:19 @omasanori@mstdn.maud.io
icon

理学部M1の方「ゲージ理論は(相対論・量子論・高エネで)一番成功してる理論といっても過言ではないのでは」
私「ほー(まったくわかってない)」

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

古典電磁気学から量子電磁力学への変遷もわかってないし、それ以前に古典電磁気学もわかってないしなにをやってもだめ

00:36:43 @omasanori@mstdn.maud.io
icon

8歳で微積分理解者と化した(と言い伝えられている)巨人の肩の上で暮らしている

00:40:04 @omasanori@mstdn.maud.io
2018-08-26 00:39:49 Izumi Tsutsuiの投稿 tsutsuii@social.mikutter.hachune.net
icon

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

00:41:47 @omasanori@mstdn.maud.io
icon

人生はしばしば負けてもそのまま続くからね(例:omasanori)

00:48:23 @omasanori@mstdn.maud.io
2018-08-26 00:39:16 やぴの投稿 yaplus@mstdn.maud.io
icon

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

00:48:44 @omasanori@mstdn.maud.io
2018-08-24 21:07:48 やぴの投稿 yaplus@mstdn.maud.io
icon

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

00:49:59 @omasanori@mstdn.maud.io
2018-08-26 00:49:44 あじょだよの投稿 azyobuzin@mstdn.maud.io
icon

学生気分情報

Attach image
00:51:09 @omasanori@mstdn.maud.io
2018-08-26 00:50:59 千矢の投稿 karno@mstdn.maud.io
icon

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

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

寝るときは情報端末を手の届かない場所に置くといいと言われている

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

What is the soundness of ecchigame?

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

健全 (sound)

01:27:53 @omasanori@mstdn.maud.io
2018-08-26 01:26:22 あじょだよの投稿 azyobuzin@mstdn.maud.io
icon

オタク、おいしいラーメンをちょうど良い量食べるという基本的なことができない

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

オタクではないので激しくないラーメン屋さんで激しくないトッピングと激しくない替え玉回数をキープできる

01:29:29 @omasanori@mstdn.maud.io
2018-08-26 01:29:23 進捗出していきましょうの投稿 Kory3@mstdn.jp
icon

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

01:29:35 @omasanori@mstdn.maud.io
icon

コントリビューションチャンスだ

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

激しいラーメンを食べるには歳をとりすぎた

01:33:13 @omasanori@mstdn.maud.io
2018-08-26 01:33:02 ワトソンの投稿 wtsnjp@mstdn.jp
icon

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

01:45:20 @omasanori@mstdn.maud.io
2018-08-26 01:44:45 解凍の投稿 hina@mstdn.maud.io
icon

貫通しすぎでしょ

Attach image
01:46:31 @omasanori@mstdn.maud.io
2018-08-26 01:44:34 進捗出していきましょうの投稿 Kory3@mstdn.jp
icon

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

01:46:41 @omasanori@mstdn.maud.io
2018-08-26 01:45:24 進捗出していきましょうの投稿 Kory3@mstdn.jp
icon

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

01:46:53 @omasanori@mstdn.maud.io
2018-08-26 01:46:21 進捗出していきましょうの投稿 Kory3@mstdn.jp
icon

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

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

「SRFI-22のmain手続きの引数」と「(scheme process-context)のcommand-line手続きの返り値」がGaucheでは同じになるがChibiでは異なる件、どちらの挙動も分かるといえば分かるしR7RS-smallにもSRFI-22にもお互いの相互関係に関する規定は(当然)ないので難しいところ(Twitterで既に言及した話)

Attach image
02:45:24 @omasanori@mstdn.maud.io
icon

とりあえずSagittariusの挙動を調べるか(第三の挙動が出てきてつらくなるパターン)

02:49:00 @omasanori@mstdn.maud.io
icon

SRFI、またベクタ型やってる(少し前は文字列型ばかりやっていた(R7RS-largeに向けたやっていきなので気持ちは分かる))

02:58:23 @omasanori@mstdn.maud.io
ベクタ型・配列型SRFIの歴史
icon

SRFI 4: Homogeneous numeric vector datatypes (1999)
SRFI 25: Multi-dimensional Array Primitives (2002)
SRFI 43: Vector library (2004)
SRFI 47: Array (2004)
SRFI 58: Array Notation (2005)
SRFI 63: Homogeneous and Heterogeneous Arrays (2005)
SRFI 122: Nonempty Intervals and Generalized Arrays (2016)
SRFI 133: Vector Library (R7RS-compatible) (2016)
SRFI 160: Homogeneous numeric vector libraries (2018, draft)

03:00:36 @omasanori@mstdn.maud.io
icon

アイマスのCD、ひとつのシリーズに絞っても膨大な量があるので無限の財力がない限りキャラや曲で適当に選ぶと良さそう

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

それでもひとつのシリーズをコンプリートしたいんだという場合はシャイニーカラーズが一番若いシリーズなのでコンプリート難易度が低い

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

SagittariusはGaucheと同じ挙動か

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

SRFI 22 vs. (command-line) in (scheme process-context) · Issue #484 · ashinn/chibi-scheme github.com/ashinn/chibi-scheme

Chibiにissueを立てた(が、調査中にこの現象の責任はかなりの割合で私にあることが判明してア)

Web site image
SRFI 22 vs. (command-line) in (scheme process-context) · Issue #484 · ashinn/chibi-scheme
04:41:34 @omasanori@mstdn.maud.io
icon

cowan / r7rs — Bitbucket bitbucket.org/cowan/r7rs

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

cowan / r7rs-wg1-infra — Bitbucket bitbucket.org/cowan/r7rs-wg1-i

04:56:07 @omasanori@mstdn.maud.io
icon

いせにほの直近数話、翠君の言語学習パートがないのだけれど、ネイティブスピーカー同士の会話でサラッと流される翠君未学習語彙があるので実質的に読者の自習パートになっている

04:59:04 @omasanori@mstdn.maud.io
2018-08-26 04:58:38 かるばぶの投稿 babukaru@mstdn.maud.io
icon

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

05:00:14 @omasanori@mstdn.maud.io
icon

emerge -u dev-python/certifi dev-python/setuptools ?

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

多分USEフラグかなんかの状態が一致してないとかで混乱してるんじゃないかな感がある

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

よくわからないなと思ったときはconflictの登場人物だけを集めてemergeしてみると原因がわかったり、あるいはemergeが「自己解決しました」とばかりに何食わぬ顔でアップグレード始めたりするよ

05:04:01 @omasanori@mstdn.maud.io
2018-08-26 05:02:30 かるばぶの投稿 babukaru@mstdn.maud.io
icon

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

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

あー、-1uにすべきだったか(まあ重大な問題は起きないと思うけれど)

05:04:42 @omasanori@mstdn.maud.io
icon

worldファイルを手で書き換えてもいいけれど

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

あるいはなおたさんが書いたつよいラッパースクリプトを使う(私は使ったことないけど聞いた話ではつよい)

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

naota/emerge-wrapper github.com/naota/emerge-wrappe なおたさんが書いたつよいラッパースクリプト

Web site image
GitHub - naota/emerge-wrapper
05:11:50 @omasanori@mstdn.maud.io
icon

まあ長くはないので読めばわかる(?)

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

ラッパースクリプトの説明、どうもブログに詳しく書いてない気もする

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

Twitterで以前説明してて、それによるとさっき私が書いたように衝突したら対象パッケージを明示的に書くことでそれらがうまくいくバージョンの組み合わせを優先的に探査させる方針だったような記憶がある

05:20:55 @omasanori@mstdn.maud.io
icon

うろ覚えなんですが、eixで出るのは今の状態じゃなくてインストール時の状態じゃないですかね

05:21:45 @omasanori@mstdn.maud.io
icon

なので、例えばデフォルトのPYTHON_TARGETSがsyncで更新されるとそうなる

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

まあデフォルトのじゃなくても自分で設定を変えた場合を想定してもいいんですが(要は、フラグが変わったけれどまだemergeしてない状態)

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

まあでもこの期にPython 2レスな環境を目指してみてもいいのでは(使いたいアプリケーションがPython 3に移植されてなくて諦めるやつ(よくある(ア)))

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

USEフラグ類の設定を変えたら直後にうどんワールドしようね(直後にやらないと忘れる)

05:28:21 @omasanori@mstdn.maud.io
icon

PYTHON_TARGETS、強い理由がない限り自分で設定しないでおくと皆がバージョンを上げる頃に上がるというのはある

05:28:45 @omasanori@mstdn.maud.io
icon

私は設定するけれど

05:30:28 @omasanori@mstdn.maud.io
icon

Pythonはemergeが依存しているのでやらかすと無になるから設定しないこともあるけれどRubyはとっとと上げたいのでクリスマスが過ぎると設定を変えてebuildが降ってくるのを待つ日々になっていた

05:30:56 @omasanori@mstdn.maud.io
2018-08-26 05:28:47 かるばぶの投稿 babukaru@mstdn.maud.io
icon

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

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

--with-bdeps ?

05:52:08 @omasanori@mstdn.maud.io
icon

-uDNでは--with-bdepsの有無で挙動が変わる場合があります

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

私としてはpackage.useにPYTHON_TARGETSがあると後々ハマるから避けたい気持ちがある

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

#173 神は「自存」という意味である - 異世界転生したけど日本語が通じなかった(Fafs F. Sashimi) - カクヨム kakuyomu.jp/works/117735405488

Web site image
#173 神は「自存」という意味である - 異世界転生したけど日本語が通じなかった(Fafs F. Sashimi) - カクヨム
18:28:21 @omasanori@mstdn.maud.io
2018-08-26 12:50:08 ふじそばの投稿 fuji_soba@pawoo.net
icon

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

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

イェスカとユミリア、多分手にした「権限」は似ているけれどそこから得た結論は違うんだな

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

いせにほで人々がバグったときに出力するのがタミル語か日本語なのとインド先輩が関係しているとすると、インド先輩は何者なんだというのはある

20:30:16 @omasanori@mstdn.maud.io
icon
緊急メンテナンスによる大学サイトへのアクセス不可について | 早稲田大学ITサービスナビ
20:36:56 @omasanori@mstdn.maud.io
2018-08-26 20:36:04 himanoaの投稿 himanoa@mstdn.maud.io
icon

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

20:36:59 @omasanori@mstdn.maud.io
2018-08-26 20:36:42 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

ESnextもなんかあれなのでESlatestとかESstableみたいな呼び名がほしい

20:37:27 @omasanori@mstdn.maud.io
icon

単にECMAScriptまたはESと書けばいいのではという気持ち

20:41:08 @omasanori@mstdn.maud.io
2018-08-26 20:39:30 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

ESが一般名詞化しすぎてESだけだとES5をESだと言い張られそうで怖い()

20:42:39 @omasanori@mstdn.maud.io
icon

それは一般名詞化云々とは関係なくて、C言語といったときに2011年版のそれではなく1990年版を前提に話す人々と同じこと

20:43:40 @omasanori@mstdn.maud.io
icon

「TypeScriptをESと呼ぶ人がいる」とかは一般名詞化といえる

20:44:27 @omasanori@mstdn.maud.io
2018-08-26 20:44:15 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

そういえばC89とC90とANSI Cってどれが間違いでどれが違うんだっけ

20:46:24 @omasanori@mstdn.maud.io
icon

どれも間違いではない、C89はANSI X3.159-1989、C90はISO/IEC 9899:1990を指す。C90はC89の書式をISO規格に合わせただけなので技術的には同一

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

ANSI Cといったときには通常C89を指すが、JISでC言語規格の日本語版を買えるのと同じようにANSI(今は情報分野がINCITSという別団体に移管されたけれど……)からC90も買えた

20:49:58 @omasanori@mstdn.maud.io
2018-08-26 20:48:09 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
icon

JIS X 3010:1993

20:50:31 @omasanori@mstdn.maud.io
icon

JIS CとJISCは意味が違うぞ!(?)

20:51:52 @omasanori@mstdn.maud.io
icon

JIS CはJISのC言語(ISO Cの翻訳版)、JISCはJIS規格をメンテナンスしている団体(Japanese Industrial Standards Committee、日本工業標準調査会)

20:53:07 @omasanori@mstdn.maud.io
icon

HTMLも時期によって指すものが違うし……

20:54:08 @omasanori@mstdn.maud.io
icon

時期によって指すものが違うものを最新の定義で使い続けて人々のケツを叩いていこうな!(過激派)

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

信頼を失った

20:55:37 @omasanori@mstdn.maud.io
icon

というわけでC言語といったらふつーは2011年版を指す社会的なコンセンサスがあるわけですが(衆人に訴える論証)

20:56:56 @omasanori@mstdn.maud.io
icon

mstdn.jpがカドカワの管理下にあるマジ?(???)

20:57:33 @omasanori@mstdn.maud.io
2018-08-26 20:56:41 ヒポポタマスジの投稿 Otakyuline@mstdn.maud.io
icon

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

20:57:47 @omasanori@mstdn.maud.io
icon

コンセンサス洗った?

20:58:07 @omasanori@mstdn.maud.io
2018-08-26 20:58:02 自鯖の丼復活しましたの投稿 jnsk@mstdn.maud.io
icon

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

20:58:54 @omasanori@mstdn.maud.io
icon

インターネットの水を水洗いさせようとしてくる人々すき

21:07:53 @omasanori@mstdn.maud.io
2018-08-26 21:00:32 自鯖の丼復活しましたの投稿 jnsk@mstdn.maud.io
icon

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

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

私 た ち が 定 義 し ま し た

21:10:22 @omasanori@mstdn.maud.io
2018-08-26 21:09:11 フサギコの投稿 fusagiko@imastodon.net
icon

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

21:10:23 @omasanori@mstdn.maud.io
2018-08-26 21:09:48 フサギコの投稿 fusagiko@imastodon.net
icon

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

21:10:28 @omasanori@mstdn.maud.io
2018-08-26 21:10:08 フサギコの投稿 fusagiko@imastodon.net
icon

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

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

メガネじゃない話、どこかで読んだ記憶がある( で関連記事を読んだのかな)

21:12:00 @omasanori@mstdn.maud.io
2018-08-26 21:11:40 千矢の投稿 karno@mstdn.maud.io
icon

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

21:14:32 @omasanori@mstdn.maud.io
icon

ブルバキの集合写真(みんな笑顔)の下に「私たちが記述しました」って書かれてほしすぎる

21:14:45 @omasanori@mstdn.maud.io
2018-08-26 21:12:32 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

SELinux、そんなホイホイと有効にしていいものだっけ?

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

SELinuxはホイホイと無効化してはいけないものなんだよなぁ

21:16:32 @omasanori@mstdn.maud.io
2018-08-26 21:16:15 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

文脈は「Archの4.18.5でSELinuxがコンフィグで有効になった」なので

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

「フフ……へただなあ、カイジくん。へたっぴさ.……!欲望の解放のさせ方がへた……。カイジくんが本当に欲しいのは…SELinux(こっち)……これをenforcingして……ポリシーを書いてさ......exploitを抑止(や)りたい……!だろ…?フフ…。だけど……それはあまりに値が張るから…こっちの……SELINUX=disabledでごまかそうって言うんだ……。カイジくん、ダメなんだよ……!そういうのが実にダメ……!」

21:22:56 @omasanori@mstdn.maud.io
2018-08-26 21:17:38 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

Arch LinuxはSExとかsubuidとかがlinux-hardenedで提供されてたはずなので、それが統合されたんだろうか

21:23:04 @omasanori@mstdn.maud.io
2018-08-26 21:19:26 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

SELinux、敬遠される理由「ポリシーがめんどくさい」じゃなくて「バイナリに互換性がない」でしょ

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

それはそう

21:23:26 @omasanori@mstdn.maud.io
2018-08-26 21:21:55 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

Archが3.14で一旦オフにしてまたオンにしたというならまあ付き合うべきなんだろうなあとはそれはそう

21:25:41 @omasanori@mstdn.maud.io
icon

Gentoo Linuxをインストールするじゃろ?SELinuxしたくなるじゃろ?

リ ビ ル ド と ラ ベ リ ン グ

21:27:09 @omasanori@mstdn.maud.io
icon

いうてまあシステムが健全かどうか見るためにたまにemerge -e worldする民なのでSELinuxのために1度システムのいくらかをリビルドするのはそこまで気にしてないというのはある

23:40:33 @omasanori@mstdn.maud.io
23:43:36 @omasanori@mstdn.maud.io
icon

ひなビタ♪オタクではないからひなビタ♪オタク感が出てないのは当たり前なんだよなぁ

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

仲良し姉妹はキスしないデショ!!!!

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

やましい関係ではない、アッハイ

23:46:55 @omasanori@mstdn.maud.io
2018-08-26 23:46:01 かるばぶの投稿 babukaru@mstdn.maud.io
icon

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

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

スマートドールよくわかってない

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

キスの続きとは一体何なのか……?