Pinned
しらそら
しらそら
60.2K posts
しらそら
@silasolla
プログラミング言語や人に優しい技術・ツールがすき．今は 
の仕事をしています．修士 (帰納法回し学) で，計算機科学と数理論理学と Standard ML のファンです．Nominal Sets 完全理解したい．奇を衒わない．DevOps に関心があります．
: silasol.la/identity/key
の仕事をしています．修士 (帰納法回し学) で，計算機科学と数理論理学と Standard ML のファンです．Nominal Sets 完全理解したい．奇を衒わない．DevOps に関心があります．: silasol.la/identity/keyしらそら’s posts
幼いころは，山って地面が盛り上がっててその上に木が生えてるんじゃなくて，平らな地面の上にめちゃめちゃ長い木が生えまくってるんだと思ってて，どうやって頂上まで登るんだろうってなってた．
小中学生のころは，作文で「如何にして文字数を稼ぐか」みたいな卑しいことを考えていたのに，大学院に来たら逆に「50ページ超の修論を4ページにまとめる」とかいうので苦しむとは思わんかったな．
sl コマンドって ls をタイポしたときの戒めになっているわけですが，邪悪ポイントとして signal(SIGINT, SIG_IGN) で Control-C の割り込みが効かないようになっているので，反省タイムの間は反省することしかできないというのがある．
「おれたちのパソカタ」がどんどんおもんない方向に進んでいくようで悲しい．エンジニアリングしたいのであって札束で殴るパチンコゲームがやりたいわけじゃないのに．
Quote
Günther | グンタ
@gunta85
これ本当にそう。
月額$200ケチって何が起きるか？
「Copilotで十分」
「Cursorは高い」
「Claudeは制限きつい」
「Codex？試したことない」
「GPT-5 Pro？何それ？」
→ 半年後、使い放題勢に完全に置いていかれる
今起きてる現実：使い放題勢は1日100回以上AIと対話
ケチ勢は週10回で止まる x.com/akihiro_genai/…
Show morea11y やら i18n やら固有名詞でもないのにこういう表記するの認知負荷すごいので本当はやめてほしい文化 (元の単語を見れば文字通りの意味なのにわざわざ似通った無味乾燥な記号列に均す読み手へのいじわる)
某で働いているエンジニアさん，とても優秀で高給取りなんですよって言われても，魂売って闇市斡旋アプリ開発してご飯食べてるんだなあって思っちゃう．循環型社会やら SDGs やら綺麗なこと言ってるけど，やってること反社じゃんっていう．
わかる！ あーあ，どこかに紙の書籍を買うと漏れなく DRM フリーの電子書籍も付いてくる，関数型プログラミングや言語処理系や定理証明支援系の書籍を出している出版社ってないかなあ…
Quote
中村 良幸 (Nakamura Yoshiyuki)
@nakayoshix
いくら老害と言われようが私も断然紙の書籍派ですね。
電子書籍はある日突然消されて読めなくなるのもありますが、まだ積読（電子積読は積んでおいたということすら忘れるので事実上完全に無意味…笑）の本が知らないうちに中身が（誰かの都合の良いように）書き換わってても文句が言えませんから。 x.com/shigerufujita/…
Show more
OSS にタダ乗りしてクレームだけ入れるのはダセェという気持ちになってきている
Quote
こまもか
@シャニ∞th両日
@シャニ∞th両日@Comamoca_
Pythonはクソってツイート見る度に「あなたがクソって言ったその言語で日々飯を食べてる人間がいるんだよなぁ…」って気持ちになる
これ、気づいてないエンジニア多すぎます。A って人。B なのに C なエンジニアを何人も見てきました。D のつもりで E なケース、思ってる以上に多いです。この観点から4冊を紹介します。
これは私の研究室の
> 個人では所有できないような高額機器
です
Quote
サクセスリバーコーテシーinエイトプリンス
@rei_nari
大学は自ら学びたい人や研究したい人にとっては、まさにレジャーランドだよね。個人では所有できないような高額機器類を使って、自分の立てた仮説を検証する実験を自由に展開できるなんて、素敵じゃないですか
未経験者を大量雇用して薄給で使い潰す悪徳SESどっかで見たことあるなと思ったら，吹奏楽部の「未経験者歓迎」って謳い文句で部員を集めていざ入部したら虐め倒すやつだってなった．
Web バックエンドは学ぶ時間が取れるなら普通に Rust で書いた方が良い，フロントエンドを Rust で書いて Wasm にコンパイルするとかは趣味でやれという認識まで来た．
子どもが圏論を習ってて「あらゆることが Kan 拡張の枠組みで記述されるのって不思議」と言ってるのだけど
Quote
ミック
@copinemickmack
子どもがスクラッチを習ってて「世の中のあらゆることが分岐と繰り返しで表せるのって不思議」と言ってるのだけど、確かに考えてみると不思議だ。なぜこの二つが世界の現象の基本要素なのだろうか。
Replying to
「こっくりさん，こっくりさん，どうぞおいでください」
+++++++[>+++++++++++++++<-]>-.-------.++++++++.EOF
北陸先端科学技術大学院大学先端科学技術研究科先端科学技術専攻情報科学系の悪口か？
Quote
Lazuly
@Lazuly_tech
てか「東京科学大学附属科学技術高校科学・技術科」は科学科学科学鬱陶しくなるし、「東京科学大学附属科学技術高校科学・技術科応用化学分野」はよりカオスだな？
なんというか「基本的に immutable だからバグを防ぎやすい」とか「推論が強い」とか，優位性を示すためにああだこうだ言いがちだけど，結局は「代数的データ型を定義してパターンマッチをすると…気持ちが良い！」ってことなんだろうなって，以前から感じてた．
小学生相手に Haskell を布教し
・高階関数
・再帰
・遅延評価
・モナド
を体感してもらうためのコード
main :: IO ()
main = mapM_ putStrLn unko where unko = "unko" : unko
Quote
Yuichi Onodera
@mokemoke6502
マウントが地獄だった…お前はPRINT文でunkoを延々と表示するところから出直せ。 x.com/chome2xx/statu…
Replying to
技術の民主化や「煩わしい作業から解放されて創造的な活動に集中できます！」ってのは賛同できるけれど，かつてのパソカタが構造を美しく保ちながら動かす「工芸」みたいな雰囲気だったのに，今の流れは「AI でスロット回して SSR 引け！」みたいなノリを賞賛するようで，あんまおもんなくてしんどい．
Haskell が流行るために必要なの「モナドは単なる自己関手の圏におけるモノイド対象だよ。何か問題でも？」とか言ってるやつらの口に人参を突っ込んで塞いで，初学者から離すことらしい．
世の中には関数合成で g o f とか書くために o が予約されていて identifier に使えない言語があり，SML って言うんですけど．
Quote
えびちゃん
@rsk0315_h4x
乗算記号を x で代用するの、ある程度ルースな文脈ならわかるけど、$...$ の数式中でやってるのを見かけてドッヒャーッってなった
The key's randomart image is:
+--[ED25519 256]--+
|
|
||
||
||
||
||
||
||
+----[SHA256]-----+
|
||
||
||
||
||
||
||
+----[SHA256]-----+
qnighy 氏，おそらく Twitter Blue の審査がきっかけで凍結されたと思われるが，Twitter に貢献しようとして Twitter に凍結されるのひどい話だ．
「本当に向き合うべき課題」と言うけれど，我々の多くが日々向き合っているのは生活のための仕事でしょう．ボードゲームで生計を立てる「プロ棋士」という職業さえある．そこに逃避も立派もなく，ただ「人の営み」があるだけ．
Quote
nwiizo
@nwiizo
謎解きやボードゲームを「知的ポルノ」と呼んでいる。これは仕事や生活の答えのない困難から逃避し、明確なルールと正解が保証された安全な課題で達成感を得る代償行動を指す。「知的活動をしている」という自己正当化のもと、本当に向き合うべき問題から目を背ける現代的な停滞の一形態である。
思想が強いひと「型と型推論のないプログラミング言語はプログラミング言語ではない」
逆の方向に思想が強いひと「チューリング完全なら全部プログラミング言語だし sed も PostScript もプログラミング言語」
型安全性ってスタートラインなのに，それだけで「強い型付け」ってよばれるのもなんだかなあという感じで，System-F みたいに全称量化入れたり，依存型入れたりして推論ブチ壊してからが本番でしょうか
