Diary over Finite Fields

515ひかるの日記と雑文

最近の Python の型ヒントとの付き合い方

最近 Python の型ヒントを書いたり書かなかったりしている。mypy などで型チェックして CI で落とす、みたいなことをするのがまじめにやるのがいいのだと思うのだけど、いろいろとあってまじめにやる気がしていない。 結局ライブラリ側が対応していないので…

2020-10-14

今日は、久々にじっくりと仕事をした気がする。 boto3 最近 boto3 に振り回されているのだけど。 boto3.amazonaws.com ということを初めて知った。 try: logger.info('Calling DescribeStream API on myDataStream') client.describe_stream(StreamName='myD…

2020-10-13

相変わらず日付が変わってから投稿するから日付とタイトルに書いている日付がずれている。今が2020年10月13日であるという主張をしたいわけではない。 手を動かさない 手を動かしすぎなんじゃないかという気がしている。物理的な話ではない。腱鞘炎とかとは…

2020-10-12

今日は日記。だけど全然今日したことって感じではない。あと投稿時間的には13日なんだけど、日付変更前の日付をタイトルにしている。 キーボードを買った メカニカルキーボードを買った。買ったのは先週の火曜日だけど。 下記のリンクはアフィリエイトリンク…

最近の小ネタ

今日は小ネタ集。いつもか? IT 業界 IT 業界ってなんや、ってよく思う。なんとなく漠然と、NTT データとか富士通とか NEC とか日本 IBM とか(いわゆる大手 SIer)とかを思い浮かべるけど、別にシステムインテグレーターだけが IT の仕事ではない。ベンダー…

プログラミングで仕事をし始めて感じたギャップ

プログラミングを学ぶのが流行っているらしい。とはいえ、たぶん流行っているのは僕みたいなしがない開発者のおかげではなくて、プログラミングスクールの経営者のブログとかTwitterとか、自分では観測できないような世界で流行っているのだろう。 動機や経…

おだやかな近況

突然魂が抜けてしまったかのように、ただ何をするでもなく、目的があるわけでもなく漫然とゲームばかりしていたのだけれど。 そろそろ仕事とかゲーム以外にも何かするか、という気持ちになってこの記事を書いている。 ファイアーエムブレム風花雪月 またかよ…