ハスケル・カリーじゃねえか

カリー・ハスケル氏はどっちも用例があるのに

アグナーの方に関連する用語はないのか

erlang ってそういえばアーラン分布のアーランか

もちろん普通に解いてる間は磁石の力で自然には落ちないようになってるけど

定期的に QiYi Maginetic Clock の話したくなるのでするんですけど、勢いよく振ると本当にピンが動く、それぐらいスルスル動く

手法はほぼ 3x3x3 と同じだからパーツを探すところとか回す行為自体を高速化するのがよさそう

Megaminx もっと速く揃えられるようになりたいな

Elixir が層としてはかなり薄いっぽいことはわかった

これ見て思い出したんだけど Windows XP のノパソで BVE4 やってたときテクスチャで透過になるはずの青バック部分がそのまま描画されてておどろおどろしい感じになってた

LSD

Elixir のドキュメントだけ読んでてもどうにかなるのかライブラリと概念くらいは Erlang のドキュメントも読むべきなのかどっちなんだろう

まあ Lotus Exige はエキシージだし

(Elixir $ エリクサー $ エリキシル派ではない)、LSP はどんなもんだろ

低低高低と低低高中か

あれ、 2 と 3 何が違うのか

マスト丼派です

ヘネーソンとパタシーじゃん

女性イラストレーターが絵婦になるのやだな……

絵描くのに国家資格が必要な世界、それとなくディストピアだな

絵士

歌い足

婦警……はちょっと微妙なラインだな

厳密には男女が分かれているというわけではなかったね

職業名としては昔は男性でも「保母」と書かなければならなかったらしいが 1999 年の法改正で「保育士」になったらしい

あ、保育士/保母とか？_

というか同じ資格/業務で男女で呼称が違う職業って他にあるんかな

最初から性別関係なく看護"士"だったらどういう未来になってたのかはちょっと気になるわね

でも確かに弁護士と弁護婦、運転士と運転婦とか分かれてたら何とも言えない気持ちになるな

もともと両性でサムライになってるタイプの士業は名称変更される可能性は相対的に低そう

どちらかというと看護師については女性のそれが看護婦、男性のそれが看護士と呼ばれていたのを統一するという面が強いような気がする

サムライ業なあ

明日は研究の進捗でも出すか

ホワイトベルトのクリアはよくやってるでしょうが

それだけだが

今気付いたんですけどこのミス数の 333 ってこのアカウントの ID といっしょですね

！

まあ issue tracker とかを見てるともとの用例では when が多い印象がある

これだと as の接続が怪しいか

Wrong color in VP9 video as WebGL texture とか？

cp4 練習コース作った

実績 ゴールデンヒーロー獲得！

ウオオオオオオオオオオオオオオオオオオオオオオオオ

仮設トイレからタイヤ乗るところはコツがわかったので比較的安定するようになった

シルバーですね

キタキタキタキタ

11 と 12 が安定すればこれ普通にゴールド取れるペースなんだよな

cp11 到達時点で 4:39 / 21 ミスか……

あの棒ギリギリ両輪着地できるから連続バニホでやってもいいし後輪バウンドでやってもいいんだけどどっちが安定するんだろう

とか書いたときに限って一発で成功するんだよな

まあ cp3 ぐらいならリセマラできるしな……と思っているところはあります

cp11 🤔🤔🤔🤔🤔🤔🤔 (X-Files BGM Theme)
cp12 🤔🤔🤔🤔🤔 (X-Files BGM Theme)
cp3 安定するかボケ
cp10 後輪持ち上げが微妙
cp7 cp8より実は安定しない

_💈_ ←
\
|
/
／
==== ====
/
／

できなさすぎてインフェルノ V の AA 作れるようになってきた

💈__ __ 💣
💣 💣 ＼ |
|
/
／
／
／
💣____ ●
↑あほばかしね _ 💈 ___／

あまりにもできない

💈__ /
● _ 💈 __ /
| /
／| |_ 💈 __ ●
| | | 🔥

インフェルノ、歴代シリーズで最終コースがナンバリングされてるのか

母親のマッチ(ジャニーズ(曖昧さ回避))のレコードを聴いたりしてたな

一回しか再生できなかった

そういえば大人の科学 vol.6 (円盤式の蓄音機)でキンキンに冷やしたチョコレート円盤に録音するって実験をやってたな

大人の科学の集団幻覚好きすぎる

はいかぶった

大人の科学で紙コップで当時の機構を再現したやつがあったね

最初期のレコードは円筒だったわねえ

プロトディスコード

フラジーラナイ

次世代声優育成ゲームか

https://twitter.com/ongeki_official/status/1309327235858358272

Fuchsia の進捗はどうなんだろう

Summer is over のヴィエラ地帯思ったより精度出なくてびびる

久々に 40 曲分ぐらいオンゲキした、サマプラはこれでおしまい

✋🌀☝️🙄🌏👄🌀👄💪😆🌏👨‍👨‍👧‍👦😁😼👄🌏☝️💪😚🌀🎶ハッピータイフーンがやってきた🎵🌀😕👍💆👏😆😓🤷🌏😓😆💪😊🌀ほらほらみんなみんな全部巻き込んで🌀👯😓🤷👄😆🤪😆☝️✋🤗👅💪🙄🤪歌ったり踊ったり好きなよう👨‍👩‍👦‍👦👨‍👩‍👧‍👦💃😆👅☝️✋🤗🙄🌀に楽しんじゃえ！🌀✋😆😚😕😼☝️✋😚😁👨‍👨‍👧‍👦✋👯🎶💃✨👄😓🌎🗾🕺👨‍👨‍👧

夏は終わった……

This account is not set to public on notestock.

ギャンカワ女子〜

なにこれ

うおー SS 乗った

んーもうちょっと詰めるか

できるかこんなん

？

ぱくぱく☆がーる ABFB/SSS+

ウキウキで外出たら雨降っててバリ泣いとる

きたよ

バックグラウンド動作とかは制限なしにしたはずだけどなあ

やっぱり Spark の新着メール通知来ないな……

#えあいさんちの今日のごはん

3 万の 3090 事件思い出すだけで笑顔になるしずるいな 事実として面白い

同じ布団で寝てると急にこっちに寝返りしてドキドキさせてくる唯音ちゃん
https://shindanmaker.com/1022016

ノースリーブの服を着てて、横から見たら乳首がモロ見えしそうになってる日下夏稀
https://shindanmaker.com/1022016

ええご身分んちゅねえ

結局ピクロス数問やって寝た

こういうときはゲームしたほうがかえって眠くなるかもな

ゾなあ

あれ経験的に知ったけどなんで回れるのかは知らなかったなあと

身近な回転モーメント

あとラーメン屋の回転イスで手を曲げ伸ばしして回るやつ

サイゼリヤ行ったときによく伝票入れる筒をこういう風に置いて遊んだのを思い出した

添い寝ストリーミングまたやるかなあ

This account is not set to public on notestock.

食虫植物の甘い匂いみたいな

まあ味で釣って殺しているという解釈もある

美味しいことが多いらしい

新規アイテム追加は 3 年前に終わってるけど鯖自体はまだ生きてるっぽい

まだサ終してない

寝たい……

カスメオンライン結局どうなったんだろう

「夜伽マスター」

夏稀は体力以外カンストしてる

あれは音楽聞いて手打ちしてクォンタイズすらしてないですよ多分

弐寺モードにすると死ぬほどずれてるのがわかる

Elixir これがあの Erlang と同じ BEAM で動いてるのすげえな

プリエンプティブじゃないのか……

Erlang はつらそうだけど Elixir は面白そうだな

面白いシステムだ

汎用的な port をしゃべるための crate ありそう

xxx/s3wf2port - src/main.rs at master - s3wf2port https://git.azyobuzi.net/xxx/s3wf2port/src/branch/master/src/main.rs

emitter.rs のほうしか見てなかったけどむしろこっちがメインなのか

いわゆるポーティングの port だと思ってたけど Erlang 概念の port からきてるのか

あ、なるほど！だから s3wf2*port* なのね！

Prometheus の exporter みたいな感じなのかな

Erlang -- Ports https://erlang.org/doc/tutorial/c_port.html

なるほど

s3wf2-rs が吐く HTML 、もっと健全なのにしたいな

あ、あれ別プロセスなの

鯖の中で Datadog が死んでる P

BIG5 とかじゃないの？ってなる

日本語がギリギリいけるとて中国語はしんどそう……

元ヨーカドーの土浦市役所が棘で話題だけどマジで旧市役所とんでもない立地だったしだいぶ老朽化してたんだよなあ

両目で見たときとカメラを通してみたときに顔の印象が違ってくるやつ、どう考えても単眼と複眼のせいだよな

夏稀はやや平ために作ってるけどアゴの造形がかなりふっくらしてるから近くで見てもあんま気になんないかな

VRoid デフォはかなり凹凸ちゃんと付いてるんだなあとなった

パースは難しいよねえ

Firefox for Android ……というより GeckoView の FIDO 対応順調っぽいね

なぜなにリアルタイムレンダリング https://www.slideshare.net/mobile/SatoshiKodaira/ss-69311865

何度読んでも面白いのでおすすめです

それにしても VR では本当にディファード不人気だよなあ

計算量の切片を増やして傾きを下げるのはクソ面倒だし個人でやるには重すぎる

まあ現代のリアルタイムレンダリングの基礎ということでこの過程も論文の一部にしてしまってもいいかもしれんが

まずは簡易的なディファードレンダリングの機構を書く必要がある

でもあれは多分ワールドに露出設定のボリュームが付いてるだけな気がしてて、本当に画面の情報だけからポスプロでやるのは比較的最近の技術

古い例だけど HL2 の技術デモアプリにはそんな感じのエフェクトがあったはず

パフォーマンスは知ったこっちゃないが現在の OpenGL ならできるはずなので

とりあえず方向性としては「コンピュートシェーダーを使わない明暗順応エフェクト」ですね