2019-11-9
same day in other years
이전년
다음년
04:08:52
notestock 공개 페이지 링크
icon
04:09:04
notestock 공개 페이지 링크
icon
04:13:40
notestock 공개 페이지 링크
icon

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

04:51:27
notestock 공개 페이지 링크
icon

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

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

https://top-prover.top/problem/22 https://top-prover.top/login
TopProver
06:53:43
notestock 공개 페이지 링크
icon

NeruPointerException

14:38:51
notestock 공개 페이지 링크
2019-11-09 14:36:23 11番님의 게시물 magnesite@pawoo.net
icon

This account is not set to public on notestock.

15:14:59
notestock 공개 페이지 링크
2019-11-09 15:09:09 宮原太聖（AMW）님의 게시물 TaiseiMiyahara@amemiya.work
icon

This account is not set to public on notestock.

15:15:00
notestock 공개 페이지 링크
2019-11-09 15:13:02 :nonke:​​団地妻10円ｾｰﾙ​:homoo:님의 게시물 204504bySE@homoo.social
icon

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

15:15:20
notestock 공개 페이지 링크
2019-11-09 15:09:03 :nonke:​​団地妻10円ｾｰﾙ​:homoo:님의 게시물 204504bySE@homoo.social
icon

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

15:15:30
notestock 공개 페이지 링크
icon

ムチムチの知なぁ

16:38:56
notestock 공개 페이지 링크
icon

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

16:58:51
notestock 공개 페이지 링크
icon

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

Web site image
https://www.dlsite.com/modpub/lp/home/yuyakehotaru/
全編バイノーラル百合ドラマ「ユウヤケホタル」特集ページ
18:50:49
notestock 공개 페이지 링크
icon

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

21:26:24
notestock 공개 페이지 링크
icon

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

22:10:25
notestock 공개 페이지 링크
icon

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

https://www.newsweekjapan.jp/satire_china/2019/11/post-22.php
ERROR: The request could not be satisfied
22:21:18
notestock 공개 페이지 링크
2019-11-09 22:20:25 rinsuki님의 게시물 rinsuki@mstdn.rinsuki.net
icon

現在の心境です

Attach image
22:21:40
notestock 공개 페이지 링크
icon
22:27:36
notestock 공개 페이지 링크
2019-11-09 19:02:54 へるべちか님의 게시물 helvetica@heislandmine.work
icon

This account is not set to public on notestock.

22:27:51
notestock 공개 페이지 링크
icon

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

22:28:13
notestock 공개 페이지 링크
icon

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

22:28:18
notestock 공개 페이지 링크
2019-11-09 22:20:53 8vit님의 게시물 8vit@gs.yvt.jp

This account is not set to public on notestock.

22:28:22
notestock 공개 페이지 링크
icon

おっ

22:29:14
notestock 공개 페이지 링크
2019-11-09 22:28:53 nukosu님의 게시물 nukosu@pao.moe
icon

This account is not set to public on notestock.

22:30:49
notestock 공개 페이지 링크
icon

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

おっ

Web site image
https://github.com/rust-lang/rust/issues/55437#issuecomment-552090406
Tracking issue for RFC 2451, "Re-Rebalancing Coherence" · Issue #55437 · rust-lang/rust
22:33:25
notestock 공개 페이지 링크
icon

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

22:33:33
notestock 공개 페이지 링크
2019-11-09 22:26:27 くろみる님의 게시물 chrml@mstdn.nere9.help
icon

This account is not set to public on notestock.

22:34:01
notestock 공개 페이지 링크
icon

金 is なし

22:34:07
notestock 공개 페이지 링크
2019-11-09 22:10:47 ぴょん銀茄子.poyo님의 게시물 pyn_pyn@mstdn.poyo.me
icon

This account is not set to public on notestock.

22:34:57
notestock 공개 페이지 링크
icon

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

22:35:21
notestock 공개 페이지 링크
icon

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

22:35:51
notestock 공개 페이지 링크
icon

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

22:35:59
notestock 공개 페이지 링크
icon

まあ私は mpd 使ってます

22:36:41
notestock 공개 페이지 링크
icon

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

22:46:16
notestock 공개 페이지 링크
icon

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

22:49:27
notestock 공개 페이지 링크
2019-11-09 22:46:50 もちゃ(あと-13.60Kg)님의 게시물 mot@mastodon.motcha.tech
icon

This account is not set to public on notestock.

22:49:53
notestock 공개 페이지 링크
icon

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

22:50:29
notestock 공개 페이지 링크
icon

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

23:07:31
notestock 공개 페이지 링크
2019-11-09 23:04:09 雪餅님의 게시물 YUKIMOCHI@toot.yukimochi.jp
icon

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

Attach image
23:07:35
notestock 공개 페이지 링크
2019-11-09 23:06:35 雪餅님의 게시물 YUKIMOCHI@toot.yukimochi.jp
icon

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

23:09:16
notestock 공개 페이지 링크
2019-11-09 23:07:46 白坂/pepepper님의 게시물 reiden@mstdn.maud.io
icon

This account is not set to public on notestock.

23:09:18
notestock 공개 페이지 링크
2019-11-09 23:08:23 白坂/pepepper님의 게시물 reiden@mstdn.maud.io
icon

This account is not set to public on notestock.

23:09:43
notestock 공개 페이지 링크
icon

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

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

Web site image
https://mstdn.maud.io/@reiden/103108343648277144
白坂/pepepper (@reiden@mstdn.maud.io)
Web site image
https://mstdn.maud.io/@reiden/103108346113295667
白坂/pepepper (@reiden@mstdn.maud.io)
23:12:00
notestock 공개 페이지 링크
icon

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

23:51:13
notestock 공개 페이지 링크
2019-11-09 23:42:48 はいりふおじさん（LIFT650）님의 게시물 Common_Lisper@mstdn.maud.io
icon

This account is not set to public on notestock.

2019-11-9