入社前ぼく「プログラミング完全に理解した」入社後ぼく「プログラミングなんもわかんねえ」今ぼく「プログラミングチョットワカル……」— メルコフ (@windymelt) 2020年2月19日 「おれはプログラミングの専門家だ！！」という自意識でいいのかずっと悩んでい…
stefanzweifel/git-auto-commit-action@v3.0.0使ったメモ。 なにこれ github.com これはユーザが提供しているGithub Actionで，Github Actions Workflowの中でファイルが変更された場合，そのファイルをコミット&&プッシュしてくれるという便利なやつで， 社…
合理性と論理は人間の道具であり、それを操って人間が社会を維持しているように見えるが、それは錯覚で、実は人間は合理性に隷従していて、「合理的に」どんどん排除されたりクビになる。合理性に逆らう術がない。— めるくん (@windymelt) 2020年2月12日 主…
設計やってたら，設計ミスってて，というか設計の筋が悪かったらしく，テストも書きにくいし，修正も難しくて全然通らなかったけど，同僚と会話しつつ設計を見直したら一瞬でテスト通るようになって，示唆的で学びがある一日だった。 エラー処理，Goとかの世…
今日は色々と技術的な実験をしていたが、最終的に動かすことができたのでよかった。またたまっていた洗濯物や食器洗い等も片付けることができたし、コンディショナーの詰め替えも行うことができた。今のところは申し分ない家事遂行能力を持っているというわ…
ここ最近の知見です。 揉め事にかかわらない、揉めそうな事柄のコメントやリプ欄を見ない 地獄が広がっている 自分に関係ありそうでもきっぱりと諦めたほうがいいときのほうが多い 棲み分ける 嫌いそうな界隈を見に行かない・嫌われそうな界隈に見に来させな…
今日は好きな紅茶専門店に行けたので良かった。アッサムをストレートでいただいた。ミルクティにも向いている、しっかりした風味が特徴の茶葉だ。きっとここにいる人間は皆紅茶が好きで、そこそこ並ぶし待たされるにもかかわらず、紅茶を飲みに来ているのだ…
1月が終わったので記録。 一番憶えていること (PUBGやっていくときに交わされた)テーマ性持つといいよね、というid:tanishiking24の言葉 回ごとにテーマ性を決めていくという発想が得られた。 何に不満がありますか もっと体調を安定させたい感じがする こん…
先日までは体調が結構よかったのだが最近は悪い。体調というか精神的にしんどいことが多い。 最近よく飲み会が発生していて、自分はそういうのについて行ってしまうので飲み過ぎて前後不覚になったり羽目を外したりしてしまい、自尊心が傷つけられたり自他の…
あるオブジェクトのこのフィールドを書き換えたいことあるでしょ。 type A: { x: X // => Yにしたい!!! } まあこういうときはA2 extends Aみたいなのを宣言するか，まあいろいろやりようはあると思うんですが，これがネストしてたりするわけですよ。5重とか…
久々にジムに行った。7km/hで30分走って帰ってきた。3.5km走ったことになる。途中でくたびれてきたが、なんとか走ることができたので良かった。 運動不足気味の人間が(7km/hとはいえ)30分も走り続けるには、忍耐しなければならない。忍耐は、自分が最も苦手…
オブジェクトからstring型のプロパティだけ取り出したいってことありませんか。僕はあります。何言ってんだという感じですがこういう感じです。 type EnumString = "foo" | "bar" | "piyo"; interface Mixed { a: string, b: number, c: object, d: EnumStri…
ない It is important to note that the schemas listed in an allOf, anyOf or oneOf array know nothing of one another. While it might be surprising, allOf can not be used to “extend” a schema to add more details to it in the sense of object-o…
JSON Schemaには，oneOfという便利な構文が用意されている。これは，与えられたスキーマのうちどれか1つだけがvalidなときvalidとする構文だ。 さて，そのoneOfの挙動で困ったのでメモする。具体的には，オブジェクト型Aと，別のオブジェクト型B，そしてAとB…
このスキーマ中の#abは無効になる。https://www.jsonschemavalidator.net/で検証してみるとよい。 { "definitions": { "a": { "$id": "#a", "additionalProperties": false, "type": "object", "required": ["a"], "properties": { "a": { "type": "number" …
(筆者は型入門者ですので，いい加減な事を書いていたらご指摘ください) ★追記: intersection typeとunion typeが逆だったので直した。 ★追記2: susisuくんにいいこと教えてもらったので追記した。 Intersection Types TypeScriptの型，とくにIntersection Ty…
今年何が欲しいかな～ということを考えていたら、未来が欲しいねということになった。未来のワクワクを最後に感じたのはいつだろう？ちょっと考えてみてほしい。 人は未来に対する希望で生きているようなところがある。ルターもそう言っている。 この世を動…
序文 中学生のころから、かれこれ不眠に10年近く悩まされてきた。夜眠れないし、朝起きられなかった。言葉にしてみれば20文字にも満たない、ただそれだけのことが、いくばく人生に打撃を与え、心を打ち砕こうとしたことだろう。 いつしか、それがどん底にぶ…
awsvpcまわりのECSのネットワークの挙動がdocker-composeと違っていて困って調べたので今後のためにメモしておきます。 docker-compose service単位でbridgeが作成される bridgeはL2レイヤ bridgeがたくさん生えるが，docker for macではVMの中にbridgeが生…
うちは家にIPv6が降ってくる家なので、EdgeRouter X のDS-Lite機能を使ってv4通信をトンネリングさせている。 しかしうちに降ってくるアドレスはプレフィックスが/64なのでこれ以上ネットワークを分割できない。どういうことかというと、EdgeRouterがv6のル…
★追記があります。 クラウド時代なので，JSONを環境変数に入れて渡したいということがあると思います。そしてそれをファイルに保存したいということがあると思います。 こういうJSONがあるとします。 $ FOO='{"foo":"b\na\nr"}' アプリケーションの都合でFOO…
id:pndykにお勧めしてもらった一冊。タイトルがタイトルだが啓蒙本でもスピ本でもなく、シオランというルーマニア生まれでパリで頭角を現した哲学者、思想家、作家の解説本にあたる哲学書である。もう今時希死念慮は息を潜めているが、この書籍で解説されて…
記事とは無関係な鉄火巻 初詣のときに立ち寄った店でいただきました おいしかったです いつからか自分はけっこうイライラを溜め込みやすい性格になった(元からそうだったのかもしれない)ので、それから逃げるためにゲームをやりまくったり、食べまくったり、…
www.3qe.us 完全に自分用ツールです。家の電子レンジが600Wなのですが、コンビニでお弁当を買って温めようとすると500W分の時間しか書かれてないわけです。このまま500W向けの時間で加熱するとアツアツになりすぎてしまいます。何度も口の中をやけどしながら…
人生設計上失敗だと思っているのは、うまく勉強ができなかったから大学受験に失敗したことを、周りとの関係を切り捨てて一匹狼になろうとすることで覆い隠そうとしたことだったかなと。それで結果的に周りとの関係に溝を自ら作ってどんどん殻に閉じこもって…
初コーディングはCommon Lispでした。 さて、GPSというものがあります。地球を測位するやつではなく、General Problem Solverです。Generalという夢のような名前が付いていますが、このGPSは任意の形式化された記号問題を解くことができるらしいので遊んでみ…
謹賀新年。あけましておめでとうございます。今年も良い年でありますように。 さて、新年になると気持ちが晴れやかになって新たな行動へのやる気が出てくる。普通の月が変わる瞬間ではこうはならない。じゃあ正月の何がそうさせるのだろうと考えたところ、自…
他人に関して諦めるということを学んだ一年でしたね。だいたい記事になっています。 1月 刺身にタンポポの話にいっちょ噛みした 断熱カーテンを導入した 『自己信頼』を読んだ YAPC::Tokyo 2019に参加した 2月 昇格した よかったですね。 ジムに行きはじめた…
Scrapboxを使うようになってもう2年が経とうとしている。最初は使い勝手が分からずにページを作っては放置するということを繰り返していたが、最近ではうまく使えるようになった。エンジニアの習性なのかもしれないが、とにかく手当たり次第に見出しを列挙し…
github.com 作りました。 package-inferred-systemって何 簡単に言うと・・・ Common Lispではパッケージ名(言語上での名前空間)とモジュール(コンパイルする単位)とが分離しています 言い換えると，同じファイルにパッケージを複数入れる，といったことがで…
