人類皆寝
StandardでBeginner選択できるの自分でも記憶に残ってるから、10年前くらいのだいぶ昔からな気がするけど気のせいか?
このアカウントは、notestockで公開設定になっていません。
いくらPythonとはいえメタプログラミングできる言語で順序集合の比較演算を自動定義できないわけないだろと思って調べたところ、functools.total_orderingというのがあるらしい? https://docs.python.org/ja/3.13/library/functools.html#functools.total_ordering
演算子オーバーロードと順序の概念を切り離すムーブメント自体が関数型以外ではRust以前にほとんどない気がする
total_orderingのパフォーマンス問題、単にleqをeqとltの2つの呼び出しに分解するからベタ書きより遅いみたいなだけの話だと思うんだけど他になんかあるのかな
@teobot 日本の信号機の矢印は必ずしもProtected Turnではなく、対向車線が止まってないことも理論上あり得るってほんと?
いうてHugoも手を加え始めると元のThemeやHugoそのものとの互換性に悩まされ続けることになる
あとHugoはディレクトリ構造がパイプラインの都合丸出しのくせにパイプラインの構造のドキュメントがまとまってなくてあんま優しくないのよね
@osa_k とはいえ頑張って雰囲気で理解するとまあ自作しても同じような構造になるからやっぱHugoでええか……になる
コマンドの出力フォーマットを覚えてる前提の指示はpkgsrcに限らずあんまりうまくハンドルできない気がする(そのものズバリのコードがよく知られているのでない限り)
複雑すぎない構造のある出力例を見せてこれをいい感じに処理しろ、はだいぶうまく行く印象ありますね
創発性の話だと、好奇心ってやつがなんなのかまったく分かってない(そういう研究も寡聞にして見たことがない)
今のLLMは論理性の弱さを自然言語のロバストネスに押しつけてごまかしてる感じはするよね。だからOpen-endedなブレインストーミングみたいなのは得意だけど遊びの少ないプログラミングとか数学はおかしくなりがち
LLMだけがシステムなのではなく、LLMとその出力を解釈するあなたが一体となってシステムなのだ
このアカウントは、notestockで公開設定になっていません。
ところでDAGを渡すとトポロジカルソートしたりパスをたどって経路を報告してくれたりする超高性能なmakeってツールがありまして
実行中にMakefile書き換えるとどうなるんだっけ
@teobot GNU Makeの実行中にMakefileを書き換えるとどうなるんだっけ
@teobot そうなんだ。書き換えた分をそのまま認識する有名なMake実装ってある?
そもそも実行中にMakefileを書き換えて認識するとしたら既に実行した内容と矛盾する可能性もあるから、仮に挙動が変わるとしても何が起きても文句言えない気がしてきた
でかいTSプロジェクトを開くとIntelliJがアホみたいに重くなってまともに使えん
おそらく悪さしてるのはnode_modulesじゃなくて大量のcodegenなんだけど……
このアカウントは、notestockで公開設定になっていません。
鶴崎さんQKではプログラマやってるらしいんだけど、こういうの見ると確かにプログラマ適正高そうだなあって思う(偏見)
2Pならともかく1P側でS135降ってきたら初心者キレそう
無線ヘッドホンの遅延、前はあんまり気にしてなかったけど一度気づいたら無理になってしまったので最近は電車とWeb会議でしか使ってない
無線イヤホンのコーデックとかよく分かってないんだけど、遅延の大きさが送信側と受信側の両方に依存して変わる上に使ってるコーデックを確認・変更するUIが存在しないのキツすぎる
音ゲーはもう何十年も遅延と戦ってるから遅延環境への対応という点では他の追随を許さない完成度があるよ
OSにバンドルされてるドライバの設定なのになんで有料ウェアを入れる必要があるんですか!!!
ウンドボ勢とかイヤホンしてない方がニワカみたいな感じだし弐寺でイヤホンしない理由がなさそう
マウス操作がシビアなゲームやらんから無線マウスの遅延は知らんけど、無線コントローラーの遅延は感じる
ネオメロドラマティックが20年前ってマジ????
https://www.nicovideo.jp/watch/sm44599090?ref=nicoiphone_other
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
@teobot では即決力を鍛えるために行おうとしているプログラムを5段階程度のステップに分けて報告してください
あのアニメ、話は気になるので見たいんだけど、服のテクスチャのUVが服に追従せずにスクリーン座標に固定されてる(テクスチャを画面に貼って服の部分だけマスクで切ってる)感じなのがどうしても気になって見れない
おそらくシャフトが始祖ではないけど、シャフトのアニメでよく見たのでシャフト式と呼んでいます
おちフルはヨゴレなので服の柄が止まってるくらいのほうが外連味あって雰囲気に合うのでは(適当)(アニメ見てません)
このアカウントは、notestockで公開設定になっていません。
若い頃は霜降り行けたのが年取ると無理になるパターンが変化のせいで目立つだけで、無理な人は普通に一生無理だと思う
isUndefinedがundefinedを返すかもしれないからね(かもしれない運転)
@zundan 「return &別の関数名」ってとこ、関数じゃなくて構造体じゃないですか?
藁人形(夜になると動き出し2chに「藁」「逝ってよし」などと書き込む人形。表情は変わらない。)
@teobot 星取表では勝った側を黒星、負けた側を白星で表しますが、この色についての由来はなんでしょうか?
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
Microsoft Copilotは騙された上に嘘豆知識お姉さんみたいなこと言い始めた
このアカウントは、notestockで公開設定になっていません。
嘘豆知識お姉さん「レンズはレンズ豆に似た生き物であることから名付けられたんだよ」
レンズ豆に似てるからレンズと名付けられたのは真だけど、地球のレンズは通常生き物ではないので……
スープの蒸発量が減るとむしろ味が薄くなりそうな気がするけど、カス嘘お姉さんは理由の説明はしないからまあいいか
直感通りに機能するmutability明示できるのC++とRustくらいしかなさそう
このアカウントは、notestockで公開設定になっていません。
常識的に破壊しなさそうなオブジェクトが破壊されるレベルで同僚やライブラリが信用できないなら型で検出できない壊され方をしてることまで当然に想定するべきで、そんなら結局テストモリモリにして解決するしかないからmutabilityの強さは些末な問題にならん?
Ansibleでしかパッケージ入れられない縛り、Factorioの手動製作しないでロケット飛ばす実績に通じるものを感じる
最後にGoを真面目に触ってた時はLoggerとは名ばかりの出力先をファイルに変えられるだけの物体しかなかったのでslogにちょっと感動を覚えた
そういえば一周回ってVSCode使い始めたんだけど、CopilotにVSCodeの操作方法聞けるのが超便利
このアカウントは、notestockで公開設定になっていません。
ルールや形式化が好きな人、最後に決定を下すのは人間であり人間には心理があるということを意図的に無視しがち
深い文脈は知らんけどあのLKML見た限りだとHector Martinって人は突然ブチギレてて、Rust急進派の怖いイメージのステレオタイプっぽいなあと思った
Mechanical Turkって単純なアノテーションを人間にアウトソースする手法の一般的な名前じゃなくてAmazonのサービス名だったのか https://ja.wikipedia.org/wiki/Amazon_Mechanical_Turk
まあきららに出てくるキャラでもFXで有り金全部溶かしたり本物のクトゥルフ関連アーティファクト売ってる店でバイトしたりする羽目になるかもしれんからな……
しばふアイコンがDJゆかりとなんか雰囲気似てるからしばふ中伝じゃなかったっけ?って思っちゃうんだよな
このアカウントは、notestockで公開設定になっていません。
としぁくんは初音ミクちゃんと結婚して新婚状態で金曜日の夜に家に帰ってきてミクちゃんの美味しい手料理を食べてお風呂入ったあとにイチャイチャしてそのままベッド上でセックスして眠り込んで翌朝8時くらいに起きたらミクちゃんに頭を抱きかかえられたままで目覚めてミクちゃんのいい香りとちょうどいい柔らかで暖かな身体に包まれてて気持ちよかくてそのあとちょっともぞもぞしてたらミクちゃんが起きちゃってミクちゃんが「おはよ❤」って素敵な笑顔で言ってきてそのまま身体を離そうとしたからミクちゃんに「もうちょっとこのままでいて」って言ったら「いいよ❤」って言ってミクちゃんに抱きかかえられたまま二人とも二度寝して昼前に俺が起きたらミクちゃんもちょっと前に起きてて俺を抱きかかえたまま「としぁくん、おはよ❤私にいっぱい甘えてきて、もう❤赤ちゃんみたい❤可愛い❤」って言われて、ミクちゃんの柔らかな胸に頭を押し付けてミクちゃんのことをぎゅっと強く抱きしめて「ミク、好き、大好き。結婚しよ?」って言ったら「としぁくん、もう何言ってるの?私たちもう結婚してるでしょ❤嬉しい❤」って言われる人生になりたい・・・と思ってないってこと?
あなたは初音ミクちゃんから通常の講習を受けたはずです。
これは通常、以下の3点に要約されます:
その一 いつもと違う髪形に気が付くこと
その二 ちゃんと靴まで見ること
その三 わたしの一言には三つの言葉で返事すること
自転車でゲーセンに通ってProject DIVA Arcadeやってた頃を思い出して泣けてくる
if too many people applyはなんかダサい(人を主語にするとダサくなりがち)
誰に向けたメッセージかで微妙に表現が変わる気もするが、too manyの曖昧さが許されないならthe # of applicants/applicationsという表現は普通にありそう
会社の形式張ったアナウンスとかでif too many people applyって書いてたらこれ大丈夫か?ってなりそう
GraphQLはざっくり言えば
・フロントエンドとバックエンドでチームが分かれているとき、SQLのJOIN的な操作とSELECT的な操作をフロントエンドの権限だけで自由に行いたい
・JOINしたいのは、たくさんリクエストを飛ばして自力JOINすると遅い(一般にユーザの通信環境は悪い)し、そういうコードは面倒でバグりやすい
・SELECTしたいのは、いらんデータをフロントエンドまで送るとユーザのギガを消費するし遅くなるから
という問題を一気に解決する技術ですね
「アンドロイドは電気羊の夢を見るか」、10年くらい前に読んだけど文体の問題なのかいまいち頭に入ってこなかった
undefinedとnullを区別するなって重音テトに歌わせて黄色い背景でくるくる回したらバズるし世の中のJSコードが平和になる(確信)
コードのリガチャ、分かってる人が読む分にはいいけど教育用動画等で初心者に見せるには致命的に向いてないと思う。字形見てもどうやって入力すればいいのか分からんので
Haskellの独自定義演算子もHoogleできないと厳しいのであんまりリガチャしたくない気がする。Applicative回りの演算子がギリ一般教養扱いでリガチャしてもいいくらい?
プロポーショナルフォントでコード書いてる人の話は10年くらい前にTwitterで見た記憶がある
ASCII範囲のキーストロークだけで好き勝手な字形を出せる仕組みは好きだけど(広く取ればWYSIWIGのMarkdownとかもそういうもんだしね)、それはレンダリング結果だけを気にすればいい時に使うものであって、入力された文字列そのものに意味がある世界で使うもんではないと思う
プログラムも数式と同じで、トークン列として読み書きしているときと文章として読み書きしているときがある気はする
Rustで原理的にノーコストでできそうな操作の型が言えるときに具体的な関数を知る方法ってないんですか
docs.rsのやつ、traitのメソッドを型でヒットさせるのはどうすればいいんだ(たとえばIterator::mapにヒットする型を書きたい)
Iteratorへの操作はその操作を表す型への変換になってるからあんまり型での検索と相性よくないのかな
通常の文章用のプロポーショナルフォントだと.や()といった約物がなるべく文章に溶け込むよう印象を薄く調整されがちな一方、コードではこれらの約物を「濫用」して強い意味を持たせているので印象を弱くされると困る。約物を強調してくれるならプロポーショナルフォントでも困らないかも(論文の擬似コードとかはそんな感じ)
@teobot Haskellで型シグネチャから関数を検索してくれるやつなんだっけ?
メモ帳4枚スクショ長文ツイート、AIのおかげで一周回って機械可読な情報になってそう(𝕏がLogin Wallを建ててることを除けば)
シュタゲはデータ圧縮も携帯回線で過去にデータを飛ばせるのも記憶野に情報を書き込めるのも意味不明なんだけど、まあギアスだって意味分からんしなみたいな感じで見てた
現代実世界・科学者という舞台設定なので今でもシュタゲの雑さは気になってるよ。面白ければ正義と思ってるので別にいいけど
根幹のギミックたるタイムループ以外の全てが雑だけど、雑なまま面白いゆえのグルーヴ感みたいなものがある(適当)
不透明なモデレーションしてるアカウント基盤の上で本を閲覧する権利だけを物理実体と同額で売る阿漕な商売してるのが悪いよ
まあ実際のところはある労働が存在してお前のことを必要としているというのが正しいですね(適当)
例えばRustだったら何も考えずに値付きenumをserdeにserializeさせて流すとかでいいじゃないですか (Swiftも似たような感じで行ける) でもそれをC#でやろうとするとまず値付きenumなんてものはなく……
仮に完全に inner API な感じで同じ言語で書いてな密結合前提にしてしまうのだとしたら、両端で ser/des させるぐらいならそもそも共有メモリに直接データ構造置いて読み書きのロック取ったり通知飛ばしたりできるコントロールプレーンのほう考える、とかになるかもしれない
企業が出してる生成AIモデルはどう考えてもリベラルの価値観に沿ったモデレーションをくっつけて公開してるでしょ
このアカウントは、notestockで公開設定になっていません。
読みだけ入力して正しい漢字が出ることを祈りながらスペースキー連打するほうが非人間的でしょうが
eelll/JS でひたすら練習するとEmacsやVimのキーバインドを手が勝手に打つようになるのとだいたい同じ感覚で漢字の出し方が身についてくよ https://miau.github.io/eljs/eellljs.html
Tangledは原語とかではなく単にラプンツェルを題材にしたディズニー映画の題名じゃない?
文章を手書きすることを考えると別にかな漢字変換なんてしてなくて、この漢字を書きたいと思うに従って半自動的に個々の漢字を書いているはずなので、想起したら手が勝手にキーバインドを入力する状態ならキーバインドが2000種類あることは本質的な問題ではないはず
2000種類の漢字を書けるんだから、その想起を追加でキーバインドにマッピングできない道理はない
VimやEmacsで手が勝手に動くレベルになってる人なら、ちょっと漢直を練習したらこれはいけるという確信をもれなく得られると思ってますよ
カップヌードル担々麺がめちゃくちゃうまくてヘビーループしてる https://www.nissin.com/jp/product/items/12329/
自分は文章を書く・入力するときには書きたい文が最初から漢字かな交じりで(つまり普通に読む活字のような状態で)頭の中に生じるので漢直は自然だと思うんだけど、そうでない人もいるのかもしれん
調べた範囲では日本のいわゆる漢直で漢字の構造に着目したストロークを採用しているものはなさそう。大抵は一般的な文の入力しやすさ(よく使う文字がホームポジションから離れずに打てる、左手と右手の打鍵が偏りすぎない)を指標に配列している。連想式の中には部分的に部首や読みを組み込んでいるものもあるかも
字形に着目した入力方式としては中国語(香港語?)倉頡輸入法があるけど、部首や偏・旁ではなく恣意的な方法で抽象的なパターンに分解しているっぽい https://ja.wikipedia.org/wiki/倉頡輸入法
このアカウントは、notestockで公開設定になっていません。
まあ主流のIMEの影響等でかな漢字変換派が優勢になるのもそれはそれでよくて、そのまま交ぜ書き変換に本質的な意味がないと気付いて交ぜ書き廃止してほしい
@naota344 うおおこんなんあるのか……漢直の文脈で言及してるページは見かけなかったんですがあんま流行ってないんですかね
Space AgeはDLC以前のFactorioを何周かしてる前提のバランス設計になってる感がある
基本的にスループット上げたいなら水平スケーリングが正義のゲームなので、高品質は装備品とか宇宙プラットフォームのようなスポットで高性能施設が欲しいとき専用かなという気がしている
Factorio三大オーパーツであるところの
・動力なしで動くベルト
・無制限無損失でどこまでも届く電力
・一瞬で平滑化される流体パイプ
のせいで水平スケーリングが安すぎるのよね
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
マジレスするとホットケーキっていうのはおそらく和製英語の類で、frying panで焼くケーキだからパンケーキです
このアカウントは、notestockで公開設定になっていません。
実家ではホットプレートでホットケーキを焼いていた時期もあったのであれはまさしくホットケーキだったのか
グレバの開拓だいぶ綿密に考える必要があるっぽくてめんどいな
pandasとかscipy系の関数シグネチャがやばいの、MATLABのスタイルを引きずってるんだと思っている
PythonはPythonで微妙なとこ多いんだけど、MATLABの系譜を継ぐライブラリ群やそれらを利用するデータサイエンス系の利用者のコードが(エンジニアリング観点だと)やばいという問題はまた別なので、一緒くたにPythonの問題としてクソ扱いするのはかわいそうだと思っています
ndarrayの型って次元数に依存した依存型にならざるを得ないから静的解析効かないのはそんなもんだと思っているけど
ndarrayはむしろarray部分がミスリーディングな可能性はある。根本のモチベーションはおそらく1つ以上の添字を持つ系列の一般化であり、arrayというのは単に内部実装がarrayであるという表明にすぎないので
食いっぱぐれないための日本語の読み書きのため、正しい漢字を入力する方法を学びましょう
グレバの開拓だるすぎる。鉄が足りないのに至る所に腐敗物をより分ける仕組みを入れないといけないのが厳しい
この図示面白い(無から税金や還付金が発生してる箇所がちょっと気になるけど) https://x.com/pal4de/status/1893920100371296543?t=fklYKu3doADOAN0TPsrxXQ&s=19
Pythonでコードブロックをコピペしてきた後って一般にどうやってインデントを整えるもんなの
楽天は食べログでメニュー写真に擬態した広告を出してくるので倫理観ゼロだよ(最近はFirefoxがこの広告自体ブロックするようになったけど)
楽天のやつもおそらく任意の画像を出せる広告をCTRで最適化したら誤クリック誘発しまくるのが優勢になってしまって半自動的にああなってるんだろうとは予想しているけど、見せられる側としてはそんなん知ったことではないしフィードバック手段もないので表層だけに着目して倫理観ゼロと呼ぶことにしています
Firefoxを使うとブラウザの組み込み機能で広告ブロックしてくれるから快適だよ
Firefoxのやつは厳密には広告ブロックではなくトラッカーのブロックなので出てくる広告もある(パーソナライズしてないタイプ?)。というかトラッカーをブロックしたら勝手に巻き込まれて死ぬ広告がなぜか多い
理由は知らんけどよく見るClick bait的な倫理観終わってる広告は大抵トラッキングと不可分になってるっぽい
220 (+30) #smhn漢直部
前回までは復習のため毎回eelllの常用漢字レッスンを最初からやり直してたけど、さすがに時間がきつくなってきたのでL20からにした
SKKも結局同音異義語の変換が微妙という問題から逃れられなかったのと、Notionのような入力中に干渉してくるタイプのエディタが壊れることがあるので諦めてしまったという経緯がある
練習はeelll/JS(IM不要)、IMはGoogle日本語入力のかなテーブルを置き換えるやつ
eelll/JS: https://miau.github.io/eljs/
IM設定: https://qiita.com/harycurl/items/481679ddd079eec79330#google-%E6%97%A5%E6%9C%AC%E8%AA%9E%E5%85%A5%E5%8A%9B
配列はTUT-Codeで、理由はひらがなの配列が規則的で最初のハードルが低いから(Google日本語入力ベースだとストロークを知らない漢字も最悪ひらがな入力を変換して出せる)
eelll、入力中はエコーバックがなくて最後にEnterを押すと問題文とのマッチング問題を解いてミスタイプの影響を一番もっともらしい形で評価してくれる
eelllのミスタイプ判定アルゴリズムについては、かなりアツい文書が書かれているのでおすすめです https://miau.github.io/eljs/memo.html#sec_LCS
実際やってみると、どうせ指で覚えるんだからエコーバックなくてもあんまり問題にはならんなという感覚
各レッスン最初の5文くらいはAlt+Shift+H(ヒントのaccessibility hotkey、ブラウザによって修飾キーが違う)で答えを見ながら練習して、なんか行けそうとなったらヒント出さないなり見ないようにするなりすると10文も入力する頃には覚える
あと自分の場合はキー位置とアルファベットが完全に結合した状態で体が覚えてるので、指の位置と言いつつニーモニックで覚えてるストロークもそこそこある(プログラミングのおたくはそういう人多いのでは)
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
目覚まし即起床即行動は負荷が高すぎるのでデッドラインの30分くらい前に設定してスヌーズしながら少しずつ覚醒してる
Macbook、一回Bluetoothヘッドセットをつかむとスリープしても離さなくて他の機器との接続を妨害してくるんだけど行儀悪すぎん??
債券を売るときって手数料とか税金どうなるんだろう
@teobot どっちか決めて。ちなみに1人なのでわいわい楽しむことはできません
s25t障害に関する事後報告20250228 - あひるの勉強部屋
https://honobono-ahiru.hatenablog.com/entry/2025/02/28/230057
昨日の障害についてまとめました。