https://top-prover.top/submission/1000
sumbission #1000 いただきました
Posting らりお・ザ・何らかの🈗然㊌ソムリエ(@lo48576@mastodon.cardina1.red)
https://top-prover.top/submission/1000
sumbission #1000 いただきました
✌✌✌( 'ω' ) 証明たのしい✌✌✌
#22: De Morgan's laws in Coq
https://top-prover.top/problem/22
ドモルガンの法則の4パターンのひとつだけ直観主義論理で示せないことを知らなくてハズレの方でひたすら悩んでいたのはここだけの話
#直観主義論理は直観的
NeruPointerException
This account is not set to public on notestock.
This account is not set to public on notestock.
@TaiseiMiyahara あの事件は優生学が今も国民の総意であることを万人に知らしめるという意味では新しい(ひどい
聞かぬは一生の恥とはいうが、無知だと聞く必要がある可能性自体に気づけないのである…
3が素数だと証明できない……どうすればいいんだこれ
ユウヤケホタル(夕霞之萤) 特設ページ: 同人誌・同人ゲーム・同人音声のダウンロードなら「DLsite 同人」
https://www.dlsite.com/modpub/lp/home/yuyakehotaru/
仮定に 1 >= 4 があるのにどの tactic を使えばいいかわからない……
forall n, n <= 0 -> n = 0.
を inversion なしで証明するのが難しくてずっと悩んでたんだけど、 inversion 使ったらｽｯと 0 = 0 が出てきた……やべえな
デジタル版「毛沢東語録」は文革時代の紙版よりも恐ろしい | 風刺画で読み解く中国の現実 | コラム | ニューズウィーク日本版 オフィシャルサイト
https://www.newsweekjapan.jp/satire_china/2019/11/post-22.php
This account is not set to public on notestock.
VTuber がポンコツプレイしてるの見るとストレス溜まるタイプなので救いなんてなかった
This account is not set to public on notestock.
This account is not set to public on notestock.
Tracking issue for RFC 2451, "Re-Rebalancing Coherence" · Issue #55437 · rust-lang/rust
https://github.com/rust-lang/rust/issues/55437#issuecomment-552090406
おっ
プリコネオンリーいいなぁ…… DLsite で頒布されてほしいなぁ……
This account is not set to public on notestock.
This account is not set to public on notestock.
どういう意味かわからないけど mpv とかは音楽再生くらいできるのでは
あと mplayer とかもできそうな気がする (試したことないので知らんけど)
ターミナルで sixel とか使ってウィンドウ出さずに動画再生しろとかいう意味だったら知らない (原理的には可能だろうけど)
systemd で service として user session でデーモン化して、 i3wm から mpd にコマンド送れるようキーバインドを設定している
@hadsn せめて ANSI の16色は使わせてほしい……
This account is not set to public on notestock.
でもそういうのある程度知らないと「最近の若者は凶悪犯罪が云々……」みたいなクソみたいな言説が発生したとき反論できないわけで
事実に反する言説への反論生成、自動化されてほしいが
Caddy 2 の Quick Start やばいでしょ。 Apache, Nginx とかより玄人向け感あるよ。
POST リクエストなら Windows でも簡単に Graceful restart できるとかいう発想かい？？？
This account is not set to public on notestock.
This account is not set to public on notestock.
https://mstdn.maud.io/@reiden/103108343648277144
https://mstdn.maud.io/@reiden/103108346113295667
C++11 未満は C++ じゃねーから！！！！もう2019年だぞ！！！！
真面目な話、 C++11 未満ってつまり C++03 までのことなんだけど、このご時世に C++03 を「C++」と呼ぶの、 Windows XP (2001年リリース) を指して「WIndows」と呼ぶようなもんやで
This account is not set to public on notestock.
