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

ゴムパッキンで封じてあるのがアルミサッシ
ゴムらしき風味があるのがサルミアッキ

微妙

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

枠があるの、まあ良いこと

今「打ちたいのに打ててない」人、さすがに枠の問題ではなくて体質とか予定の都合とかのせいだと思うのでかわいそうという気持ちはある

絶対打たないという強い覚悟があるでもなく「様子見」とか言ってるうちに打たないまま今になってしまった人は……結局その「様子見」でどのような知見が得られたのかは気にならんでもない

だいたい若い世代の様子を見るまでもなく高齢者が先んじて打ってるわけだからね

あれよ、地価とか株価とかがまだ上がる、まだ上がる、と覚悟も決断もなしに「注視」し続けて暴落に直面して途方に暮れる人ってのはこういう行動原理なのかなとちょっと思いました。

これは “自戒を込めて” の話でもあるんだけど、注視とか様子見とかってのは往々にして終了条件やフックされたアクションが未定義のまま漫然と行われるので、そういう心持ちに突入した時点で自分の漫然とした行動を自覚して決断の覚悟をしないといけない

今日は涼しいねぇ

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

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

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

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

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

たとえば恣意的な仮定だけど、大事な人が死んだときあなたが嫌っている胡散臭い新興宗教の流儀で「魂が救済されますように」的なことを言われて本当に嬉しいのか、みたいな話はある

結局物言わぬ死者に何か与えたり望んだりしている時点で、本質的には死者を自分が気持ちよくなるための玩具にしてるんじゃねえのみたいな感想もある。 †守護霊† とかと何が違うのさ

「私は哀しい」と個人的な範囲に留めた表明の方がよほど誠実ってもんよ

まあこれは死者の尊厳を尊重したいという価値観で考えるならという話で、死者に人権も尊厳もないとする人々にとっては大した問題ではなかろうね。それはまあ価値観次第。

いい話

おにめつも回線も見てない、オタクじゃないので

むしろ見てないほうが捻くれオタク扱いされそう……

まあでも、死後の世界を信じているでもなくそもそも相手の宗教も知らない、そもそも「冥福」が何の宗教の概念なのかもよく知らないのに堂々と「ご冥福をお祈り」とかできる人、本当にすごいと思う。死者に尊厳なんてないから宗教ミスマッチなんてあっても関係ないもんな。
ロックな生き方を貫いてほしい

それもまた多様性だよ (超適当)

４７４８「ご冥福をお祈りします」 ｜ （ytvアナウンサー）『道浦TIME』
https://www.ytv.co.jp/michiura/time/2012/06/post-1209.html

> 仏教でも浄土真宗でも、故人の冥福を祈りません。冥福とは、『冥土（冥途）で幸福になる』という意味です。そして、この『冥土（冥途）』とは、仏教以外のものの考え方なのです。つまりご遺族に『ご冥福をお祈りします』とご挨拶されることは『亡くなられた方は冥土（冥途）へ迷い込んだ』ということを意味し、『お浄土の故人を侮辱する無責任で心ない表現』と言えます。

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

クソ真面目な顔で冥福を祈れるかどうかは、社会適合バロメーターのひとつです

多くの宗教の人々を不適合者扱いしてしまった、まあええか

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

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

@sota_n pray?

https://mastodon.cardina1.red/@lo48576/107054923302907127

そういうことらしいので、ハードウェア要件とかとは全く別の面で Win11 に上げるには躊躇いが大きいです

それはさすがに防衛的なやつでは……？ みたいな気持ちもあるけど、まあそれはそれで自分たちが安心するために社会基盤のリソース無駄に使うなみたいなのもあり、うーん

特許と違って使用の前例があっても認められてしまうものなのであれば、念押しするのは仕方のないことだとは思うけど。同じようなことを多くの人々がやり始めると良くないことになりそうなので、やはり良いことではないのだろうなとも思えるし、結局「仕方ない」くらいの気持ちに落ち着きそう

物語、ストーリーわかってても途中経過の描写が丁寧で楽しければ全体としても楽しめるので、実のところ意外性はそんなに重要視していない。いやもちろん先の読めない展開があればそれはそれで楽しいけど。

住環境が悪く、地震なのか隣室の住人が暴れているのか区別がつかない

JAXA | 小型光通信実験装置「SOLISS」が宇宙と地上間の双方向光通信に成功
https://www.jaxa.jp/press/2020/04/20200423-1_j.html

Ethernet がエーテルを渡ってる、マジで Ethernet なんだなぁ

筑波のセミ「つくつくばー市！ つくつくばー市！」

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

型なしラムダ計算は不動点コンビネータがクッソ簡単に作れて良い

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

ないんだなぁ、それが

全ﾎﾟﾖｸﾞﾔﾏが知っているべき基礎的理論であるところのλ計算 (クソデカ修飾) が型なしプログラミング言語なの、まあまあおもしろい事実

LPCTSTR

アセンブリ言語にさえ型はあるのに……

機械語とλ計算を見比べると、工学と理学ってのはこういうことなのかなぁと漠然と思ったりする (適当)

@rinsuki --mirror とか？ (やりすぎな気もするけど)

Git - git-push Documentation https://git-scm.com/docs/git-push

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

gitconfig にエイリアス用意するのが良さそう

#直観主義論理は直観的

あと false が 0 なやつ

機械語から遠い言語処理系の鶏と卵系の話、二村射影とかも面白い

RPythonについて軽く | κeenのHappy Hacκing Blog
https://keens.github.io/blog/2017/12/12/rpythonnitsuitekaruku/

Meta-circular evaluator - Wikipedia
https://en.wikipedia.org/wiki/Meta-circular_evaluator

あとは meta-circular interpreter とかも

cons := (λcab. c a b)
とかがありがちな定義だったはず

ただ cons で作ったリストの末尾に何を詰めるかは悩みどころよね。真の意味での同値性の判定ができないので、用途と内容次第で何かしらの規約を用意してやらないといけない。

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

Scheme で手続き作るときに引数リストの cdr 部分に optional な引数が入るの、マジで天才的だと思ったわ

めちゃくちゃ美しいよな、あれ

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

うぅ……労役で Rust 書きてえよ……

や、書きたきゃ手元用ツールとかで書けるんだろうけどそういう話ではなく

「未定義動作」

「コンパイルが通る」ことは「唯一の定められた挙動になる」ことや「複数候補ある妥当な挙動のどれが選ばれるかわからない」ことを意味してなくて、「本当にどうなるか一切の保証がない」こともありえるのでマジで注意

「複数候補ある妥当な挙動のどれかが選ばれる (どれになるとは言ってない)」を「未規定の動作」といいます。
「本当にどうなるか一切の保証がない」が「未定義動作」。

プロトタイプ宣言がない場合は戻り値 int で引数は variadic arguments になるはずだから、これはコンパイラの動作としては完全に「問題ない」はず

まあ問題なく動作したコンパイラが未定義動作に対してどのようなコードを吐き出すかというのはまた別の話なので……

1回余分に pop して変なアドレスへ ret したとしても “問題ない” ので……

未定義動作を畏れよ

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

きっとボンボンにはボンボンのつらぽよがある
ぼんぼんぺいん

System V AMD64 ABI だと整数引数と浮動小数点数引数は別レジスタに突っ込むことになっていて、それはそれとしてプロトタイプ宣言がない場合は特殊な措置としてスタックにも突っ込んで……みたいなクソ面倒なこと考えないといけなかったような

Cの可変長引数とABIの奇妙な関係 - Qiita
https://qiita.com/qnighy/items/be04cfe57f8874121e76

まあ未定義動作を示すデモとしてはわかりやすい

論理回路の設計おもしろいよ

実際に実装するとなると大変だろうけど (と言いながら脳裏に思い浮かべているのが DIP IC なので老人)

DIP な標準ロジック (74HC) のストックが実家にある

トランジスタで作った時計 : 東京工業大学 ロボット技術研究会
http://titech-ssr.blog.jp/archives/1018020218.html

これほんま草なんだよ

あのあたり、プロプライエタリのすくつな印象があるんだけど、実際自由ソフトウェアな開発環境あるのだろうか

kicad はどうだろ、 FPGA 開発環境かというと微妙な気はする (わからん)

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

BCD (Binary-Coded Decimal) とかいうクッソなつかしい概念、43億年ぶりに聞いたわ

まあなんというか、古の電卓用という感じがするわね (?)

さすが86の系譜

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

あー利息計算か。
でもそれって10進計算されていればいいわけで
BCD とは限らないのでは

たとえば32ビットに10進数9桁を詰めたりしてもいいわけよね (というか自分で10進計算するならそのように実装する) (まあ勘定系の CPU アーキテクチャがどうなってるの知らんけど)

金銭系なら小さい方向への任意精度は必要なさそうだから固定小数点数で済みそうだし

まあ言うて浮動小数点数の実装もそんなに難しくはないよ、ソフトウェアでやるだけなら

きょうび C のここが悪いなんて次元の話してる人いないでしょ、その領域もう知見出尽くしてる

C の safe な方言をどう作るとか静的解析でどうやってバグ見付けるとかそういう話はまだ活発なんだろうけど

だいたい「C/C++ はこうすると良くなる 」みたいな俺の考えた最強のアイデアはもう新しめの言語で実装されてるので、 C でそういう話をしてるのは逃げられない人か縛りプレイが好きな人だと思う

㍂

高位合成、概念は知ってるけど使ったことないんだよな。なにせ FPGA で開発しようとしたことが授業課題くらいしかないので

R4RS 未満の Scheme 規格とか Python 2 未満の Python とかについて話している人をほとんど見たことがないので、古い言語といっても人間の時間感覚ではその程度だよなぁと思うなどの感想がある

History of Python - Wikipedia
https://en.wikipedia.org/wiki/History_of_Python

Scheme (programming language) - Wikipedia
https://en.wikipedia.org/wiki/Scheme_(programming_language)

Python は1990年代後半、 Scehme は 1975年

LISP - Wikipedia
https://ja.wikipedia.org/wiki/LISP

63年前だから現役世代まだ生きてるはずなんだよな

Jonh McCarthy は2011年没

path tracing って path だよな……？ と思ったけど render pass の方か

あれは単にコンパイラとか動画処理とかの pass と同じで「ひとつのデータを複数の段階で舐める」みたいな話だと思ってたので違和感なかった

One-pass algorithm - Wikipedia
https://en.wikipedia.org/wiki/One-pass_algorithm

stub しかなかった、初出がわからんな

データをフィルタを通す (pass) とか、引数としてフィルタに渡す (pass) とか考えると全然違和感はない。最初に使いはじめた人がどういうつもりでそう言ったのかはわからんけど……

two-pass が two-passes にならないところを考えるに、ここでいう pass が加算名詞かは怪しくない？

むしろ非可算の pass ってあったっけ……？

逆に不安になってきた

や、これは two-year-old みたいな感じで形容詞的な用法だと複数形にならないやつと考えるべきか

ｴｰｺﾞなんもわからん

a two-week holiday と a two-pass algorithm 、構造が完全に一致しているのでそう解釈すべきか

渡す方でも道の方でも意味が通るので、解釈は好き勝手できそうだけど由来を知るには初出を探す他ないわね

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

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

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

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

最近 PS5 や PS4 のゲームばかりやっていたので、久々に Switch のゲームしたら指が混乱した

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

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

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

(画質が) きたない
(質量が) かるい
(画像が) かこうずみ

あともうひとつの K は何だろう (?)

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

トイレにいます、俺の勝ち

東京の地震速報、何年ぶりだ？

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

あー誤報はあったね、ほとんど揺れてなかったから忘れてた

洗剤が倒れてたりディスプレイが変な方向向いてたりした、やっぱり結構大きかったな

揺れが先に来たわね

これが予震だったらアツい (しぬ)

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

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

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

懐古するおるみん氏だ

リーマン予想と関係してる？熱平衡化の決定不能性【学術対談】
https://youtu.be/OSYc21aEcDY

著者による解説だ

停電情報｜東京電力パワーグリッド株式会社
https://teideninfo.tepco.co.jp/

停電してるところあるのかー

とりあえず今日一番の安心情報は、縦置きしてた PS4 と PS5 がこの程度の揺れなら倒れないということです

「地震とかどこの田舎」という文面たまに使われてるけど、実際のクソ田舎は「ここでは大きな地震なんて起きたことないので対策なんてなくて大丈夫」などと自然をナメてたりしますからね。マジで。

幼少期に千葉から山口に引っ越して、「防災頭巾」という概念が消失した土地に驚いたのをよく覚えています

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

九州に属していると勘違いされがちなことに定評のある山口県な

下関が門司港と混同されているのかなと思わんでもない

品川勤務マン、「今日の仕事は楽しみですか」と煽られた3日後には駅で足止めされてるのか。マジで可哀想すぎるな

まずこの時間に品川にいること自体が可哀想すぎる

明日の品川駅「今日の地震は楽しみですか」

あそこ中国地方なのでそのうち中国だと思う人も出てくると思う (超適当)

KH3しよ

わかる、でも本当に下の方は埃が溜まるので蓋付きの箱にラップトップとかを入れる感じになっていて、稼動する機器 (ゲーム機とか) はデスクと同じ高さになっている

KH3 を PS5 でやってるけど、○ボタンで決定なの変えられなくてマジで混乱する

public static の話してる？

https://mastodon.cardina1.red/@lo48576/101313795955597879
https://mastodon.cardina1.red/@lo48576/101313800070503562