Hayato O (@o8_vm) header
Hayato O (@o8_vm) profile picture

🪄✚; 草むしり䞉玚; good sleeping

Tokyo, Japan
Joined March 2021
Photo by Hayato O (@o8_vm)Photo by Hayato O (@o8_vm)Photo by Hayato O (@o8_vm)Photo by Hayato O (@o8_vm)Photo by Hayato O (@o8_vm)Photo by Hayato O (@o8_vm)Photo by Hayato O (@o8_vm)Photo by Hayato O (@o8_vm)Photo by Hayato O (@o8_vm)Photo by Hayato O (@o8_vm)
なんずですね私が䜜ったRust 補 unix-like OS こず octox がですが、サンフランシスコ倧孊のコンピュヌタサむ゚ンスの授業で䜿甚されおいるようです。AI時代たすたす Rust ず OSずUnix 的なものが重芁になっおたすね。Rust ず Unix-likeなOSを同時にたなべるoctox をどうぞ cs631-s26.cs.usfca.edu/guide

党郚Rustで䜜られたUnix-like OSがここにありたすRustで思う存分に開発できたすよCかRust で揉めるこずはないかず思いたすRust でOS開発したい方、移怍、ドラむバヌ開発、ナヌザヌランド開発歓迎ですぜひ起こしください github.com/o8vm/octox
10
334
19
1,815
192,738
We asked GPT-6 Astra to edit Qwen3.5-0.8B weights to improve math. It directly changed only 0.016% of weights, fixing 0.8B's reasoning loops & improving math up to 6x and even instruction following 3x, without gradients or training. We call this Weight-Space Programming: frontier LLMs can now natively read/write neural network weights! 🧵 Blog: rikiyat.github.io/blog/weigh

2,040
6,276
4,877
48,859
6,190,810
劻可愛すぎるな🧐
124
👞🏻✈🛫✈Sydney☀🐚🇊🇺✚
93
旊那さんが朝から晩たで必死に働いたお金で塟や習い事に通わせお 私は仕事垰りに孊校に盎行しお子䟛の塟や習い事の送り迎えをしおいるのに 生掻保護の子は降っお湧いたお金で塟や習い事に通うの それは流石に違うでしょう。 ずいうか、公教育で充分になるよう孊校に予算を付けなさいよ。
この金額、䞭間局がどれだけ必死に働いお捻出しおるか。 間違えた「栌差是正」や「未来ぞの投資」が、党おの子どもたちの可胜性を歪めるのだず思う。 行政はやったらやりっ攟しの事業で、自己満足するだろうけど、 助成される子ずされない子の栌差がどうなるか、芋届けられるのか 䞭孊生の塟や習い事代を助成ぞ 幎生䞇円・幎生䞇円・幎生䞇円の予定(読売新聞オンラむン) #Yahooニュヌス news.yahoo.co.jp/articles/72

44
2,966
46
25,110
231,939
ねえ24か25ここ行きたい‌
ハリヌ・ポッタヌの音楜に合わせお、魔法の雪がきらめくツリヌを芋られる䞞の内の冬が気になる ❄ MARUNOUCHI BRIGHT HOLIDAY 「ハリヌ・ポッタヌ」䞞の内を圩る魔法の雪は、東京郜千代田区の䞞の内゚リアで開かれるホリデヌむベント。 📍䞞ビルをはじめ、倧手町・䞞の内・有楜町゚リア 🎄 䞞ビルには、4寮の゚レメントず雪の挔出に包たれるHOGWARTS SNOW TREE ✹ ツリヌでは、印象的な音楜に合わせお魔法の雪が舞うラむティングショヌ 🌟 䞞の内仲通りは、玄1.2kmのシャンパンゎヌルドのむルミネヌションに ツリヌを芋おから、光る仲通りを歩くコヌスで寄りたい。ハリヌ・ポッタヌ奜きの冬の予定に入れたいむベント  ※ハリヌ・ポッタヌのホリデヌ䌁画は2026幎11月12日〜12月25日。䞞の内むルミネヌションは2027幎2月14日たでです。内容は倉曎される堎合がありたす。
14
90
20
3,365
558,704
Hayato O retweeted
最近硅谷 AI 圈最有趣的连续剧迎来了 Day 28 的倧结局。 简单补䞪前情提芁䞀蟹是 OpenAI 莟莣 Codex 和䞪人智胜䜓 Dot 的 Tibo因䞺䞀蚀䞍合就给甚户重眮额床被瀟区戏称䞺 Reset Company后面成了 Token Company。他圚 10 月初立了䞪 28 倩挑战每倩芁么发新功胜芁么党员重眮额床。及䞀蟹是前 Meta React 猖译噚栞心成员、现圚圚 SpaceXSI 的 Lauren也就是 poteto以极其䞥苛的 Agent 工皋流和每䞪月合并䞊千䞪 PR 出名自称 Ship Company既造飞船又高频发版。 这䞀䞪人最近圚 X 䞊高区床互怌互撩了䞊癟䞪回合甚至有眑友䞓闚建了䞉䞪眑站来实时抓取他俩的互劚记圕。前几倩 Tibo 刚和 Meta 的 Alexandr Wang 囎绕自家的 Dot 和 Meta 的 Muse 吵了䞀架蜬倎就买䞋 poteto.com 敎了䞪倧掻拿了 300 䞇浏览量。 圓时 poteto 吐槜诎自己买䞍起 tibo.com然后默默发了䞪 Day 28 的预告。到了今倩第 28 倩她花了 5.99 矎元买䞋 tibo.dog 这䞪域名甚 Grok Bot 和 Cursor 搓了䞀䞪完成床极高的类吞血鬌幞存者眑页枞戏甚至可以盎接圚 X 的掚文卡片里点匀玩。 最神的是枞戏圚 4 倩前就匀坑了讟定是 Tibo 垊着䞀矀狗圚满屏怪朮里求生。结果就圚枞戏发垃前几䞪小时Tibo 刚奜发掚吐槜手机蟓入法老是把自家的智胜䜓 Dot 自劚纠错成 dog害他收到䞀堆诞劂“我倪爱我的狗了昚倩它还垮我纊了理发”的搞笑短信。䞀蟹纯属巧合地撞圚了䞀起节目效果盎接拉满。陀歀之倖枞戏里把额床重眮做成了栞心机制还顺垊把 Meta 的 Muse 和 Alexandr Wang 的梗党写进了圩蛋里。 本来以䞺只是䞪玩梗小枞戏结果看她发出来的技术倍盘完党是䞀仜教科乊级别的 AI 蟅助工皋实践 敎䞪项目是她 4 倩前利甚䞚䜙时闎匀的坑4 倩里靠 Agent 提亀并合并了倧纊 1150 䞪 PR。 工䜜流最栞心的䞀点是每次她圚代码里发现问题䞍是自己去改而是让 Bot 针对这䞪问题写䞀条 lint 规则。甚至代码里盎接通过 lint 规则犁止写泚释劂果䞀段代码需芁解释解决办法只胜是改䞪曎奜的变量名或者补䞀䞪测试。 䞺了防止枞戏卡顿她把䞊䞋文盎接写进了文件路埄里。所有每䞀垧或每䞪 tick 郜芁跑的热路埄代码文件后猀郜呜名䞺 .hot.ts并䞔䞓闚配了 lint 规则犁止圚这些文件里做内存分配䞍准甚对象字面量、闭包或者 new。这样䞻埪环几乎䞍产生垃土回收压力从根源䞊消陀了 GC 垊来的掉垧。 状态机郚分重床䜿甚了 TLA+ 做圢匏化验证剧情、过场劚画和栞心系统郜有各自的圢匏化验证 skill 来扟 bug。 底层陀了甚 three.js 画 3D 场景物理暡拟、后倄理和音频匕擎党是自己写的。而䞔敎䞪暡拟层是完党确定性的每䞀次枞玩郜可以通过蟓入序列粟确重攟。圓䜠䞊䌠高分时服务端䌚把䜠的敎局操䜜完敎重攟䞀遍来校验有没有䜜匊。 曎倞匠的是敎䞪项目没有任䜕倖郚音频和囟片资源文件。所有像玠画郜是纯代码生成的构建时自劚打包成囟集。所有音乐和音效郜是浏览噚里实时合成的甚代码写了䞀䞪类䌌 Game Boy 的芯片合成噚加䞊合成噚浪朮层连乐谱郜是代码里的纯文本切地囟时还胜保持䞊䞀段旋埋无猝过枡。 䞺了保证胜塞进 X 的掚文卡片里盎接跑构建流皋讟了䞥栌的䜓积红线銖包 gzip 之后只有 124 KB超了构建盎接报错。圚䞭端手机䞊同屏 500 䞪敌人也胜皳定跑满 60 垧还支持 10 种语蚀本地化和劚态生成结算分享囟连各䞪隟床曲线郜是让无倎 Bot 自己跑暡拟测试调出来的目标存掻率。 甚最硬栞的圢匏化验证、零内存分配纊束和确定性匕擎去写䞀䞪成本 5.99 矎元域名的玩梗枞戏。这倧抂就是顶级工皋垈甚奜 Coding Agent 之后最真实的日垞状态生成代码已经䞍皀奇了怎么甚猖译噚思绎、lint 规则和自劚化验证把 Agent 管埗服服垖垖才是真正拉匀差距的地方。
Day 28/ tibo's game has landed i spent $5.99 on this domain, but i had a blast making it with grok bot and cursor! i hope you enjoy it and find all the easter eggs 🀍 if i did it right you should be able to play it inside of X too tibo.dog
38
92
15
1,010
143,574
Hayato O retweeted
Claude 新功胜真是爆了 终于扟到前阵子Anthropic栞心员工犻职的原因了 Anthropic 10 月 29 日掚出的 Smart Reports是干嘛甚的呢 老板胜通过这䞪功胜看见员工的 Claude 聊倩记圕 䞻芁甚于Claude Enterprise 并䞔还可以按团队、时闎段看对话样本甚至还䌚标出“没产出”和“䞪人/跑题”的对话 䞍是这也倪爆了吧对䞋属和Claude的聊倩党方䜍监控就算了连聊点什么䞜西郜䞍可以 这就是Anthropic的价倌观是䞍是圚内郚也是这么做的隟怪犻职那几䞪诎压力倧原来是这么回事
76
57
26
732
119,011
Hayato O retweeted
Keyboard: Aerogu Switch: Cherry MX ULP Keycap: Cherry MX ULP Legend Keycaps #KEEB_PD #KEEB_PD_R326
3
50
1,694
AI゚ヌゞェントでコヌディングするなら本圓に Lean ず䞀緒に䜿うずいいですよ。あたり寄り道せずにほずんど手盎しも䞍芁で䜜業し続けおくれたす。もう17日間ちゃんず進捗出しながら動き続けおくれおおおすごい。
9
703
Hayato O retweeted
Oh wow, we love this. Harsh Gupta's Lean 4 submission to the "$12 server challenge" proves that, under certain conditions, posts are “already stored in the exact order they need,” so it can skip the extra work and read them directly. And bypassing SQLite’s normal query engine cut the time to load the feed from 16.7 ms to 5.4 ms. Congrats @hargup13!
It's official now, my Lean 4 submission is #1 on "$12 server challenge", serving more users than Rust, C or even hand written assembly. The creator of a the challenge did a pretty good job explaining how Lean 4 allows you to create software even more optimized than handwritten C.
6
23
4
256
11,148
Hayato O retweeted
It's official now, my Lean 4 submission is #1 on "$12 server challenge", serving more users than Rust, C or even hand written assembly. The creator of a the challenge did a pretty good job explaining how Lean 4 allows you to create software even more optimized than handwritten C.
22
41
15
479
32,163
なんで日本人の若者などが蟲地を取埗する際は、あれやこれやずうるさいのに、倖囜人にはふわっずした察応なのか、やはりよくわからない。バックにややこしい支揎団䜓や士業が぀いおるからじゃないの
【論説増える倖囜人蟲地取埗 継続的な調査を続けよ】  倖囜人やその関係法人が取埗する日本囜内の蟲地の動向に、食料安党保障䞊の泚目が集たっおいる。蟲地は囜民ぞの食料䟛絊の基盀だ。健党な蟲地の保党のためにも、所有者の囜籍や利甚状況をきちんず把握する必芁がある。 agrinews.co.jp/opinion/index

2
1,045
5
3,986
25,948
【論説増える倖囜人蟲地取埗 継続的な調査を続けよ】  倖囜人やその関係法人が取埗する日本囜内の蟲地の動向に、食料安党保障䞊の泚目が集たっおいる。蟲地は囜民ぞの食料䟛絊の基盀だ。健党な蟲地の保党のためにも、所有者の囜籍や利甚状況をきちんず把握する必芁がある。 agrinews.co.jp/opinion/index

32
698
53
1,577
93,918
人間がネットで調べながらプログラム曞く時代はたった20幎ぐらいだったのだ
New record for Stack Overflow: <1000 questions posted last month
4
397
30
1,922
85,693
Hayato O retweeted
お知らせ遅くなりたしたが、11/3にアキバで開催される「超゚レキ䞇博2026」の「チャレンゞ電子工䜜通」に出展させおいただけるこずになりたした MFTから倧差はありたせんがUSB磁気コアメモリの実挔ず、鉱石ラゞオずか面癜そうなものを展瀺予定〜 MFTよりじっくり技術トヌクできれば嬉しいです
🌈「超゚レキ䞇博2026」開催たで1週間を切りたした🀖 📢ご来堎される方は「事前登録」をお忘れなく‌ 入堎無料です👍 いよいよ出展者のテンションも高たっお参りたした🚀 皆様のご来堎をお埅ちしおおりたす🀩 ▶来堎登録無料はコチラ → super-eleki-expo2026.peatix.
 ▶最新情報はコチラ → eleki-expo2026.cqpub.co.jp ●「超゚レキ䞇博2026」ずは🗓 宇宙蟲業EV/自動車ロボット分野の第䞀人者🧑‍💻による専門性の高い技術講挔🛰やトランゞスタ技術Interfaceで玹介した筆者枟身の補䜜物さらに゚ンゞニアのモノ䜜りをサポヌトする協賛䌁業の最新の補品・サヌビスを䞀堂に展瀺したす🔊 たたサむ゚ンスの魅力を存分に味わっおいただける䜓隓型アトラクションも倚数準備しお皆様のご来堎をお埅ちしおいたす🚀 日皋2026幎11月3日火・祝 時間10301800 堎所ベルサヌル秋葉原聖地・アキバ🀗 来堎無料事前登録制 #超゚レキ䞇博2026 #゚レキ䞇博 #トランゞスタ技術 #Interface #CQ_ham_radio #トラ技Jr. #MakerFaireTokyo2026 #MFTokyo #NT東京 #むチケン
25
1
119
7,112
やっずAmazon レベルの倧きな䌁業が密かに?Rust x AIで生産性高めおいる話出おきお良かった。 > ・AIがコヌドを理解しお自己怜蚌しやすい環境を䜜るために、Pythonのような動的型付け蚀語から、コンパむラが優秀なTypeScriptやRustぞ移行するチヌムさえ存圚した
このAWSの方の発衚はかなり面癜い。Amazon内郚のAI掻甚実瞟をだいぶ話しおくれおいる。良かったので、メモ倚め。 ・前提発衚者は、AWSのシニアプリンシパル゚ンゞニアであるクレア氏 ・初期のAIコヌディング支揎はコヌドの行補完やチャットベヌスの質問にずどたっおおり、生産性の向䞊は10〜20皋床にすぎなかった ・しかし珟圚、Amazon瀟内の䞀郚のチヌムでは、生産性が䞭倮倀で4.5倍、時には10倍以䞊にも跳ね䞊がるずいう劇的な倉化が起きおいる ・このような圧倒的な成果を出す開発者をフロンティア・デベロッパヌず呌ぶ。 ・フロンティア・デベロッパヌの第䞀の特城は、自ら蚘述するコヌドを党䜓の1〜2に抑え、残りのすべおをAI゚ヌゞェントに任せおいるこず ・第二の特城は、圌らぱヌゞェントず頻繁にやり取りせず、数時間単䜍で自埋的にコヌドを曞かせ続けるこず ・第䞉の特城は、埅機時間を最小限にするため、耇数のAI゚ヌゞェントを䞊行しお皌働させ、タスクのバックログを次々ず消化させおいる点 ・この飛躍的な生産性が最初に確認されたのは、BedrockのMantleチヌム ・30人で18ヶ月かかるず想定された新システムをわずか6人が76日間で構築した ・しかしこの成功䟋は、分散システムやAIの専門知識を持぀瀟内トップクラスの゚ンゞニアが集められた特殊な事䟋 ・なので、䞀般的なチヌムでの再珟性に疑問が残った ・次にPrime Videoのチヌムが6人で10日間のスプリントを実斜するず、90週の工数がかかるずされたプロゞェクトを24週にたで短瞮する成果が出た ・だがこれも、ミヌティングやオンコヌル業務を䞀切排した特殊な隔離環境 ・事前に3週間かけお詳现なタスク定矩が行われおいたずいう前提があった ・そこでAmazon Stores郚門は、既存のシステムを扱うごく䞀般的な50のチヌムを察象に、より珟実的な環境でのパむロットテストを実斜 ・その結果、半数のチヌムは生産性の向䞊が3倍未満に留たったのに察し、残りの半数は4.5倍から10倍の生産性向䞊を達成した ・この劇的な違いを生んだのは、AIに合わせお働き方を意図的に倉えたかどうかずいう点 ・高い成果を出したチヌムには、新しい働き方ずしお共通する5぀の習慣が根付いおいた ・第䞀の習慣ぱヌゞェントのコンテキストぞの投資 ・埓来は口頭やチャットで共有されおいた暗黙知を、AI向けの指瀺ファむルずしお明文化した ・第二の習慣は、急ぐためにあえお枛速したこず ・゚ヌゞェントが動䜜しやすいように既存のコヌドベヌスや゚ラヌメッセヌゞを敎理する準備期間を蚭けおいた ・AIがコヌドを理解しお自己怜蚌しやすい環境を䜜るために、Pythonのような動的型付け蚀語から、コンパむラが優秀なTypeScriptやRustぞ移行するチヌムさえ存圚した ・第䞉の習慣ぱヌゞェントのお守りをしないこず ・少しず぀コヌドを曞かせお察話するのではなく、自己怜蚌可胜なたずたったタスクを䞎えお攟眮する ・第四の習慣は意図の明確化 ・事前に詳现な仕様曞を䜜成しお、AIずドキュメントの段階ですり合わせを行っおいた ・第五の習慣はテストのシフトレフト ・リンタヌやロヌカルで動くモックサヌバヌを掻甚しお、゚ヌゞェントが玠早く自己修正できる環境を構築しおいた ・これらの習慣を取り入れるプロセスは決しお簡単ではなく、゚ンゞニアが新しい働き方に適応する過皋でバヌンアりトするリスクもある ・完璧なプロンプトを求めお倜遅くたで䜜業しおしたったり、耇数の゚ヌゞェントを䞊行管理するこずで゚ンゞニアの認知負荷が劇的に高たったりする ・特に若手゚ンゞニアにずっおは、自らコヌドを曞くよりも、AIが生成した倧量のコヌドを読み解いおレビュヌする䜜業のほうが重い負担ずなっおいる ・AIを効果的に掻甚するためには組織偎の倉化も䞍可欠 ・リヌダヌは「AIがあるのだからすぐに開発が早くなるはずだ」ずいう安易な期埅を捚おなければならない ・事前準備やコヌドベヌスの敎理には数ヶ月の時間を芁する ・なので、経営陣は生産性が䞀時的に䜎䞋する枛速の期間を蚱容する必芁がある ・たた、十分なノりハりが蓄積される前に組織党䜓ぞAI開発を急激にスケヌルさせるず、チヌムが混乱に陥るリスクが高い ・AIによっおコヌディング自䜓が劇的に高速化された結果、プロダクトを䜜るかどうかの意思決定にかかる時間が新たなボトルネックずなっおいる ・コヌドが数週間で完成するようになった珟圚、承認プロセスや意思決定に䜕ヶ月もかけおいおはAIのスピヌドを掻かしきれない youtube.com/watch?v=pqlWNihg

1
17
1,373
このAWSの方の発衚はかなり面癜い。Amazon内郚のAI掻甚実瞟をだいぶ話しおくれおいる。良かったので、メモ倚め。 ・前提発衚者は、AWSのシニアプリンシパル゚ンゞニアであるクレア氏 ・初期のAIコヌディング支揎はコヌドの行補完やチャットベヌスの質問にずどたっおおり、生産性の向䞊は10〜20皋床にすぎなかった ・しかし珟圚、Amazon瀟内の䞀郚のチヌムでは、生産性が䞭倮倀で4.5倍、時には10倍以䞊にも跳ね䞊がるずいう劇的な倉化が起きおいる ・このような圧倒的な成果を出す開発者をフロンティア・デベロッパヌず呌ぶ。 ・フロンティア・デベロッパヌの第䞀の特城は、自ら蚘述するコヌドを党䜓の1〜2に抑え、残りのすべおをAI゚ヌゞェントに任せおいるこず ・第二の特城は、圌らぱヌゞェントず頻繁にやり取りせず、数時間単䜍で自埋的にコヌドを曞かせ続けるこず ・第䞉の特城は、埅機時間を最小限にするため、耇数のAI゚ヌゞェントを䞊行しお皌働させ、タスクのバックログを次々ず消化させおいる点 ・この飛躍的な生産性が最初に確認されたのは、BedrockのMantleチヌム ・30人で18ヶ月かかるず想定された新システムをわずか6人が76日間で構築した ・しかしこの成功䟋は、分散システムやAIの専門知識を持぀瀟内トップクラスの゚ンゞニアが集められた特殊な事䟋 ・なので、䞀般的なチヌムでの再珟性に疑問が残った ・次にPrime Videoのチヌムが6人で10日間のスプリントを実斜するず、90週の工数がかかるずされたプロゞェクトを24週にたで短瞮する成果が出た ・だがこれも、ミヌティングやオンコヌル業務を䞀切排した特殊な隔離環境 ・事前に3週間かけお詳现なタスク定矩が行われおいたずいう前提があった ・そこでAmazon Stores郚門は、既存のシステムを扱うごく䞀般的な50のチヌムを察象に、より珟実的な環境でのパむロットテストを実斜 ・その結果、半数のチヌムは生産性の向䞊が3倍未満に留たったのに察し、残りの半数は4.5倍から10倍の生産性向䞊を達成した ・この劇的な違いを生んだのは、AIに合わせお働き方を意図的に倉えたかどうかずいう点 ・高い成果を出したチヌムには、新しい働き方ずしお共通する5぀の習慣が根付いおいた ・第䞀の習慣ぱヌゞェントのコンテキストぞの投資 ・埓来は口頭やチャットで共有されおいた暗黙知を、AI向けの指瀺ファむルずしお明文化した ・第二の習慣は、急ぐためにあえお枛速したこず ・゚ヌゞェントが動䜜しやすいように既存のコヌドベヌスや゚ラヌメッセヌゞを敎理する準備期間を蚭けおいた ・AIがコヌドを理解しお自己怜蚌しやすい環境を䜜るために、Pythonのような動的型付け蚀語から、コンパむラが優秀なTypeScriptやRustぞ移行するチヌムさえ存圚した ・第䞉の習慣ぱヌゞェントのお守りをしないこず ・少しず぀コヌドを曞かせお察話するのではなく、自己怜蚌可胜なたずたったタスクを䞎えお攟眮する ・第四の習慣は意図の明確化 ・事前に詳现な仕様曞を䜜成しお、AIずドキュメントの段階ですり合わせを行っおいた ・第五の習慣はテストのシフトレフト ・リンタヌやロヌカルで動くモックサヌバヌを掻甚しお、゚ヌゞェントが玠早く自己修正できる環境を構築しおいた ・これらの習慣を取り入れるプロセスは決しお簡単ではなく、゚ンゞニアが新しい働き方に適応する過皋でバヌンアりトするリスクもある ・完璧なプロンプトを求めお倜遅くたで䜜業しおしたったり、耇数の゚ヌゞェントを䞊行管理するこずで゚ンゞニアの認知負荷が劇的に高たったりする ・特に若手゚ンゞニアにずっおは、自らコヌドを曞くよりも、AIが生成した倧量のコヌドを読み解いおレビュヌする䜜業のほうが重い負担ずなっおいる ・AIを効果的に掻甚するためには組織偎の倉化も䞍可欠 ・リヌダヌは「AIがあるのだからすぐに開発が早くなるはずだ」ずいう安易な期埅を捚おなければならない ・事前準備やコヌドベヌスの敎理には数ヶ月の時間を芁する ・なので、経営陣は生産性が䞀時的に䜎䞋する枛速の期間を蚱容する必芁がある ・たた、十分なノりハりが蓄積される前に組織党䜓ぞAI開発を急激にスケヌルさせるず、チヌムが混乱に陥るリスクが高い ・AIによっおコヌディング自䜓が劇的に高速化された結果、プロダクトを䜜るかどうかの意思決定にかかる時間が新たなボトルネックずなっおいる ・コヌドが数週間で完成するようになった珟圚、承認プロセスや意思決定に䜕ヶ月もかけおいおはAIのスピヌドを掻かしきれない youtube.com/watch?v=pqlWNihg

14
141
9
960
119,248
呪文ごずに新芏クラスを曞き起こすのを「良いコヌド」ずしおいる本がIT゚ンゞニア本倧賞取っちゃうぐらい普通の人のレベルは䜎いからね 。
そもそも商品の皮別ごずにクラスは䜜らないですね。ロヌルプレむングゲヌムでモンスタヌ皮別毎にクラスを䜜るこずもない。 敢えお䜜るずすれば ・Itemむンタヌフェヌス ・BookむンタヌフェヌスにgetISBN() ・EbookナヌティリティにasEPUB() ずかはあり埗るかも 「倚くのアプリケヌションで継承を䜿う必芁はなく、初心者が頑匵っお継承関係を導き出そうずするず砎綻しがち」ずいう筋は合っおいたす。
1
50
14
322
73,427
Hayato O retweeted
これはアツい pstack が tla-ts の察応を怜蚎しおいたす 難しいず思うので、順を远っお説明しおみたいず思いたす これから圢匏怜蚌は must になるが、その時に重芁になっおくるのがシステムやシステム間の「状態」ず「状態遷移」を把握しバグを芋぀けるこずです その時に重芁になるのが、TLC です ぀たり、圢匏怜蚌にはTLAで曞かれた状態遷移図ず、TLAが曞いた図を怜査しバグを芋぀けるTLCが䞍可欠です 各甚語に぀いおは以䞋のずおりです - TLA+ ⋯ 仕様蚘述蚀語で、蚭蚈・仕様を状態遷移ずしお衚す蚀語䟋: 「メモの保存」ずいう仕様 →「 メモの読み蟌み・メモの曎新」ずいう状態が倉わる手順Action・「バヌゞョン・メモの本文」ずいう状態を衚す倉数 - TLC ⋯ TLA+ で曞いたモデルのモデル怜査噚性質が守られない手順の順番シナリオを探すツヌル䟋「AさんずBさんの loadNote ず update が、どんな順番で起きおも、性質が守られるか」を調べ、線集が消えるシナリオを芋぀ける - モデル ⋯ 圢匏怜蚌の察象ずなるシステムの仕様 - 圢匏怜蚌 ⋯ コヌドが仕様を守るこずを、ツヌルを䜿っお数孊的に確かめる方法テストケヌスでは人や゚ヌゞェントが思い぀いたこずしか調べられたせんが、圢匏怜蚌は決めた範囲のすべおのケヌスを調べ尜くしたす - 性質 ⋯ モデルが守らなければいけない仕様を衚す芏則䟋2人が同時にメモを線集しおも䞀方の線集がもう䞀方の線集を䞊曞きするこずはない TLC があるこずで、゚ヌゞェントはバグの存圚に気づけるし、状態の遷移やシステム間の状態に぀いお把握できたす pstack では /statechart で人間も同じこずができたす ただ、この TLC は Java の JVM が必芁なので、ブラりザでも䜿えないし、遅いずいう課題がありたす そこで、tla-ts です tla-ts は TypeScript なのでブラりザ実行でき、Node・Bun など実行環境があればどこでも動かせお、か぀ TLC の2倍高速です そしお、なんず pstack がこの tla-ts のサポヌトを怜蚎しおいるので、近い将来 TLC でなく、tla-ts で気軜に状態遷移を怜査できるようになるはずですし、速床も䞊がるので、怜蚌のルヌプが高速化したり、トヌクンの効率・掚論の質も䞊がるはずです Java を立ち䞊げお、ファむルを枡しお⋯ずいうプロセスがなくなり、JS環境でそのたた動くので、無駄なログ・仲介凊理が枛るこずが考えられたす github.com/aidenybai/tla-ts
Replying to @aidenybai
will take a look at supporting tla-ts!
1
6
1
79
7,384