さっき計測関連の話してたけど,そういえば https://gist.github.com/hellerbarde/2843375 は計算機に纏わるいろんなレイテンシのおおよその数値が書いてあって面白いし便利なので計算機やるひとはみんなみて
さっき計測関連の話してたけど,そういえば https://gist.github.com/hellerbarde/2843375 は計算機に纏わるいろんなレイテンシのおおよその数値が書いてあって面白いし便利なので計算機やるひとはみんなみて
Windows Terminalのwcwidth相当のコード、ambiguousだと表示に使っているフォントから幅を計算するらしいことがコメントに書かれていて、本当かと疑いながらコメントを追ったらGDIを使って本当にそれらしき処理をやっていて(src/renderer/gdi/math.cppのGdiEngine::IsGlyphWideByFont)すごい
オタクなら BIGMAN よりヨドバシに集めとけばええやろぐらいに思っているがこれも罠……だったのが最近ヨド橋出来て罠消えたからいいね
This account is not set to public on notestock.
港とかから行くのにまず梅田まで阪急は絶対使わなさそうだし阪神か JR か,あるいは大阪南港とかからだと市営地下鉄だろうなという気がしてて,蟹くんが阪急梅田までたどり着けるのか楽しみにしてます
飯田橋で何か食べて帰ろうと思ってたのに気がついたら電車内に居たから自宅最寄り駅前で食べて帰ろうと思ってたのに気がついたら自宅の目の前まで来ていた。
@SHC7saki 2016 年に阿倍野キューズモールに移転とのこと https://www.google.co.jp/amp/www.toei-anim.co.jp/ptr/precure/store/amp/2016121901.php
@SHC7saki プリキュアプリティストアは阪急三番街ではなく阿倍野のほうに引っ越してない?あと梅田は阪急梅田と阪神梅田と梅田(大阪市営地下鉄)があって prefix なしの梅田だと普通は地下鉄のほうになるんやな。まあこの三つどれでもヨドバシカメラ梅田店からすぐなんだからやっぱり阪急梅田で待合せる必要ないね……。
This account is not set to public on notestock.
@SHC7saki なんでそんな難易度高い場所にしたの(それぞれがそれぞれ別の梅田駅に居たりしませんか?ちなみに関西人は梅田だとビッグマン前を使いますがたぶん関西人以外に通じない
This account is not set to public on notestock.
This account is not set to public on notestock.
Unixbench は C 言語の time(3) でやってました。まあ平均で数字出すしイテレーション一回ごとの精度は要らんやろw てことかな。
実際システムコールや VM enter/exit の呼出それそのものにかかる時間の microbench は普通ループを異常に回して平均取る。とはいえそういうのは 1 度の呼出はかなり短くてマイクロ秒やナノ秒なので time の精度じゃ雑すぎて OS の高精度タイマー使うか,いっそ TSC 使うかになっちゃいますね。
This account is not set to public on notestock.
This account is not set to public on notestock.
自分で大ヒット作を書けばレイトマジョリティオタクになることなく聖地巡礼できるんだよな(???)
time って time の引数に渡したコマンドを fork+exec するはずで,fork ってクソ遅いので計測してるつもりで実は計測できてたのは fork にかかる時間だけだった,となりがちだし C++ とかならせめて fork+exec する部分自分で書いて std::chrono とかで計測して,ついでに fork+exec をする部分だけも計測してそこにかかってる時間は offset として省くみたいなデータの前処理しないと,多分意味のあるデータは取れない
時刻計測,prelimitary とかだった,そうじゃなくてなんとなく全体に掛かる時間を取りたいのなら手軽に time でもいいけど,パフォーマンス向上しましたとかって主張するのなら TSC とかちゃんと取得して厳密な計測しようねみたいになるし,どの程度の計測をしてるかには依存します。
This account is not set to public on notestock.
工学分野は知識というよりそれをもとに新たになにかを創造するスキルまでが専門家の価値だからむしろ問題意識を共有するためにも知識自体はどんどん非専門家にも共有されててほしい,と考えそうだけど,知識それそのものが専門家の核となる分野(法曹とかそうなのかな)はどうなんだろう。まあ法曹だって知識丸暗記だけじゃ法曹にはなれないのだろうけども。
結局,専門家は非専門家に専門的な知識を持っていて欲しいのか欲しくないのかという問題(よく「そんなことも知らないのか」というお叱りが発生する一方,本当に皆が玄人レベルで通暁しているとそもそも専門的な知識・技術で生計が立てられなくなるので)
手間はともかく,自動化されてて誰でも追試できるように環境整備されてるほうが後々再試しやすいしそういうのが GitHub とかで公開されていると大変研究として好ましい態度ですねみたいにはなるね。卒業研究だとそこまで行かなくても大学院進学するなら卒業研究を brush up して国際会議に投稿するのよくあるから尚更
This account is not set to public on notestock.
文字通り「悩みを忘れさせる」パターンだったらまだしも、裏の目的があるけれど起きていることだけ見ると「悩みを相談していると不思議となんとかなる気がしてくる」みたいなパターンだと後味の悪いバッドエンドありそうで割とアトラス
This account is not set to public on notestock.
計算機や Web に纏わる技術を持つ人間が持たざる人間に苦言を呈しやすい,と観測してしまうのは,単純に SNS の場がそれらによって構成されているからな気がした。
例えば町のバイク屋で無知な人の悪い取扱によって酷く傷んだ内燃機関を持つバイクを持ち込んだらあんまり良い顔されなさそう(でもバイク屋は商売だからむりやりでも丁寧に対応するのかな。どうだろ)
力を使って訪れた人を「笑顔に」するセラピストがラスボスのペルソナ普通にナンバリングタイトルとして出せそう
駅の柱広告や Twitter 広告で最近これをよくみるのだけどペルソナ,というのがシステム名としてパースできなくてなんならアトラスの『ペルソナ』シリーズに出るペルソナを想起してだめ
This account is not set to public on notestock.
AKG N60NC wireless のバッテリーが 10 時間弱で切れるようになったのでかなりバッテリーヘタってきた(イヤーパッドもヤバめになってきてるけど)。まだ一年ちょいなんだよな,これバッテリー交換してもらえるかなあ。AKG N700NC 買う機運でもあるんだけど,デザインが N60NC ほど好みではない。
tmux の prefix C-c と prefix C-v にそれぞれ xsel --clipboard --output | tmux save-buffer - のかみたいなの(うろ覚え)設定してて tmux でコピーしたやつをクリップボードに流し込んだりその逆をやったりできるようにしてるんだけど,当然 Windows と macOS では xsel 以外を使う必要がある。
で,tmux の if-shell で分岐させてるんだけど tmux の default-shell 設定を fish にしたらたぶんうまく分岐できてなくていみわからん
これ読んでました >> fish-shell/path.cpp at b9ef8797f1d01c2e086f9220ee2a16628674a5f5 · fish-shell/fish-shell
https://github.com/fish-shell/fish-shell/blob/b9ef8797f1d01c2e086f9220ee2a16628674a5f5/src/path.cpp
> When fish exports PATH, it is colon-delimited.
> Try `env | grep` PATH to see.
> `echo $PATH` looks at the value of the variable in fish (where it's a list), not the value of the variable in the environment.
https://github.com/fish-shell/fish-shell/issues/1744#issuecomment-58122756
むしろ fish は fish の array として PATH を持つけど fish から何かを exec するときに PATH をコロン区切りにして渡してるのでは。env も外部コマンドよな。
echo $PATH だとあくまで fish 側が持ってる表現で fish 風に表示するってことなんかな
bash や zsh はコロン区切り,fish は空白区切り(というか空白区切りで文字列を変数に set すると array になるという syntax の持ち主
えーあかはなさんがなんかノート晒してるし私も帰宅したらノート写真にとったりしてみようかな。消えてる可能性はあります。
https://togetter.com/li/1360475 全員数学者の会合で、ホテルの方に集合写真をお願いしたら「1 1は~」と聞かれた→「どうすれば数学者に2と言わせられるのか?」いろいろな策略が集まる - Togetter
@akahana えっすごい。井戸型ポテンシャルとかわからないとなんで半導体が導体ではないのにたまに電子が飛び出して通電することがあるのかさっぱりじゃん
@akahana 私も半導体工学の講義で量子力学の基礎から講義がはじまった覚えはないのだけど,一応エネルギーバンドの話とか水素原子の波動方程式解くやつはやった記憶ある
オートマトンとかそういう文脈の「言語」は形式言語理論的な話で、「コンパイラを作る」というところからするとその一部分の話だけど、大事な部分でもある
たとえば卑近なところだと Sony とかも PS4 のために LLVM/Clang に commit しているけれども,理論依りというよりは実装依りの話よねえ
@meganesoft https://mstdn.maud.io/@dj_gotiusa/102179283877599390 に対する返答であって私の話ではないよ
たとえば Ruby の笹田さんは Ruby VM 実装したネタで博論書いてそのあとも大学教員なったり Heroku 行ったりとかされてるけど,これは Ruby 開発者というところが強そうだからあんまり一般に参考にならんな
@prime 私の観測している LTL では線形の連立方程式(主に一次だと思われる)など高校数学で出てくる範囲のモノを指して連立方程式としたので,非線形方程式のことをここでは含意しないものとします。
This account is not set to public on notestock.
@prime 私の観測している LTL では線形の連立方程式(主に一次だと思われる)など高校数学で出てくる範囲のモノを指して連立方程式としたので,非線形方程式のことをここでは含意しないものとします。
それはそれとして,さきほど私が連立方程式は線形代数じゃんと post したのには,そもそも行列式が連立方程式を解くために生まれて,そのあと行列式から行列が発生し,そこからその方程式の線形性などの一般的な性質が研究されて線形代数になったので,連立方程式それそのものが線形代数の一番の大本なんすよね。
This account is not set to public on notestock.
“ニルス・オーレ・ヒルマー・トーバルズ(スウェーデン語: Nils Ole Hilmer Torvalds[1]、1945年8月7日 - )は、フィンランドの政治家・欧州議会議員である。欧州自由民主同盟に参加しているスウェーデン人民党の党員である[2]。”
ニルス・トーバルズ - Wikipedia - https://ja.wikipedia.org/wiki/%E3%83%8B%E3%83%AB%E3%82%B9%E3%83%BB%E3%83%88%E3%83%BC%E3%83%90%E3%83%AB%E3%82%BA
Fun fact: The father of Linus Torvalds, Nils Torvalds is a Finnish politician who was elected as mep today : linux - https://www.reddit.com/r/linux/comments/btbx8z/fun_fact_the_father_of_linus_torvalds_nils/
drivers/android みてみても Binder のコードしか置いてないので,Android を理解するには goldfish の driver と AOSP を読むのが正しそうだなと思ったけど AOSP 読むの面倒だな
そもそも Arm の UEFI じゃないやつは DeviceTree で ACPI がやることもやってるの忘れてた
ACPI じゃなくて Linux PowerManagement のレイヤと Android の PowerManagement Framework がミソなんだなと学んだ
This account is not set to public on notestock.
This account is not set to public on notestock.
Android の Linux kernel にある percial wake lock が適切に設定されていれば kernel のコードベースそのものに設定が要るわけではないのでは。リビルドは必要そう。
This account is not set to public on notestock.
This account is not set to public on notestock.
This account is not set to public on notestock.
こういう時いつも Android の実装ちゃんと読みたいなって思うけど Android の実装あんまり読みたくない
どちらかというとカスタムカーネル(ElementalXとか)の機能でしょうか
普通にありますし、Nexus5とかP8LiteとかはカスタムROMでアフターマーケット的に対応していたりもします
素の ACPI の cycle にそういうのないよなと思ったので検索したけどやっぱり partical に wake できる state とか ACPI に追加して解決しているのか Android power management - https://www.slideshare.net/jerrinsg/android-power-management
This account is not set to public on notestock.
Android のスリープがどのレイヤで何をスリープしているかは実装見ないとわからんのでなんとも言えないけど,driver の実装がそうなってるとかそういう話じゃないのかなぁ。
タッチパネルの入力のためのデヴァイスファイルやデヴァイスへのアクセスの capability をそのプロセスが持っているから普段は使えているのだろうし,スリープしたからその capability が剥奪されるようなものではないと思うので SELinux は関係ないのでは。
This account is not set to public on notestock.
This account is not set to public on notestock.
https://mstdn.maud.io/@omasanori/102178959659805250 これ,自動翻訳なくても素で読める(発音はわからない),というの漢字の便利さだな
This account is not set to public on notestock.
This account is not set to public on notestock.
科学无国界、後ろに但科学家有祖国とか但高科技有国界とか付けた用法を見てなるほどねになった
微博って公式アカウントをフォローしたりすると必ず DM でフォローありがとう!ってメッセージがくるんだけど,この騒動の最中でさんざん IEEE への疑惑の weibo のリンクを post したあとにフォローしても「ありがとう」って言われるのめっちゃじわじわくる(@IEEE中国 をフォローした)
Weibo で TimeLine を引っ張って更新して,新しい投稿があったとき,Weibo 国際版のアプリでは 4 New Weibos とか出てくるから,微博にとってたぶん 1 post が 1 weibo
『Forbes』が weibo した写真に載ってたのは IEEE 会員がリークしたメールだけだけど,その後に知乎で量子位がそれに対する研究者たちの反応などをまとめて,さらにそれを中国企業家雑誌が weibo したという流れっぽい。
IEEE对华为发出禁令!全球最大学术组织邮件曝光,开始清理编辑审稿人 - 知乎 - https://zhuanlan.zhihu.com/p/67378796
王がハンバーガーを食べるのかというは大きな疑問だったが,近年アメリカ帝国の元首がハンバーガーを食すところをよくメディアに露出するため,このような疑問は不要になった[要出典]
UNetbootin みたいなの信用したことなくて,後輩が「なぜか Ubuntu インストールできないんですけど……」って言いはじめたときだいたい「じゃあ dd で焼いてみて?」って言うと解決する
This account is not set to public on notestock.
ブログかいた >> 計算機科学(一部分野)の論文の探しかた・投稿先の探しかた - https://orumin.blogspot.com/2019/05/blog-post.html
This account is not set to public on notestock.
@yomi 少なくとも私の手元だと,高速スタートアップオフにした覚えはないけどそれやって BSoD になったことはないなあという感じ
あなたが好きなSun Microsystemsが遺したOpen*は?
@neso こういうとき Wikipedia の日本語版わりと止まったりしてること多いから英語版の Wikipedia みるか,そもそも ArchWiki みると良いよ!
@neso Compiz Fusion はそもそもその目的を終えて Compiz のコア開発に合流してるからなあ……。 https://github.com/compiz-reloaded/compiz-plugins-main Compiz Fusion が管理してた plugin もこっちに。
This account is not set to public on notestock.
Sun Microsystemsが遺したOSSのひとつ、Javaで書かれた3Dデスクトップ環境Project Looking Glassのことを久々に思い出した
@neso Wikipedia にも 2016 年って書いてあって 2009 年ではなくない https://ja.wikipedia.org/wiki/Compiz#cite_note-1
C で書かれてたのが v0.8.x で,現行の開発版(C++ rewriting)が v0.9.x,2009 年で止まってるというのは v0.8.x のほうですね(それはそう)
なんだ最近もまだ開発されてるじゃん >> https://github.com/compiz-reloaded/compiz/
compiz fusion は C で書かれてたのが 6 年ぐらい前にいっきに C++ で書き直されてた時期があってあのときはコード開発活発だった
Archのopenmotifパッケージの依存関係欄を見てCMUCLのグラフィカルデバッガがMotifに依存してるのn年ぶりに思い出した
This account is not set to public on notestock.
@neso 実は Cube じゃなくて wall にしたりすると自由度高い WM として Xfce の xfwm を置き換えられるというそこそこ実用的な理由あったりするのよな
しばらく Xfce + compiz で生活してたけど compiz は cube じゃなくて wall にしてたので,今の GNOME とかだと普通にやってる仮想デスクトップをたくさん並べられる!というだけだったのよな
bitmap な描画しか出来ない WM しかなかったころの DE に WM として差し込んで遊ぶ,という PoC ぐらいの意味が強い気がする > compiz
bitmap の Blt ではなく DirectX や OpenGL の texture としてウィンドウを描画して composit するタイプの compositor 型デスクトップの流行り,というのが 2000 年代前半にあって,走りは Mac OS X の Aqua だと思うし Windows Vista の dwm でもあるのだけれども,OSS 界隈もそれに乗ったのが compiz で,いまは KDE や GNOME の WM が compositor になってるので compiz の役割はもう終わちゃったんだよな
This account is not set to public on notestock.
「ちぃ覚えた」は CLAMP の『ちょびっツ』だが「覚えましたし……」は Twitter のキュー子というマルコフ連鎖 bot
あと KDE の bounce ball も完全に謎で,デスクトップ上に物理シミュレーションを計算しながら描画される謎のボールが出現する(自由落下や反射が計算されるのだが,はっきりいってこのボールが常に最前面にあるのは邪魔)
KDE4 の開発チームはバカだったのか KDE4 の壁紙をフラクタルに設定するとなぜか常にその場で計算されたフラクタルが描画されてた(なので拡大や縮小ができる謎の壁紙)
Windows 8 の正式版がリリースされはじめたのは 2012/08/01 だけど,同じ月に Metro の名称は訴訟のため取り止めていて,Modern UI という呼び名が非公式にそのころから使われていたけど,確定したのは Windows 8 についての MSDN のブログで同年の 10 月に Modern UI と書かれたときっぽい
@omasanori おじいちゃん,8 が release される前に Modern UI に名前変わったでしょ()
@omasanori おじいちゃん,8 が release される前に Modern UI に名前変わったでしょ()
@omasanori Microsoft が Windows8 の時出したガイドラインもかなりキチっとしてて流石長年 UI 研究してるだけあるなって感じした(そのガイドラインに沿うことが必須なストアアプリ,まるで増えないが……。)
OEM の壁紙で言えば ThinkPad のはそこそこセンス良かったし現行の VAIO のもそんなダサくないのでやっぱり変えず使ってるのであった。
ハードウェアとソフトウェアが一体化した製品として出荷している,という観点で言えばハイブリッドシャットダウンは完全に正しいしわりとイチャンモン感ある
This account is not set to public on notestock.
私の AtCoder の履歴みたら,レートがなかったころに数回ちょろっとやってすぐ放置しちゃったっぽくて,コンテストの履歴が 4 月に久々にログインした 1 回しかないしレートも計測不可能になっててワロタ
わかりやすいブログみつけた,便利じゃん >> http://memoonline.blog.fc2.com/blog-entry-55.html
Windows 10の標準壁紙とメイキングシーンが公開 | ギズモード・ジャパン https://www.gizmodo.jp/2015/06/windows_10_17.html
1903より前のWin10の標準壁紙、こういうやつ
メイキング映像結構面白かった
This account is not set to public on notestock.
私が言ってたデイジーか何かの花が大写しになったやつはこれ >> https://cdn.vox-cdn.com/thumbor/ajxFZl2H948189pJKj3zI7uF2gU=/20x0:620x400/1200x800/filters:focal(20x0:620x400)/cdn.vox-cdn.com/assets/1256817/win8wallpaper.jpg
我々、バージョンを指定せず単にC言語と言った場合は最新のISO Cを指すと解釈する市民の会としてもな
Win8とWin8.1のデフォルト壁紙が思い出せない…
すぐに変えちゃったのかなぁ
This account is not set to public on notestock.
Windows 10 Mobile も消えたことだし Windows 10 の Light theme に合わせてるっぽそう(Windows 10 Mobile は全体的に Dark theme のイメージあった)
This account is not set to public on notestock.
@ahiru かといって Apple Pay は Apple Pay で nanaco とか Kyash の QUICPay 使えないしなーとなって結局 ApplePay も GooglePay も使うヘンな人になってしまった
Introducing Oak, a Free and Open Certificate Transparency Log - Let's Encrypt - Free SSL/TLS Certificates https://letsencrypt.org/2019/05/15/introducing-oak-ct-log.html
早川書房、百合はじめます。ハヤカワ文庫の百合SFフェア|Hayakawa Books & Magazines(β) - https://www.hayakawabooks.com/n/n490258e32519
海外の出先で契約した SIM とか国内の契約の切れた SIM とかもずっと残しているため家に大量に SIM があってどれが alive かよくわかってない顔
RT @kouendango@twitter.com: 本日5月29日(水)~6月4日(火)までの1週間、近鉄百貨店奈良店地下1階にて打吹公園だんごを販売いたします!打吹公園だんごひなビタver.に加え、6/1からは、新発売のぷよぷよver.のおだんごもこちらでお買い求めいただけますよ♪皆様のご来店をお待ちしております!#だんご #ひなビタ #ぷよぷよ
https://twitter.com/kouendango/status/1133583538400387072
「BBC プロムス JAPAN2019」鑑賞ツアーのご案内|一般社団法人学士会 - https://www.gakushikai.or.jp/service/event/201910_1.html
「BBC Proms JAPAN」公式ウェブサイト|英国発、世界最大級のクラシック音楽祭、日本で開催 https://www.bbcproms.jp/
文科省職員 覚醒剤や大麻 所持の疑いで逮捕 | NHKニュース https://www3.nhk.or.jp/news/html/20190528/k10011932731000.html
HEVCを30%上回る映像圧縮「VVC」'20年標準化。次世代地上放送に向けNHK研究 - AV Watch https://av.watch.impress.co.jp/docs/news/1187024.html
ブログ更新 >> コマンドラインでメール/GPG で暗号化と復号 https://orumin.blogspot.com/2019/05/gpg.html