00:21:11 @lo48576@mastodon.cardina1.red
2019-08-26 00:17:40 なるみん@ポケモン剣盾フレンズ募集中の投稿 luana@pawoo.net
icon

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

00:28:37 @lo48576@mastodon.cardina1.red
2019-08-26 00:25:13 さめもちの投稿 Requin@yuzulia.xyz
icon

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

00:28:44 @lo48576@mastodon.cardina1.red
2019-08-26 00:26:20 skiaphorus(引っ越し済み)の投稿 skia@mstdn.maud.io

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

00:28:56 @lo48576@mastodon.cardina1.red
icon

git = GitHub だと思ってる人がいるくらいだし、そういうもんよ

00:44:13 @lo48576@mastodon.cardina1.red
icon

glow - Rust
docs.rs/glow/0.3.0-alpha1/glow

圧倒的な OpenGL 感に涙を流している

00:47:16 @lo48576@mastodon.cardina1.red
icon

これは本質情報なんだけど、抽象という概念を知らない人は具体的なものと抽象的なものを区別できないので、それらの名前を混同するし混同していることにも気付かない

01:06:58 @lo48576@mastodon.cardina1.red
icon

advancedresearch/path_semantics: A research project in path semantics, a re-interpretation of functions for expressing mathematics
github.com/advancedresearch/pa

Web site image
GitHub - advancedresearch/path_semantics: A research project in path semantics, a re-interpretation of functions for expressing mathematics
01:46:06 @lo48576@mastodon.cardina1.red
icon

impl<T> SliceIndex<[T]> for (Bound<usize>, Bound<usize>) · Issue #49976 · rust-lang/rust
github.com/rust-lang/rust/issu

working と言いつつ PR がない状態か……?

Web site image
impl SliceIndex for (Bound, Bound) · Issue #49976 · rust-lang/rust
02:44:55 @lo48576@mastodon.cardina1.red
2019-08-26 02:42:53 unaristの投稿 unarist@mstdn.maud.io
icon

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

02:44:59 @lo48576@mastodon.cardina1.red
2019-08-26 02:43:35 ヒポポタマスジの投稿 Otakyuline@mstdn.maud.io
icon

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

13:49:31 @lo48576@mastodon.cardina1.red
2019-08-26 13:47:58 酸性雨の投稿 acid_rain@amefur.asia
icon

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

13:49:56 @lo48576@mastodon.cardina1.red
icon

うーん……

13:50:19 @lo48576@mastodon.cardina1.red
icon

try が何かをする動詞だというのは慣習だから自明ではない……うーん?

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

難しい問題だ (ほんまか)

13:51:34 @lo48576@mastodon.cardina1.red
2019-08-26 13:50:50 酸性雨の投稿 acid_rain@amefur.asia
icon

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

13:52:39 @lo48576@mastodon.cardina1.red
2019-05-11 17:34:45 らりお・ザ・何らかの🈗然㊌ソムリエの投稿 lo48576@mastodon.cardina1.red
icon

最近だと、シェルを実装する回の演習で子プロセスを2つ起動したいとき

pid_t pid1 = fork();
pid_t pid2 = fork();

みたいなことを書いている学生がそれなりの割合いて、これは fork が難しいのかそういう話でもないのか……みたいな気持ちになりました (さておき、そういった間違いがあるという知見を得られたのは面白かった)

13:52:53 @lo48576@mastodon.cardina1.red
2019-08-26 13:51:50 酸性雨の投稿 acid_rain@amefur.asia
icon

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

13:57:08 @lo48576@mastodon.cardina1.red
icon

問題なく動くとしてもコードが冗長であることが (ソフトウェア工学的に) 悪だという直観が備わっていない……なるほど……

13:58:20 @lo48576@mastodon.cardina1.red
icon

たしかに「コーディングが先、ソフトウェア工学はあと」みたいな感じの教わり方したような

13:58:49 @lo48576@mastodon.cardina1.red
icon

既にポヨグヤミンの知識あったので気になったことなかったわ

13:59:01 @lo48576@mastodon.cardina1.red
2019-08-26 13:58:21 酸性雨の投稿 acid_rain@amefur.asia
icon

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

13:59:18 @lo48576@mastodon.cardina1.red
2019-08-26 13:58:45 酸性雨の投稿 acid_rain@amefur.asia
icon

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

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

集合論……

13:59:47 @lo48576@mastodon.cardina1.red
icon

いや型は集合ではないがそのレベルの話をしないのでまあ良い

14:02:00 @lo48576@mastodon.cardina1.red
icon

ある程度訓練された人間なら実際できそう (初学者がやるには厳しそうだけど)

14:03:21 @lo48576@mastodon.cardina1.red
icon

むしろ完全に理解できるコードを読むときとかコードレビューとかって「これは (私なら) こう書くな」→「そうなってないぞ、何故だ」みたいな擦り合わせで読みすすめることが多いので、自分と他人の考え方の違いは際立ちがち

14:03:34 @lo48576@mastodon.cardina1.red
icon

命名ひとつとってもな……

14:04:31 @lo48576@mastodon.cardina1.red
2019-08-26 14:02:32 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
icon

麻雀の捨牌で読めるのはセオリー通りの打ち方する人の打ち方だけだよ

14:04:34 @lo48576@mastodon.cardina1.red
2019-08-26 14:01:53 ☨もりゃき☨の投稿 moriyaki@moriyakidon.mamemo.online
icon

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

14:04:36 @lo48576@mastodon.cardina1.red
2019-08-26 14:02:53 酸性雨の投稿 acid_rain@amefur.asia
icon

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

14:06:43 @lo48576@mastodon.cardina1.red
2019-08-26 14:04:31 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
icon

コードを読んで読める意図もそこそこ規模のある OSS だとまともなコードの公算が高いしもしそこで「ん?」となる書き方があったら逆にそれはなんらかの理由や意図があってそうしてるのだと推測も立つけど,アレゲなコードはそもそもなんでそうなってるのかあんま合理的でない理由だったりすると「わからん……」としかならん気がする。あと政治的な決定によって捻じ曲げられた実装のコードとかも。そういうのは document にされないとわからんけどそういうコードに限って undocumented

14:07:20 @lo48576@mastodon.cardina1.red
2019-08-26 14:03:52 酸性雨の投稿 acid_rain@amefur.asia
icon

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

14:07:27 @lo48576@mastodon.cardina1.red
icon

いい話だ

14:07:31 @lo48576@mastodon.cardina1.red
2019-08-26 14:06:32 酸性雨の投稿 acid_rain@amefur.asia
icon

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

14:10:39 @lo48576@mastodon.cardina1.red
2019-08-26 14:09:41 酸性雨の投稿 acid_rain@amefur.asia
icon

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

14:12:33 @lo48576@mastodon.cardina1.red
icon

if (foo == true) は foo == true が真であるかを確認しているので (foo == true) == true を確認しなければならない、すなわち
if ((foo == true) == true)
と書くべきだ、みたいな話がある (以下無限ループ)

14:17:28 @lo48576@mastodon.cardina1.red
2019-08-26 14:15:59 zgock999の投稿 zgock999@mstdn.maud.io
icon

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

14:17:45 @lo48576@mastodon.cardina1.red
icon

アホに合わせるの不幸しか生まない……

14:18:03 @lo48576@mastodon.cardina1.red
2019-08-26 14:17:03 クマノテツ :sabacan:の投稿 kumanotetu@mstdn.mini4wd-engineer.com
icon

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

14:18:54 @lo48576@mastodon.cardina1.red
icon

`!` 演算子が主張しなすぎるというのはわかるが、単項 `not` みたいなのはそれはそれで嫌いなので厄介

14:20:16 @lo48576@mastodon.cardina1.red
icon

Question 9.2
c-faq.com/bool/bool2.html

== TRUE を増やせよのやつ、 comp.lang.c の FAQ でした

14:21:22 @lo48576@mastodon.cardina1.red
2019-08-26 14:19:25 クマノテツ :sabacan:の投稿 kumanotetu@mstdn.mini4wd-engineer.com
icon

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

14:21:57 @lo48576@mastodon.cardina1.red
icon

高級言語を使って
(0..=100).contains(x)
と書くのが正解

14:22:47 @lo48576@mastodon.cardina1.red
icon

if let 0..=100 = x { .. }
などの書き方もできるけどさすがにこれは微妙w

14:27:46 @lo48576@mastodon.cardina1.red
2019-08-26 14:25:29 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

min <= x && x <= max の書き方あんまりしなかったなあ

14:27:48 @lo48576@mastodon.cardina1.red
2019-08-26 14:25:41 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

それを思い付くころにはRangeのある言語を触っていたもので

14:27:54 @lo48576@mastodon.cardina1.red
icon

現代だ

14:27:56 @lo48576@mastodon.cardina1.red
icon

いいぞ

14:28:56 @lo48576@mastodon.cardina1.red
icon

yoda notation を思い出した

14:30:33 @lo48576@mastodon.cardina1.red
icon

ヨーダ記法 - Wikipedia
ja.wikipedia.org/wiki/%E3%83%A
古の言語の慣習な……

14:30:43 @lo48576@mastodon.cardina1.red
icon

コレクションしたら楽しそうだが使いたくはない

14:32:01 @lo48576@mastodon.cardina1.red
2019-08-26 14:30:57 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

あ、あとケツカンマはとりあえず書かせてほしい

14:32:02 @lo48576@mastodon.cardina1.red
2019-08-26 14:31:18 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

ケツカンマ入れたら最後にnullとか ゼロの要素がくるの 💩 ってなった思い出がたくさんあるので

14:32:20 @lo48576@mastodon.cardina1.red
icon

json を馬鹿にするのはやめろ! (syntax error)

14:32:54 @lo48576@mastodon.cardina1.red
2019-08-26 14:32:25 Niceratus Kiotoensisの投稿 ncrt035@gnosia.info
icon

サイレントマジョリティー(死者の婉曲語法)

14:40:15 @lo48576@mastodon.cardina1.red
2019-08-26 14:36:54 orangeの投稿 orange_in_space@mstdn.nere9.help
icon

オレンジが言語作るなら、比較は==で代入とかは := にする><

14:40:54 @lo48576@mastodon.cardina1.red
icon

= の式が unit 型を返したり値を返さないようにすることで == との混同は避けられるというのが広く使われているソリュッションっぽい

14:41:02 @lo48576@mastodon.cardina1.red
2019-08-26 14:34:20 orangeの投稿 orange_in_space@mstdn.nere9.help
icon

オレンジが言語作るなら、! | & だけじゃなくPascalっぽく not or and のどちらでも書けるようにする><

14:41:40 @lo48576@mastodon.cardina1.red
icon

これはどうせどちらを使うか派閥が分かれて最終的に linter であれやこれやする羽目になりそうなので、こういう syntactic に等しい要素を複数用意するのはあまり気乗りしない

14:42:31 @lo48576@mastodon.cardina1.red
icon

なんだっけ、 && / || と and / or で優先順位が違う言語みたいなのあったような……日本の法律だっけ?w

14:42:46 @lo48576@mastodon.cardina1.red
2019-08-26 14:36:01 あっきぃの投稿 akkiesoft@social.mikutter.hachune.net
icon

渋谷は最近そこまで道変わってないよ

14:42:47 @lo48576@mastodon.cardina1.red
2019-08-26 14:42:16 デジタルたぬきの投稿 toshi_a@social.mikutter.hachune.net
icon

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

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

括弧を使えという感想しかない

14:45:18 @lo48576@mastodon.cardina1.red
2019-08-26 14:39:09 Niceratus Kiotoensisの投稿 ncrt035@gnosia.info
icon

Crossrefの最新バージョンの公開場所はGitLabなのか
Crossref、メタデータデポジットスキーマのver.4.4.2を公式にリリース | カレントアウェアネス・ポータル current.ndl.go.jp/node/38869

Crossref、メタデータデポジットスキーマのver.4.4.2を公式にリリース | カレントアウェアネス・ポータル
14:45:23 @lo48576@mastodon.cardina1.red
icon

XSD だ……

14:45:37 @lo48576@mastodon.cardina1.red
2019-08-26 14:45:02 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

そもそもなぜ代入は一見操作なのに式という風潮があったのか(C言語などはなぜそうしたのか)という話になりそうだけど、これは歴史的経緯がそこそこありそう

14:45:41 @lo48576@mastodon.cardina1.red
2019-08-26 14:44:20 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

代入を式にしない(unitにする)ってのはやりやすくてよいね

14:46:49 @lo48576@mastodon.cardina1.red
icon

まあ C は高級アセンブリなので……

14:47:01 @lo48576@mastodon.cardina1.red
icon

wandbox.org/permlink/PDXqaKr0F

return 使わずに return する値を制御している例です

14:47:41 @lo48576@mastodon.cardina1.red
icon

と思ったけど ! がなくても普通に 0 が返されてたわ、まあクソコード書くなってこったな

14:48:08 @lo48576@mastodon.cardina1.red
icon

あーわかった、これ amd64 だからだ……

14:50:26 @lo48576@mastodon.cardina1.red
icon

godbolt.org/z/0QAtWq
や、最近の gcc は return がなかったら自動で return 0; 相当の命令を補完するようになってるっぽいな?

Web site image
Compiler Explorer - C++ (x86-64 gcc 9.2)
14:52:35 @lo48576@mastodon.cardina1.red
2019-08-26 14:50:40 そすうぽよ :poyo: :sabakan:の投稿 prime@mstdn.poyo.me
icon

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

14:53:18 @lo48576@mastodon.cardina1.red
icon

@prime それはありえそうだと思って C で試してみたんですが、 C の方でも同様になりますね (規格かは確認してない)

14:53:25 @lo48576@mastodon.cardina1.red
2019-08-26 14:49:16 ちゃーしゅーねこの投稿 charsiuCat@social.mikutter.hachune.net
icon

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

14:53:47 @lo48576@mastodon.cardina1.red
icon

:w はよく作る

14:54:03 @lo48576@mastodon.cardina1.red
icon

$ touch ~/-r ~/-f

14:54:21 @lo48576@mastodon.cardina1.red
icon

$ touch '~'

14:55:25 @lo48576@mastodon.cardina1.red
icon

@prime godbolt.org/z/91NpWY
これは gcc が賢いってことで FA ですかね……

Web site image
Compiler Explorer - C++ (x86-64 gcc 9.2)
14:56:24 @lo48576@mastodon.cardina1.red
icon

godbolt.org/z/Ri8cVc
gcc 4.1.2 でも mov %eax, 0 してるな?何だこれ

Web site image
Compiler Explorer - C++ (x86-64 gcc 4.1.2)
14:57:12 @lo48576@mastodon.cardina1.red
2019-08-26 14:52:30 Yavit :verified:の投稿 8vit@gs.yvt.jp
icon

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

14:57:17 @lo48576@mastodon.cardina1.red
icon

あっ C++ モードじゃんwwwwwwwww

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

失礼しました

14:58:43 @lo48576@mastodon.cardina1.red
icon

godbolt.org/z/JIQI1E
はい、ちゃんと printf の戻り値がそのまま出ていきますね
おつかれさまでした

Web site image
Compiler Explorer - C (x86-64 gcc 9.2)
14:58:58 @lo48576@mastodon.cardina1.red
icon
Web site image
らりお・ザ・何らかの🈗然㊌ソムリエ (@lo48576@mastodon.cardina1.red)
15:12:35 @lo48576@mastodon.cardina1.red
2019-08-26 15:12:18 unaristの投稿 unarist@mstdn.maud.io
icon

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

15:12:48 @lo48576@mastodon.cardina1.red
18:16:09 @lo48576@mastodon.cardina1.red
2019-08-26 18:04:56 301 Moved Permanentlyの投稿 eniehack@misskey.io
icon

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

18:17:42 @lo48576@mastodon.cardina1.red
icon

rng の compact 形式であるところの rnc が用意されていると弄りやすくて便利ですよという無責任なアドバイスをば

18:19:05 @lo48576@mastodon.cardina1.red
18:19:53 @lo48576@mastodon.cardina1.red
2019-08-26 18:14:20 Giraffe Beerの投稿 giraffe_beer@mstdn.maud.io
icon

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

18:20:10 @lo48576@mastodon.cardina1.red
icon

公海と同じような感じなのかな (知らんが)

18:21:09 @lo48576@mastodon.cardina1.red
2019-08-26 17:48:22 ぴけ@Skeb募集中!の投稿 pikepikeid@mstdn.maud.io
icon

大須でこういう感じの扇風機買ったんですけどね、排気口側をたわんだ服が塞いじゃうので服の中に風を通すより服の外に出して顔に直接当たるようにしたほうが良さそうな感じ。

Attach image
Attach image
22:36:16 @lo48576@mastodon.cardina1.red
2019-08-26 22:35:27 特殊†╭☞^•ω•^╭☞†羽根戸涼狐の投稿 kyokolisianthus@mstdn.jp
icon

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

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

議員なんてやりたい人間の方が多いでしょ

22:36:46 @lo48576@mastodon.cardina1.red
2019-08-26 22:36:18 宮原太聖(JP)の投稿 TaiseiMiyahara@mstdn.jp
icon

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

22:36:46 @lo48576@mastodon.cardina1.red
2019-08-26 22:36:37 宮原太聖(JP)の投稿 TaiseiMiyahara@mstdn.jp
icon

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

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

言葉が足りなかった、「なるべきかつなれる人間よりも、なりたいがなるべきでない人間の方が多い」

22:39:56 @lo48576@mastodon.cardina1.red
2019-08-26 22:38:54 せいほうけい🔥の投稿 sehoke@pawoo.net
icon

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

22:39:57 @lo48576@mastodon.cardina1.red
2019-08-26 22:39:41 せいほうけい🔥の投稿 sehoke@pawoo.net
icon

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

22:40:07 @lo48576@mastodon.cardina1.red
icon

スク水の話は

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

XSLT は関数型言語みたいなものだしプログラムでしょ (適当) (割と本当)

22:42:05 @lo48576@mastodon.cardina1.red
icon

スキーマはどうなんだろう、どちらかというとデータとか規格寄りな気がする

22:42:43 @lo48576@mastodon.cardina1.red
icon

オープンな規格の場合は文書の真正性や名前自体は保護されても利用はご自由にという感じが多そう

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

まあそういう意味でも MIT みたいな permissive なライセンスあたりは割と適当なんじゃないかという気はする

22:43:24 @lo48576@mastodon.cardina1.red
2019-08-26 22:43:08 301 Moved Permanentlyの投稿 eniehack@misskey.io
icon

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

22:43:37 @lo48576@mastodon.cardina1.red
2019-08-26 22:43:30 301 Moved Permanentlyの投稿 eniehack@misskey.io
icon

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

22:43:58 @lo48576@mastodon.cardina1.red
icon

ND にするとスキーマの拡張できなくなって XML である意味の半分以上を失いそう

22:52:56 @lo48576@mastodon.cardina1.red
2019-08-26 22:50:28 みもりんかの投稿 mimorinka@mstdn.jp
icon

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

22:55:02 @lo48576@mastodon.cardina1.red
icon

mstdn.jp/@mimorinka/1026836023
LOVELETTER ウイルスというコンピュータウイルスがあって、題名が "I Love You" で添付ファイルがスクリプトという今となっては典型的なウイルスなんだけど、これを開いてしまって NASA 内でも被害が出たという事実は重く受け止めるべきですよ

Web site image
みもりんか (@mimorinka@mstdn.jp)
22:55:24 @lo48576@mastodon.cardina1.red
icon

NASA に務めていようがメールの I Love You に引っ掛かってしまうような人はいるってこと

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

猛威ふるう『I LOVE YOU』ウイルス|WIRED.jp
wired.jp/2000/05/08/%e7%8c%9b%
歴史に残った破壊的で凶悪なコンピュータウイルス | ailovei
ailovei.com/?p=75996

Web site image
歴史に残った破壊的で凶悪なコンピュータウイルス
22:59:20 @lo48576@mastodon.cardina1.red
icon

何故か NASDA メモ帳を持っている

Attach image
23:00:23 @lo48576@mastodon.cardina1.red
icon

貴重すぎて使えない

23:34:39 @lo48576@mastodon.cardina1.red
icon

ハイボールを Winny で割る人