Linux板ニュース速報27

日々世界中で更新される情報を書き込むスレ
単発ニューススレが立てられた場合もここに誘導よろしく

前スレ
Linux板ニュース速報26
https://mao.5ch.net/test/read.cgi/linux/1679970889/

WaydroidがDebianで提供開始

Waydroid is now available in Debian - Lemmy.ca
https://lemmy.ca/post/65206244

雑談スレに行ったほうがよいレスが多くなった

https://www.itmedia.co.jp/news/spv/2605/22/news071.html
Flipper Devices、オープンLinuxデバイス「Flipper One」発表

これもまた宣伝広告なんだよね ハードウェアというかガワがああである必然性とか皆無だよ
オレンジの液晶とかで懐かしさを喚起しているだけだよね

>>961
ニュースに関連する話題ならこのスレでするのは問題無いし
ヘッドラインと短い概要とリンクだけのスレが欲しいならそういうスレを立てれば良い
と思うんだけど

ニュースが欲しいなら苦しんで5chを見るよりRSSを使えばいいじゃない

あるいはLemmyを使う

>>965
正解！！
Lemmyいいのか。いいのがなくてRssGuardを使ってるんだけど試してみます！
ありがとう

>>966
LemmyはRSSリーダーではなくてRedditに似たソーシャルメディアです
Linuxのコミュニティにニュースが共有されているのでよく確認しています

Linux - programming.dev
https://programming.dev/c/linux

Linux専用機とかなんか専用のハードウェア的なものがありそうで怖い
WindowsPCをフォーマットしてLinux機にする今のやり方のほうが安全性が高そうで好み

Windows&Mac以外専用とほぼ同義だろうか
BSD不可とかだったら何それどうやってんのという興味が

>>946
HPようやくかよ
買ってないから関係ないけど

GCCrs実用化はよ

Rust Could Eliminate 80% of Linux Kernel CVEs!
https://itsfoss.com/news/linux-kernel-rust-cve-reduction/

OSの作り方として、絶対にセキュリティが保証されるような枠組みを理論的に構築して、
それに忠実にOSを作り上げる工学的手法が確立されるべきである。
達人プログラマの天才的な職人芸と直感と経験に頼って作られ、
正しさの証明が伴わない今のようなプログラミングの在り方、
システムの構築のしかたは野蛮であり、安全さが保証されず、
いつでもいつまでもセキュリティのホールが後で指摘され、
悪用され続けることを許してしまう。アプリを書く為の
プログラム言語やライブラリのインタフェースなども、
正しさ、セキュリティ、を確実にするために如何にある
べきかを理論的に詰めて、それに忠実に実装されるように
なるべきである。そのシステムの安全性は形式的に検証
できるようなものであって欲しい。
　またシステムやアプリなどは、各あるべしというアサー
ションを実行時に伴いながら動作することが強く望ましい。
如何にアプリのコードが正しいものだとしても、それを
実行するハードが誤動作したり、仕様に沿わない動作を
する可能性がままあるからだ。想定と違う動作をしている
ことを検知したらそのレポートを直ちに上げて、プログラ
ムの動作を切り替えて実行を打ち切るかあるいは異常に
対する回避コードに実行が移るようにする。
悪意のあるプログラムの混入に対する防御として、
独立なシステム上で、独立なプログラムの供給元から
提供された複数（3つ以上）のプログラムの動作を、
データの出入りのポイントで比較して、齟齬があれば
それをレポートして先に進むかどうかを判断するよう
な仕組みが普通にとられるべきである。OSもそのような
造りにすることが考えられる。

考えてないで作れよアホ

>>971
こんなの間違いって分かってから、回答はこれって言う奴だからあんまり...

CPUやハードのアーキテクトから作り直さないとがっちりはできないでしょうよ

高級言語で設計(コーディング)して コンパイルしたのを走らせているわけで
コンパイラまで自前や動作確認しろと？
あるいは命令セットでプロセッサが実際にどう動くかは設計者しか知りようがないし

>>972
djbさんかな？

rustでドライバだけじゃなくて
Cで書いてるとこを置換するプロジェクトがあっても良いのにね?
まぁそんな評価されない非クリエティブな作業は誰もやりたくないか

rustコンパイラよりCコンパイラのほうが対応アーキテクチャ広いし新しいものへの対応も速いんだから
ハードに縛られるドライバ以外の部分にまでrustが進出してしまうと将来に禍根を残すぞ

じゃ先にgccのrustフロントエンドを完成させるか?
gccの全対応CPUをllvmに対応させるとか?
前者の方が現実的かな

C自体が邪悪コードあるでしょう。
ポインタが複雑に入り組んだのとか、グレイゾーンの表記とか。
もともとCって安全によりより速くが目的だったよね。
普通にAIとかで変換とかもきついだろうね。

Cは高級アセンブラだからな
さらに linux カーネルとか本当に速度が必要なところやCPUいじる所は C ですらなくてアセンブラで生表記して性能を稼いでる
rust だけじゃどうにもならんよな、もちろん unsafe すればできることもあるけど、それだと C と安全性は変わらんし
結局複数言語を使い分けるのが正解

rustは多くの人間が保守しやすい言語設計ではないと思う

まぁ
そもそもプログラムって、万人が寄ってたかって触るようなものだっけ？

プログラムってのは不具合のある前提で考えなければならない
もちろんより安全な言語を使うのも重要だけど

なるべく分かりやすく作らなければならないし
誤解がなるべく少ないシンプルで分かりやすい言語を使うのも重要なのに
Rustのような習得性や永続性など難のある選択肢を増やすのは賢いと思えない

まだgoやpython、JAVAとか持ち出すならわかるけど、Cがわかりやすいか？

メモリのアドレス？ 直接指せるようにしよう！
変数の型？ 自由に型変換できて当然！！
配列の限界チェックはプログラマなー

ちなみに64ビットCPUが扱うアドレス空間は、最高で20桁近い大数字だそうだ。
ポインターすげーなーwww

Cは予約語や記述表現の選択肢が少なくて習得性は良いと思う
Rustにしなくても、C++をもっと簡略化して危険なところはチェックが入るようにするだけで良いと思うんだけど

習得性＝保守性

>>986
なんでポインターサイズをわざわざ10進数に変換してんだ？ というのは置いておいて

ポインターのサイズはCPUアーキごとに違うし linux はポインタの未使用ビットにフラグを入れて、アドレス管理に使って容量節約しながら速度稼いでたりする
rust だと真似できない使い方は多い（普通のCプログラマではやらないこといっぱいしてる

>>984
俺が初めてコンピューター触った時はそうだったよ？
万人が寄ってたかって触る物だった
まぁnethackの時代なんですけどね

FORTRANでOSを書くという話はなかったのかな。
昔、バローズの大型計算機はシステムがALGOL60だかで書かれていたそうだ。
UNIXの原型となったMITのMULTICSはPL/Iだかで大部分のシステムが記述されていたそうだ。
いくつかのLISPマシン（LISP専用機）はOSがLISPで書かれていたそうだ。
Cは最初から機械語で書いたものに近いレベルの機械語が軽いコンパイラで出せるので、
UNIXの記述に使われた。Cのソースに直接アセンブラのソースを混ぜて書けたりした。
最大の設計ミスは、ヌルで終端された任意長文字列を採用したこと。
あとはポインターとアドレスを同じ扱いにしたことだろう。言語によるオーバーヘッド
が少ないのが最大の利点。

昔はゲームもスピード稼ぐのに、VRAM転送とかしてたけども、今ってもうDriver+OpenGLやらValucan（DirextX）でも速度出るよね。
容量の節約もしなくていいし。
ここでよく出てくるRUST嫌いがいるけど、現役でやってるプログラマー達が色々考えてRUST採用って言ってるんだよね。
彼らに勝てるスキルなり実績あればいいんだろうけど、そこんとこはどうなの？

Rust反対の現役でやってるプログラマー達も居るだろう

だからさぁ、その実績だよ。
リーナス達他、カーネルメンテナーより上なの？ 下なの？
googleやmsの開発者より上？
ただ反対じゃ世間は納得しないよな。

内容ではなく権威にすがるのは投げ出したってことか

いやいや、権威じゃないだろう。
名前も実績もあるプロが決めたことに文句言えるお前はどれだけ偉い人なの？って聞いてるだけなんだ。
言ってみてよ。自信あるんでしょ？

>>991
馬鹿じゃないだろうか

雇われは需要のあるものを使う
他はプライベート趣味で

>>990
ユーザー比率で言やぁ万人かもしれんけどｗ

>>990
コンピューターは触るよね。
特に企業はコンピューターとか使って、人件費削ってほしかったし。＞高度情報化社会みたいな。
でも、プログラミングはなかなかじゃない？ 当時でも。

このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 158日 6時間 39分 28秒