/img/avatar.jpg

Keep Coding, Keep Climbing

最近良く聴くPodcast

自分が最近良く聴くPodcastをまとめた。 一覧 Rebuild.fm Podcastを聞く習慣はこれと下で紹介するバイリンガルニュースで始まった。毎回ゲストを呼

2019/12時点の英語勉強方法とか

現状の英語力 4年前にTOEIC 850点ぐらい取った 技術系の資料は割と読める 心理的障壁は英語と日本語であまり違いはない(技術系の資料に限る) 読

Things to bring for climbing gym(as of 2019/12)

シューズ 最近はLa Sportivaのジーニアスを履いてます。BananaFingersで購入。 LA SPORTIVA Genius チョーク&チョークバッグ Organic cli

OSSメンテナをしていて気づいた、Issue報告時に気をつけて欲しいこと

私がメンテナであるOSS(Verilog HDL/SystemVerilog向けのVS Codeプラグイン)のIssueを見ていて気づいた、Is

GNU timeでプロセスのメモリ使用量を取得する

TD;LR 1 /usr/bin/time -f "%M KB" command GNU time GNU timeには、プロセスが使用したユーザ/システム時間だけでなく、最大メモリ使用量(Resident Set Size)を取得する

Windows 10のVirtualBoxで「Error In supR3HardNtChildPurify」とエラーが表示されて仮想マシンが起動しない問題

ある日、Windows上のVirtualBoxでVMを起動しようとしたら以下のエラーメッセージが出て起動しない問題が発生した。 Webで検索し