なんとですね!私が作った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
OpenAI社発表:「私たちのモデルは、2026年9月9日にヤン=ミルズ理論の存在に関する自然言語による証明を生成し、その後、9月18日にQCDの証明を生成しました。研究内容が長大かつ複雑であることから、Leanによる形式化が完了するまで、成果の公開を延期しました。2026年10月16日にヤン=ミルズ理論の存在証明の形式化が完了し、それをきっかけとして、ここで紹介する共同研究体制を立ち上げることになりました。」
We are announcing three new discoveries in mathematics, computer science, and physics about harmonic analysis, complexity theory, and quantum field theory.
openai.com/index/building-sc…
Hayato O retweeted
“Software engineers should be excited”
De lo mejor que he leído últimamente. Qué buena época para ser software engineer.
GPT-6 terraきたあああ!!!!!
と思ったらなんでGPTシリーズ全てを破壊してるんです?
全部terraでええやんってなりますよこれ...
Agents Last Examだけじゃなくて第三者比較ももっと見たいかも...?
Replying to @OpenAI
GPT-6.1 Terra substantially outperforms GPT-5.6 Terra on Agents’ Last Exam, a test of how well agents use software at work.
It even matches GPT-6 Astra at one-tenth the price per token and finishes tasks over 3× faster on average than both Astra and GPT-6.1 Sol.
Hayato O retweeted
Day 22/ Terra is back!
Our first model that is significantly better at writing, personality and nuanced understanding of requests.
Packs a punch across the board, very good at computer use, and gives 2X more usage than 6.1 Sol across API and subscriptions.
API価格が抑えられるから、多くの企業で導入が進むと予想。Anthropicのhaikuは安いけどバカで使い物にならず、sonnet以降は高すぎて使い物にならない 。一方でOpenAIのterraからlunaは低料金で実用的なAIを企業に提供出来るとても良いラインナップだと思う。
Hayato O retweeted
❄️ オンラインストア先行予約販売決定 ❄️
人気キャラクター「ちいかわ」とのコラボレーション✨
"さむ~い雪の日も楽しもう!"をテーマにした冬アイテムが登場!
11/2(月)よりオンラインストア先行予約販売スタート🎉
詳細はこちら👉s.gu-japan.com/4i5swyy
※全国のジーユー店舗での通常販売スケジュールは、オンラインストアをご確認ください。
✨ 予告 ✨
人気キャラクター「ちいかわ」とのコラボレーション
“さむ~い雪の日も楽しもう!”をテーマに
第1弾はニットなどのおでかけ着、第2弾はルームウェアが登場
✅第1弾は11/20(金)
✅第2弾は11/27(金)
販売開始予定!
気になるアイテムをお気に入り登録してね!
詳細はこちら👉s.gu-japan.com/4y04kTP
あれ今までも国産AIって宣伝してなかったっけ?今までのは違ったのかな?たくさん国産AI持ってて新しいモデルを作るってこと🤔
サカナAIが国産AI開発へ 防衛・サイバーに活用、米中依存リスク排除
nikkei.com/article/DGXZQOUC2…
Hayato O retweeted
ちなみに、『ことばの意味を計算するしくみ』の自分の感想はこちら xitter.cf/golden_lucky/status/18…
Replying to @golden_lucky
ようするに『ことばの意味を計算するしくみ』は、10章まで「シークエント計算をごりごりやって自然言語の意味を明らかにするぞ」、11章から「統計でねじ伏せるぞ」という構成で、15章以降では両者の学際的な関係にも触れられてるっぽい。まさに読みたかったやつでした amzn.to/3NkbnAO
Hayato O retweeted
なお依存型意味論や言語モデルについては、『ことばの意味を計算するしくみ』だけでなく『言語の数理とLLMの知能』もあわせて読むと、「ことばを数学する」って雰囲気をがっつり味わえるような気もします link.amazon/B0hNfM3KN
일본인들이 해외여행을 잘 안가는 이유
물론 엔저로 인해 비싸진 해외여행 비용도 이유겠지만, 일본은 굳이 해외로 나가지 않아도 될 만큼 자국 내 여행 인프라가 미쳤다.
일본이라는 나라 하나에 전 세계의 다양한 풍경을 압축해 놓은 느낌
다테야마 : 스위스 알프스가 부럽지 않은 웅장한 산맥과 거대한 설벽
미야코지마 : 몰디브나 동남아 휴양지를 연상시키는 에메랄드빛 바다
비에이 : 유럽 시골마을 같은 광활한 언덕과 동화 속 겨울 설경
교토 : 수백 년의 역사와 전통이 살아 숨 쉬는 일본의 고도
야쿠시마 : 원령공주의 배경을 떠올리게 하는 신비로운 태고의 원시림
벳푸 : 도시 곳곳에서 온천수가 솟아나는 일본 최고의 온천 여행지 중 하나
도쿄 : 세계 최고 수준의 쇼핑, 미식, 서브컬처가 공존하는 초대형 도시
그럼 음식은?
사실 말하면 입만 아프다.
스시, 라멘, 돈카츠, 야키니쿠, 우동부터 지역마다 특색 있는 향토 음식까지.
식재료 하나를 활용하는 방식도 다양하고, 이름 모를 동네 식당에서도 기대 이상의 음식을 만날 때가 많다.
쇼핑은 또 어떤가
명품부터 빈티지, 편집숍, 전자제품, 애니메이션 굿즈까지. 도쿄나 오사카에서 쇼핑하다 보면 하루가 모자랄 정도다.
게다가 여행할 때 체감되는 청결함, 정돈된 거리, 친절한 응대와 세심한 서비스까지.
대도시의 화려함을 즐기다가도 조금만 이동하면 고즈넉한 마을과 자연을 경험할 수 있는 나라.
봄에는 벚꽃, 여름에는 푸른 바다, 가을에는 단풍, 겨울에는 설경과 온천.
일본 여행의 가장 큰 장점은 한 나라를 여행하면서도 전혀 다른 여러 나라를 다녀온 듯한 기분을 느낄 수 있다는 것이다.
괜히 전 세계 관광객들이 일본을 계속 찾는 게 아니다.
솔직히 일본에 살면 국내여행만으로도 평생 가볼 곳이 끝나지 않을 것 같다.
面白い
GPUを1時間8ドルで借りても、公開モデルを動かせば10〜20ドル以上の売上になるので、AIホスティングベンダーが毎週何十社も生まれている
There is an absolute barrage of inference providers popping up that get to $1M/mo extremely quickly.
This is the rough economics of inference providers:
Even if you rent on-demand B300s at $8/GPU-hr, many open source models (GLM 5.3, Kimi K3, DeepSeek 4.1 Flash / Pro) can get you >$10-20/GPU-hr at reasonable throughputs (100tok/s). DeepInfer from DeepSeek directly shows they can get $38/GPU-hr on off-peak hours. Every chip / model has a different throughput / interactivity curve, but there is a lot of arbitrage between even high rental spot prices and token prices. New chips (Vera Rubins) also change this meaningfully. Your ability to be making gross margin relies on your utilization and how good your stack is.
Gateways like OpenRouter, Vercel and more help solve that problem by aggregating demand to you. May inference providers discount their tokens to get longer term commits too. I've even heard stories of selling back Chinese model tokens to Chinese labs!
One thorn in the economics of these players is that many Chinese open source model labs are now asking for rev share if you're at a certain scale, espp for pre-release access to their models for day 1 support. That further pushes the threshold to be in the money.
The barrier to entry seems low and falling. There are even stories of smaller ones who can "vibe code" a way to stand up OSS models on a cluster they rent. And as a result, we're seeing 10s of such companies pop up almost every week and immediately skyrocketing revenue at low-ish gross margin and raising rounds on the back of that.
Unsurprisingly, because the actual service provided seems commodity, this eventually drives up compute prices and drives down token prices. In theory, it would seem like neoclouds who have the lowest cost of compute and themselves have started inference businesses would win the race to the bottom (Crusoe Coreweave Nebius and GMI all have inference businesses), with larger players (Modal Fireworks Baseten) being second because they are well capitalized to make bigger compute commits cheaply and have demand (high utilization), but the reality is the pie is growing so quickly that even upstarts are absolutely crushing it and growing aggressively (inference dot net, DeepInfra, Wafer, Relace, Morph).
Strategies vary across the board: neoclouds want to serve inference, inference players want to be neoclouds and do higher margin reserved instances / post training, and some want to go heterogeneous hardware or creatively flexible compute constructs.
The risks are: do open source models continue to be competitive? Will their creators rent seek more? Will their shape change compute needs? How do different chips change economics? Who gets compute in a supply crunch?
Below is a aggressive sketch of how gross margin scales with utilization for various models / chip sets.
For now, there are many inference providers and they’re all ripping!
自分に札がついてるか確かめる方法
X公式の xitter.cf/i/under_the_hood を開くだけ
自分のアカウントと投稿についた札が全部見られる
外のシャドバ診断サイトはもう要らない
こわいのは札のついた投稿は本体だけじゃなく
それにぶら下がったリプ・引用・リポストまで一緒に落ちること






































