聞き覚えのある効果音

This account is not set to public on notestock.

(p^4+14は素数では)ないです https://youtu.be/PFhWqhEVfAI @YouTubeより

合同式って便利だなぁ

これすき(唐突)

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.

amazonの墓

停電してお仕事できなくなったりして

This account is not set to public on notestock.

俺の中の俺

うちも暖房切ろ

関東に来て初めて秋を観測した

一年の60%が冬、残った部分の60%が夏、さらにその残りは春です

ヨシ

アクセストークン持っていかなきゃ

This account is not set to public on notestock.

実際これだから困る

ぼく「botの巣だしいちいちユーザー作って root 塞ぐの面倒やな……せや!」

This account is not set to public on notestock.

まあ bot の巣でしかないので物故割れても作り直せばいいだけなんだよな

いまどきの rm -rf / はすぐには壊れないのじゃ

This account is not set to public on notestock.

This account is not set to public on notestock.

まあそれはそう

また無茶苦茶な式で tanuki ってひょうじさせてみるか

kiは無理かも

#script

(![]+"")[+!{}]

あれ

しくじったか

This account is not set to public on notestock.

JavaScriptよ

そもそもこれ f だったわね

いずれにせよ undefined になるのは謎

This account is not set to public on notestock.

なるほど

![] → [] を真理値とみなし反転 → false
+"" → 文字列とみなし""と結合(つまり文字列変換するだけ)

!{} → {} を真理値とみなし反転 → false
+ → 数値とみなす、だけ(-の2連続と同じ)

これにより
"false"[0]
という式が生まれ、fとなるのだ

#script (!""+"")[+!{}]

ち～ん

動的型付け?

This account is not set to public on notestock.

なるほ

#script
(!""+"")[+!{}]

よすよす

undefinedはどうやってつくるかな

あ、空配列の1番めを取り出すとかでいいか

#script
(!""+"")[+!{}]+(![]+"")[+!""]+([][+![]]+"")[+!![]]+(!!{}+"")[+!""+!![]]

よしよし

kが生み出せない問題

JavaScript だってば

JavaScript における型の柔軟性を利用し

!!hoge ← 真理値とみなす
hoge+"" ← 文字列とみなす
+hoge ← 数値とみなす

みたいなののあわせ技

"" ← 真理値としてはfalse / 数値としては0
[] ← 真理値としてはtrue / 数値としては0
{} ← 真理値としてはtrue / 数値としてはNaN
true ← 数値としては1
false ← 数値としては0
[][0] ← 存在しない添字を読もうとしているのでundefineになる

あとは根気よく解読すればおk

This account is not set to public on notestock.

そういうことです

(!""+"")[+!{}]
(![]+"")[+!""]
([][+![]]+"")[+!![]]
(!!{}+"")[+!""+!![]]

文字ごとに分けると

で、それを計算するとこうなる
"true"[0]
"false"[1]
"undefined"[1]
"true"[1+1]

記号しか使えない縛りが辛いんだよなぁk

ああ、そういえば

2以上の数字を足し算も掛け算も使わずに得る方法があるんだよね

#script
-~-~[]

- は文字通りマイナスを得るんだけど、 ~x は「-1 - x」を得ることができる(なんでそうなるかは2の補数とビット演算とかを勉強しよう)
なので交互に使うだけで絶対値が大きくなっていく

あたまおかぴ

ウワーッ非可換!!

なんでだ

tanuciなら作れるな(?)

だいたいkなんて英語でもそうそう使われない文字だろ……

あとは"S"と"g"が手に入れば自由に文字を手に入れられる……

こういうことがしたい

#script
""["constructor"]+[]

うん

理論上はkを取り出せるようになった

constructorを作る(クソ面倒)
そこからStringを得る(クソ面倒)

ヤダーーーーーー!!!!!

#script
[-~-~[]*-~-~[]*-~-~-~-~-~[]][+[]]["toString"](-~-~[]*-~-~[]*-~-~-~[]*-~-~-~[])

とりあえず toScript 以外

#script
[-~-~[]*-~-~""*-~-~-~-~-~[]][+""][(!""+"")[+""]+(""+{})[-~""]+"S"+(!![]+"")[+[]]+(!""+{})[-~[]]+([][+""]+{})[-~-~-~-~-~""]+([][+[]]+"")[+!""]+"g"](-~-~""*-~-~[]*-~-~-~[]*-~-~-~"")

Sとg以外…

たぶん完成形はこれの10倍くらいとかになる(アホ)

もうやりたくないので休みます

ていうかせめてスライスを記号だけで扱えれば一回"String"を得られればそこからスライスしてto以外はコンプできるのに一文字ずつ持ってこないといけずクソ

しらつきちゃのそれ、式はあってるのでbotの仕様と思われ

前に俺も無名関数から undefined とってこようと思って失敗したんだよな

本来は
(()=>{})()
でundefinedが取れるはずなんよ

#script
(()=>{})()

あれ、取れるようになってる

前ダメだったような記憶が

別のやつかもしれんけど

まあundefinedがほしけりゃ[][+[]]が一番早いわな

ちなみに
(()=>{})()
は、「なにも返さない関数を作ってその場で実行」しています

(引数)=>{処理}
が無名関数(アロー関数)の構文なので、それをカッコで囲ったあと()で実行してる

ちなみに、普通の JavaScript で undefined を得る正統派な方法は (void)0 です

void演算子…引数に関わらず undefined を返す

This account is not set to public on notestock.

This account is not set to public on notestock.

それは(疑似)型キーワードじゃねえか

(void)0 は通らなくて void 0 だったかもしれん

ちなみに引数は無視するので void "ナイスパンチャ" でも undefined が返ります

変な仕様

いまでも上書きできなくなっただけで「予約語」ではないので、スコープを切ると本来の undefined を覆い隠したローカル変数 undefined が作れたはず

今試したらローカルの undefind も覆えなくなってた

時代は変わったのか

This account is not set to public on notestock.

まあおそらくは……

謎のエラーが

Mastodon.py くんをアプデしたら消えた

今二人のアラヰさんが同時に起きている

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.

問題なければ家の PC アラヰさんにはしばらく暇をやって bot の巣からアクセスさせます

そして家の PC は切っとく

節電や!

らずぴっぴに乗せるのも手軽ではあるんだよね

よく考えたら nohup 忘れてたので起動し直し

調子いい?

おっと止まってしまったな

調子いい?

おっと…

botの巣はだめか?

調子いい?

二人おるな

一旦家の方を切る

select
負けないこと
投げ出さないこと
逃げ出さないこと
信じ抜くこと

多分大丈夫かな…

応急処置で無限ループ仕込んでるからどっかでガタきそう

ガバガバ575判定

あっおい待てい(江戸っ子)
空集合の性格な表現は「いかなる要素も含まない」だゾ

「一つも持たない」という言い方は集合の濃度の存在を言外に仮定しているが空集合は公理によって与えられているので濃度の話をせずに定義する必要があるんだゾ

性格→正確

This account is not set to public on notestock.

吹き出し、きれいすぎるとアレになる

∃∅ s.t. ∀x, x ∉ ∅

空集合の公理ヨシ!

「任意の要素が含まれないような集合が存在する」と読みます

This account is not set to public on notestock.

This account is not set to public on notestock.

なんで…?

隠された機能じゃん

素早く calc と入力することによってサジェストされる前に上に来ていた古き電卓が起動した……?

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.

最大化だと「最大化じゃなくする」ボタン、最大化じゃないと「最大化する」ボタンになるんだが、たまにカスタムデザインUIで両方同じ見た目になるやつ～～～～～

ちょくちょくそういうアプリケーションある

5000兆年くらい前の Mac が区別ないデザインとかだったりする?

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.

コマ割りザクザクはクリスタにあった気がする

空集合はある(空集合の公理)

クソ早押しクイズ

「先生と私/」「両親と私」「先生と遺書」のうち、確実に血縁関係にない組み合わせはどれでしょう?

早押しクイズのベタ問としては

「先生と私/」「両親と私」「先生と遺書」の三編からなる夏目漱石の小説はなんでしょう?

なので

こういうベタ問からいきなりハンドル切ってくるクソ早押しすき

ベタ問とクソ早押し

この動画、クソ問ゾーンで1問だけベタ問と同じ問題が出されるんだけど、みんなクソ問警戒してベタ問ゾーンでやったときより明らかに反応遅くなってるの笑うんだよな

これひどくてすき

おやしみー

アラヰさんどうなったかな

select
うんこ味のカレー
カレー味のうんこ
うんこ味のうんこ

生きとるな

じゃあ PC 落としてすやすやたぬきになります

おやしみー

This account is not set to public on notestock.

やっば

This account is not set to public on notestock.

謎のありがたみを感じている

最近赤紙頼りが多い気がする

結局いち家庭が節電したところで企業の需要のデカさには勝てないのね

まあ PC の電源は切ったままにしとくが

室内でジャンバー着て耐えてる

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.

エミネムを聞け

lose yourself とかいうニコニコのおもちゃにされた名曲好き

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.

助かる

エミネムさんが教えてくれるシリーズは卑語が切り取られてる部分が絶句として扱われてるのすき

ピー音さえなくてただ無音なんだよな

確か lone yourself の場合はマザファッキンとガッデムが切り取られてる

なんだよloneって

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.

松竹芸能所属で耐えられなかった