多治見市／自動運転
https://www.city.tajimi.lg.jp/kurashi/toshikekaku/kotsu/jidounten.html
アクセシビリティー・・・・＞＜
orange
さんがブースト
自動運転バス、多治見市で実証運行スタート 住宅団地の外周路走る｜岐阜新聞デジタル https://www.gifu-np.co.jp/articles/-/628315
ホワイトタウンかぁ。古虎渓駅までのアクセスが良くなれば化ける可能性あると思うんだけどなぁ、あそこ。
ローソンのコーヒーのカップのデザインがひどいって話題になってるので、そういえば前回の酷いPBデザインを主導したnendoって、最近はどんなのデザインしてるのかなって思って見に行ったの＞＜
共創HALL + 共創LOUNGE - nendo
https://www.nendo.jp/jp/works/kyosohall_kyosolounge/?genre
これ、アメリカだとADA（アメリカ版バリアフリー法）に照らし合わせて違法じゃん？＞＜
・・・・Unity？＞＜；
robloxみたいな感じにするってこと・・・？＞＜
orange
さんがブースト
オープンで相互運用可能なビデオ ゲームの未来に向けて Unity と Epic Games が共同での取り組みを発表 - Unreal Engine
https://www.unrealengine.com/ja/news/unity-and-epic-games-together-advance-the-open-interoperable-future-for-video-gaming
> Unity と Epic Games は、本日、プレイヤーやデベロッパーにより多くの機会と価値を提供するため、共同で取り組みを行い、Unity のゲームをフォートナイトで提供可能にすることを発表しました。
えっ?
フライトシム専用コントローラー「Echo Aviation Controller」発表。ゲームパッドにギュッと凝縮、スロットルもペダルも“全部載せ” - AUTOMATON
https://automaton-media.com/articles/newsjp/echo-aviation-controller-20251119-366398/
高くて買えないけど、ファーミングシミュレーターにも向いてそう＞＜
（つづき）
この引用部分に限らずヘンテコ陰謀論者議員とは思えない 偉人が述べてるようなマジで素晴らしいスピーチですごい・・・・＞＜
Marjorie Taylor Greene remarks during Epstein survivors press conference - YouTube
https://www.youtube.com/watch?v=MjKUeXoIYfA
Congress approves bill to release Epstein files that will head to Trump's desk
https://www.bbc.com/news/articles/cdxr1r34ev9o
' "Let me tell you what a traitor is. A traitor is an American that serves foreign countries and themselves; a patriot is an American that serves the United States of America and Americans like the women standing behind me," Greene said. '
Ariane 5の打ち上げ失敗の時は「Adaで書いてるから」で間抜けなコードを書いて実行時にエラーを起こして止まって姿勢崩して空中分解して、
今回のCloudflareの障碍は「Rustで書いてるから」で間抜けなコードを書いて実行時にPanic出して止まった＞＜
SPARKのような形式検証環境であればそもそも間抜けなコード（想定の間に矛盾があるコード）がコンパイルされる事を防ぐので、間抜けじゃないコードをいちいち書く事になるのでこういう事が大幅に減るかも＞＜
今回のCloudflareの大規模障碍をきっかけに、契約プログラミングと形式検証環境の再ブームって来ないのかな？＞＜；
なんかよくわかんないうちにTIOBE IndexでAdaのスコアも急上昇してるし＞＜；
TIOBE Index - TIOBE
The Ada Programming Language
https://www.tiobe.com/tiobe-index/ada/
続けて、Ariane 5の最初の打ち上げ時の算術オーバーフローを由来とする打ち上げ失敗事例との類似性を指摘したら、超褒めてくれた！＞＜；
"...そのご指摘は、ソフトウェア工学の歴史における最も重要な教訓を正確に捉えており、鳥肌が立つほど鋭い比較です。..."
"...ご指摘の通り、この事例は**「現代のAriane 5事件」**と呼ぶにふさわしいものです。..."
Gemini 3 Proさんに「今回のCloudflareの障碍に関してはRustじゃなくてAda/SPARKを使ってたら誤りに気づけてたんじゃね？＞＜（意訳）」って聞いたら同意してくれた＞＜
Cloudflare障害と形式検証の必要性
https://gemini.google.com/share/5f29cf14eaec
なんかGeminiのProのほうが2.5から3に変わったっぽい・・・？＞＜
まだちゃんと読んでないけど、これって
「Rustでは安全に不十分なんです＞＜ やはりAda/SPARKのような形式検証を基にした発想こそが必要なんです！＞＜」
には繋げられない話なの？＞＜；
orange
さんがブースト
漫然 unwrap かよ、クソつまんねえな……
orange
さんがブースト
“This resulted in the following panic which in turn resulted in a 5xx error:
thread fl2_worker_thread panicked: called Result::unwrap() on an Err value”
Cloudflare outage on November 18, 2025 - https://blog.cloudflare.com/18-november-2025-outage/#memory-preallocation
第二次コンゴ戦争みたいな遠くの世界の実例じゃなく、日本を題材に架空の例で説明するならば、
たとえば日本への長距離貨物航路沿いにあって貨物船に対して海賊行為を行うならず者集団が居る国があったとして、その周辺国がブチキレて攻め込んで、その体制を海賊行為を行うならず者集団ごと滅ぼして、地方まで管理が行き届き海賊行為をせずに暮らしていける民主主義国家への転換が起きたら、日本はその戦争により得をした国と言える＞＜
オレンジの、経済に限らないって具体例を含めた反論の方が決定的だと思うんだけど・・・・＞＜
- ＠orange_in_space
2017年 4月に登録
