00:29:55 @lo48576@mastodon.cardina1.red
2020-02-07 00:28:39 🌿🌒の投稿 humming_birds@heislandmine.work
icon

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

00:30:21 @lo48576@mastodon.cardina1.red
icon

ポインタ避けるのは「まともに」勉強してるうちに入らないよ

00:34:07 @lo48576@mastodon.cardina1.red
2020-02-07 00:30:41 Nakayaの投稿 eniehack@pleroma.eniehack.net
icon

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

00:34:10 @lo48576@mastodon.cardina1.red
2020-02-07 00:32:50 酸性雨の投稿 acid_rain@amefur.asia
icon

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

00:34:24 @lo48576@mastodon.cardina1.red
icon

おっ、 std::begin() と ADL の話か!?

00:35:23 @lo48576@mastodon.cardina1.red
icon

C Is Not a Low-level Language - ACM Queue
queue.acm.org/detail.cfm?id=32

読んでね

C Is Not a Low-level Language - ACM Queue
00:36:24 @lo48576@mastodon.cardina1.red
icon

C のライブラリは ABI の安定性が高いので FFI で使いやすいという利点があるわね。
C++ だとそうはいかない (結局 extern "C" として C 的に露出することになりがち)

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

そんなあなたに Rust ですよ
C でできることは Rust でできる

00:37:34 @lo48576@mastodon.cardina1.red
2020-02-07 00:37:25 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

ABI が不安定、Rust などにも通ずるところがあるな

00:38:12 @lo48576@mastodon.cardina1.red
icon

Rust に限らず大抵の言語の ABI 保障はよわよわなので、結果として C の ABI で吐き出す感じになるわね (C++ も Rust もそうしていて、要はそれがどこまでやりやすいかの問題)

00:38:40 @lo48576@mastodon.cardina1.red
icon

Rust は C binding を吐くのが自動化しやすく大変楽だという点でステキ

00:38:49 @lo48576@mastodon.cardina1.red
2020-02-07 00:37:36 ☨もりゃき☨の投稿 moriyaki@moriyakidon.mamemo.online
icon

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

00:39:10 @lo48576@mastodon.cardina1.red
icon

そもそも変数を勝手に参照にするから shallow copy と deep copy なんてしょーもない概念が発生するんだよなぁ
明示しろ明示

00:39:45 @lo48576@mastodon.cardina1.red
icon

マジで「暗黙に参照」は初学者に優しくない (もっと言えば正しいメンタルモデル構築やセマンティクス理解を妨げる) と思う

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

そういえばおるみん氏昨日17歳になったんでしたっけ
おめでとうございました

00:43:12 @lo48576@mastodon.cardina1.red
icon

あらゆるものを「暗黙」にするの、基本的に愚策 (便利にするつもりだったんだろうけど、それ本当にデメリットを上回るほど便利か?)

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

暗黙に nullable な型システムとか最悪な一例で、型システムとしても汚くなるしバグの温床にもなるし、しかも nullable であることを明示するのそんなに大変か????? という

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

Optional<T> が null と empty と値を持てるのは永遠にゲラゲラ笑って語り継いでいくよ

00:45:03 @lo48576@mastodon.cardina1.red
2020-02-07 00:42:47 酸性雨の投稿 acid_rain@amefur.asia
icon

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

00:46:17 @lo48576@mastodon.cardina1.red
icon

セマンティクスを理解してない言語なんて「書ける」うちに入らないし、セマンティクスを理解するためには抽象機械をイメージできる必要があるし、結局「いいからローレベルな機械を勉強しろ」になるんだよな……

00:46:39 @lo48576@mastodon.cardina1.red
2019-10-23 07:32:50 らりお・ザ・何らかの🈗然㊌ソムリエの投稿 lo48576@mastodon.cardina1.red
icon

意味論の定義されていないプログラミング言語は妄想

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

ウッ

00:48:19 @lo48576@mastodon.cardina1.red
icon

いやべつに純粋関数型言語とかをやるならローレベルな機械である必要はないけど……項書換え系がわかるなら普通に意味論読めるでしょ

00:48:54 @lo48576@mastodon.cardina1.red
2019-12-31 06:23:19 らりお・ザ・何らかの🈗然㊌ソムリエの投稿 lo48576@mastodon.cardina1.red
icon

まあ何事も文法と意味論揃って始めて読める意味が付くのはポヨグヤミンに限らない話

00:49:01 @lo48576@mastodon.cardina1.red
2019-12-17 03:02:34 らりお・ザ・何らかの🈗然㊌ソムリエの投稿 lo48576@mastodon.cardina1.red
icon

というか意味論という概念を知らずにプログラミングしてるの怖すぎる、そういうのは趣味だけにしてくれ

00:49:02 @lo48576@mastodon.cardina1.red
2019-12-17 03:24:58 らりお・ザ・何らかの🈗然㊌ソムリエの投稿 lo48576@mastodon.cardina1.red
icon

意味論はプログラミング言語の中枢なんだけど、往々にして人々は文法で言語の良し悪しを語りがち……

00:50:09 @lo48576@mastodon.cardina1.red
2020-02-07 00:48:40 TGMのサントラ販売中の投稿 Common_Lisper@mstdn.maud.io
icon

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

00:51:03 @lo48576@mastodon.cardina1.red
icon

エスケープ規則はいつのまにか切り替わってるし状態は勝手に変わるし、あれも大概意味わからんよなぁ…… (まあそもそもがアレなのでまともな言語として解釈を試みるのが間違っている)

00:51:51 @lo48576@mastodon.cardina1.red
2020-02-07 00:51:44 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
icon

LaTeX は暗黙は基本的には無くて LaTeX の環境があるならかならずその環境のどこかにコードがあるし基本は文字列置換だけだから……

00:52:58 @lo48576@mastodon.cardina1.red
icon

まあ documentclass とかを人間が読めるなら、たしかにコードは必ずどこかにあるけど…… (???)

00:55:18 @lo48576@mastodon.cardina1.red
2020-02-07 00:54:55 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
icon

そもそも LaTeX は TeX 言語ではなくて TeX 言語上に組まれた \section{} とか \begin{figure} とかそういったマクロ集なので LaTeX は言語ではないです

00:55:45 @lo48576@mastodon.cardina1.red
2020-02-07 00:55:22 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
icon

DSL も言語だろ,という意見もありそう

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

一貫した syntax があればとりあえず言語と呼べるのでは? みたいなお気持ちがあったんだけど、よくよく考えると LaTeX で一貫した文法があるか疑問に思えてきた

00:57:16 @lo48576@mastodon.cardina1.red
2020-02-07 00:56:58 酸性雨の投稿 acid_rain@amefur.asia
icon

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

00:57:32 @lo48576@mastodon.cardina1.red
icon

SATySFi をな……応援しような……

00:57:36 @lo48576@mastodon.cardina1.red
2020-02-07 00:57:26 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

LaTeX、黒魔術 ヘッダを一つだけインクルードした C++ みたいなものだと思ってる

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

END }

00:59:00 @lo48576@mastodon.cardina1.red
2020-02-07 00:58:28 こるもJS(末代)の投稿 cormojs@mstdn.maud.io
icon

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

00:59:40 @lo48576@mastodon.cardina1.red
icon

卒論を SATySFi で書くどころか literate programming してのけた猛者を知っている

01:00:52 @lo48576@mastodon.cardina1.red
icon

提案するアルゴリズムを SATySFi で実装したうえ、式をマクロにヌッと入れると評価の過程へと展開された出力が出てくるので自動的に結果が正しいことを確認できるという……

01:05:30 @lo48576@mastodon.cardina1.red
icon

Unnecessary limit to list indent depth · Issue #94 · tpope/vim-markdown
github.com/tpope/vim-markdown/

これ……これはやく解決してほしい……

Web site image
Unnecessary limit to list indent depth · Issue #94 · tpope/vim-markdown
01:05:57 @lo48576@mastodon.cardina1.red
icon

リストの3段階目以降がハイライトされないの、さすがにつらい

01:22:01 @lo48576@mastodon.cardina1.red
2020-02-07 01:09:05 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
icon

こう,LaTeX で blackbox みを感じてもにょもにょする人,とはいえ組版のお作法とかあんまり知らなくてよしんば透明性高いシステムでも組版のお作法的にアレゲなものを書いちゃったりするんじゃない的な気持ちある(Word で作られたひどい書類とか見ると考えがち)

01:22:04 @lo48576@mastodon.cardina1.red
2020-02-07 01:10:00 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
icon

じゃあお前は組版わかってるのかと言われると私もちゃんと知らんのだけど

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

透明性や明確なインターフェースがあることとマトモなデフォルトがあることは両立しそう (知らんけど)

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

これは理想というか妄想の話

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

デザパタは言語仕様の弱点をカバーするためのノウハウであることが多く、自慢するようなものではない……

01:35:38 @lo48576@mastodon.cardina1.red
icon

「良いものは書きやすく、悪いものは書きづらく」という原則を守れている良い設計の言語であれば、パターンにいちいち名前を付けなくても自然と皆似たような書き方をするようになる

01:37:09 @lo48576@mastodon.cardina1.red
icon

あと「○○言語のデザパタを××言語でどう書くんですか」とかいう質問あれよくない、言語に適合した設計をしろ

01:37:49 @lo48576@mastodon.cardina1.red
icon

そりゃ書いてみれば学ぶところはあるだろうけど、書けたから使えるわけじゃねえし使うべきでもねえんだぞ

01:38:52 @lo48576@mastodon.cardina1.red
icon

特別な名前が付いたパターンを特別な概念だと思いがちだけど、それは「特定言語で書きづらかった概念についての知見」に過ぎねえんだ……

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

ちゃんとな、 idiomatic なコードを書いてくれ……

01:39:26 @lo48576@mastodon.cardina1.red
icon

とにかく良質なコードを沢山読んでほしい……

02:01:08 @lo48576@mastodon.cardina1.red
2020-02-07 01:47:59 Masanori Ogino 𓀁の投稿 omasanori@mstdn.maud.io
icon

『日本語組版入門』、手っ取り早く見栄えのよい版面が組めるtips集ではなく、普段読んでいる文庫本などを眺めると出版社に関わらず規則性があるように見えるけれどどうしてそうなっているのか、その背景にある原則が知りたいというときにおすすめの入門書です

02:23:37 @lo48576@mastodon.cardina1.red
icon

また DLsite はそういうことを〜〜!!!

12:23:49 @lo48576@mastodon.cardina1.red
2020-02-07 12:20:55 村上さんの投稿 AureoleArk@misskey.io
icon

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

12:24:09 @lo48576@mastodon.cardina1.red
icon

575もあるので高評価

12:43:20 @lo48576@mastodon.cardina1.red
2020-02-07 12:42:37 えじょねこの投稿 ejo090@mstdn.nere9.help
icon

高木浩光@自宅の日記 - 検察官は解説書の文章を読み違えていたことが判明(なぜ不正指令電磁的記録に該当しないのか その3) takagi-hiromitsu.jp/diary/2019
広告の処遇(?)に関してはひろみちゅせんせーのここにも書いてある(エントリ下部)けどまあこの通りなんだろうな

高木浩光@自宅の日記 - 検察官は解説書の文章を読み違えていたことが判明(なぜ不正指令電磁的記録に該当しないのか その3)
12:48:01 @lo48576@mastodon.cardina1.red
2020-02-07 12:45:12 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

Windows Update とかはたしか特定の例外的な規定で合法だか違法性が阻却されるだかだったと思うけどそれがまずどうなのよって話だ

12:52:49 @lo48576@mastodon.cardina1.red
2020-02-07 12:52:15 砂狼あずにゃんの投稿 osa_k@social.mikutter.hachune.net
icon

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

12:53:08 @lo48576@mastodon.cardina1.red
2020-02-07 12:14:08 ツインスター・サイクロン・ランナウェイは3/18発売ですよ!?の投稿 motorailgun@mstdn.maud.io
icon

結局運用でカバーはだめですね もともと罪刑法定主義なのに運用でカバーされたら究極的には人が法になってしまう

12:53:28 @lo48576@mastodon.cardina1.red
2020-02-07 12:29:14 遊佐こずえの投稿 kozue@yysk.icu
icon

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

13:07:29 @lo48576@mastodon.cardina1.red
icon

コインハイブ事件、逆転有罪 罰金10万円…東京高裁判決 - 弁護士ドットコム
bengo4.com/c_23/n_10741/

Web site image
コインハイブ事件、逆転有罪 罰金10万円…東京高裁判決 - 弁護士ドットコムニュース
13:09:56 @lo48576@mastodon.cardina1.red
2020-02-07 13:08:57 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
icon

利用者に同意を取るための JavaScript 製ダイアローグ自体で適法性を疑われる回

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

現状の web ではそもそも仕組みからしてサーバに (経済的にも性能的にも) 負荷はかかってしまうんだけど、それを解決する試みとしては原理的には「コンテンツを (電子署名や改竄防止などしたうえで) 再配布可能にする」という方針になる

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

たとえば webpackage (WebBundle) は HTTP のうえで署名付きでまとまったサイトコンテンツを再配布可能にする試みだし、 IPFS はコンテンツ配信サーバを有志に分散させることで第一発信者の負担を軽減する試みだし、SAFE network などはもっと根本的にサーバの稼動負荷自体を利用者に分散させる試み

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

いずれにせよ、「コンテンツ制作者や第一発信者以外の第三者がコンテンツを中継・再配布する」という原理だし、アクセス分析とかユーザトラッキングとか「再配布禁止」のような仕組みは破綻するわね
(個人的にはさっさとそういう仕組みは壊れてくれと思っているけど)

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

この情報化時代にあって、まだ著作権が「複製」についてあれこれ言っているというのがなぁ……
それ機械的な複製が可能なメディアが印刷媒体しかなかった時代の概念引き摺ってるだけでしょ、何世紀前の話だ

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

DFDL なぁ

16:21:19 @lo48576@mastodon.cardina1.red
icon

FBX フォーマットの解説文書を書いているのでせっかくだしバイナリ文法のスキーマでも付けてやろうかと思ったんだけど、 DFDL はクソデカみたいなのでちょっとなぁ (あと複雑な形式だと文書中で抜粋しづらそうみたいなのもある)

16:21:48 @lo48576@mastodon.cardina1.red
icon

業務上何らかの秘密を知りえる前に知識をアウトプットしておかないと……

16:35:20 @lo48576@mastodon.cardina1.red
2020-02-07 16:34:38 YDKKの投稿 YDKK@social.0ko.me
icon

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

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

そすう氏 fediverse じゅうに焼肉奢ることになりそうで草

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

Kenney • Assets
kenney.nl/assets?q=3d

FBX 解説で CC0 でライセンスされたモデルに対するコマンド実行例を載せようと思ってたんだけど、ここのサイトで配布されてたリソースを見てみたら FBX 7.3 の ASCII 形式のファイルが入ってて真顔になってしまった。
バイナリじゃなくて ASCII 使ってる人、いたんだ……

Web site image
Kenney • Free game assets
17:16:46 @lo48576@mastodon.cardina1.red
icon

ピノキオね、知ってる知ってる、Fワードを言うたびに中指が伸びるやつでしょ

17:20:33 @lo48576@mastodon.cardina1.red
2020-02-07 17:12:02 ツインスター・サイクロン・ランナウェイは3/18発売ですよ!?の投稿 motorailgun@mstdn.maud.io
icon

systemdのユニット 全くいじらんので毎回ぐぐり太郎と申します

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

systemd 、 man pages が分かれてて探す場所が難しいよね

17:21:56 @lo48576@mastodon.cardina1.red
icon

大抵は

systemd.exec
systmed.resource-control
systemd.service
systemd.timer
systemd.unit

のどこかに欲しい情報はあるんだけど……

17:29:21 @lo48576@mastodon.cardina1.red
icon

ユーザの意図せぬ形で GC を走らせる Go 言語のランタイムが日本では違法化されるんですか!!!

17:52:27 @lo48576@mastodon.cardina1.red
2020-02-07 17:50:07 かなたん🎀の投稿 kxn4t@mastodon.kxn4t.tech
icon

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

17:52:49 @lo48576@mastodon.cardina1.red
icon

なーにが devel じゃ、 gentoo を使うとビルドしてインストールだからヘッダも全部入ってくるぞ 👊

17:53:01 @lo48576@mastodon.cardina1.red
icon

開発者としては便利このうえないです

17:53:53 @lo48576@mastodon.cardina1.red
icon

ちょっと「あっこれソースコード見たいな」というとき gentoo だと楽で良い

17:54:39 @lo48576@mastodon.cardina1.red
icon

普通の東工大生が【gentoo】入れてみた。 : 東京工業大学 ロボット技術研究会
titech-ssr.blog.jp/archives/10

Web site image
普通の東工大生が【gentoo】入れてみた。 : 東京工業大学 ロボット技術研究会
17:54:44 @lo48576@mastodon.cardina1.red
icon

なつかしいなぁ

17:54:59 @lo48576@mastodon.cardina1.red
2020-02-07 17:54:24 もちゃ(あと-18.60Kg)の投稿 mot@mastodon.motcha.tech
icon

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

17:55:43 @lo48576@mastodon.cardina1.red
icon

サッバで動かす用のバイナリをサッバと同じ環境でビルドするの、地味にセットアップが面倒なんでしょうねぇ

17:56:05 @lo48576@mastodon.cardina1.red
icon

サッバに向いている環境はビルドに向いていない

20:54:28 @lo48576@mastodon.cardina1.red
icon

std::array は配列を保持するクラスであって配列型ではないので (モゴモゴ)

21:14:55 @lo48576@mastodon.cardina1.red
2020-02-07 18:02:22 Legasus / Toraの投稿 tora@mstdn.nere9.help
icon

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

21:18:29 @lo48576@mastodon.cardina1.red
2020-02-07 21:17:13 Masanori Ogino 𓀁の投稿 omasanori@mstdn.maud.io
icon

消費した熱量や摂取した熱量をジュールで表記する大人気フィットネスゲームが出たら日本からカロリーが一掃される可能性が……?

21:20:38 @lo48576@mastodon.cardina1.red
icon

逆転有罪のコインハイブ事件、判決詳報 弁護側は「不当判決」と憤りあらわ - 弁護士ドットコム
bengo4.com/c_1009/n_10749/

Web site image
逆転有罪のコインハイブ事件、判決詳報 弁護側は「不当判決」と憤りあらわ - 弁護士ドットコムニュース
21:21:19 @lo48576@mastodon.cardina1.red
icon

感情をフラットにすると損をするからね。特に理屈の通じない人が相手だと

21:23:16 @lo48576@mastodon.cardina1.red
icon

べつに内心怒る必要はなくとも「怒っている人がいる」という記録を残さないと

21:26:39 @lo48576@mastodon.cardina1.red
2020-02-07 21:26:26 Masanori Ogino 𓀁の投稿 omasanori@mstdn.maud.io
icon

熱量がジュールで表記され、その下にカロリーが補足として添えられている海外版のキットカットパッケージ裏面

Attach image
22:00:37 @lo48576@mastodon.cardina1.red
2020-02-07 21:46:35 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
icon

日日日先生は私『狂乱家族日記』で知って,あの作品好きだけど最後まで読んでないことに気付いた。あとあの作品中の関西弁キャラの関西弁のヘタさに似非でももっとこう……あるでしょ!とちょっと読むのがそこだけ辛くなる

22:01:22 @lo48576@mastodon.cardina1.red
2020-02-07 21:34:46 Masanori Ogino 𓀁の投稿 omasanori@mstdn.maud.io
icon

「ジュールにした方が額面上の数字が大きくなる(1カロリーはおおよそ4.2ジュール)ので食事により気を遣うようになる。また、運動で消費した熱量がより大きく表記されるので達成感にも繋がり、長続きする」と称する「ジュールレコーディングダイエット」をそれらしい肩書の人が提唱したら広まる可能性 is ある(???)

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

ラノベなぁ

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

積んでて困っちゃう (なおノベルゲームも積んでいる模様)

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

なろうを無限に読んでしまうんだよな

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

特に歩いているときと横になっているときに読めるというのがアドバンテッジ

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

(体力のあった頃は幼女戦記を読みながら歩いてたりしたけど……)

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

今はもう電車の中で文庫本を開く気力もなく……

22:14:06 @lo48576@mastodon.cardina1.red
2020-02-07 22:04:20 Masanori Ogino 𓀁の投稿 omasanori@mstdn.maud.io
icon

日日日、成田良悟、鎌池和馬、高橋弥七郎、川上稔あたりを見て育ったので小説家の出力ペースをかなり上寄りに捉えている

22:28:39 @lo48576@mastodon.cardina1.red
2020-02-07 22:15:14 砂狼あずにゃんの投稿 osa_k@social.mikutter.hachune.net
icon

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

22:28:41 @lo48576@mastodon.cardina1.red
2020-02-07 22:21:45 砂狼あずにゃんの投稿 osa_k@social.mikutter.hachune.net
icon

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

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

あと社会も技術も未熟な状態での “社会通念” が判例になったらこの先何十年とそれを基準に物事を判断するんか? 情報技術はまだまだ新しい技術ぞ? となる

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

まあ本来その辺りは立法がもっとちゃんと時代に追随して法律を整えろという話なんですけどね!!!