22:43:28 @orumin@mstdn.maud.io
icon

NTT東、サケ養殖成功 IT活用、売上高10億円目指す - 産経ニュース
https://www.sankei.com/article/20230720-7UWBQ7D7TNPN5OFTD3LDCWAHSA/

Web site image
NTT東、サケ養殖成功 IT活用、売上高10億円目指す
22:03:21 @orumin@mstdn.maud.io
18:26:11 @orumin@mstdn.maud.io
icon

異星の恋人

02:33:51 @orumin@mstdn.maud.io
2023-07-20 02:28:34 upsilonの投稿 upsilon@m.upsilo.net
02:27:37 @orumin@mstdn.maud.io
icon

Monotype が買収マジか

02:27:25 @orumin@mstdn.maud.io
2023-07-20 02:26:38 アカハナの投稿 akahana@fla.red
icon

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

02:18:16 @orumin@mstdn.maud.io
icon

こり

02:18:12 @orumin@mstdn.maud.io
2023-07-20 02:17:58 ヒポポタマスジの投稿 Otakyuline@mstdn.maud.io
icon

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

02:15:18 @orumin@mstdn.maud.io
icon

既に『艦これ』が三越とコラボしてオタク層を釣っている成功例もあるので、新しいシード探しとしてアンテナの敏感な層に関心を持ってもらう、というところで Vket に、というのはまあ悪くないのではとも思うし、同じ赤字だとしても下手に駅のホームに出稿するより遥かに低価格に広告できるんじゃない?

02:13:03 @orumin@mstdn.maud.io
icon

高度経済成長期は屋上遊園なんかもあってハイソで気張ってるというよりは中流家庭とかでも子供連れがなにかの記念日に行く、子どもにとって楽しさの象徴だってのが百貨店だったのだけれども、

イマドキは外商部がお金持ちのお得意さんに訪問するのはともかく普通のお客さんは減少の一方、潰れたり家電量販店に居抜きされたりするのも珍しくないので生き残りの方策にはなんでも飛び付いたれ、になってると思うよ。

02:07:56 @orumin@mstdn.maud.io
icon

車のほうの話していました

02:07:47 @orumin@mstdn.maud.io
2023-07-20 02:07:33 そらの投稿 HK_Shuttle@mstdn.maud.io
icon

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

02:05:53 @orumin@mstdn.maud.io
icon

無責任な飼い主に放流されたバスがザリガニ池で繁殖し環境問題になる例

02:04:59 @orumin@mstdn.maud.io
icon

野生のバス

02:00:52 @orumin@mstdn.maud.io
icon

小学校のれんらくちょうが Markdown で書かれて Merge Request で push されてくるご家庭

01:59:37 @orumin@mstdn.maud.io
2023-07-20 01:59:05 ヒポポタマスジの投稿 Otakyuline@mstdn.maud.io
icon

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

01:59:33 @orumin@mstdn.maud.io
2023-07-20 01:58:36 ほたの投稿 hota@mstdn.maud.io
icon

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

01:59:30 @orumin@mstdn.maud.io
2023-07-20 01:56:24 瀬良の投稿 shela@mstdn.maud.io
icon

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

01:57:17 @orumin@mstdn.maud.io
icon

near ポインタ、far ポインタみたいなの今日び通じない

01:56:53 @orumin@mstdn.maud.io
2023-07-20 01:56:03 芝生の投稿 shibafu528@ertona.net
icon

園児near、セグメントに収まってる

01:52:16 @orumin@mstdn.maud.io
icon

園児 near ⇔ 園児 middle ⇔ 園児 far

01:46:21 @orumin@mstdn.maud.io
2023-07-20 01:45:59 瀬良の投稿 shela@mstdn.maud.io
icon

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

01:45:48 @orumin@mstdn.maud.io
icon

Haiku OS で ActivityPub Sever 建てるのほどよい地獄感じられそう

01:45:16 @orumin@mstdn.maud.io
2023-07-19 11:38:38 Alexの投稿 alextheuxguy@fosstodon.org
icon

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

01:43:38 @orumin@mstdn.maud.io
icon

GitHub 上の personality はひとつにして活動の実績を紐付けしておきたさがあるけど、それはそれとして priv. と work. がいっしょになってると事故りそうでヤだ

01:40:59 @orumin@mstdn.maud.io
2023-07-20 01:40:46 🫥の投稿 aiwas@yysk.icu
icon

月に寄りそう乙女の作法聖地巡礼 ~フィリア女学院日本校編~ - みるそら mirsk777.blog55.fc2.com/blog-e

つり乙の聖地巡礼、難易度が高い

月に寄りそう乙女の作法聖地巡礼 ~フィリア女学院日本校編~ - みるそら
01:40:34 @orumin@mstdn.maud.io
icon

有料アカウント複数でいいのも無料アカウント複数が微妙なグレーなのも前から変わってなさそうなので解散になった

01:39:47 @orumin@mstdn.maud.io
2023-07-20 01:37:12 今谷里奈の投稿 mohemohe@mstdn.plusminus.io
icon

> マシン アカウントは、アカウントのために利用条件に同意し、有効な電子メール アドレスを提供し、その行動に責任を負う個人によって開設されます。 マシン アカウントは、自動化されたタスクを実行するためだけに使用されます。 複数のユーザーがマシン アカウントのアクションを指示できますが、アカウントの所有者はマシンのアクションに対して最終的な責任を負います。 お客様は、無料個人アカウントの他に無料マシン アカウントを 1 つだけ維持できます。
> 1 人の個人または 1 法人が維持できる無料アカウントは 1 つのみです (マシン アカウントを管理することを選択することもできますが、アカウントはマシンを実行するためにのみ使用できます)。

はまだ明記されている
docs.github.com/ja/site-policy

01:39:43 @orumin@mstdn.maud.io
2023-07-20 01:35:30 今谷里奈の投稿 mohemohe@mstdn.plusminus.io
icon

ただ有料orgに属している無料アカウントがセーフと明記されている部分はないように見える

01:36:28 @orumin@mstdn.maud.io
icon

“独Ferrous Systems社のFuSa(機能安全規格)認証済みRustコンパイラであるFerroceneが、安全性とパフォーマンスの要件が厳格な組込みアプリケーション向けとして評価の高い、イーソルのeMCOSをサポートします。” (2022/06/21)
https://www.esol.co.jp/press/press_576.html

Web site image
Rustのプログラミングパワーを最大限活用できる新しいパートナーソリューションを発表 | プレスリリース | eSOL - イーソル株式会社
01:24:34 @orumin@mstdn.maud.io
icon

そうなのか

01:24:30 @orumin@mstdn.maud.io
2023-07-20 01:23:45 えあい:straight_shrimp::straight_shrimp:🦐の投稿 Eai@stellaria.network
icon

いまのgithubは無料アカウントだとしても仕事用とプライベート用とかで分けて持つのは問題ないそうですよ

01:24:08 @orumin@mstdn.maud.io
icon

ferrocene はひとまず自動車 (ISO 26262) や化学プラント、発電所、医療機器、鉄道、家電 (IEC 61508) の機能安全対応だが、将来的には航空機 (DO-178C)、自動車サイバーセキュリティ (ISO 21434)、鉄道 RAMS (IEC 62278) にも対応していくとのこと

01:11:38 @orumin@mstdn.maud.io
icon

@shela まあなさそう

01:08:11 @orumin@mstdn.maud.io
icon

“For its first release, Ferrocene is a ISO 26262 and IEC 61508 qualified version of the existing open-source compiler, rustc. We plan to work on standards like DO-178C, ISO 21434, and IEC 62278 in the future.

Join us for our birthday and announcement party on October 4th, 2023, online.”

Ferrocene - Ferrous Systems
https://ferrous-systems.com/ferrocene/

01:04:51 @orumin@mstdn.maud.io
01:00:10 @orumin@mstdn.maud.io
icon

@shela AOSP も Rust 採用したのをもうリリースしてるし、システムソフトウェアで C/C++ だった部分を Rust に置換していく流れはこれからも加速しそう

00:53:18 @orumin@mstdn.maud.io
icon

@shela ちなみに、Ferrous Systems GmbH は蘭 Tweede Golf と共に AWS の支援を受けて sudo & su を Rust で rewrite するプロジェクトとかもやってます

00:51:04 @orumin@mstdn.maud.io
icon

@shela Linux の Rust 利用はいまのところ普通の rustc 使う前提なのでべつにそこまで影響なさそうだけど、ISO 26262 な開発フローで Linux kernel を使いたいときに Rust で device driver 書く選択肢も増えてきそう、とかはあるかもしれない

00:48:50 @orumin@mstdn.maud.io
icon

@shela

(2022/02/03) AdaCoreとFerrous Systems、Rustツールチェーン「Ferrocene」のさまざまな安全基準の認定に向けて協力|CodeZine(コードジン)
https://codezine.jp/article/detail/15541

Web site image
AdaCoreとFerrous Systems、Rustツールチェーン「Ferrocene」のさまざまな安全基準の認定に向けて協力
00:47:28 @orumin@mstdn.maud.io
icon

@shela ミッションクリティカルな領域での Rust 活用を推進するため 米 AdaCore, Inc. と独 Ferrous Systems GmbH が Rust の規格仕様明文化や 機能安全規格準拠ツールチェーンの Ferrocene 開発に取り組まれていたのだけど、ついに RC リリース、かつ 10/4 に初版リリース決定

00:43:22 @orumin@mstdn.maud.io
icon

ISO 26262、IEC 61508

00:29:28 @orumin@mstdn.maud.io
icon

機能安全規格適合 Rust コンパイラ、RC がリリースされたのと 2023/10/04 に正式リリースらしい。めでてぇ >>

https://twitter.com/FerrousSystems/status/1681604797097472001

00:05:55 @orumin@mstdn.maud.io
icon

日本洗浄機株式会社 - 食器洗浄機
https://www.n-sen.com/sanijet

Web site image
日本洗浄機株式会社 - 食器洗浄機