寝不足で頭悪くなっていたので頭の悪い水の零しかたをした

あたま Portal になってしまったので、 Minecraft で Shift 連打して頭下げるモーションしてる人を見ると「Quantum Crouch だ……」と思ってしまう

カメラの位置と体の位置がズレるので、天井にのめり込んだりタレットの銃弾を避けたりできるようになります

あーだめまた Portal やりたくなってきた

This account is not set to public on notestock.

Delta Decision 聴いてたらケイオスドラゴンまた観たくなってきた

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://mstdn.maud.io/@Otakan951/102401011350957680

これ、もしイケそうなら理論から入ると強くなれると思う。

計算論: 「計算とは何なんだ……」という問題に向き合う
→関数型言語や状態機械に強くなれる

プログラミング言語意味論: プログラムの動作や解釈を定めたり何らかの性質を記述できるようにするもの
→プログラミング言語そのものの性質を理解したりプログラムという概念そのものに納得できる

型理論: プログラムにおける値や関数、またその性質をどのように与えるか、またプログラムに与えたい制約がどのように強制されるかなどを考えるもの
→静的型付き言語に強くなれる、安全なプログラムや解析しやすいプログラムの性質について理解を深められる

どうしても手を動かしたいなら、たとえば C 言語で汎用的なデータ構造やアルゴリズムを実装するだけでかなり地力がつくし、もっとパズルをやりたいなら、チャーチ数とかを調べてからλ計算や SKI コンビネータでひととおりの基本演算を実装してみたり、 C や brainfuck などで golf をしてみるなどの遊び方もある

あるいは、論理回路を勉強して簡単な演算回路を設計してみるとか、ハードウェア記述言語を勉強して FPGA で何か (電卓とか？) 作ってみるとか、そっち方向もアリ

いずれにせよ、プログラミングはそれ自体を目的化できる程度には十分奥が深いので、無理して物を作ることにこだわらなくても楽しみ方はいろいろあります

私自身も、物を作りたくてプログラミング始めたわけじゃないからな

まあ作りたいものができたなら作ってみるに越したことはないけど

作るものがない状態、よくわかる

電子ブロックとか好きだったんだけど、べつに作りたい電子回路があったわけでもないので、冊子に乗っていた回路を組み立てては構造を “理解” して遊んでいた

電子ブロックで何か組み立てるよりも、電子ブロックで作れる程度の複雑度の回路図を眺めているのが楽しい子供だった

This account is not set to public on notestock.

Windows のレジストリ弄ったりとかも、遠回りではあるけどたし🦀勉強にはなった

これオタク

わかるわ

「〇〇をするには✕✕言語が向いているらしい」とかじゃないんだよな、「✕✕言語が何やら良さげなものなので使ってみるか」となるのがオタクにありがちなパターン

C++ は Template MetaProgramming とか CPP 黒魔術とかが (オタク的な意味で) かなり楽しかった

CPP についてはもう完全に勘が失われたし二度とやりたくないけど……

https://mstdn.maud.io/@kb10uy/102401209422523478
アカウントがアカウントなので「ボッキンアイス」に空目して「またコイツなんか言い出したぞ……」みたいな気持ちになってしまった

This account is not set to public on notestock.

https://mstdn.maud.io/@Otakyuline/102401218005300405
末代……

ブレねえな

たとえば自然言語でも実は単語や構文の正確な意味ってなんとなく共有されてるだけで、実際には別々の和者が明確な同じ定義を使ってはいないわけです。構文が完璧に曖昧さなく分解できてさえ、意味や文脈を一意に誤解なく共有することはほぼできないわけです

で、プログラミング言語がその状態だと困るわけですね。
たとえば「1+1」という式があったとして、これが32ビットで2の補数表現の整数の話で2になるかもしれないし、ブール代数における和で1かもしれないし、 XOR のつもりで0かもしれない。あるいは、文字列の1と文字列の1の結合で "11" かもしれないし、トークン 1 と + と 1 の結合で "1+1" かもしれない。

となると、プログラミング言語のコードの挙動や解釈を、何らかの形式的な (曖昧さのない形の) 方法で定めてやらないと、コードがどう動くかつまりプログラミング言語の仕様というのは共有が極めて難しいわけです。

そこで活躍するのが意味論で、意味論というのはプログラミング言語のコードがどのように解釈されるか、あるいはどのようなアーキテクチャを持つ機械にどのように作用するかを形式的に規定します。
特にメジャーな方法としては、コードや部分式をなんとかして数学における式とか論理に帰着させる「表示的意味論」と、コードや部分式がどのように (仮想的な) 機械の状態を変更していくかを記述する「操作的意味論」があります

まあ私はクソザコなのでこの説明もあまり信用しないでね

とにかく、プログラミング言語におけるコードの動作や解釈を規定するのが意味論なわけですが、これが明確に示されていない言語は言ってみれば妄想みたいなものというか、「みんななんとなく常識的に解釈したり自然言語の文書を読んでわかった気になっているけど、数学的な証明とかに使えるような明確な定義が実は存在しない」という若干危うい状態なわけです。
あるいは「唯一の公式処理系である俺が意味論だ！！ (意味論だとは言ってない)」みたいな。

「公理の示されていない論理体系における論理式」とか「整数や演算の定義が示されていないけど常識で解釈される算術式」とか「SI 単位系の定義がないけど常識で解釈される1フィート」みたいなあやふやさ、とでも言えばいいんでしょうか

This account is not set to public on notestock.

This account is not set to public on notestock.

どういうことよ……「俺の筋肉を見ろ！ (ﾌﾞﾁﾌﾞﾁﾌﾞﾁｯ)」みたいなことでもしたの……？

https://twitter.com/Sir_Euphonium_Z/status/1148046669033828352 #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.

Cを使いどころがないと評する “エンジニア” のﾂｲｯﾄを発見したので、「そのまま幸せに生きてくださいね……」と言いながらブロックした

論文紹介: The Ramanujan Machine: Automatically Generated Conjectures on Fundamental Constants - うどん記
http://ir5.hatenablog.com/entry/20190707/1562472282

そういえば rdoc 書いたことないなぁ

DocBook でセマンティックになれ👊

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.

商標法改正の背景とヤフーの商標出願の方針について - Yahoo! JAPANの最新マーケティング情報
https://yahoojp-marketing.tumblr.com/post/186132557953/20190708

すごいねとは思うんだけど、 GIF とかのケースを思い出すので私は善意を信用しないし、さっさとシステムで対応してほしいですね

Graphics Interchange Format - Wikipedia
https://ja.wikipedia.org/wiki/Graphics_Interchange_Format

> ユニシスは当初はGIFにおけるLZWアルゴリズムの利用について利用料を請求しない方針を採っていたが、GIFフォーマットの利用が広まり、Webブラウザで標準的にサポートされるようになると、GIFにおけるLZWの利用について利用料を請求する方針に転換した。

ワイドショー「本物の二段階認証をお見せしますよ」 - Togetter
https://togetter.com/li/1373816

いつものﾏｽｺﾐじゃんと思いました (期待通りのアホだった)

まず番組出演者が「わかったフリをする」ことが推奨される構造自体に問題を感じるし、それが直らない限りはマスコミが何をしようと全く信用も期待もできない

あと中年男女が世の中の出来事にかこつけて自分語りをする番組を “情報番組” とか “ニュース” とか言うのをやめろ

This account is not set to public on notestock.

これわかる

あと SanDisk の一般向け SD カードとかのパッケージに書いてある「耐放射線」とかも、初めて見たときは「宇宙にでも持っていくのか……！？」となった (実際は空港などでの X 線検査とかの話らしい)

This account is not set to public on notestock.

This account is not set to public on notestock.

https://oransns.com/@CotTheta/102404101176286192
これがこれでコンテンツであるということは認めるんだけど、個人的にはこれ私が嫌っていた「人間の挙動のコンテンツ化」で、まさしく “芸能界” の再現なので、その辺りが好きになれないんだよなぁ

これは好みの問題であるということは承知のうえで言うんですが、私は人間性よりコンテンツの方で選びがちなので

V の者同士の絡みにコンテンツを見出すの、同窓会とかで知り合いの近況を延々と話すムーヴと全く同じように感じられて、私はそういうの好きになれないんですよね

せっかく違う人間がいるんだから、人間の話でなくそれぞれの持ち物を持ち寄って遊びたい

私はね、ドチャクソ Portal がうまい VTuber を見たい

This account is not set to public on notestock.

「やましいことがないなら手荷物を警察に見られても平気なはずだ」とかもそうなんだけど、プライバシーという概念を知らない数百年前の時代からタイムスリップしてきた人だから人権という概念を大切にしてくれない人々だし、無視していいよ

そういえば私の旧インスタンスであるところの gnusocial.cardina1.red も GS なので OStatus だわ……

今のうちに爆笑必至発言コレクションを import しとかにゃならんな (???)

https://mstdn.maud.io/@azyobuzin/102404949870113028
https://mstdn.maud.io/@azyobuzin/102404957486691940

#これすき

Linux でいいかんじのメンテされてるボイチェンないかね……

もちろん自由ソフトウェアで

何か面白そうな話がエアリプで進行してるっぽいけどフォロー外へのエアリプなので何もわからん

This account is not set to public on notestock.

https://social.mikutter.hachune.net/@charsiuCat/102405098292162811
要素数が変わる filter とか型が変わる map とか連鎖させるたびにメモリアロケーションが発生するの最悪すぎるのではと思う

Rust はシステムプログラミング言語であって C++ 並かそれ以上の効率を発揮するよう作られた言語なので

#ぽぽぽ飯 #rogy1yakudo

AMD Ryzen 7 3700X + Ryzen 9 3900X Offer Incredible Linux Performance But With A Big Caveat Review - Phoronix
https://www.phoronix.com/scan.php?page=article&item=ryzen-3700x-3900x-linux&num=2

うわぁ

めろんととら行ったことない

This account is not set to public on notestock.

This account is not set to public on notestock.

7Pays to Die

#適当

プリコネR の末代クランがあったら

This account is not set to public on notestock.

「インターネットで送信・共有されていること」と「公開されていること」の間にはちゃんと区別があるんだけど、その区別がつかない人々がアホをやらかす

インターネットで秘匿通信ができること、ご存知でしたか？

あるいは「本当はいろいろな人に自慢したいけど建前を打破するだけの理由が見付からないのでポーズで秘匿・匿名化している」みたいな理性の足りてないケースとかも事故りやすい

広告の良し悪しはさておき、宣伝をぶら下げて喜ぶ連中のﾂｲｯﾄは普通に信憑性を疑う (何故なら宣伝を伸ばすインセンティブが真実を探すインセンティブより高そうに見えるから) ので、見る価値感じないし普通にブロックですね

パクツイばかりしている業者垢がたまに宣伝を混ぜてるのと同じようなことをやってるので、扱いもパクツイ専用垢に準じたものになりがち

This account is not set to public on notestock.

みなさん今晩カレー食べてるんですか
奇遇ですね
私も今晩は有機物を食べました

https://twitter.com/GrouseWhite/status/1148203007382700032
この人私かと思うくらい同じ境遇でびっくりした

いるところにはいるんだなぁ

This account is not set to public on notestock.

This account is not set to public on notestock.

ワンキツネザル

ワオキツネザル - Wikipedia
https://ja.wikipedia.org/wiki/%E3%83%AF%E3%82%AA%E3%82%AD%E3%83%84%E3%83%8D%E3%82%B6%E3%83%AB

This account is not set to public on notestock.

A successful Minecraft Git branching model
https://toshia.github.io/a_successful_minecraft_git_branching_model/

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.

Source Code Pro 、 ambiwidth の文字が半角幅なので、ターミナルで使うと記号や罫線類のトラブルが回避できて最高

This account is not set to public on notestock.