04:08:52 @lo48576@mastodon.cardina1.red
04:09:04 @lo48576@mastodon.cardina1.red
04:13:40 @lo48576@mastodon.cardina1.red
icon

✌✌✌( 'ω' ) 証明たのしい✌✌✌

04:51:27 @lo48576@mastodon.cardina1.red
icon

#22: De Morgan's laws in Coq
top-prover.top/problem/22

ドモルガンの法則の4パターンのひとつだけ直観主義論理で示せないことを知らなくてハズレの方でひたすら悩んでいたのはここだけの話

06:53:43 @lo48576@mastodon.cardina1.red
icon

NeruPointerException

14:38:51 @lo48576@mastodon.cardina1.red
2019-11-09 14:36:23 11番の投稿 magnesite@pawoo.net
icon

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

15:14:59 @lo48576@mastodon.cardina1.red
2019-11-09 15:09:09 宮原太聖(AMW)の投稿 TaiseiMiyahara@amemiya.work
icon

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

15:15:00 @lo48576@mastodon.cardina1.red
2019-11-09 15:13:02 :nonke:​お嬢様ずん団地妻​:homoo:の投稿 204504bySE@homoo.social
icon

@TaiseiMiyahara あの事件は優生学が今も国民の総意であることを万人に知らしめるという意味では新しい(ひどい

15:15:20 @lo48576@mastodon.cardina1.red
2019-11-09 15:09:03 :nonke:​お嬢様ずん団地妻​:homoo:の投稿 204504bySE@homoo.social
icon

聞かぬは一生の恥とはいうが、無知だと聞く必要がある可能性自体に気づけないのである…

15:15:30 @lo48576@mastodon.cardina1.red
icon

ムチムチの知なぁ

16:38:56 @lo48576@mastodon.cardina1.red
icon

3が素数だと証明できない……どうすればいいんだこれ

16:58:51 @lo48576@mastodon.cardina1.red
icon

ユウヤケホタル(夕霞之萤) 特設ページ: 同人誌・同人ゲーム・同人音声のダウンロードなら「DLsite 同人」
dlsite.com/modpub/lp/home/yuya

Web site image
全編バイノーラル百合ドラマ「ユウヤケホタル」特集ページ
18:50:49 @lo48576@mastodon.cardina1.red
icon

仮定に 1 >= 4 があるのにどの tactic を使えばいいかわからない……

21:26:24 @lo48576@mastodon.cardina1.red
icon

forall n, n <= 0 -> n = 0.
を inversion なしで証明するのが難しくてずっと悩んでたんだけど、 inversion 使ったらスッと 0 = 0 が出てきた……やべえな

22:10:25 @lo48576@mastodon.cardina1.red
icon

デジタル版「毛沢東語録」は文革時代の紙版よりも恐ろしい | 風刺画で読み解く中国の現実 | コラム | ニューズウィーク日本版 オフィシャルサイト
newsweekjapan.jp/satire_china/

ERROR: The request could not be satisfied
22:21:18 @lo48576@mastodon.cardina1.red
2019-11-09 22:20:25 rinsukiの投稿 rinsuki@mstdn.rinsuki.net
icon

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

22:21:40 @lo48576@mastodon.cardina1.red
22:27:36 @lo48576@mastodon.cardina1.red
2019-11-09 19:02:54 へるべちかの投稿 helvetica@heislandmine.work
icon

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

22:27:51 @lo48576@mastodon.cardina1.red
icon

VTuber がポンコツプレイしてるの見るとストレス溜まるタイプなので救いなんてなかった

22:28:13 @lo48576@mastodon.cardina1.red
icon

オタクは独りで証明でもしてろ

22:28:18 @lo48576@mastodon.cardina1.red
2019-11-09 22:20:53 Yavit :verified:の投稿 8vit@gs.yvt.jp
icon

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

22:28:22 @lo48576@mastodon.cardina1.red
icon

おっ

22:29:14 @lo48576@mastodon.cardina1.red
2019-11-09 22:28:53 nukosuの投稿 nukosu@pao.moe
icon

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

22:30:49 @lo48576@mastodon.cardina1.red
icon

Tracking issue for RFC 2451, "Re-Rebalancing Coherence" · Issue #55437 · rust-lang/rust
github.com/rust-lang/rust/issu

おっ

Web site image
Tracking issue for RFC 2451, "Re-Rebalancing Coherence" · Issue #55437 · rust-lang/rust
22:33:25 @lo48576@mastodon.cardina1.red
icon

プリコネオンリーいいなぁ…… DLsite で頒布されてほしいなぁ……

22:33:33 @lo48576@mastodon.cardina1.red
2019-11-09 22:26:27 くろみるの投稿 chrml@mstdn.nere9.help
icon

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

22:34:01 @lo48576@mastodon.cardina1.red
icon

金 is なし

22:34:07 @lo48576@mastodon.cardina1.red
2019-11-09 22:10:47 ぴょん銀茄子.poyoの投稿 pyn_pyn@mstdn.poyo.me
icon

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

22:34:57 @lo48576@mastodon.cardina1.red
icon

どういう意味かわからないけど mpv とかは音楽再生くらいできるのでは

22:35:21 @lo48576@mastodon.cardina1.red
icon

あと mplayer とかもできそうな気がする (試したことないので知らんけど)

22:35:51 @lo48576@mastodon.cardina1.red
icon

ターミナルで sixel とか使ってウィンドウ出さずに動画再生しろとかいう意味だったら知らない (原理的には可能だろうけど)

22:35:59 @lo48576@mastodon.cardina1.red
icon

まあ私は mpd 使ってます

22:36:41 @lo48576@mastodon.cardina1.red
icon

systemd で service として user session でデーモン化して、 i3wm から mpd にコマンド送れるようキーバインドを設定している

22:46:16 @lo48576@mastodon.cardina1.red
icon

@hadsn せめて ANSI の16色は使わせてほしい……

22:49:27 @lo48576@mastodon.cardina1.red
2019-11-09 22:46:50 もちゃ(あと-16.43Kg)の投稿 mot@mastodon.motcha.tech
icon

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

22:49:53 @lo48576@mastodon.cardina1.red
icon

でもそういうのある程度知らないと「最近の若者は凶悪犯罪が云々……」みたいなクソみたいな言説が発生したとき反論できないわけで

22:50:29 @lo48576@mastodon.cardina1.red
icon

事実に反する言説への反論生成、自動化されてほしいが

23:07:31 @lo48576@mastodon.cardina1.red
2019-11-09 23:04:09 雪餅の投稿 YUKIMOCHI@toot.yukimochi.jp
icon

Caddy 2 の Quick Start やばいでしょ。 Apache, Nginx とかより玄人向け感あるよ。

Attach image
23:07:35 @lo48576@mastodon.cardina1.red
2019-11-09 23:06:35 雪餅の投稿 YUKIMOCHI@toot.yukimochi.jp
icon

POST リクエストなら Windows でも簡単に Graceful restart できるとかいう発想かい???

23:09:16 @lo48576@mastodon.cardina1.red
2019-11-09 23:07:46 白坂/pepepperの投稿 reiden@mstdn.maud.io
icon

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

23:09:18 @lo48576@mastodon.cardina1.red
2019-11-09 23:08:23 白坂/pepepperの投稿 reiden@mstdn.maud.io
icon

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

23:09:43 @lo48576@mastodon.cardina1.red
icon

mstdn.maud.io/@reiden/10310834
mstdn.maud.io/@reiden/10310834

C++11 未満は C++ じゃねーから!!!!もう2019年だぞ!!!!

Web site image
白坂/pepepper (@reiden@mstdn.maud.io)
Web site image
白坂/pepepper (@reiden@mstdn.maud.io)
23:12:00 @lo48576@mastodon.cardina1.red
icon

真面目な話、 C++11 未満ってつまり C++03 までのことなんだけど、このご時世に C++03 を「C++」と呼ぶの、 Windows XP (2001年リリース) を指して「WIndows」と呼ぶようなもんやで

23:51:13 @lo48576@mastodon.cardina1.red
2019-11-09 23:42:48 TGMのサントラ販売中の投稿 Common_Lisper@mstdn.maud.io
icon

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