Masanori Ogino 𓀁 reblogged at 3 years ago
Masanori Ogino 𓀁 omasanori@mstdn.maud.io
CSSは未知のプロパティやうまくパースできないプロパティがあっても全体のパースと反映をやめないというコンピューター言語ではそんなに一般的ではない性質がある
Masanori Ogino 𓀁 reblogged at 3 years ago
Masanori Ogino 𓀁 omasanori@mstdn.maud.io
それはそれとして、自分で自分の始末を付けられるなら勧告候補の仕様くらいは実験してなんならフィードバックもするくらいでもよいのでは
Masanori Ogino 𓀁 omasanori@mstdn.maud.io
Agda vs. Coq vs. Idris | Meta-cedille blog
https://whatisrt.github.io/dependent-types/2020/02/18/agda-vs-coq-vs-idris.html
Masanori Ogino 𓀁 omasanori@mstdn.maud.io
AgdaVsCoq | The Agda Wiki
https://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AgdaVsCoq
Masanori Ogino 𓀁 reblogged at 3 years ago
もちゃ(5G) mot@mastodon.motcha.tech
ツインスターサイクロンランナウェイじゃん、なんか誰かが激推ししてた
Masanori Ogino 𓀁 reblogged at 3 years ago
sukekyo sukekyo@fedibird.com
【速報！／ユーザー還元フェア】早川書房の電子書籍700点強が50%OFF、秋のJA文庫セール開催！｜Hayakawa Books & Magazines（β） https://assets.st-note.com/production/uploads/images/65707922/rectangle_large_type_2_a5ba81169d332018a755c47320036dcb.jpg?width=800
全然読んでないけど買ってしまう悪魔のセールがまたきた。
Masanori Ogino 𓀁 reblogged at 3 years ago
_ Niceratus@pawoo.net
「「ブラック企業」「過労死」「労働の質の劣化」。なぜ労働環境は改善されないのか。その系譜と構造を明らかにし、労働の視点から現代資本主義社会とその行く末を読み解く」
賃労働の系譜学 http://www.seidosha.co.jp/book/index.php?id=3627
Masanori Ogino 𓀁 reblogged at 3 years ago
_ Niceratus@pawoo.net
「野ネズミが大好きなドングリ。ところが、森に暮らすネズミたちを飼育してドングリを与えると、ふらふらになり、やがて数匹は死んでしまう。なぜか？ その謎を解く鍵はタンニンという物質にあった。身近な自然のなかにある不思議と発見の物語。」
野ネズミとドングリ 島田 卓哉(著/文) - 東京大学出版会 | 版元ドットコム https://www.hanmoto.com/bd/isbn/9784130639521
Masanori Ogino 𓀁 reblogged at 3 years ago
川音リオ＠とらぶるりなっくす KawaneRio@misskey.io
カーネルパニックで草（笑へない）
Kernel Panic - not syncing: VFS: Unable to mount root fs on unknown-block(0,0)