そういえば「カルロスgone」って言い忘れたな #適当

Shared build+target dependency crates conflate features · Issue #4361 · rust-lang/cargo · GitHub
https://github.com/rust-lang/cargo/issues/4361

京大の学園祭テーマは「（当局により撤去されました）」：朝日新聞デジタル
https://www.asahi.com/sp/articles/ASLCP4V2JLCPPLZB017.html

・マクロのない言語で事あるごとに strong typedef 的に型を定義しまくるのは全く ergonomic でない
・ｼﾞｬｯｳﾞｧの型システムがそもそも素敵でない

などの問題がある (個人の感想)

「間違った処理を書くのが難しい」と「正しい処理を書くのが簡単」は両立させてほしいわけで、「間違った処理を書けないが、正しい処理も書くのが大変」では単に安全かつ使いづらい言語なのである

証明つき言語が安全だからといってそこら中で使われているわけでもないのも、そういう要因はあると思う (計算能力の違いはさておいて)

「正しい処理が書きやすく、間違った処理も書きやすい」ような動的言語が広く使われている現状から考えても、「正しい処理が書きやすい」の追求をやめたら簡単に見捨てられてしまいそう

@tacumi そうですね、 null になりえないものに null を代入できない、 null になりうるものの扱いでは必ずチェックが入る、というのも間違った処理を書きづらくする方法のひとつだと思います

Rust だと型チェック以外でも(正確にはそれに伴って)、「不正なメモリ領域にアクセスするのが難しい」とか「競合を起こすのが難しい」とかいろいろな機構があって、 Rust が謳う safety はその辺りも指している

@tacumi 結局 null チェックが強制されたとしても毎度 if が必要になると面倒なだけの言語になってしまうので、「正しい処理が書きやすい」というのもセットで欲しいんですよね

まあ Rust もグラフの扱いとか面倒だったりするし依存型も今のところないけど、全体的には書きやすさと書きづらさのバランスがよくとれているのではと思います

This account is not set to public on notestock.

This account is not set to public on notestock.

植物しか摂取しない主義の人々、まあ好きにすればいいのではと思うし、というか私に害がなければ誰が何をしようと知らん

ただ、動物を傷付けるのが駄目で植物はいいのか、脳がない生物を虐げることを許容する価値観だと自覚できるのか、云々のようなエッジケースには興味があるし、そこに一貫性のある話を聞いてみたい気はする

あと、人間が生きるために動物を虐めるのが駄目なら、人類が存続するために人間を本人の許可なく生産して苦痛を与えるのも当然駄目だろうし、菜食主義の人々が反出生主義にどういった反応を示すのかには興味がある

内容への賛否はさておき人間の主義主張を聞いてみたいと思うことはあるんだけど、そういうとき妙な書籍やらﾂｲｯﾃｰを参照してもまともな理屈を得られる場面は少ないので、難しい

まあ見世物としては“論破”されて喚いてる人のほうが面白いんだろうけど、私が見たいのはそういう類のお笑いコンテンツではないので……

だいたい“論破”とか自分で言っちゃう人って自分のアホさに気付いてないので、ツッコミ不在のどつき漫才になる(しかも面白くない)

This account is not set to public on notestock.

eRONDOオフィシャルショップ
http://e-rondo.browse.jp/shop/index.php

おまえまだ HTTP なのか！
住所も入力するしログインとかもできるえっちグッズ通販サイトなのにまだ HTTPS 非対応なのかーーー！！！！！！

ノクターンも pixiv もニジエも HTTPS 対応してる、 DLsite も今度完全な HTTPS 対応が予定されている

HTTPS 対応してないのはお前だけ

いやお前だけかは知らんけど(適当)

https://twitter.com/susie_now/status/1065492980071452673

認識はされているらしいので待ちます(待ちます)

https://twitter.com/Nperair/status/1064858127932125184 #tw #potd

企業が Let's Encrypt を使うことの是非、いろいろな意見があるようだけど、業界や企業全体としてなんらかの共通見解が存在しているのかは少し気になる

そういえば DLsite のログインと作品閲覧だけは HTTPS だけど、作品ページは HTTP だしお気に入り登録のクエリも HTTP なんやで～というデモをしたら女性講師が後ろにいたのを思い出した(だから何)

https://twitter.com/EST_galaxy/status/1065078818317074432 #tw

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

「ただ感情を吐露」を公共の場でやる時点で誰を傷付けるかわかったものではないのはお互い様なので、理性的でない人に同情はできない

自宅や友人宅で泣き叫ぼうが知ったことではないが、教室とか電車とかでやられると迷惑、概ねそんな感じ

Mastodon が日本で流行りはじめた頃、「twitter ではネガティブな話ばかり拡散されて云々」みたいなことを言う人をよく見たし、感情の吐露が不特定多数を不愉快な心持ちにした事例が実際にあることは留意するべき

This account is not set to public on notestock.

This account is not set to public on notestock.

そもそも twitter ではコンテンツと人格が分離されていないからね
お絵描きマンのイラストを見たいと思ったときクソパクツイbotの RT が流れてくるなんてことはザラなんですよ (リテラシーの問題)

「自室を出なければ不愉快な人間には遭遇しないよ」は全くその通りだと思いますよ。それを有意義と思えるかは別として。

べつに私は誰かを不愉快にすることが悪いと言っているのではなく、自覚を持って相対化したら一方に同情する理由は見出だせなくなるという話をしています

This account is not set to public on notestock.

twitter は(鍵垢でなければ)文句なしにオープンですよ

掲示板に貼り紙してあるのを「掲示板をよく見ないと見つからない」と言ったからといって、貼り紙がオープンでないということにはならない

直接のリンクがないこととオープンでないことは全く別の話

This account is not set to public on notestock.

This account is not set to public on notestock.

法的にアカンのでなければ、それこそ単なる †モラル† の話ではという気がする (そしてその †モラル† が合理的とは言ってない)

公開されることを意図して本人が明示的に発した情報が、私生活で非公開の情報と等価の重要度で尊重されるべきか、私は疑問に思う

This account is not set to public on notestock.

This account is not set to public on notestock.

私は最初から責任の話はしていないし誰が悪いという話もしていない、なんなら人を傷付けることが悪いとも言ってない

クソパクツイbotはクソだし、それを RT するアホも同様にクソだということはわかっていますよ。それがクソパクツイbotを批難しない理由にならないことも。

批難の重み付けが気に入らない、「RTした人間も同等に批難されるべきだ」という話なのであれば、まあそれはそれで理解はできるけど、私は賛同しません

This account is not set to public on notestock.

This account is not set to public on notestock.

そういう話だったの

人間は他人に「嫌なことを言うな」と“言う”権利は持っているけど、それ以上の何も持ってはいないし、他人に暗黙に自分の快不快の感覚に合わせることを要求する(しかも「マナー」とかいういかにもな建前を使って！)のは傲慢で悪徳だと感じる

他人を歪めようとするとき、その意図と行為が明示的であることが誠意だと考えている

なので私は「(誰かが)不快に感じるから～」という理屈で納得できない。オメーが不快ならそう言えばいいし、逆に自分の言動が不快だと言われることを受け入れればいいし、もっと殺伐ｲﾝﾀｰﾈｯﾂした方が健全じゃろというお気持ち

誰かが「私は○○が嫌い」と言えば、まあ少なくともその人の前で○○をわざわざ貶したりはしなくなりますよ。よほど嫌いな人でなければ。

自分から不快感受容のシグナルを発することなく他人に回避を要求するのは、普通に考えておかしいでしょ

This account is not set to public on notestock.

This account is not set to public on notestock.

心理的報酬として何が適切か問題

This account is not set to public on notestock.

だからこそ明示的であることが互いのためだろうと思うし、不快感表明が他人を不快にするかもしれないとか呑気なこと言っててええんかという気持ちになる

なんとなく互いの不快領域を侵害しながら苦しんでいくのではなく、ここからが駄目と自分の側にまずはっきりと線引きすればいい。その上で共存ができないなら、改めてどうするか考えればいい

そういえば昨日ラボ近郊で「C++で書かれた飛行機があるらしい」などの話を聞き、乗りたくねえ～！！ となった

This account is not set to public on notestock.

This account is not set to public on notestock.

Linux になったら Linus の気持ちを理解できそう #適当

This account is not set to public on notestock.

そもそも動物って木に成るものじゃなかったっけ(詳しくないので全然違うかも)

This account is not set to public on notestock.

「○○職人の朝は早い。」みたいな語感だ

This account is not set to public on notestock.

This account is not set to public on notestock.

妹妹再放送になってるじゃん、万策尽きたのか(むしろよくここまでもったな)(もったといえるのだろうか)

This account is not set to public on notestock.

コミッタ、コミットが取り込まれたことのある人なのかコミット権を持ってる人なのか、みたいな微妙な定義よくわからなさがあるのでよくわからん

This account is not set to public on notestock.

This account is not set to public on notestock.

ハルロック、電子工作女子高校生漫画だっけ

大学生だった

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

異世界セマフォ - 異世界スマポ
https://ncode.syosetu.com/n4307ew/1/

2話のオチは決まってるんだけど、オチ以外の一切が決まっていない (???)

「ガーリッシュ ナンバー修羅」アニメの制作中止が決定 - コミックナタリー
https://natalie.mu/comic/news/309164

むしろあれを映像化しようなんて計画があったのかwwww

桜田五輪相、迷・珍答弁を連発＝野党失笑、サイバー法案質疑：時事ドットコム
https://www.jiji.com/jc/article?k=2018112200510&g=pol

これ Twitter Cards では『桜田五輪相「スマホは使う」＝パソコン教室参加も：時事ドットコム』になってるので、記事の内容が変更されてる？

ﾏｽｺﾐ、すぐ記事をサイレント修正するから全く信用できない

https://twitter.com/kaityo256/status/1065608304955543553 #tw #potd

うーん、 orgadoc の ebuild 自分で書くかなぁ

ﾍｲ! ﾍｲ!