Lambdaカクテル

京都在住Webエンジニアの日記です

やってい気!!!!!!!

入社前ぼく「プログラミング完全に理解した」入社後ぼく「プログラミングなんもわかんねえ」今ぼく「プログラミングチョットワカル……」— メルコフ (@windymelt) 2020年2月19日 「おれはプログラミングの専門家だ!!」という自意識でいいのかずっと悩んでい…

stefanzweifel/git-auto-commit-action@v3.0.0ではuntracked fileがあるときエラー終了する

stefanzweifel/git-auto-commit-action@v3.0.0使ったメモ。 なにこれ github.com これはユーザが提供しているGithub Actionで,Github Actions Workflowの中でファイルが変更された場合,そのファイルをコミット&&プッシュしてくれるという便利なやつで, 社…

自分と他者との一貫性

合理性と論理は人間の道具であり、それを操って人間が社会を維持しているように見えるが、それは錯覚で、実は人間は合理性に隷従していて、「合理的に」どんどん排除されたりクビになる。合理性に逆らう術がない。— めるくん (@windymelt) 2020年2月12日 主…

エラー処理むずかしい

設計やってたら,設計ミスってて,というか設計の筋が悪かったらしく,テストも書きにくいし,修正も難しくて全然通らなかったけど,同僚と会話しつつ設計を見直したら一瞬でテスト通るようになって,示唆的で学びがある一日だった。 エラー処理,Goとかの世…

ちっこい幸せを拾い集める

今日は色々と技術的な実験をしていたが、最終的に動かすことができたのでよかった。またたまっていた洗濯物や食器洗い等も片付けることができたし、コンディショナーの詰め替えも行うことができた。今のところは申し分ない家事遂行能力を持っているというわ…

メンタルが調子良くなるコツのメモ

ここ最近の知見です。 揉め事にかかわらない、揉めそうな事柄のコメントやリプ欄を見ない 地獄が広がっている 自分に関係ありそうでもきっぱりと諦めたほうがいいときのほうが多い 棲み分ける 嫌いそうな界隈を見に行かない・嫌われそうな界隈に見に来させな…

何かをけなすことで結束を強めているコミュニティ

今日は好きな紅茶専門店に行けたので良かった。アッサムをストレートでいただいた。ミルクティにも向いている、しっかりした風味が特徴の茶葉だ。きっとここにいる人間は皆紅茶が好きで、そこそこ並ぶし待たされるにもかかわらず、紅茶を飲みに来ているのだ…

2020年1月のめるくん

1月が終わったので記録。 一番憶えていること (PUBGやっていくときに交わされた)テーマ性持つといいよね、というid:tanishiking24の言葉 回ごとにテーマ性を決めていくという発想が得られた。 何に不満がありますか もっと体調を安定させたい感じがする こん…

意識低く暮らしたい

先日までは体調が結構よかったのだが最近は悪い。体調というか精神的にしんどいことが多い。 最近よく飲み会が発生していて、自分はそういうのについて行ってしまうので飲み過ぎて前後不覚になったり羽目を外したりしてしまい、自尊心が傷つけられたり自他の…

TypeScriptのネストしたオブジェクトの内側の型を書き換える

あるオブジェクトのこのフィールドを書き換えたいことあるでしょ。 type A: { x: X // => Yにしたい!!! } まあこういうときはA2 extends Aみたいなのを宣言するか,まあいろいろやりようはあると思うんですが,これがネストしてたりするわけですよ。5重とか…

ジム行った / 自分が主人公というウソを信じられるか

久々にジムに行った。7km/hで30分走って帰ってきた。3.5km走ったことになる。途中でくたびれてきたが、なんとか走ることができたので良かった。 運動不足気味の人間が(7km/hとはいえ)30分も走り続けるには、忍耐しなければならない。忍耐は、自分が最も苦手…

Typescriptのオブジェクトから特定の型に適合するプロパティだけ抜き出した型をコンパイルタイミングで作る

オブジェクトからstring型のプロパティだけ取り出したいってことありませんか。僕はあります。何言ってんだという感じですがこういう感じです。 type EnumString = "foo" | "bar" | "piyo"; interface Mixed { a: string, b: number, c: object, d: EnumStri…

JSON Schema 継承 プロパティ 上書き 方法

ない 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メモ: subtypeのoneOfについて

JSON Schemaには,oneOfという便利な構文が用意されている。これは,与えられたスキーマのうちどれか1つだけがvalidなときvalidとする構文だ。 さて,そのoneOfの挙動で困ったのでメモする。具体的には,オブジェクト型Aと,別のオブジェクト型B,そしてAとB…

JSON Schemaメモ: additionalProperties: falseのobject同士は,allOfで合体できない

このスキーマ中の#abは無効になる。https://www.jsonschemavalidator.net/で検証してみるとよい。 { "definitions": { "a": { "$id": "#a", "additionalProperties": false, "type": "object", "required": ["a"], "properties": { "a": { "type": "number" …

TypeScriptのUnion / Intersection Typesで遊んだ

(筆者は型入門者ですので,いい加減な事を書いていたらご指摘ください) ★追記: intersection typeとunion typeが逆だったので直した。 ★追記2: susisuくんにいいこと教えてもらったので追記した。 Intersection Types TypeScriptの型,とくにIntersection Ty…

日記 / 未来探し

今年何が欲しいかな~ということを考えていたら、未来が欲しいねということになった。未来のワクワクを最後に感じたのはいつだろう?ちょっと考えてみてほしい。 人は未来に対する希望で生きているようなところがある。ルターもそう言っている。 この世を動…

10年続いた不眠を乗り越えてわかったこと

序文 中学生のころから、かれこれ不眠に10年近く悩まされてきた。夜眠れないし、朝起きられなかった。言葉にしてみれば20文字にも満たない、ただそれだけのことが、いくばく人生に打撃を与え、心を打ち砕こうとしたことだろう。 いつしか、それがどん底にぶ…

awsvpcとdocker-composeメモ

awsvpcまわりのECSのネットワークの挙動がdocker-composeと違っていて困って調べたので今後のためにメモしておきます。 docker-compose service単位でbridgeが作成される bridgeはL2レイヤ bridgeがたくさん生えるが,docker for macではVMの中にbridgeが生…

VLANのお勉強した

うちは家にIPv6が降ってくる家なので、EdgeRouter X のDS-Lite機能を使ってv4通信をトンネリングさせている。 しかしうちに降ってくるアドレスはプレフィックスが/64なのでこれ以上ネットワークを分割できない。どういうことかというと、EdgeRouterがv6のル…

シェルスクリプトで環境変数の中身を壊すことなくファイルに保存する

★追記があります。 クラウド時代なので,JSONを環境変数に入れて渡したいということがあると思います。そしてそれをファイルに保存したいということがあると思います。 こういうJSONがあるとします。 $ FOO='{"foo":"b\na\nr"}' アプリケーションの都合でFOO…

『生まれてきたことが苦しいあなたに』読了

id:pndykにお勧めしてもらった一冊。タイトルがタイトルだが啓蒙本でもスピ本でもなく、シオランというルーマニア生まれでパリで頭角を現した哲学者、思想家、作家の解説本にあたる哲学書である。もう今時希死念慮は息を潜めているが、この書籍で解説されて…

何かにイライラしているように見えるが、実は考えることが多いということについてイライラしている

記事とは無関係な鉄火巻 初詣のときに立ち寄った店でいただきました おいしかったです いつからか自分はけっこうイライラを溜め込みやすい性格になった(元からそうだったのかもしれない)ので、それから逃げるためにゲームをやりまくったり、食べまくったり、…

電子レンジの加熱時間をワット数をまたいで計算するツールをReactで書いた

www.3qe.us 完全に自分用ツールです。家の電子レンジが600Wなのですが、コンビニでお弁当を買って温めようとすると500W分の時間しか書かれてないわけです。このまま500W向けの時間で加熱するとアツアツになりすぎてしまいます。何度も口の中をやけどしながら…

日記/受験の傷跡/何も持たず寝る

人生設計上失敗だと思っているのは、うまく勉強ができなかったから大学受験に失敗したことを、周りとの関係を切り捨てて一匹狼になろうとすることで覆い隠そうとしたことだったかなと。それで結果的に周りとの関係に溝を自ら作ってどんどん殻に閉じこもって…

Common LispでGPSを実装した + packageとpackage-inferred-systemまわりハマりどころ

初コーディングはCommon Lispでした。 さて、GPSというものがあります。地球を測位するやつではなく、General Problem Solverです。Generalという夢のような名前が付いていますが、このGPSは任意の形式化された記号問題を解くことができるらしいので遊んでみ…

暮らしに終わりをつけていく必要性について

謹賀新年。あけましておめでとうございます。今年も良い年でありますように。 さて、新年になると気持ちが晴れやかになって新たな行動へのやる気が出てくる。普通の月が変わる瞬間ではこうはならない。じゃあ正月の何がそうさせるのだろうと考えたところ、自…

2019年ふりかえり

他人に関して諦めるということを学んだ一年でしたね。だいたい記事になっています。 1月 刺身にタンポポの話にいっちょ噛みした 断熱カーテンを導入した 『自己信頼』を読んだ YAPC::Tokyo 2019に参加した 2月 昇格した よかったですね。 ジムに行きはじめた…

箇条書きの功罪

Scrapboxを使うようになってもう2年が経とうとしている。最初は使い勝手が分からずにページを作っては放置するということを繰り返していたが、最近ではうまく使えるようになった。エンジニアの習性なのかもしれないが、とにかく手当たり次第に見出しを列挙し…

Common LispのPackage-inferred-systemのサンプルリポジトリを公開した

github.com 作りました。 package-inferred-systemって何 簡単に言うと・・・ Common Lispではパッケージ名(言語上での名前空間)とモジュール(コンパイルする単位)とが分離しています 言い換えると,同じファイルにパッケージを複数入れる,といったことがで…