24h Le Mans やってますわねー >>
#8 LIVE - 24 HOURS OF LE MANS - OnBoard – RACE - YouTube - https://www.youtube.com/watch?v=OVumk-lwycI

Jane Street Blog - Introducing OxCaml - https://blog.janestreet.com/introducing-oxcaml/

フルバケ Go！

@ponkotuy かなーりキョリ感じちゃう……。

おしゃれ家具としてギリギリ通じそう

円形のイスの話ね

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

@ponkotuy あれ、あんまりロングタイムの保証なくてもまあ事業潰れたらそれはそれでを客が納得できる IoT な世界だとまあ、になるけど、分散ノードが出てくる組み込みのプロダクト一般とはまだキョリがあるな〜と思った（ROS とかも PoC とかにはいいけど、10〜20 年保守するクリティカルなソフトの部品までにかなりキョリがある……

このアカウントは、notestockで公開設定になっていません。

SNS の仮想人間が肉人間として instantiation された世界に居ました

中野「ただいま、変身中」
牡蠣×鯛×豆乳ラーメン、フレンチ和え玉

@akahana https://mstdn.maud.io/@orumin/114665363060633760

京都背脂醤油ラーメンの「魁力屋」が初の企業買収　台湾進出も視野に | M＆A Online - M&Aをもっと身近に。 - https://maonline.jp//articles/kairikiya_firstma20250611

インプレスと丸善CHIホールディングスが 技術書籍読み放題サービスの企画運営を目的とした合弁会社テックリブを設立 - 株式会社インプレス - https://www.impress.co.jp/newsrelease/2025/06/20250606-02.html

Ultra Ethernet Consortium Publishes UEC 1.0 Specification - Phoronix - https://www.phoronix.com/news/Ultra-Ethernet-1.0-UEC

なんて？？？

機械彫刻ではない 5F の手書き「松屋」、味がある

企業体としては体力ある方のはずなので、ヨドバシじゃないがああいうところに入り込んで内製化とかやる仕事するときっと楽しいし LLM/AI が席巻しようと呆れるぐらい人間の仕事がたくさんあるはずだけど、理解ある役員とかの味方を作るのに失敗するとなんともならずに道半ばで終わりそう

内製でちゃんとわかってるひとがアーキテクチャつくればべつに一緒にできそうな気がしなくもないけど、もともと店内で昔から使われてた POS システムや松屋以外の業態の POS システム含め松屋フーズの社内システムはカオスってそうなので、それをユースケースや系列ごとに外注開発してたらシステム発散するだろうな

ただ、モバイルオーダーは Web アプリからはできなくてスマートフォンアプリからでないと使えないので、バックエンドにいるシステムは確かに別物そうだけど、EC サイトみたいなつくりにしてて商品が店舗で受け渡されるだけ、な松弁ネットと個別店舗に注文を入れるモバイルオーダーはなんか松屋の商売の中でシステム色々違うんだろうなと想像はつく

松屋フーズのアプリからどっちもやれるはずで、テイクアウトかその場で食べるかで松弁ネットとモバイルオーダーと言い分けているだけだとおもってた

このアカウントは、notestockで公開設定になっていません。

@akahana まあ 70 年代のあらゆる概念が整備されてない時代にあれほどの完成度のものがつくられたのは逆にオーパーツなんだよな……

NEC マグナス、昔の券売機だったら DOS 画面みたいなの出して死ぬだけだったのでソフトウェア屋さんからみるとひどい品質でももともとからの品質考えるとかなり長足の進化なんですよこれでも

このアカウントは、notestockで公開設定になっていません。

モバイルオーダーの操作もあれはあれで別種の理由わからなさないですか

いやまあこれでも最近一気に品質上がったほうなんだよね、前ほどクラッシュしなくなったし、そもそも前は画面遷移すら異様な遅さだったし

松屋というか NEC 子会社の飲食向け POS システム

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

@akahana まあ *Hello* を #strong [Hello] にしたり
== intro
を #heading (level: 2)[intro]
にしたり

あああ

を #par [あああ] で段落を空行区切りマークアップではなく明示してみたり、とにかくなんでも code mode で書くとかなり LaTeX かもしれないこの書き方ですらプログラミングモデルが正気で変数スコープも正気なので LaTeX より手触りがいいけど

これでイベントまだ回してないの思い出せましたありがとう

このアカウントは、notestockで公開設定になっていません。

@akahana マクロかパッケージ作ろうとせずにとりあえずあり物のテンプレートを import してほとんどコンテンツを埋めるだけの使い方、とかだと markup mode の使い方だけでたまにインラインで math mode の数式やパッケージに入ってる code mode のインライン機能のマクロ、もそこそこきれいなドキュメント作れるし LaTeX のモダンな文法、ぐらいのメンタルモデルのままでも上手くいくので、むしろ typst の設計者の意図通りのエンドユーザーぽさある

@akahana あとここの関数定義で
#let a() = { } の波括弧の中は code mode になるので # は要らない

@akahana 最後の表現が可能になると、テンプレートパッケージの関数の中に諸々押し込んでおいて、それの init の関数に設定的なものだけ渡してあとは markdown ちっくに書き下すだけでいい感じドキュメントが吐き出される、とかになるので、それでたいていの関数が content 型の装飾する対象になるコンテンツ本体を body て名前で引き取る関数になってて、みたいな仕組みなんだと思う

@akahana Typst はベーシックには markup mode なので Markdown 風に書き下すだけでうまいこと使えるけど、関数の引数の取り方に糖衣構文のクセがあって、最後の引数が content 型の要素を取る引数だったとき、たとえば

#let example(width: 50pt, height: 30pt, body) = {
rect(width, height, body)
}

とかは

#show : example([#heading (level: 1)[Hello] #parbreak () こんにちは])

と

#show : example[#heading (level: 1)[Hello] #parbreak () こんにちは]

と

#show : example[
= Hello

こんにちは
]

と

#show : example.with()

= Hello

こんにちは

は等価になるとおもう。

@akahana Markup mode の時にインラインでコード記述するときは # はじまりで coding 要素を書く、code mode のときは # 要らない。
[] は code-mode で content 型のリテラルを記述するための記法、というだけ。

typst、code-mode が式指向だから

#let a = if b == "test" { "hello" } else { "world" }
#show : repr(a)

みたいな書き方できるの手触りがかなり良い、べんり

あと #show : heading() みたいな show 式の書き方はコンテント内の構造の特定のノードに対するコールバックみたいになるのでここらへんうまい使い方するとテンプレート作るの楽しくなれる

feature freeze どころか RC なんだから code freeze で merge 一切禁止して緊急の hotfix や QA で出てきたバグのうち showstopper バグの修正だけ merge してあとは次のリリーストレインに入れようね感ある

grid() とか使うと CSS の grid layout みたいな書き方でいろいろ作れるので、スライドやポスターみたいなの作るのを外部パッケージなしでも割とサクッとやれる

typst、markup-mode/math-mode/code-mode のモード切替と主に content 型を最後の引数でひきとるときの糖衣構文、みたいなとことかのクセを踏まえるとあとはわりと素直に理解しやすくて悪くない

こえ、きこえない

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

@akahana この前の週末から使い始めたけどわりと気持ちを理解してきた

@rooty2 CAN の標準

【Xbox Ally】Microsoft、携帯型ゲーム機に参入　「Switch」成功に学ぶ - 日本経済新聞 - https://www.nikkei.com/article/DGXZQOGN10DZH0Q5A610C2000000/

万博・自動運転バス事故『原因＝車両が受信できない速度（500kbps）でデータ送信していた』大量のエラーデータで必要なブレーキ情報伝わらず…大阪メトロ | MBSニュース - https://www.mbs.jp/news/kansainews/20250611/GE00066371.shtml

？

Support for iOS 26 “Liquid Glass” Design in Cupertino Widgets · Issue #170310 · flutter/flutter - https://github.com/flutter/flutter/issues/170310

キレそう

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

@roamer7038 いやすぎ

@roamer7038 ？

一昔前って JCB はむしろそこらへん小うるさいブランドイメージもあったと思うので、単に V/M が相対的に悪くなりすぎただけで JCB も対して別にな

このアカウントは、notestockで公開設定になっていません。

WSL と違って 9p なんて使わないし VM へのリクエストも謎のカーネルドライバに話しかけるとかじゃなくて gRPC なのなんか Apple ぽいなとおもった >>

containerization/vminitd/Sources/vminitd/Server+GRPC.swift at main · apple/containerization - https://github.com/apple/containerization/blob/main/vminitd/Sources/vminitd/Server%2BGRPC.swift

名古屋・栄のホテルで32歳男性が殺害された事件で20歳男を逮捕　殺害される直前“女性”と一緒に入室か【news23】 | TBS NEWS DIG (1ページ) - https://newsdig.tbs.co.jp/articles/-/1967542

「アメリカ車をトヨタの販売網で売る可能性も“選択肢のひとつ”」トヨタ副社長　関税交渉めぐりメーカーとして協力する姿勢示す | TBS NEWS DIG - https://newsdig.tbs.co.jp/articles/-/1967531

https://x.com/nabe1975/status/1932025385421832400
皇帝（カイザー）ミカエル七世ドゥーカスが滅加伊霊改撒（ミカイルカイザー）になるの良すぎる

ASCII.jp：合計29ユニット搭載で11.1.4ch対応、サウンドバー「JBL BAR 1300MK2」は数字も体験も色々バグってた - https://ascii.jp/elem/000/004/279/4279862/

【溝落とし×Fドリ】リアル豆腐屋？ロッソレーシング藤原/宮本 インカー【碓氷峠SS】 - YouTube - https://www.youtube.com/watch?v=QV6ki-Ukf0I

有料記事がプレゼントされました！6月9日 17:39まで全文お読みいただけます
証券口座、ワンタイムパスワードも突破の恐れ　同時進行で乗っ取り：朝日新聞 https://digital.asahi.com/articles/AST660CKPT66ULFA01VM.html?ptoken=01JX7B44ENS1SZTJRF3ZK8TMCY

運転免許証、マイナンバーカードとセットにするやつもうできるようになったはずだけど、やったのだろうか

†たのしそう†

たのしそう

このアカウントは、notestockで公開設定になっていません。

単に作業者をバルクでつっこんで作業させるだけで仕事を完遂できるような準備をすることを意味しない

他のメンバーに仕事を引き継げる準備を常にしておく、ぐらい

これかなりそう

このアカウントは、notestockで公開設定になっていません。

ここらへんのベストプラクティスっていろいろな本や記事が出てたりするけど、結局按配の調整とかってかなり経験知でしか実現できないもの多くて、属人性排そうとしてもデキる人間が集まんないと実現できないこともおおいなになって難しい

そのためのプロセスの構築とかがもう大変なわけだが……

ちゃんとチケットとかに設計思想残してそもそものコードレヴューの前に合意が取られていることや、レヴューでも記法や言語仕様とか個々人の設計の好みとかじゃなくてプロジェクトで合意取られている思想だとこう、みたいな指摘がされて、プロジェクト内での知識や哲学の共有・内面化の場として機能する、のが理想よね

このアカウントは、notestockで公開設定になっていません。

AD/ADAS（高度運転支援、衝突被害軽減ブレーキ・いわゆる自動ブレーキとか）のレイヤーやデジタルメーターの部分とかでも Linux とコンテナの世界観が使えるようになる、ということになる（Red Hat から買った In-Vehicle OS を使う前提になるが

去年のリリースで Red Hat が GM と協業でやってる In-Vehicle OS、まだ glibc の libm 部分の ISO 26262 通しただけならこれから具体的に車載（のナビ以外の部分）に Linux ecosystem 使えるのに何年かかるねん、と思ってたんですが、先月 20 日のリリースだともう kernel/systemd/DBus/Podman あたりが ISO 26262 ASIL-B 認証通ったらしく、かなり驚いています。

https://www.redhat.com/en/about/press-releases/red-hat-prepares-new-future-software-defined-vehicles-upcoming-general-availability-red-hat-vehicle-operating-system

ビル・アトキンソン氏が死去　AppleのUIを確立した伝説的エンジニア - ITmedia NEWS - https://www.itmedia.co.jp/news/articles/2506/08/news022.html

べつにフレッツでも PPPoE つかえば CGNAT じゃないのでは

このアカウントは、notestockで公開設定になっていません。

これは真だとおもう

https://github.com/grpc/grpc/blob/master/include/grpc/grpc.h
まああんまりちゃんとドキュメント用意されてなかったりもするし、結局内部実装はだいぶ C++ なので、下手にこれ使うぐらいなら proto の IDL から自分で都合のいいコード吐いて自分で互換のランタイム作ってリンクさせるほうがいろいろいい気がしないでもないけど

gRPC は一応、そもそも C API 持ってる

k/vm の発表枠もうすでに全部埋まっててワロてる

https://kernelvm.connpass.com/event/355100/
今年もKernel/VM探検隊@東京 No.18開催です。2025年8月9日(土)、備えよう。

https://connpass.com/event/358420/ 懇親会もあるよ

気づいたんだけど謎のロゴ入り jetstream が家になんかたくさんある