ãªããšã§ããïŒç§ãäœã£ã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
Hayato O retweeted
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âŠ
Hayato O retweeted
æŠé£ãããæããæ©ãŸã§å¿
æ»ã«åãããéã§å¡Ÿãç¿ãäºã«éãããŠ
ç§ã¯ä»äºåž°ãã«åŠæ ¡ã«çŽè¡ããŠåäŸã®å¡Ÿãç¿ãäºã®éãè¿ããããŠããã®ã«
çæŽ»ä¿è·ã®åã¯éã£ãŠæ¹§ãããéã§å¡Ÿãç¿ãäºã«éãã®ïŒ
ããã¯æµç³ã«éãã§ãããã
ãšããããå
¬æè²ã§å
åã«ãªãããåŠæ ¡ã«äºç®ãä»ããªãããã
ãã®éé¡ãäžéå±€ãã©ãã ãå¿
æ»ã«åããŠæ»åºããŠããã
ééãããæ Œå·®æ¯æ£ãããæªæ¥ãžã®æè³ãããå
šãŠã®åã©ããã¡ã®å¯èœæ§ãæªããã®ã ãšæãã
è¡æ¿ã¯ãã£ããããã£æŸãã®äºæ¥ã§ãèªå·±æºè¶³ããã ãããã©ã
婿ãããåãšãããªãåã®æ Œå·®ãã©ããªãããèŠå±ããããã®ãïŒ
äžåŠçã®å¡Ÿãç¿ãäºä»£ã婿ãžâŠïŒå¹ŽçïŒïŒäžåã»ïŒå¹ŽçïŒïŒäžåã»ïŒå¹ŽçïŒïŒäžåã®äºå®(èªå£²æ°èãªã³ã©ã€ã³)
#Yahooãã¥ãŒã¹
news.yahoo.co.jp/articles/72âŠ
Hayato O retweeted
ããïŒïŒ24ã25ããè¡ãããâŒïž
ããªãŒã»ããã¿ãŒã®é³æ¥œã«åãããŠãéæ³ã®éªãããããããªãŒãèŠãããäžžã®å
ã®å¬ãæ°ã«ãªãâŠâïž
MARUNOUCHI BRIGHT HOLIDAY ãããªãŒã»ããã¿ãŒãäžžã®å
ã圩ãéæ³ã®éªã¯ãæ±äº¬éœå代ç°åºã®äžžã®å
ãšãªã¢ã§éãããããªããŒã€ãã³ãã
ðäžžãã«ãã¯ããã倧æçºã»äžžã®å
ã»ææ¥œçºãšãªã¢
ð äžžãã«ã«ã¯ã4寮ã®ãšã¬ã¡ã³ããšéªã®æŒåºã«å
ãŸããHOGWARTS SNOW TREE
âš ããªãŒã§ã¯ãå°è±¡çãªé³æ¥œã«åãããŠéæ³ã®éªãèãã©ã€ãã£ã³ã°ã·ã§ãŒ
ð äžžã®å
仲éãã¯ãçŽ1.2kmã®ã·ã£ã³ãã³ãŽãŒã«ãã®ã€ã«ãããŒã·ã§ã³ã«
ããªãŒãèŠãŠãããå
ã仲éããæ©ãã³ãŒã¹ã§å¯ããããããªãŒã»ããã¿ãŒå¥œãã®å¬ã®äºå®ã«å
¥ãããã€ãã³ãâŠïŒ
â»ããªãŒã»ããã¿ãŒã®ããªããŒäŒç»ã¯2026幎11æ12æ¥ã12æ25æ¥ãäžžã®å
ã€ã«ãããŒã·ã§ã³ã¯2027幎2æ14æ¥ãŸã§ã§ããå
容ã¯å€æŽãããå ŽåããããŸãã
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
Claude æ°åèœçæ¯çäº
ç»äºæŸå°åéµåAnthropicæ žå¿å工犻èçåå äº
Anthropic 10 æ 29 æ¥æšåºç Smart Reportsæ¯å¹²åçšçå¢ïŒ
èæ¿èœéè¿è¿äžªåèœçè§åå·¥ç Claude è倩记åœ
äž»èŠçšäºClaude Enterprise
å¹¶äžè¿å¯ä»¥æå¢éãæ¶éŽæ®µçå¯¹è¯æ ·æ¬ïŒçè³è¿äŒæ åºâ没产åºâåâ䞪人/è·é¢âç对è¯
äžæ¯ïŒè¿ä¹å€ªçäºå§ïŒå¯¹äžå±åClaudeçè倩å
šæ¹äœçæ§å°±ç®äºïŒè¿èç¹ä»ä¹äžè¥¿éœäžå¯ä»¥ïŒ
è¿å°±æ¯Anthropicçä»·åŒè§ïŒæ¯äžæ¯åšå
éšä¹æ¯è¿ä¹åçïŒéŸæªçŠ»èé£å 䞪诎åå倧ïŒåæ¥æ¯è¿ä¹åäº
AIãšãŒãžã§ã³ãã§ã³ãŒãã£ã³ã°ãããªãæ¬åœã« Lean ãšäžç·ã«äœ¿ããšããã§ãããããŸãå¯ãéããã«ã»ãšãã©æçŽããäžèŠã§äœæ¥ãç¶ããŠãããŸãããã17æ¥éã¡ãããšé²æåºããªããåãç¶ããŠãããŠãŠãŠãããã
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.
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.
Hayato O retweeted
ãªãã§æ¥æ¬äººã®è¥è
ãªã©ã蟲å°ãååŸããéã¯ããããããããšããããã®ã«ãå€åœäººã«ã¯ãµãã£ãšãã察å¿ãªã®ãããã¯ãããããããªããããã¯ã«ãããããæ¯æŽå£äœã士æ¥ãã€ããŠããããããªãã®ïŒ
ãè«èª¬ïŒœå¢ããå€åœäººèŸ²å°ååŸãç¶ç¶çãªèª¿æ»ãç¶ããã
ãå€åœäººããã®é¢ä¿æ³äººãååŸããæ¥æ¬åœå
ã®èŸ²å°ã®ååã«ã飿å®å
šä¿éäžã®æ³šç®ãéãŸã£ãŠããã蟲å°ã¯åœæ°ãžã®é£æäŸçµŠã®åºç€ã ãå¥å
šãªèŸ²å°ã®ä¿å
šã®ããã«ããææè
ã®åœç±ãå©çšç¶æ³ããã¡ããšææ¡ããå¿
èŠãããã
agrinews.co.jp/opinion/indexâŠ
Hayato O retweeted
ãè«èª¬ïŒœå¢ããå€åœäººèŸ²å°ååŸãç¶ç¶çãªèª¿æ»ãç¶ããã
ãå€åœäººããã®é¢ä¿æ³äººãååŸããæ¥æ¬åœå
ã®èŸ²å°ã®ååã«ã飿å®å
šä¿éäžã®æ³šç®ãéãŸã£ãŠããã蟲å°ã¯åœæ°ãžã®é£æäŸçµŠã®åºç€ã ãå¥å
šãªèŸ²å°ã®ä¿å
šã®ããã«ããææè
ã®åœç±ãå©çšç¶æ³ããã¡ããšææ¡ããå¿
èŠãããã
agrinews.co.jp/opinion/indexâŠ
Hayato O retweeted
人éããããã§èª¿ã¹ãªããããã°ã©ã æžãæä»£ã¯ãã£ã20幎ãããã ã£ãã®ã
ãç¥ããé
ããªããŸãããã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æ±äº¬ #ã€ãã±ã³
ãã£ãš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âŠ
Hayato O retweeted
ãã®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âŠ
åªæããšã«æ°èŠã¯ã©ã¹ãæžãèµ·ããã®ããè¯ãã³ãŒãããšããŠããæ¬ãITãšã³ãžãã¢æ¬å€§è³åã£ã¡ãããããæ®éã®äººã®ã¬ãã«ã¯äœããããâŠã
ããããååã®çš®å¥ããšã«ã¯ã©ã¹ã¯äœããªãã§ãããããŒã«ãã¬ã€ã³ã°ã²ãŒã ã§ã¢ã³ã¹ã¿ãŒçš®å¥æ¯ã«ã¯ã©ã¹ãäœãããšããªãã
æ¢ããŠäœããšããã°
ã»Itemã€ã³ã¿ãŒãã§ãŒã¹
ã»Bookã€ã³ã¿ãŒãã§ãŒã¹ã«getISBN()
ã»EbookãŠãŒãã£ãªãã£ã«asEPUB()
ãšãã¯ããåŸãããïŒ
ãå€ãã®ã¢ããªã±ãŒã·ã§ã³ã§ç¶æ¿ã䜿ãå¿
èŠã¯ãªããåå¿è
ãé 匵ã£ãŠç¶æ¿é¢ä¿ãå°ãåºãããšãããšç Žç¶»ããã¡ããšããçã¯åã£ãŠããŸãã
ããã¯ã¢ããïŒ
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









































