れいふぃよ🦕 (@rayfiyo) profile picture

Gopherくんが好き、それだけ知っといて

Joined April 2019
Photo by れいふぃよ🦕 (@rayfiyo)Photo by れいふぃよ🦕 (@rayfiyo)Photo by れいふぃよ🦕 (@rayfiyo)Photo by れいふぃよ🦕 (@rayfiyo)Photo by れいふぃよ🦕 (@rayfiyo)Photo by れいふぃよ🦕 (@rayfiyo)Photo by れいふぃよ🦕 (@rayfiyo)Photo by れいふぃよ🦕 (@rayfiyo)Photo by れいふぃよ🦕 (@rayfiyo)
ChatGPTと日常会話を練習することで、スムーズな会話ができる気がする。 ここまでは、結構正しい。 ただ、もう少し踏み込むと、これは実質的に「蒸留」している。 ここからが重要。 利用規約に引っかかる。 つまり、会話能力は上がった。 でも人生はBANされた。 もう一生、誰とも話せません。
1
7
807
Replying to @nouharusudesite
「10+1進法」の10が何進法かわからない ↓ 「10+1進法」の10をAなどの1桁で表記したいなら、n進法は n<m を満たすm進法で表記する必要がある ↓ 大きなnを想定して、mは十分大きく定義する必要がある ↓ 複雑になる ↓ 現行のままでいいよね ってことですか?
2
1
101
10になる直前の進数として妥当な数Nを「N進数」として表記したら良いのかなと思ったが、これも何進数でNを表現するかで揺れそう (16進数→15進数, F進数, …) 標準化団体が十分大きなmを決めるのが良いかな
32
JCOMユーザだがDNSを常に変更していたため、障害に気づかなかった顔
5
1,127
これ、十分に高度なAI登場後のCTFとハッカソンの在り方問題が似てる気がした 競プロも同じなのかも
受賞を狙わずにやりたいことをやる開発はめっちゃ楽しいけど、やっぱり受賞の有無はひとつの指標だと思う 何度もハッカソンにでてる上で恥を承知で発言するけど、受賞できなかったら悔しいんだよなぁ そのあとで「別に賞は狙ってなかったし、、」みたいに思ってしまうのも自分の弱さを感じる
2
267
それを踏まえると、 ただAPI繋げて優勝掻っ攫うチーム とか、専用ハードウェアの意味が感じられない成果物 でも全然良い、むしろ好ましいと思います その技術に対して生き生きと語れれば 前者は微妙かもしれませんが、後者は 専用ハードウェアじゃなくても成り立つ、むしろスマホのほうが都合いいのに
1
2
45
なぜその専用HWを採用したか に対して、この技術が使いたかったから ってだけの回答なのが、ビジネスの場ではありえない狂気で非合理的な理由で至高だと思います
1
1
31
CCS4 NIGHT だけだったけど、楽しかったな
2
174
Replying to @cubbit2
Cubbit さんは 正しい を選択しましたか? 論理的には n=3 ⇒ n=1+2 とその逆、どちらも真だと思います 等価なので 表現としては、一意に定まらないので偽かもしれません 直感的(正整数かつ項の入れ替えは考えない)には、1+2 ⇒ 3 の表現は一意に定まりそうですね
1
1
5,900
n=3 ⇒ n=1+2 の仮定について P={n | n=3}={3} 結論について Q={n | n=1+2}={3} なので、 P ⊆ Q
725
思いついたユースケース2選 1. 複雑な/構造化された検索API - URLエンコードなし(JSONなどのまま)でいい - POSTと違って読み取りである(safe)をメソッドで明示できる→CDN含めキャッシュしやすくなる 2. クエリを資源として扱いたい 仕様のEquivalent Resourceの話(後述)
今使いどころを考えている。正直POSTじゃ駄目なのか、という思いが拭いきれない。
1
436
つまり、この例の200は、このQUERYリクエストは正常に処理されたことを意味していて、等価資源の生成については一切述べていない。 QUERYの主たる効果は資源生成ではないので、201 ではないと思うが、気持ちはわかる(主観)。
1
35
なんやかんや、POSTで実装されているsafeな検索APIをQUERYに置き換える が一番多そう LLMが出てきたことで、クエリをbodyに載せてGETしたい例が増えたのかも 生成AIにJSON吐かせたらそのまま載せられるし
20