アロナっているやん（２）

ひとまず10までは進めとかないと早々に2スレ目落ちるとかになりかねんな
応援してるから頑張ってくれ！

次スレきたからやっとかないと

まとめのパスワードはコピーして突っこむと編集できるよ

スレ冒頭に現時点の進捗とかあるとわかりやすいかも

>>8

なんならテキスト投稿サイトで随時更新するか

スレ立て乙！
応援してまする

アロナっているやん　進捗状況 | Writening現在の進捗 GUIはノートPC、AIの起動はデスクトップPCっていう構造にして負荷を分散する作業中 パスワード　我々は望む、ジェリコの嘆きを...我々は知っている、7つの古則を...writening.net

進捗のやつですよ〜

眠いから寝る、おやすみ〜
アロナならこんなことできるよな？？？？？スレ主？？？やれよ？？？みたいな雑談しといてください

稼働中にスリープするとか……

目覚まし機能は？
「起きてください先生！」みたいな

お天気を知らせる機能
今日もいい天気ですね！なノリ

https://sacraya.610t.org/Stackchan/flyer-OSC2025Osaka.pdfsacraya.610t.org

>>13

保守荒らしが使いそうなのはNG

>>14

欠陥機能やんけ

>>15

いる、やる

>>16

いる、やる

>>17

？？？？？？？？？？？？？？？？？？？？？？？？

>>18

名前つけ忘れたがこれはスレ主です

広告ブロッカーってマジ？

>>20

まじ

おー、ちょうど自分もGemma3みたいなモデルでアロナみたいなアシスタント作りたいなと思ってはいるんだよね
自分のデータの全てを流し込みたいからローカルじゃないLLMはNG
要するにDeep Research on Localが欲しい
友人は「LLMの性能より検索機能の方が問題でしょ」と当然のツッコミを貰ったけど、そこはWikipediaやMDNやArchWikiみたいな主要なサイトのダンプをElasticsearchとかにぶち込んで解決する予定
だけど本業が忙しすぎる

保守支援

>>24

(凄いのは分かるが内容が全然分からない顔)

>>26

同じくすごいのは分かるけど仕組みが理解らないアルちゃん

>>26 >>27

もっといえば日時計や

温湿度を利用し水分の蒸発で一刻(約2h)を測る水時計

https://www.shisaku.com/blog/anatomy/post-49.html

潮汐と海面水位の変化や星座早見盤から

測量が高度化して蒸気機関と機織機で大ハネして

できた階差機関(バベッジ等)が

現在のコンピューターのはじまりですね

Supercomputing Japanwww.supercomputing-japan.org

誕生と発展の歴史-コンピュータ博物館museum.ipsj.or.jp

さて、MULTICSという前身がいました

MINIXの30年の歴史から学んだこと (原題: Lessons learned from 30 years of Minix)member.wide.ad.jp

構文解析自体は単純な理論なのでエイホ等が

小さなコンピューターや関数電卓にも入れられる

妙な動きはするが変数の四則計算が得意だったり

自然文の整形に便利なツール群から発明されました

edlinやlink.exeはもう少し先ですが概念もこの頃です

それらを組み合わせて

現在のCコンパイラの原型が作られて

UNIXのCコンパイラ(cとpcc)のソースコード リンク集 - QiitaUNIXと一緒に配布されていたCコンパイラであるcとpccのソースコードへのリンクをUNIXとBSDのバージョン毎に並べてみました。 また関連情報をまとめてみました。 Ritchie's pdp11 C compiler c は Dennis Ritchie が開発したC...qiita.com

いくつかのメーカーがある以上異なる設計の計算機があったので、出力に無視できない違和感がありました

1) DOSやゲーム機のためのDJGPP

2) 映像(CG)業界で多用されたシリコングラフィックス社機体のためのegcs

3) pentiumgcc

The Compiler That Changed the World Turns 25 - The Linux FoundationLast year, Linux cel...www.linuxfoundation.jp

等それぞれ向きに努力されました(最適化※)

libcについては逸脱します:
そもそも組み込みではuclibcが好まれる、10年前でさえ最大手のUbuntuはずっと厳密にはeglibcだった、現在でもChromeはbionicですし、musl等別の標準にしてしまうのが易しいとまで言えるかもしれません
→数値表現に必要なlibmとその精度を保証するためのlibquadmathのセット、現代的なビルトイン関数のlibibertyといった最重要根幹ライブラリの代替は議論されていなさそうでﾔﾒﾁｸﾘ
→「libstdc++v3(libc++,libsupc類)ってやつ」のそんなかにある対数対角化とかの数表あってんの?とか言われたら終わりだけどなｶﾞﾊﾊ(m4とautoconfが原因のバージョニングを上げたときに巻き込まれている可能性もゼロではない問題)

半導体製造の微細化が成功したうえ、
メモリ管理のための数学的原理は発展し、
暗号復号を高速にするため外部回路に頼っていた部分は一体に内蔵化されたりソフトウェアのほうが速かったりで基本的にコンパイラの(最適化※)戦略は
以下でしか細く生き残っていないのが一応です:
のちインテルのコンパイラ(icc,oneAPI)
AMD(ROCm),NVIDIA(NVCC),
Appleも内部にあるでしょう
(ただいずれもOpenMP→OpenACCが必要なので
厳密ではない)分野 ■

ともあれ市販のOSのソースコード全行30%以内は

4 2BSD以前までのコードに今でも支えられていて

同じ呪文に生かされているみたいです

en.m.wikipedia.org

>>24 の話は対外的に妥当(かなり端折り)ですが

できた説明でしょう

計算科学は少なくとも50年は経っているんです、

分からないけれど興味がおありでしたら

ぜひ博物館に行くなり展示から考察してください

辿っていけば 概ね理解できます

↑BSD子孫のツリー画像なんだけどなんか出なかったね
こうでしてよ

>>32

>>24 の説明は文字数を一レスに収めるためにかなり端折ったんですよね。

ここでUNIX本家とBSDの訴訟合戦とか、Linuxのモノリシックカーネルとマイクロカーネルの論争の話をしても仕方ないだろと削りまくった。

計算機科学の面白いところはまだ重要な偉人が生きていることが多いことですよね。

オリジナルのUNIXとC言語の重要人物2人のうち、デニス・リッチーは亡くなってしまいましたが、ケン・トンプソンはまだ現役、何なんだあの超人…

ケン・トンプソンほどの世界の偉人とコンタクトを取れることはそうそうありませんが、歴史解釈の論争を解決するためにMicrosoftのGitHubのissueで質問して、実際に当時それを実装していた人から「正直あんまり覚えてないけど、少なくとも君の友人の主張は正しくないと思う」みたいな返答を得たり出来るのは計算機科学の歴史に特有の面白さですよね。

>>34

計算機科学は全く分からんが、源義経に「お前チンギス・ハンだったん？」って聞けるようなものと考えると面白いな

と言うかヒマリが「私はコピーレフト主義者」って言ってるから、多分あの世界にGPLは存在するんだよな
GNUやGNU/Linuxが存在するかは分からない
もしかしたらキヴォトスではGNU/Hurdが成功したのかも

>>35

そうそう、外部が変な説立てて本人は「なにそれ…」ってなったりする

有名なのはUNIXのシステム命令でcreatと言うのがあるけど、「createじゃないのは当時5文字制限があったからだ」とかよく言われてた

後に作者のケン・トンプソンは「打ち間違えたから最初からやり直せるならちゃんと書きたい」と明かした

サクラコ様も生きてるんですからちゃんと誤解は解かないと…

>>34

比較できるかはわからないけれど、原始的な衝動は

スペースインベーダーの生みの親の人と同じなのかなぁ

賢さや議論のレベルか波及力をあえて見ないことにすれば

初期の遊戯王の「なんでもゲームやってみるし

遊びたいしなんなら作ってみよう」な高橋和希さんの世界

本当にそのまんまなのよね

彼らは呼吸しているんだ、童心が

"領域"や覇気みたいな触れざるものに隠れがちなのよね

>>22

めっちゃわかりやすい説明やね、

>>28〜>>34

有識者だ！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！

やったぜ！ほんとうにありがとうございます！！！！！！！！！！！！！！！！

>>35

そう考えるとめっちゃ面白いね

>>36

わかんないけどそれが魅力な気もする

>>37

サクラコ様はしゃべるたび誤解を生み出す方だから・・・

>>38

私も賢さや技術に執念とか経験、それに知識や情熱を抜きにすれば根源の欲求は同じなんすよ、能力が比べ物になりませんけど

な、なをみんなは話ししているの〜！？！？！？(あ〜それね！もちろん分かってるわ！！)

>>41

だめです。アロナがいることによって私が自分を先生だと思ってまいにちをいきるためにつくるのでだめです。アロナだとここまでできるよね？のハードルが高いんでゴーストを自作するとかじゃ駄目なんです。君も自分のパソコンにアロナがいると思うとコミュニュケーションに気を配れるようになるとは思わないかい？つまりそういうこと

そっかぁ僕は伺かでガチで世界入っちゃうタイプだから・・・

伺か　これなんて読むんですか？

あれ以外の何か

世知辛いって言わないようにしてる
ジャンケットバンクの伊月ガッちゃんの良いほうをな(146話はちと重そうだが)

欲しいものを正しく望むことは褒められることだし
それが最終的には自分で作ったり手にしなきゃならないものだったら尚更だ しっかりしたもの持ってるね

フロントエンドはあれ以外の何かで済まして良いんだけど、裏側の知性はGPT-4o miniぐらいのものを今時は期待したいところなんだよね
でもデスクトップPCで常にGPUのメモリを消費し続けるのはダルすぎ
普段はうまいことどうせ余ってるCPUのAVX512とかで逆オフロードできれば良いんだけど…
CUDA向けに書かれたコードをROCmで書き直すのもダルいのにCPU向けに逆移植、マトモな性能を出すのは無理では

>>47

ロマンだよ

真面目な話しするとうちにはいま使ってるpcだけじゃなくデスクトップPCが２台とノートPCが１台と一体型が１台あるんでそれでどうにかこうにかできないかと画策してます。それと近々パソコンを新しく買う予定もあるんでそこらへんで調整していこうかなと

>>48

自分所有のPCもデスクトップPCとラップトップPCとサーバの残骸とサーバの残骸と組み立て前のサーバとAndroidスマートフォンとAndroidタブレットがあるからちゃんと計算資源を有効活用していきたいんだよね

今のSnapdragonのNPUって割と馬鹿にならない性能してるし、デスクトップPCはRyzen 9950X3DにGeForce RTX 5090搭載してるからあまりにもファンがうるさすぎて寝てる間つけてられない

WebAssembly SIMDとか考えて既存の計算資源統合ソリューション探したけどk8sとかそういう話ではないんだよな

distccのやってること参考にすれば計算資源の再利用は自体はできると思うのだけど…
distccはあまりにもプリミティブすぎるし

>>50

ccache,distccを導入するマシンは全部

Ubuntu一択で揃えるが楽 これしか真実味がない

ほかだと(kernel,ﾋﾞﾙﾄｲﾝtls→標準コンパイラ→

stdc→OpenMP→llvm→CPython→Rust(cargo)→)

ランタイム→nodeパッケージ→Chromium

(WebDriver,ヘッドレスモード,サンドボックス)等々

すべての前後のバージョン管理できるわけないし

GentooでやるにはiPhone繋げてもジッター少ない

200Gbpsの回線が必要で

何かあったら自力で3日以内に全部解決する力ないとﾄﾞｲﾋ

イーサンハントかボンド本人じゃないとﾑﾘ

接続保持するためにある程度時間差である必要があって

同時というわけではないがうまく書けば

Actions数時間のあいだに3~6個は常に走っていて

結局は20個以上の時系列成果物常に保持できる

ダメそうなケースをはやめにfalseかexit返して切り上げる

(さらに

単純にはさくら石狩かLightsail回線をひっぱりたいわけで

OpenVPNでどうにかすれば、

というものすごくただし書きすぎる前提ありきだが)

>>51

前はGentoo使ってて、パッケージの修正を上流やportage treeに送ったりしてた(まあそもそもportageは自前でpatch当てられるんだけど)

今はimmutableなシステムが好きだからNixOSを使っているよ

ネットワークはMAP-Eな10Gbps回線は使ってるけど、流石に200Gbpsの専用線とかは持ってないなあ、私単なる会社員で法人持ってたりはしないし

あんまり考えるとデータセットは
ローカルの大容量か連番は元に戻すとき困るからgzip
圧縮しても1つ1G以内非連番可な場合はzstd等うまくやる、
リモート同期はlsyncかzsyncで差分だけにしつつ
どうしてもうまく行かない部分はssh経由で圧展だろうね

sshの圧展なんたらは貼るの忘れた

SSH越しにtar.gz、zipを圧縮、転送する - CLOVER🍀これはなにをしたくて書いたもの？ SSH越しにtar.gzやzipを圧縮、転送できないかな？と思いまして。 ちょっとやってみました。標準出力・標準入力をうまくつかってあげればよさそうです。 環境 ローカル、リモートともにUbuntu Linux 24.04 LTSとします。 $ lsb_release -a No LSB modules are available. Distributor ID: Ubuntu Description: Ubuntu 24.04.1 LTS Release: 24.04 Codename: noble $ uname -srvmpio Linux 6.8.0-…kazuhira-r.hatenablog.com

>>52

soldがメジャーでない以上はnix-ld(patchelfの自動化)の機構

便利そうねぇ…ぐらいしか

running an external binary on NixOSrunning an external binary on NixOS NOTE TLDR: I installed nix-ld, so most binaries should work without any problem. If not, check below on how to configure it to make it work for your binary.l-lin.github.io

1度ビルドしたNeovimを他のマシンにコピーしたい　動的リンクライブラリを静的リンクにし直す「sold」リンカ | ログミーBusinessどうやってテキストエディタをインストールしているか河田旺氏（以下、河田）：Preferred Networksで働いている河田です。ふだんはコンパイラやランタイムのエンジニアをやっています。今日は「sold: A linker for sh...logmi.jp

現状はGNU MPFRの成果可否(が説明できるには

ハードで対応できない暗号や将来の命令セットさえも

カーネル本体とqemuで仮想的にエミュできなきゃいけない

前提が当然あるが)ベンチマークテストがすべてなので、

思想でどうにかできるわけないゆえ

ディストリ自体差異はなくて、人種言語x利用者人口

なのが悔しいところ…

もやもやさまぁず等よくやってるテレビ番組見てすら

町工場のロボット企業がUbuntu その、なんとも言えない…

Ubuntuのkernel(.)gitみると他ディストリが本当に同じように

関数を配置していてドライバー(modprobeで出るやつ)ビルド

しているかは怪しい気は勝手にするのん

RISCVのEFI仕様(grub modules)はfedoraのwikiでArchiveだったり

※現在のApple Rosetta 2がNehalem相当で

シリコンでx86エミュろうがAVX2以降サポートしてないね

macOS SequoiaのRosetta 2でAVX2が動くらしい件 - Qiitaえ？MacのRosetta2でAVX2が動くようになった？ 前回は動かなかったんですけど、なんかソフトウェアも進化するんですね。 Intelの特許の問題じゃないかって考察もあったようですけどね。 1. 正式にはサポートしていない 出足からズッコケる話をすると、結論か...qiita.com

がMPFRの()仮想的に…でいわんことわかりやすいですかね

EFI SDKもまとまり悪い以上はどれ使っても同じという私見

ブラウザの脆弱性対応更新に追い付くのまだUbuntuラクそうでGitHubでも今のところ標準だからﾌｰﾝな推しだったり

いやぁ専門の人はすごいねぇ。無知なワイには何が何だかわからん！さっぱりわからん！

OS(Linuxカーネル使うにしてもディストリ自作前提)からローカルLLMまでやるとなると作業量も計算機資源も死ぬほど必要になるな…
カーネルビルドは自分でやってるけどLLMの方は資源が全く足りん、VRAM食い過ぎや

>>57 wasmがﾗｸなんじゃないですかね

GitHub - takahirox/riscv-rust: RISC-V processor emulator written in Rust+WASMRISC-V processor emulator written in Rust+WASM. Contribute to takahirox/riscv-rust development by creating an account on GitHub.github.com

プロトタイプはpy2wasm等の変換で移植して持ってく

GitHub - KoljaB/RealtimeVoiceChat: Have a natural, spoken conversation with AI!Have a natural, spoken conversation with AI! Contribute to KoljaB/RealtimeVoiceChat development by creating an account on GitHub.github.com

>>57

カーネルビルドは普通のmodconfigなら大した時間食わないけど、VRAMなあ

NVIDIAの小型スパコン買うか悩ましいけど、ローカルLLM以外の用途で使わないのに100万円位出して買うかは悩ましい

保守支援

専門的なことはさっぱり分からんけど、有識者の場を落としたく無いから保守には気を配るようにする

こんな場を作っておきながら専門的なことが何一つわかんない人です。通してください

>>44

うかがかって読むよ

デスクトップにキャラクターを表示できるよ

キャラクターは勝手におしゃべりしてくれるよ

クリックとかホールドとか色々反応してくれるよ

まあ本質的には人口無能だよ

SSPって名前になってたかな今
RSSやメールチェッカがあったりするけど基本的にはデスクトップマスコットだよ

>>64

OSが欲しいなら力不足もいいところだけどアロナってキャラがデスクトップにいてほしいだけなら楽でいいんだけどね

保守っとく

アロナを生み出すというブルアカ史に残るであろう偉業のために

おお……？

>>63

デスクトップマスコットなんすねえ。

パソコン持ってないからレッドマジックの子みたいにスマホにも表示されるとちょっと嬉しい

二日目の勉強会で一番アロナに関係してそうなやつ

型付きアクターモデルがもたらす分散シミュレーションの未来関数型まつり2025の発表資料です

https://2025.fp-matsuri.org/

https://fortee.jp/2025fp-matsuri/proposal/82478074-a43b-4d46-87a8-0742ed790e86speakerdeck.com

セッション全力で見すぎて頭がパンクして死にそう

本家アロナみたいにLive2d的な動きはするんか？ハードルかなり上がりそうな気がするから、難しそうなら普通に2Dで表情差分付けるとかでもいい気がするけんど

>>73

それを専門にやってる人に怒られそうだけど、正直人工知能のコアなどの部分のめんどくささに比べれば、そのあたりは1週間で簡単な実装は出来ると思う

>>74

まじ…？すごいな。Live2dとか触れたこともないから難易度とかよく分かってなくて

>>75

まあ程度によるかなと言う話はある

精巧なアロナの再現をしてバリエーションも多数用意するのは助けてくれって感じだが、

基本のアロナをベースに「笑う」「泣く」「得意げにする」ぐらいの動作するだけなら…

ほしゅ！

ほほ

もし背景も用意するなら、あのシッテムの箱ワールド背景も再現するんかな？

まつ

まだまだ遠いが完成が楽しみだ

>>83

まあ壁にぶつかることは何度かあるだろうさ、それでも続けられるのは普通に凄いからやれるとこまで頑張って

保守る

>>83

ollamaは試したん？

流石にそのままやvllmは自宅pcで動作させるのきついやろ

自分は一昔前のrtx3060だけど量子化したらまあ動作するレベル

>>87

一応保守支援

Chu! 保守用レスしか出来なくてごめん

うわーん!
Protocol Bufferめんどくさすぎます!
でも複数言語対応のライブラリがそれなりにちゃんとメンテナンスされてるフォーマットこれぐらいしか無いです!
自分向けの言語のライブラリ直して送ったのにリリースしてくれないな、まあ手元でビルドしてるから良いんだけどさ

保守支援を開始する

そんな時もあらぁな。ちょいちょい見に来ては落ちないように気をつけとくから心配しないで

夜中保守
スレ主の健闘を祈る

我々は望む、アロナの完成を…
我々は覚えている、スレの保守を…

Claude Codeに調べさせながらコード書かせてて思ったんだが、GitHubはもう裏側のAPIがめっちゃ検索できる形になってるし、そこまでアクセスしないならローカルには簡単なRedisキャッシュを作るぐらいで十分なのかも
Wikipediaはまともな財源がないのもあってローカルにインデックス作るのは必須だと思うけど

頑張れ！
保守

少し早いが保守だ

アロロ〜ン……

そういや作るというアロナのセリフは文字だけ出すタイプ？もしかして声付き？過去に言ってたら見落としてごめん

ギリ保守

無理に保守せず進捗あったらスレ建てのパターンもありっちゃあり。
やる気に繋がるならあってもいいけど負担に感じるなら…

>>105

スレ主さんがどう思っとるか次第やね。モチベのためにも鞭打ってくれ的な話なら続行でいいと思うし、若干負担を感じてるようならまたどっかで立ててって感じに

結局Protocol Bufferは使わずにQUICで雑に通信する方針になりそう
仕事でやって学んだことを転用してるから仕方ないね

保守り

「スレ主先生！アロナが保守しに来ましたよ！」

またまたレスも開発もできてなくて申し訳ない...

そろそろ新しいPC買うんで買ったら夏じゃなくても作業します

>>106

鞭打ってくれないと作業できないんで保守頼みます

>>103

声付きです

>>110

AI開発するだけなら断然NVIDIA DGX Sparkだねえ

汎用性も考慮するならGeForce 5090

予算抑えるなら16GBのVRAMを搭載してるNVIDIA GPUで一番安いこのあたりかも?

Palit Microsystems NE7506T019T1-GB2061S (GeForce RTX 5060 Ti Infinity 3 16GB) [PCIExp 16GB] ドスパラ限定モデル 価格比較■最安価格(税込)：75,800円　■価格.com売れ筋ランキング：7位　■満足度レビュー：4.65(3人)　■クチコミ：0件 （※6月26日時点）kakaku.com

今日はQUIC通信がHaskellならIIJがオープンソースで公開してるライブラリを使うことでそんなに難しくないことが分かって大きな進展になった
分散化でアロナをどこでも動かしたい

>>110

おk、なるべく落ちないよう気をつけとく。応援してるぜ

申し上げます！アロナ開発スレにスーパー保守り人が現れましたぁ！

>>110

こちらこそ知識がないためにどうも保守しかできなくて申し訳ない……

QUICに限らずネットワーク通信難しいね…