@n_soda どうしても必要ならそうすると思います。ただ、積極的な最適化を施す最近のコンパイラを想定すると、そうした規格の外にある操作はあまりしたくありません。

RISC-VにCASを追加するZacas拡張のレビュー期間が始まった。

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

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

ちょっと待って🖐️ になっています

omasanoriネタがどこまで広がっているかわからなくてこわいね、まるでイネ科植物が気付いたら空き地を埋め尽くしている様子のように……

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

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

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

緑藻植物門はよくわからないですね……

緑藻植物門以外にも詳しくないが……

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

むしろNVIDIA以外にNintendo Switch 2やれる可能性があるのはどこのSoCだろうか。Qualcommとか？

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

これすき

この「これすき」は王位簒奪の意図があるという意味ではないです

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

AMD、Arm、Opteron Aシリーズ、うっ頭が

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

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

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

問題はNVIDIAが車載機器とAIがめちゃ儲かるからといってゲーム市場にやる気を出さなくて性能大して変わらんのに性能ちょっと変わるからソフト互換性が壊れる場合がこわいということ

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

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

X-MENに新規加入しない限り別に先輩ではないでしょ（？？）

世間がNintendo Switch 2とかいってワイワイしてるのにこっちはゲームボーイのCPUのレジスタが少なくてキレてて俺悔しいよ……！になっています

面白いゲームが作れたら十分な性能ですよ（横井イズム）

Nintendo Switch 2、バッテリー駆動とか素足の膝にゲーム機を乗せて遊ぶキッズ（キッズでなくともよい）とかを考えると、カタログスペックマニアが望むままに性能を引き上げるわけにもいかないと思う

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

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

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

それは、そう……

https://twitter.com/Klang0812/status/1700114889690558641

温泉クーポン券、全体的にめちゃくちゃなのを除けば、現地に行かないといけないから発行した分に対して使われる分が少なそうだし、仮に相応の人数が現地に来るなら相応の経済効果もありそうなアイデアではある

全体的にめちゃくちゃじゃねーか

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

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

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

not necessarily illegalというフレーズを見かけて少し考え込んだ。これ、notがnecessarily illegal全体にかかってるからunnecessarily illegalともnecessarily legalとも違う意味なのが面白い。

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

not necessarily illegal（必ずしも違法ではない）
unnecessarily illegal（不必要に違法）
necessarily legal（必然的に合法）

unnecessarily illegalには本来なら合法であるべきという含みがあるのに対して、not necessarily illegalには違法でありうるがそれは必然ではないという含みがあると私は読んだ。正しいかどうかは不明。

xkcd 1987

ポケモン金銀によれば18時から夜で4時から朝

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

「時間帯とは、ゲームシステムの一種。」そうだけどそうじゃない感ある説明だ。

https://wiki.xn--rckteqa2e.com/wiki/%E6%99%82%E9%96%93%E5%B8%AF

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

「雀魂の……」
（誰だ……？）
「……エロい人」
（誰だ……？）

雀魂のキャラストーリー、課金しなくても読めますよ（契約が遠すぎる）

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

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

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

警報が動作してニコッとなってるのすき

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

この警報がどのくらい重要な建物に普及していたのかとか、実際は内側につけるんだろうけど、外からどうやって警報を切るのかとか気になる。それとも屋内に必ず一人はいる状態を保って必要なら内側から警報を切る運用なのかな。

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

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

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

多分Vtuberが以前別のVtuberだった場合はreincarnationで通じるけど、その人物のVtuberでない側面のことを指す場合はIRL（in real life）と呼ぶのが通例っぽい

Cool Japan

Babiniku - Wikipedia
https://en.wikipedia.org/wiki/Babiniku

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

”In the Japanese virtual YouTuber (VTuber) community, the performer is called the soul (Japanese: 魂, Hepburn: tamashii), the character's model or avatar is called the body (Japanese: 肉体, Hepburn: nikutai), and the act of acquiring the model is called incarnation (Japanese: 受肉, Hepburn: juniku). The word "incarnation" originated from what Nijisanji VTuber Tsukino Mito [jp] said about getting a 3D model of herself.”

草（literally meaning grass, but it means laugh in this context）

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

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

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

ML族でええんちゃう？（？）

4時から朝というのは少し前（第六世代）までのポケモンの多くに採用されている仕様らしいので仕方ないね（そう？）

https://wiki.xn--rckteqa2e.com/wiki/%E6%99%82%E9%96%93%E5%B8%AF

けるびんさんはLeanだけでなくCoqとF*もやって

けるびんさんが「停止することを保証できないループが書けるプログラミング言語はカス」と言うようになる未来が見えた（？）

LeanとかCoqとかでコードを書くということは停止することを保証できないループを書くとコンパイルエラーになるということですよ（抜け道を使わなければ）

あの手のプログラミング言語ではループは再帰関数で書くと相場が決まっている

Leanが停止することを保証できない再帰関数をコンパイルエラーにする様子です

https://leanprover.github.io/functional_programming_in_lean/getting-to-know/datatypes-and-patterns.html#recursive-functions

Leanのコンパイラが停止することに気付けないコードも停止することの証明をLeanで書けば受け付けるとのこと

けるびんさん早くLean入門して迂闊な再帰関数でコンパイラに怒られまくってほしい（？？）

ともあれ、この10年間は人々がコンパイラに安全性の検査機能をより強く求めるようになった10年間という見方はできると思っていて、次の10年で人々がどこまで強力な検査機能を主流のプログラミング言語に求めるのか、更にその次の10年までその流れが続くのかというのは気になるところではある。

その過程でコンパイラの負担がそこまで重くなくて人間に求められる記述がそこまで煩わしくない、いい感じにバランスの取れたプログラミング言語が模索される、はず

人々、forループの不変条件検査そんなに書いてないでしょ

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

ところでこれはもう土曜日の生活リズム完全に終わりましたね

終わったわ（強風オールバック）

ὅλω-Liebe what?

pixivでポケモン人間絵というタグを見かけてなんか字面が面白いなと思った

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

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

10万円台の「ゲーミング防音室」。組み立て工具不要 - PC Watch
https://pc.watch.impress.co.jp/docs/news/1529868.html

Demonic Dungeon - 16x16 Roguelike Assets by VEXED
https://v3x3d.itch.io/demonic-dungeon

手始めにxoroshiro16++乱数生成器を書いてみたものの、良いパラメーター (R, A, B, C) を総当たりで割り出す必要があることに気付く。

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

それぞれが1から7までの値をとるので、総当たりでもたった2401通り。ただ、内部状態の周期が65535なのは必須だとして、他に何をテストしたらいいだろうか。DiehardとTestU01？16ビットの内部状態で通りうるのかな。

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

えっと、なに？

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

寿司が人々を殺す恐怖の生物・デッド寿司になる映画、そろそろ寿司を食べないと死ぬゲームの対極に位置しているな……

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

1週間でローグライクゲームの開発に各々で挑戦するThe 7DRL Challengeというイベントがあるのを知った

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

横になっている内に土曜日が終わろうとしてない？

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

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

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

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

https://twitter.com/SEGABB_PS4/status/1700392939506299008

次、待ってます！ PS4版『BORDER BREAK（ボーダーブレイク）』出演陣とユーザーの一体感が素晴らしい最後の公式生放送レポート - 電撃オンライン
https://dengekionline.com/articles/198577/

ボーダーブレイク最終設定資料集（仮）予約しとこ

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

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

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

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

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

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

GHCはもうHMじゃないんじゃなかったっけ

OutsideIn(X) とかいうやつなんもわからん

まあ HM(X) も理解してないけど

RSSでメディアファイルの新着情報を配信するのがポッドキャスト（だった）

「味方する」を「味する」と読み間違えて文意が崩壊した

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

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

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

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

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

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

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

ほぼ10分でわかると題されたほぼ18分の動画

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