進捗出していきましょう Kory3@mstdn.jp

割と「実はこれ問題があるんです」という方に持っていってZFC的に再定義する流れ好き

進捗出していきましょう Kory3@mstdn.jp

これと数週間戦ってきたので無制限内包と置換公理を暗黙に使うやつは身を構えるようになっているのです

進捗出していきましょう Kory3@mstdn.jp

A∪B = { x | x ∈ A ∨ x ∈ Y }、無制限内包なのでZFCでは定義として書けなさそう(証明することはできそう)

五十嵐響子(JC13) hina@mstdn.maud.io

貫通しすぎでしょ

ワトソン wtsnjp@mstdn.jp

最近新しく TeX Live に入った ctanbib コマンド $ ctanbib <package> で CTAN に収録されている <package> の BibTeX エントリを出力してくれるやつなのだけど，TUGboat 原稿を書くのに結構便利かもしれない（需要がニッチ過ぎる） #TeX #texlive #ctanbib

ほた hota

思い出す回

サーバのディスクサイズを拡張しました | 茜の鯖缶日誌 - https://diary.akane.blue/2018/01/16/server-disk-resized/

ほた hota

寝てる間にインスタンスがディスクフルになった話

八坂りさ risa@social.arnip.org

本来は鯖缶業するなら24h やりなさいって話ではあるんだけど、わがまま言うと一晩寝てる間くらいに鯖が吹き飛んでたっていうことは構造上起きないようになってると嬉しいといえば嬉しいわね。

Yoheiづほ Yohei_Zuho@mstdn.y-zu.org

およそ12万のフォローインポートがされたため、いったん新規登録の受付を閉鎖しました。
周りのサーバーの皆さんに影響はないとみられますが、当該ユーザーがどのような行動に出るか予想が付きません。
リソースの負担的にもここからいつサーバーが落ちてもおかしくないです。
これから対処に当たりますが、ご迷惑をおかけすることがありますことをご了承ください。
もし、現時点でmstdn.y-zu.orgに関してエラーが出ている場合はお申し出ください。
幣インスタンスがご迷惑をおかけし、申し訳ございません。

Niceratus Kiotensis ncrt035@gnosia.info

CiNii Books APIを使って洋書の翻訳の有無を調べる何か
https://github.com/ncrt035/CiNiiBooksAPI

ぼたもち botamochi5522@mastodon.xyz

つらい

ラプラスの悪魔 orumin

575 おじさんです……

たぬ Raccoon_Dog_Ask@pawoo.net

パルシェン。

あの笑顔を簡単に張り付かせるのは楽だけどそれじゃつまんねーってことでガスマスク化

ふぁぼん fabon@mathtod.online

LuaLaTeX で fontspec する件について - マクロツイーター (id:zrbabbler / @zr_tex8r) http://d.hatena.ne.jp/zrbabbler/20110205/1296926072
ウダレーニエの位置がおかしくて代替フォント探していたのですが、この記事でDoulosSILを見つけて大勝利した https://mathtod.online/media/t5PdY7S1sYO7yEcqLOU

るじゃ Lugendre

WriterTを使うなStateTを使うなExceptTを使うなReaderTを使えという話
https://www.fpcomplete.com/blog/2017/06/readert-design-pattern

アキバBlog akibablog@pawoo.net

ブキミの谷のロボ子さん２巻　「引きこもり青年×美少女アンドロイドの同居生活」 : アキバBlog
http://blog.livedoor.jp/geek/archives/51571067.html