すごいことになっていた
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、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/
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
4Kp60の方が1080p60等と合うので好みだけど、Kpという並びを嫌う考えもわからなくはない
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
厳しいPCが支給されているとは言っても流石にシングルスレッド性能は勝っているとは思いますが……(電力比や体積比だと厳しいかもしれない)
このアカウントは、notestockで公開設定になっていません。
OpenBSDのシステムコールのいくつかが徐々にBig Kernel Lockが必要ない形になりつつある
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、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の間をさまよっていた
このアカウントは、notestockで公開設定になっていません。
boostされて見直して思ったけれどこの画像はあまりにも不親切すぎる(screenを起動して、psして、detachして、attachして、もう一度psしたもの。SCREENがdetachしても待ち続ける方だとわかる)
このアカウントは、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対応待ち。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
疲労のあまり最近の基準では諸事情でboostしない投稿をboostするなどした
このアカウントは、notestockで公開設定になっていません。
@hota そぎぎではないがごあんしんとも言い切れない https://pawoo.net/@samokuera/102201040917256153
Raspberry Pi 4、100MbEハブを滅ぼす口実になるかもしれない(?)
君の好きな「Raspberry Piも〇〇に対応する時代ですよ!」で買い替えを促していこう(???)
このアカウントは、notestockで公開設定になっていません。
10GbEやUSB 4.xを備えたRaspberry Pi 7ですべてを塗り替えていく(?????)
このアカウントは、notestockで公開設定になっていません。
このアカウントは、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
このアカウントは、notestockで公開設定になっていません。
最高のアンドロイド エミュ - ブルースタックス アンドロイド エミュ https://www.bluestacks.com/ja/index.html
知らなかった
GitHub - Genymobile/scrcpy: Display and control your Android device https://github.com/Genymobile/scrcpy
こっちは知らなかった
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
Vysorのapk流し込まれは設定によるんだろうか?
こっちは入ってるのに毎回流し込まれて割ともにょってた(3か月ほど前の話)
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
それ自体がわからないのもあるが、EAPのやり取りをTLSでカプセル化する方法もTLSでカプセル化される中身の方もいくつかあってよくわからなくなってくる
このアカウントは、notestockで公開設定になっていません。
このアカウントは、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プロジェクトを立ち上げるのはどうか、という提案
このアカウントは、notestockで公開設定になっていません。
GNUプロジェクト傘下のソフトウェアをパッケージリポジトリに受け入れないLinuxディストリビューション、ユーザーの利益なさそうだけど理論上不可能ではない
有名なGPLで頒布されているソフトウェアの内どれがGNUプロジェクト傘下でどれがそうでないか全く把握していない
GNUプロジェクト傘下でもないしGPLと互換性のあるライセンスでもないことで知られているgnuplot
LLVM libc案、anti-glibcがモチベーションというわけではなくて、デカい塊としてのlibcをモジュール化しようぜという感じらしいのだけれど、Googleから来ている提案なのでBionicつらいのかなとかFuchsiaで使うのかなといった勘繰りをしてしまう
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
オブジェクト指向プログラミングの入門書である『オブジェクト指向入門』(Eiffelの設計者が書いた)に契約プログラミングの解説があるので、あの本でなるほどなーと思ってからふつーのオブジェクト指向プログラミング言語をやると「そういえばあれはどこで使えるものなの」になる
あなたとD言語、いますぐ契約プログラミング https://dlang.org/spec/contracts.html
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
VRAMはあまり積まないけどバスはしっかりやるとなるとそんなに安くなるのか微妙な気もする
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
言われてみれば、将来マザーボード側が当たり前のようにPCIe 4.0を実装するようになればそういう需要を狙うというのはありえるのかもしれない
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、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/
このアカウントは、notestockで公開設定になっていません。
登場人物が自分がいる世界をどのように捉えているかという設定は世界観設定?(?)
えぇ…
> ・対象は「IPv4」アドレスです。「IPv6」アドレスには対応しておりません。
> ・IPv6アドレスでの通信は「全て許可」の状態になります。
さくらのVPS 「パケットフィルタ」提供開始のお知らせ – さくらのVPSニュース
https://vps-news.sakura.ad.jp/2019/06/27/vps-pf/
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、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"というもう少し攻撃力が低い姉妹本もあって、初学者の自習にはこちらで十分(あるいはこれすら多すぎるん)じゃないかという説もある
このアカウントは、notestockで公開設定になっていません。
このアカウントは、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/になっていてもブラウザは気にしない)
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
ユビキタスAIコーポレーション、 RISC-V対応の商用リアルタイムOSを6月6日(木)販売開始 ~高速動作・省メモリの商用RTOSで、組込み機器の高性能化、低価格化を実現~|ユビキタスAIコーポレーション https://www.ubiquitous-ai.com/news/2019/002982.html
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
dsdl.orgがDocument Schema Definition LanguagesのWebサイトではなくなっているのを見つけてしまった
The Right Thing vs. Worse Is Better 2019をしていた
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
この前 Twitter で「歴史好きが考えるマイナーと歴史興味ない人間が考えるマイナーに乖離がありすぎる」「長曽我部元親とかも通じねぇ」って言われてて,プログラミング言語もそのようなものかもしれないとこの toot でふと思った
プログラミング言語、コンパイラが一般入手可能でWebにドキュメントがあるなら少なくともマイナー界のメジャーみたいな印象ある
航空機産業に属していないので、Corebootのサブプロジェクトであるlibgfxinitくらいしか実用的なAdaコードに目を通した経験がない
libgfxinitはIntelのGPUを初期化するコードで、formal verificationできるAdaのサブセットで書かれている
このアカウントは、notestockで公開設定になっていません。
航空機産業でなくても米国の軍用機で使われたりするので魚雷の制御も Ada だったりしたらしいがしかし
HDL、RTLがつらいのか言語の設計がつらいのかテキストが古いバージョンの言語で書かれているのがつらいのか言語処理系がつらいのかよくわからなくなっている
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
講義でイマドキ言語をやって就職したらそんな枯れてない言語使えるわけないだろされるのも厳しいし厳しい
このアカウントは、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で動いていた回は実際ありえる
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
Programmable USB Hub | Crowd Supply https://www.crowdsupply.com/capable-robot-components/programmable-usb-hub
USBデバイス自作界隈の人ならデバッグに活用できそう
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。