すごいことになっていた
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.
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.
さっき本屋に行ったので5月に出てた『インストールいらずのLATEX入門――Overleafで手軽に文書』を入手してきた.
http://www.tokyo-tosho.co.jp/books/978-4-489-02311-8/
奥村先生の前書きに「LaTeXを使い始める人にとって一番難しいところは,環境整備,つまり,コンピュータにLaTeXをインストールして使えるようにするまでの作業です」(p. iv)とあるように,周囲でも環境整備につまづく人がいて,hmmとなっていたので,手始めの1冊目に勧めてみるのにいい本ではないかという感じがある.
慣れたら『美文書作成入門』と『LaTeX2e辞典』を揃えれば,大体の実用的なことには対応できそう.
Raspberry Pi 4 Model Bリリース!
https://www.raspi.jp/2019/06/raspberry-pi-4-model-b-release/
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.
4Kp60の方が1080p60等と合うので好みだけど、Kpという並びを嫌う考えもわからなくはない
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.
This account is not set to public on notestock.
厳しいPCが支給されているとは言っても流石にシングルスレッド性能は勝っているとは思いますが……(電力比や体積比だと厳しいかもしれない)
This account is not set to public on notestock.
OpenBSDのシステムコールのいくつかが徐々にBig Kernel Lockが必要ない形になりつつある
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.
This account is not set to public on notestock.
OpenBSD baseのLLVMが8.0にアップデートされてから、in-treeでMIPSバックエンドにパッチが次々と投入されている
OpenBSDのユーザーランドについて、tmuxとOpenBGPdは最近のリリースで毎回あちこちに手が入っていると思っていたけれど、今回はmg(Emacsの一種)の改修も活発に見える
ASCII.jp:判明した第3世代Ryzenの内部構造を大解説 AMD CPUロードマップ (1/4)|ロードマップでわかる!当世プロセッサー事情 https://ascii.jp/elem/000/001/882/1882171/
“損保「ちょっと、法律のことを言われましても、私たちは私たちの業務マニュアルに基づいて業務を行っているものですので・・・」
自分「あなたのところの保険会社は、法律とは無関係に、自分の業務マニュアルに基づいて業務を行っているということですか?これについてもう一度上司に確認してもらってください。」”
https://softether.hatenadiary.org/entry/20101005/p1
ここほんますき
URLをよく見ないで「なんか登さんみたいなことしてるな」と思いながら途中まで読んでいた
本題の後がむしろ大事というか、あの人はこういう方針でやっていっているのだなというのがうかがい知れてよかった
文脈を十分理解していないのですが、大抵のプログラムはPID 1として動作することを想定していないのでおかしくなりがち
Docker and the PID 1 zombie reaping problem https://blog.phusion.nl/2015/01/20/docker-and-the-pid-1-zombie-reaping-problem/
1 terraria 0:00 /usr/bin/screen -A -S terraria /opt/Terraria/TerrariaServer.bin.x86_64 -config serverconfig.txt
8 terraria 0:00 [screen]
40 terraria 0:00 ps auxf
8は何???
今日はWPA*-EnterpriseとIEEE 802.1XとRADIUSとEAPとLDAPの間をさまよっていた
This account is not set to public on notestock.
boostされて見直して思ったけれどこの画像はあまりにも不親切すぎる(screenを起動して、psして、detachして、attachして、もう一度psしたもの。SCREENがdetachしても待ち続ける方だとわかる)
This account is not set to public on notestock.
SCREEN -D -m で起動すればプロセスをフォークせず起動時のセッションが終了したら同時に終了しますねえ!
Screen User’s Manual: Invoking Screen https://www.gnu.org/software/screen/manual/html_node/Invoking-Screen.html
"-D -m
This also starts screen in detached mode, but doesn’t fork a new process. The command exits if the session terminates."
Raspbian担当のSimonによる、Pi4に合わせてRaspbian Busterがリリースされた理由とか変更点の紹介記事。
https://www.raspberrypi.org/blog/buster-the-new-version-of-raspbian/
@akkiesoft OpenGLドライバーのStretchバックポートを頑張るよりもBusterフライングを選んだ。IDLEバンドル停止とThonnyをデフォルト化。MathematicaはBuster対応待ち。
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.
疲労のあまり最近の基準では諸事情でboostしない投稿をboostするなどした
This account is not set to public on notestock.
@hota そぎぎではないがごあんしんとも言い切れない https://pawoo.net/@samokuera/102201040917256153
Raspberry Pi 4、100MbEハブを滅ぼす口実になるかもしれない(?)
君の好きな「Raspberry Piも〇〇に対応する時代ですよ!」で買い替えを促していこう(???)
This account is not set to public on notestock.
10GbEやUSB 4.xを備えたRaspberry Pi 7ですべてを塗り替えていく(?????)
This account is not set to public on notestock.
This account is not set to public on notestock.
inikep/lizard: Lizard (formerly LZ5) is an efficient compressor with very fast decompression. It achieves compression ratio that is comparable to zip/zlib and zstd/brotli (at low and medium compression levels) at decompression speed of 1000 MB/s and faster. https://github.com/inikep/lizard
draft-dolmatov-magma-00 - GOST R 34.12-2015: Block Cipher "Magma" https://tools.ietf.org/html/draft-dolmatov-magma-00
オッ、新しいロシア政府標準暗号アルゴリズムだ
Lizardの作者(Przemysław Skibiński)はLZ4やZstandardの作者(Yann Collet)ではないが、Zstandardの開発者の一人としてWikipediaに掲載されている
draft-ietf-acme-caa-10 - CAA Record Extensions for Account URI and ACME Method Binding https://tools.ietf.org/html/draft-ietf-acme-caa-10
CAAレコードにCAそのものだけでなくアカウント(に対応付けられたURI)を指定することで他のアカウントから発行するのを抑制する、証明書を発行する際の検証方法を指定する(どちらもACME非対応CAでも対応できるように規定が工夫されている)というふたつの制約を追加できるようにしようというI-D
This account is not set to public on notestock.
最高のアンドロイド エミュ - ブルースタックス アンドロイド エミュ https://www.bluestacks.com/ja/index.html
知らなかった
GitHub - Genymobile/scrcpy: Display and control your Android device https://github.com/Genymobile/scrcpy
こっちは知らなかった
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.
This account is not set to public on notestock.
Vysorのapk流し込まれは設定によるんだろうか?
こっちは入ってるのに毎回流し込まれて割ともにょってた(3か月ほど前の話)
This account is not set to public on notestock.
This account is not set to public on notestock.
それ自体がわからないのもあるが、EAPのやり取りをTLSでカプセル化する方法もTLSでカプセル化される中身の方もいくつかあってよくわからなくなってくる
This account is not set to public on notestock.
This account is not set to public on notestock.
Full Disclosure: AMD-SEV: Platform DH key recovery via invalid curve attack (CVE-2019-9836) https://seclists.org/fulldisclosure/2019/Jun/46
[llvm-dev] A libc in LLVM https://lists.llvm.org/pipermail/llvm-dev/2019-June/133269.html
LLVM傘下のlibcプロジェクトを立ち上げるのはどうか、という提案
This account is not set to public on notestock.
GNUプロジェクト傘下のソフトウェアをパッケージリポジトリに受け入れないLinuxディストリビューション、ユーザーの利益なさそうだけど理論上不可能ではない
有名なGPLで頒布されているソフトウェアの内どれがGNUプロジェクト傘下でどれがそうでないか全く把握していない
GNUプロジェクト傘下でもないしGPLと互換性のあるライセンスでもないことで知られているgnuplot
LLVM libc案、anti-glibcがモチベーションというわけではなくて、デカい塊としてのlibcをモジュール化しようぜという感じらしいのだけれど、Googleから来ている提案なのでBionicつらいのかなとかFuchsiaで使うのかなといった勘繰りをしてしまう
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.
This account is not set to public on notestock.
This account is not set to public on notestock.
オブジェクト指向プログラミングの入門書である『オブジェクト指向入門』(Eiffelの設計者が書いた)に契約プログラミングの解説があるので、あの本でなるほどなーと思ってからふつーのオブジェクト指向プログラミング言語をやると「そういえばあれはどこで使えるものなの」になる
あなたとD言語、いますぐ契約プログラミング https://dlang.org/spec/contracts.html
This account is not set to public on notestock.
This account is not set to public on notestock.
VRAMはあまり積まないけどバスはしっかりやるとなるとそんなに安くなるのか微妙な気もする
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.
This account is not set to public on notestock.
言われてみれば、将来マザーボード側が当たり前のようにPCIe 4.0を実装するようになればそういう需要を狙うというのはありえるのかもしれない
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.
This account is not set to public on notestock.
Top500に「さよなら」をした富岳スパコン (1) Top500 1位を目指さない「富岳」 | マイナビニュース https://news.mynavi.jp/article/20190625-848903/
「GitLab 12.0」リリース、1年ぶりのメジャーアップデート。レビュー中のアプリからフィードバックを書き込める「Visual Reviews」、IPアドレス制限など新機能 - Publickey https://www.publickey1.jp/blog/19/gitlab_1201visual_reviewsip.html
WebFPGA: Rapid FPGA Development System by Ryan Jacobs — Kickstarter https://www.kickstarter.com/projects/ryanmjacobs/webfpga-rapid-fpga-development-system
VESA Publishes DisplayPort™ 2.0 Video Standard Enabling Support for Beyond-8K Resolutions, Higher Refresh Rates for 4K/HDR and Virtual Reality Applications - VESA - Interface Standards for The Display Industry https://vesa.org/press/vesa-publishes-displayport-2-0-video-standard-enabling-support-for-beyond-8k-resolutions-higher-refresh-rates-for-4k-hdr-and-virtual-reality-applications/
This account is not set to public on notestock.
登場人物が自分がいる世界をどのように捉えているかという設定は世界観設定?(?)
えぇ…
> ・対象は「IPv4」アドレスです。「IPv6」アドレスには対応しておりません。
> ・IPv6アドレスでの通信は「全て許可」の状態になります。
さくらのVPS 「パケットフィルタ」提供開始のお知らせ – さくらのVPSニュース
https://vps-news.sakura.ad.jp/2019/06/27/vps-pf/
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.
あとぶちょうがなにを思ったかUPS発送で注文したPi4が届いたので眺めていたら気づいたんですけど、HDMI変換は2つ刺さらないのでダイソーで2つ買うのはNGでした。
NetBSD Blog http://blog.netbsd.org/tnf/entry/adapting_triforceafl_for_netbsd_part
"TriforceAFL is a modified version of AFL that supports fuzzing using QEMU's full system emulation. This offers several advantages such as the fact that pieces of the kernel need not be recompiled with AFL or that the kernel does not need to be built with coverage support."
URLのパラメーターとしてしばしば付加されているutm_*はGoogleアナリティクスと関係があるのか
学部生ひとりひとりにCPUとコンパイラを作らせる→単位がSSRになる
グループ→ア
関係ないけれどとりあえずAWSに使うお金を増やして当面の問題をどかすのを金の弾丸と呼ぶのすき
VHDL、留学生から「ミリタリーの言語だから資料が少ないんじゃないか」と言われたことがある(確かに由来は米国防総省だけど、ヨーロッパではVHDL閥があるというし流石に軍事オンリーということはないと思うのだが、それはそれとしてOSS HDL界隈だとVerilog HDLの方がポピュラー)
"The Designer's Guide to VHDL"という鈍器があって、英語ですが言語仕様に関する信頼できる情報源なので所属機関に買ってもらうといいかもしれません(ただし、2大HDL界隈は「規格上こう書けるように見えるのですがそれは罠で、A社の実装にはバグがあって動きません」類の問題にぶつかるとつらい)
CやC++の界隈だとMSVCがアという話を昔はよく聞いたけれど、機能シミュレーションはともかくFPGA上の合成だとGCC相当の存在がいないので厳しい
"The Student's Guide to VHDL"というもう少し攻撃力が低い姉妹本もあって、初学者の自習にはこちらで十分(あるいはこれすら多すぎるん)じゃないかという説もある
This account is not set to public on notestock.
This account is not set to public on notestock.
media type、歴史的な理由があちこちに顔を出すけれど、それでも徐々に見通しが良くなっていくといいなという感じ
今IANAのレジストリだとJavaScriptのcanonicalなメディアタイプはapplication/javascript(RFC 4329)だけど、一方でHTMLだとscript要素のtype属性は伝統的にtext/javascriptなので、IANAのレジストリを変えるためのI-DがIETF dispatch WGに提出されている
RFC 4329 - Scripting Media Types https://tools.ietf.org/html/rfc4329
IANAのメディアタイプレジストリ、運用上この項目は無視した方が良いというのが口伝的に伝わっている(先ほど述べたJavaScriptの件ではない。あれはHTTPでapplication/になっていてHTMLでtext/になっていてもブラウザは気にしない)
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.
This account is not set to public on notestock.
ユビキタスAIコーポレーション、 RISC-V対応の商用リアルタイムOSを6月6日(木)販売開始 ~高速動作・省メモリの商用RTOSで、組込み機器の高性能化、低価格化を実現~|ユビキタスAIコーポレーション https://www.ubiquitous-ai.com/news/2019/002982.html
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.
dsdl.orgがDocument Schema Definition LanguagesのWebサイトではなくなっているのを見つけてしまった
The Right Thing vs. Worse Is Better 2019をしていた
This account is not set to public on notestock.
This account is not set to public on notestock.
この前 Twitter で「歴史好きが考えるマイナーと歴史興味ない人間が考えるマイナーに乖離がありすぎる」「長曽我部元親とかも通じねぇ」って言われてて,プログラミング言語もそのようなものかもしれないとこの toot でふと思った
プログラミング言語、コンパイラが一般入手可能でWebにドキュメントがあるなら少なくともマイナー界のメジャーみたいな印象ある
航空機産業に属していないので、Corebootのサブプロジェクトであるlibgfxinitくらいしか実用的なAdaコードに目を通した経験がない
libgfxinitはIntelのGPUを初期化するコードで、formal verificationできるAdaのサブセットで書かれている
This account is not set to public on notestock.
航空機産業でなくても米国の軍用機で使われたりするので魚雷の制御も Ada だったりしたらしいがしかし
HDL、RTLがつらいのか言語の設計がつらいのかテキストが古いバージョンの言語で書かれているのがつらいのか言語処理系がつらいのかよくわからなくなっている
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.
講義でイマドキ言語をやって就職したらそんな枯れてない言語使えるわけないだろされるのも厳しいし厳しい
This account is not set to public on notestock.
[AAAI16実況報告] MIT/CSAIL はCommon Lispを水中探査ロボットAIに実運用している - Qiita https://qiita.com/guicho271828/items/1b78d8a7335e81e11791
「高額なロボットを運用するのに毎年仕様の変わる言語など使っていられない。だから、ANSI仕様があってかつ十分なメタプログラミングができるCommon Lispを使うと決めている」
枯れた言語情報です
今はCとかC++を書いている人もいると聞く(Fortranで書かれた遺産をどうするかという点があって、単にそのままC++で書き直したら遅くなったので計測してちゃんとやっていく話とかある)
FortranコードをCから呼ぶ機能自体は規格にもあって使えるのだけれども、いつも何も変えずに呼べば済むとは限らないのでやり続けるか移行するかという話が出てくる
NumPyがBLASを呼んでいるので、知らない内にFortranコードが自分のPCで動いていた回は実際ありえる
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.
This account is not set to public on notestock.
This account is not set to public on notestock.
Programmable USB Hub | Crowd Supply https://www.crowdsupply.com/capable-robot-components/programmable-usb-hub
USBデバイス自作界隈の人ならデバッグに活用できそう
This account is not set to public on notestock.
This account is not set to public on notestock.