New method for quantum cryptography developed | NHK WORLD-JAPAN News https://www3.nhk.or.jp/nhkworld/en/news/20210113_28/

世界標準の自動運転OSへ　無償公開でGAFAに挑む: 日本経済新聞 https://www.nikkei.com/article/DGXZQOGG265O20W0A121C2000000

宅配辨当

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

ちゃんと学部卒認定呉れるところもあるけれどね

そういう国内の大学でも早期卒業制度があって、学士取得前に大学院に所属できるんだけど、その代わり卒論などはスキップして単に学士貰えないところわりとある（それで大学院出損ねたら学部中退同等

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

実は修士の学位自体に学士は必須ではない（が、国内の大学院の募集要項に学士かそれ同等を求める記述が多いだけ

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

ポケモンマスターを目指すサトシ、指導教員である Dr. Ōkido の指導の元フィールドワークに取り組んでおり、いずれマサラタウンに戻り学位請求論文を仕上げるということ？

これすき

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

少なくともこれはその場で合成せずにいくつかのパターンを再生しているだけのようだったので

かなり自然な抑揚、というのはわりと以前から実現されていたようにも思えるので、この合成のためにどのくらい録音素材が必要でどのくらい学習が必要でどれくらい人の編集が必要かみたいたコストが気になる

なんかフィルタ通したように聞こえるやつ、これはビットレートというよりは音声の合成のために元の素材から加工するときに発生する違和感だと思っていて、VOCALOID だろうが UTAU だろうがだいたい合成音声に入るやつだと思ってる。ただ母音が並んでるとことかだとそれを感じにくい気がするので、場合によりそう

ただ音素と音素の接続でガタっとした感じになるパターンもあった

ただいくつかは音量然り録音の質の問題がある

ビットレートによるものかどうかはパターンによっては微妙な気がする

あと、単純に録音のものと合成音声とで音量が揃ってないときがある

つねにそのパターンがあるわけじゃなくていくつかの見分けポイントがあるんだけど、このブレスのパターンが語尾に入ってたら合成音声だな？となるやつ

最初やったときは語尾のブレスに注意して聞いたら正解した

タブ開きなおしたら出てきた

【超難問AIテスト】
あなたの成績は5/5 問正解です！。全問正解！。もしかしてあなたもAI！？
https://www.game.yellston.com/?id=j4kwrf5asd #超難問AIテスト

ブロック解除してても share button なかった

@cmplstofB なるほど

これ share button どこ？

会場で聴講してたのでよく覚えてる

SOSP '17 の併設ワークショップでした >> Theseus | Proceedings of the 9th Workshop on Programming Languages and Operating Systems https://dl.acm.org/doi/10.1145/3144555.3144560

2017 年に論文が出た OS ですね。

ヾ(´(゜)ω(゜)｀)ノ

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

そんなもの元からないよ〜

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

やは〜♡

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

“単3アルカリ乾電池6本（約3～4時間連続使用可）”

ゲームギア | セガハード大百科 | セガ https://sega.jp/history/hard/gamegear/index.html

ゲームギア | セガハード大百科 | セガ https://sega.jp/history/hard/gamegear/index.html

モノクロ液晶を採用した初代ゲームボーイ！カラー液晶を載せ周辺機器接続でアナログ TV の受像もできた夢のゲームギア！（巨大）（重い）（爆速で無くなる単三電池）

ゲームギア、ATARI Lynx を忘れてはならない。

よく考えたら当時の携帯ゲームコンソールの大きさや重量はゲームボーイ以外かなりあるのでメガドライブもさして問題にならなさそう。

Nomad 載ってないじゃん！！！ >> [セガハード大百科] メガドライブ 関連・周辺機器 https://sega.jp/history/hard/megadrive/devices.html

機内 32X 持ち込みはタダモノではなさすぎるけど挿さるスペースあるのか？

あれ、逆で Nomad から液晶スポイルしたのがメガジェットだっけ？どっちが先か忘れた

Nomad、秋葉原の家電のケンちゃんで展示があったり IPS 液晶化改造やってたりしてる

メガジェットを下敷きに北米市場ではメガドライブを携帯化した Nomad が発売されてるので、まあ普通に遊べたんでは

メガジェットとかも気になるけ

スーパー 32X 欲しいんだけど実用的にはひとつも欲しくないしメガドライブタワーを一度作ったらもう要らないまである

@akahana まずスーパー 32X 単品でセガサターン相当なので SEGA 算だと 32×2＝64-bit ある上に、メガ CD とメガドライブ本体なんだよな……。

MC68000 と書こうとして素で X68000（SHARP の計算機）て書いてしまった

@akahana メガドライブは MC68000（外部バス 16-bit だけど内部 32-bit）とマスターシステム互換用 Z80（8-bit）積んでて、そこに MC68000 が載ったメガ CD と SH-2（32-bit、セガサターンと同じやつ）を 2 基載せたスーパー 32X を増設できるよ（合計を計算してみよう！）

1991/10/01 発表、MIPS64。

PC-98 で DOS ゲームなのにヴォーカル付き主題歌の OP あるゲーム出たりアニメーションつき OP あるゲーム出たりしてるのには普通に感動したよ。

かなしいね

R4000 - Wikipedia https://ja.wikipedia.org/wiki/R4000

このまえ SGI の話題したとき言及したけれど、SGI の MIPS がマイクロプロセッサーではかなり早期に 64-bit 化したので。（N64 は SGI が設計）。もちろんメインフレームやミニコンでは先に達成してるだろうけれど。

スーパーファミコンのカセットが 8Mbit ROM でも一万円近かったので同じ値段でもフロッピーディスク n 枚組なのは容量有利だけど、そのぶん PC-88 も PC-98 も初期投資がね……段違いに高いよね……

べつに Razer だってマスク製造の専門ってわけではないだろうし、ブランド名だけじゃ何も期待できないのでは。

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

技術が低いとかの前に回路集積度が倍々ゲームで増えている以上は昔を想うときは 1/(M^n) を考えてください

“FFシリーズ初のスーパーファミコン用ソフトとして発売され、8Mbitロムカセットという当時としては大容量を用いた作品だった”

FINAL FANTASY IV/FF11用語辞典 http://wiki.ffo.jp/html/1758.html

そもそも、その前の世代のスーパーファミコンではゲームカセットのチップ容量が 8Mbit に到達したのを一部ゲームハウスがゲームパッケージに印刷してウリにしてた。

大容量！

スマートマスクの類、去年の春先に Kickstarter でめっちゃ見た気がする

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

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

若い団子はもちもちするけどピチピチはしない（老いると乾燥して罅割れ、最後は鏡割りされる

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

というか意識してないだけで、秋葉原のジャンク屋のメモリモジュールがいっぱい入ってる籠とかよく SIMM とかもいっしょに入ってるよね

あかはなさんの世代だと Nintendo 64 のメモリー拡張パックとか見たことあるでしょ！！！

は？

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

おいあかはなさん若者のフリはやめろ

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

そたえぬおじいちゃん

現代の PC からすると DIMM 接続メモリモジュールの表面実装されているメモリチップ単体だと用を為さないけれど、マイクロコンピューターの時代には DIP パッケージになってる IC（ゲジゲジ虫みたいな昔からの IC のやつです）の CPU とメモリとコントローラーと……を買ってきて、ブレッドボードの上でそれら組み合わせて「システム」を構成した、という時代もあったというだけのこと。

メモリモジュール、というのは、DIMM だの SIMM だの、それ以前の DIP パッケージのただの IC チップだったときの時代だの接続やパッケージの形態に縛られずに、モジュール化されているメモリ一般を指すのに適当な語というだけ。

System-on-Chip は逆で、CPU 以外に I/O や memory など計算機システムを構築するのに必要なモジュールが全て 1 chip になってるから SoC です。

ある

CPUソケット(INTEL):Onboardのマザーボード 人気売れ筋ランキング - 価格.com https://kakaku.com/pc/motherboard/itemlist.aspx?pdf_Spec102=15

bitwarden は self-hosting すると主に Microsoft SQL Server に 2GB くらいメモリ持ってかれるのが注意必要

NUC に限らず Deskmini 然りそういうの増えてきた気はする

NUC 普通に S.O.DIMM 買って挿すやつだった記憶。

NUC、完全に Intel 純正の安心感というワードと共起する記憶が刻まれてしまった体になっている

私は bitwarden の self-hosting が 3 年目くらいになるけどべつに公式のサーヴァーでも構わないと思う。あとは個々人の好みとポリシーで。

なんらかの 3rd-party のパーティションツールを使うなりしてね。

まえに toot したけれど Windows で NTFS は Master File Table のミラーをファイルシステムの中程に設置するようになっているのでムリですね。

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

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

Rust 実装の動かせる OS という話だけで言えばわりと既にたくさんある

RAM がディスクリートになってるときは（現代の多くの PC で採用されるアーキテクチャに限定すれば）DIMM コネクタ接続、それはそう

そういうときでも SoC; System-on-Chip として 1 chip にパッケージされているとしてもロジックボードやシステムボードに接続されているのとはまた違って 1 chip IC の中で接続がされている気はする

えっ

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

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

@puwenmai これはわたくしの誤記で原文では permanent suspension でした。 cf. https://blog.twitter.com/en_us/topics/company/2020/suspension.html

そして OS 研究者だとしても発話するときの文脈や相手をみて狭義の OS と広義の OS を豫断なく使い分けることがあります。

ただし世間的には商業的事由もあり OS と言うときサブシステムのようなコアのコンポーネントだけではなくディスプレイサーヴァーにウィンドウマネージャーといった GUI の look & feel に関わる環境部分や基本の付属アプリケーションまで含めてインストール後の out-of-box な環境を指して広義の OS と言うことがある。

OS 研究者はしばしば狭義の OS として kernel 単体を指す。あるいは micro kernel などで FS や Net など最低限のユーザーランドのサブシステムまで一括りに狭義の OS と言って殊更に kernel だけ言及するときに kernel と言うこともある。

場合と定義に依る

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

lk が Zircon になって、流石に色々充実はしていると思うけれど、べつに Be を範にとったりはしてないでしょう

私が試したときはまだ lk が始まったばかりのころだったからな

(2016/08/17) Googleの新OS，Fuchsiaに使われてるらしいカーネル「lk」をx86_64なPCをターゲットにビルドしてみる． https://orumin.blogspot.com/2016/08/googleosfuchsialkx8664pc.html

lk のコードとかはめっちゃシンプルでサクっと Hello, World! 的なことはできたけれど、だから何だという程度の実験的なものだった認識

lk や Zircon と BeOS/Haiku OS はぜんぜん別物ですね。

まあ追放するにしてもしないにしても透明性が担保されてるなら国家機関がやることでなければ納得できるし、Mozilla の立場の取り方はとりたてて批判されることではないとは思う。

一応大統領だから、というマークついてたから追放されないのにも一定の説明があったけれど、まだ政権の委譲が正式に終わる前に persistent suspend されちゃったからねぇ。

それは正論ではあるけれど、実際規約通り左右ちゃんとヤバいやつはみんな追放されているかというとそうではなくて、結局私企業のプラットフォームは国家にある程度は阿る仕草をするんだねぇ……という話が前提にあるのでは。とはいえ、国家が企業に判断させるに任せること自体が問題と言えなくもないけれど。

Ωκεανός の探求かもしれない

seL4 is verified on RISC-V! - RISC-V International https://riscv.org/blog/2020/06/sel4-is-verified-on-risc-v/

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

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

たぶん寛容のパラドクスに繋がる話。

透明性の話のほうではなくて、それによっていかがわしい人間を追放することは尤もだ、という論について、追放する相手を反転させたら検閲を良しとする国家や団体にも利する論理では？という指摘をする人がいるだけということでは。

https://mstdn.maud.io/@orumin/105546524681667438

そういえばこのまえ Fiasco.OC の話してたけど Google が fuchsia に使ってるのは Zircon で Fiasco はまたべつの μkernel 実装だった。

メモを見返してて思い出したのですがこういうのもあります。seL4 のロバストなエコシステムを Rust で構築すること、EROS と Coyotos を継いで高信頼の永続的ケイパビリティ OS を作成すること、このふたつをゴールに掲げる Robigalia というやつ。
https://robigalia.org/

これは文系のニッチ分野を貶したり落しめているわけではなく単に分野の違いというだけです。為念。

というのも、seL4 の最初の論文では concurrency な部分は non-deterministic なので証明がナイーヴにはできない、ということでシングルスレッドモデルに限定するとか、OS そのものへの制約を強くかけて達成していた。

seL4 についても研究は継続されており、形式証明が付けられる範囲が広くなっている

この Hyperkernel 以外に知られた研究としては IronClad や CertiKOS など。

OS の verification に限らないけれど、文系のニッチな研究とかと違って理学・工学が重なってるような分野だし、よっぽど意味のないものでない限り follower なり前段階となる研究なりがあるものでして

最近の研究では “Hyperkernel: Push-Button Verification of an OS Kernel” が SOSP '17 で報告されているし、これは前作として 2016 年にファイルシステムに検証付けるネタもやってたはず。

でも QEMU-virtfs って SMB や NFS で共有したときほど遅いか……？

9pfs はまあまあ遅い、それはまあそう

まあできるでしょうね

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

普通に libvirt 使って backend 抽象化してるだけっぽいし、virtio の driver がある kernel 使ってるなら virtio-9p ぐらいなら普通に使えそう。virtio-fs はだいぶ新しいからまだ未対応の可能性あるけれど。

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

Burn My Bread はわらっちゃうな

『ペルソナ3』の屈指人気曲の曲名が“タイプミス”で台無し。歌い手が思わず噴き出す年始の一幕 | AUTOMATON https://automaton-media.com/articles/newsjp/20210113-148831/

@akahana なぜ……？

かといって全部アラビア数字表記にして一桁目だけ切り捨て／切り上げたらいいかっわけでもないけれど

有効桁数云々より、字面に端数っぽい数字が出てるほうが見た目微妙になりやすいとかでは

virtio-9p とか virtio-fs とかで普通にファイルシステム共有できそうなものだし謎だな。Unraid 製品って VM 建てるのに直接 QEMU/kvm とかのコマンドライン編集したりできないんですかね。

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

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

これ同じホストの上にある VM に NFS で mount させるように見える（なんでそんなことを……？

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

たぶんそれで合ってるけど電源入ってなくてたぶん壊れてた（100 円入れたらマスターに動かないんだよごめんねって言われて 100 円失なった

クリームソーダのみたーい

@uwabami

純喫茶といったらメロンソーダ

人神比、キリスト教国だと常に対 1 だからすごいことなりそう

A. おるみんさんは神ではない

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

？

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

インターネットに神は居ますか？

いちご食べたいな

綴り間違えた

ヘレンさんは世界レベルだけど幸子は宇宙レベルだな！！！

Mask は幸子 P だった……？

Elon Mask 氏が突如、輿水幸子画像を tweet するのウケる

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

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

NVIDIA、新GPU「GeForce RTX 3060」発表！予価329ドルで2月下旬発売予定 - GAME Watch https://game.watch.impress.co.jp/docs/news/1299730.html