第93回 ProofCafe - connpass https://proofcafe.connpass.com/event/152202/

You are hyper. という言い回しが存在することを知った

文字通りの超健康……

RT @kb10uy * * * * * shutdown -h now でハイパー健康生活したい

NetBSD/zaurus 6.1.4 の zbsdmod.o + zboot と、7.2 の GENERIC カーネル、 6.1.4 のユーザーランドだとマルチユーザーまで起動した。
組み合わせ検証が多すぎて萎える(´・ω・｀)

OpenBSD 6.6 Released https://undeadly.org/cgi?action=article;sid=20191017135642

LEP: a pioneering accelerator https://youtu.be/FNFvmcvKRj0

Oracle Shows 1060 Raspberry Pi Supercomputer at OOW https://www.servethehome.com/oracle-shows-1060-raspberry-pi-supercomputer-at-oow/

Arm TechCon 2019 - ArmがCustom Instructionの提供を決定した背景 (1) Custom Instructionの提供の背後に見える迫りくるRISC-Vの影 | マイナビニュース https://news.mynavi.jp/article/20191017-910701/

RT @babukaru kernel config 生成(略記)のためのシェルスクリプト - 何とは言わない天然水飲みたさ https://blog.cardina1.red/2016/12/06/kernel-config-shellscript/

これの最後にあるﾊﾟｲﾝﾖｽｸﾘﾌﾟﾖめちゃ便利やん！ありがてー

すごい

RT @mattenn イベントでライブ配信基盤を構築した話 - だらだらまってん https://mattenn.fkgt.net/2019/10/live/ https://mstdn.maud.io/media/89sajeuNuTp9xr3SLeo

RT @Otakan951 現代における自作OSの難しさ 〜自作OSのいまと昔 [第2回] | さくらのナレッジ https://knowledge.sakura.ad.jp/22963/

キャラ追加してみました～。みんなで下校中みたいなｗ

RT @ltzz ［Unite 2019］実は3DCGアニメ作品だった「Hello World」。この作品をゲームエンジンUnityで再現することはできるのか？ - GamesIndustry.biz Japan Edition http://jp.gamesindustry.biz/article/1909/19093002/

RT @unarist Noto Sans Hinted と font-feature-settings: 'palt' | blog.jxck.io https://blog.jxck.io/entries/2019-10-13/font-feature-settings.html

けーき

まあ今日は日曜日だし大丈夫でしょう（大丈夫ではない）

#mtgarena もう1回ランク戦ドラフトできるぞ！→なんかライブラリアウトカードばかり取ってしまった、どうするんだこれ→2-3