Karuta HLS compiler (Scripting language for HLS) (@neonlightdev) 's Twitter Profile
Karuta HLS compiler (Scripting language for HLS)

@neonlightdev

論理回路の高位合成の言語処理系を自作するアカウントなのですが、今は別の何かに取り組んでて数年後に戻ってくる予定。

ID: 152217440

linkhttps://github.com/nlsynth/karuta calendar_today05-06-2010 11:24:00

6,6K Tweet

1,1K Followers

106 Following

Karuta HLS compiler (Scripting language for HLS) (@neonlightdev) 's Twitter Profile Photo

飲み友達が創業時から数年前まで在籍してた会社が買収されたことを聞くなど。 飲み会を奢らせるような話では無さげというか、そいつ(剛腕かつ繊細なエンジニア)が居残ってたら買収額がもっと良い感じになったんじゃないかと……

Karuta HLS compiler (Scripting language for HLS) (@neonlightdev) 's Twitter Profile Photo

「リスク対策に熱心なのは良いけど、お前がリストアップしたリスクは俺のリスクリストの2番目と3番目と5番目と7番目と11番目と13番目と17番目と19番目と……中略……57番目(グロタンディーク素数と)で、超心配です!!」 心配になったから即対策すべしみたいなのがエンジニアでも結構いるんですよね。

Karuta HLS compiler (Scripting language for HLS) (@neonlightdev) 's Twitter Profile Photo

IPv6が使い物になって、そこそこそ普及したおかげでIPv4の固定アドレスが500円/月とかで済んでるって面もあるかと思うんで、使わね~って人でも多少は感謝を持っとけばとは思います。

Karuta HLS compiler (Scripting language for HLS) (@neonlightdev) 's Twitter Profile Photo

アメリカの自動車の走行の0.01%が自動運転とのこと。 ポジティブに言うなら、他国は0.01%しか差を付けられてない! (年あたり5億km/5兆km)

Karuta HLS compiler (Scripting language for HLS) (@neonlightdev) 's Twitter Profile Photo

スタートアップ企業の売却のニュースを見かけた時にその企業の過去の資金調達のニュースを眺めて、何年前なのかの計算をするなどという習慣が身に付いてしまってます。 (投資する側のファンドが10年とかなんで、その手前が多い感じ)

Karuta HLS compiler (Scripting language for HLS) (@neonlightdev) 's Twitter Profile Photo

昔は出先でWiFiの調子が悪い時にはコーディングでもするか!ってやってたんですが、今時はAIへのアクセスが微妙だと何も進みませんね。 記憶の範囲内でのアイデア整理とか、SNSからのパッシブな情報収集とかしてる感じです。

Karuta HLS compiler (Scripting language for HLS) (@neonlightdev) 's Twitter Profile Photo

ハイパースケーラー各社:毎年新作のAIチップを設計して大量生産してデータセンターに配備しないとコスパ良くニーズに応えられず、決算が悪化する。 それ以外の大体の各社:お金が足りない中、頑張ってテープアウトし、そのチップと設計には価値があることを示そうと頑張ってる。 違うゲームですね。

Karuta HLS compiler (Scripting language for HLS) (@neonlightdev) 's Twitter Profile Photo

fwupd - Linuxでfirmwareの更新を行うソフトウェア wuftpd(WU-FTPD) - 大昔に使われてたftp(ファイル転送)のサーバー 後者の名前はお見掛けしなくなりましたが、前者を目にすると何故か思い出します。

Karuta HLS compiler (Scripting language for HLS) (@neonlightdev) 's Twitter Profile Photo

採用面接の練習の手伝いをしている今日この頃。 応募者役なんですが、キャラ作りが難しいので、要領を得ない応答をしてしまう困った応募者役をナチュラルに演じることができています。

Karuta HLS compiler (Scripting language for HLS) (@neonlightdev) 's Twitter Profile Photo

ビジネス用語で競争相手に対する障壁を「モート(moat・堀)」って言うんですが、中国語だとビジネス用語でも「護城河」らしいです。 「あなたのビジネスの護城河は何ですか?」……無駄にカッコいい。

Karuta HLS compiler (Scripting language for HLS) (@neonlightdev) 's Twitter Profile Photo

Linux kernelの最近のバージョンアップのdiffを延々と眺めてました。 ヒマな学生が作ったハリボテと世界中のサーバーやスマホを動かすdominantなOSが35年分のdiffで繋がって地続きであるというのは感慨深いですね。 手元の自作のハリボテソフトウェアもそのうち何者かにできれば……

Karuta HLS compiler (Scripting language for HLS) (@neonlightdev) 's Twitter Profile Photo

ウェブアプリ開発のコミットログを眺めるとAIに書かせたんだろうな(あるいはAIで書ける)という雰囲気を感じるんですが、Linux kernelのコミットログ→ git.kernel.org/pub/scm/linux/… だとほぼ手書きに見えます。 技術者としてどっちの世界でも生きれるのが良いんですが、とりあえず手書きの世界を目指します

Karuta HLS compiler (Scripting language for HLS) (@neonlightdev) 's Twitter Profile Photo

「Sandy Bridge おじさん」ってのは10年前のCPUで問題無いって主張への揶揄ですが、数年したら生成AIのモデルについても同じように古いので粘るおじさんが出てくるんでしょうね。 (1人でやる自由はあるべきだけど、他人を巻き込むのがマズい)

Karuta HLS compiler (Scripting language for HLS) (@neonlightdev) 's Twitter Profile Photo

マイクロメーターで測り、チョークで印を付け、斧で切れ! Ray's Rule of Precisionってやつで、丁寧な計画なのに力任せの実行してる状況を皮肉ったものですが、斧が無いと問題解決できないことが多いんですよね。

マイクロメーターで測り、チョークで印を付け、斧で切れ!
Ray's Rule of Precisionってやつで、丁寧な計画なのに力任せの実行してる状況を皮肉ったものですが、斧が無いと問題解決できないことが多いんですよね。
Karuta HLS compiler (Scripting language for HLS) (@neonlightdev) 's Twitter Profile Photo

(2月からやってた無職の)試用期間が無事に終わりました!次は5月病に苦しみます!! (職務経歴書を書かないとですね)

Karuta HLS compiler (Scripting language for HLS) (@neonlightdev) 's Twitter Profile Photo

Googleの決算によると生成AIのモデルの利用ペースが160億tokens/minとのこと。Gemini APIの100万tokens/10$をかけると、年で10兆円ちょっと。 大体は定価より安く使ってるだろうし、原価はもっと安いんだとしても巨大ですね。毎年新作のASICを大量生産するのが必要になるのも納得。

Karuta HLS compiler (Scripting language for HLS) (@neonlightdev) 's Twitter Profile Photo

Intelが形式検証を使ってるって動画 youtube.com/watch?v=q8OsRu… 割り算を間違うPentiuimを出荷しちゃった頃から形式検証に力を入れるようになったと話を聞いたことがあって、今も続いてるんだなと感心。 (形式検証は回路の全ての状態が性質を満たしてるか証明する技術。理論も実践も高難度な技術。)

Karuta HLS compiler (Scripting language for HLS) (@neonlightdev) 's Twitter Profile Photo

「かな漢字変換エンジン」の「エンジン」って何だよ、どこの中二病の和製英語やねんって思ったんだけど、「検索エンジン」は「search engine」で自分も英語でそれ関係の仕事してたことがあったり。 (手のひら返しで)やっぱりエンジンって名前が付くようなソフトウェアの開発は楽しいですね!

Karuta HLS compiler (Scripting language for HLS) (@neonlightdev) 's Twitter Profile Photo

3年ちょっと前に情報処理安全確保支援士の資格を取って、この春に更新せずに失効させました。 試験を再度受けても通るとは思うんですが、ここ数年出てきたAI関連技術のリスクアセスメントとかできる気がしなくて、それでセキュリティの専門家を名乗るのも違うんで良いタイミングだったかと思います。

Karuta HLS compiler (Scripting language for HLS) (@neonlightdev) 's Twitter Profile Photo

Linuxの各メーリングリストに投げられたpatchをAIがレビューするツールShashiko(刺し子) sashiko.dev 付いてるコメントが難癖なのか有用なのかわからんけど、カッコいいなと思ってコードを眺めたらNNTP(古いプロトコル)でpatchを取ってきてる! 古い物と現代的な物のミックスですね。