最近良く聴くPodcast 2019-12-21 Life自分が最近良く聴くPodcastをまとめた。 一覧 Rebuild.fm Podcastを聞く習慣はこれと下で紹介するバイリンガルニュースで始まった。毎回ゲストを呼
2019/12時点の英語勉強方法とか 2019-12-14 English現状の英語力 4年前にTOEIC 850点ぐらい取った 技術系の資料は割と読める 心理的障壁は英語と日本語であまり違いはない(技術系の資料に限る) 読
Things to bring for climbing gym(as of 2019/12) 2019-12-07 Climbingシューズ 最近はLa Sportivaのジーニアスを履いてます。BananaFingersで購入。 LA SPORTIVA Genius チョーク&チョークバッグ Organic cli
OSSメンテナをしていて気づいた、Issue報告時に気をつけて欲しいこと 2019-11-03 Tech私がメンテナであるOSS(Verilog HDL/SystemVerilog向けのVS Codeプラグイン)のIssueを見ていて気づいた、Is
GNU timeでプロセスのメモリ使用量を取得する 2019-07-23 TechTD;LR 1 /usr/bin/time -f "%M KB" command GNU time GNU timeには、プロセスが使用したユーザ/システム時間だけでなく、最大メモリ使用量(Resident Set Size)を取得する
Windows 10のVirtualBoxで「Error In supR3HardNtChildPurify」とエラーが表示されて仮想マシンが起動しない問題 2019-06-23 Techある日、Windows上のVirtualBoxでVMを起動しようとしたら以下のエラーメッセージが出て起動しない問題が発生した。 Webで検索し