Lambdaカクテル

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

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ではパッケージ名(言語上での名前空間)とモジュール(コンパイルする単位)とが分離しています 言い換えると,同じファイルにパッケージを複数入れる,といったことがで…

AWSのSecurity Groupで,ソースとしてSGを指定するとどうなるか

今日はAWSのSecurity Group(以下,SG)に詳しくなった。 EC2でインスタンスを作ろうとしたとき,何の考え無しにインスタンスを公開してパブリックIPなんざ付けた日には全宇宙にインスタンスが公開されて危ない。 なのでAWSには各種のアクセス制御機構が様々な…

Common Lispでマサワダを生成します

wwsmawaa こんばんは。id:Windymeltです。「masawada Advent Calendar 2019」22日目です。昨日はid:kazuhi_raさんの『受肉するmasawadaさん - かずひらの日記』でした。ついに3Dモデルの領域を越えて現実にその姿を現わしたid:masawadaさん。彼はこの混沌とし…

gqlgenの練習してGraphQL入門した

仕事でGraphQLを使う機会があり,言語はGoなので,gqlgenの練習をした。 github.com gqlgen なに GraphQLのSchemaを与えることでGraphQLのサーバのGoコードを生成してくれるジェネレータツール。 やったこと チュートリアルをなぞっただけ。 gqlgen.com 環境…

EdgeRouter Xを買ってDS-Lite設定した

わが家は世間一般的にも標準的なIPv6を引いているし、自宅鯖でDS-Liteを使ってIPv4ネットワークにも疎通するようにしている。とはいえファイルサーバも兼ねたマシンにルータもやらせているのでなんかpingとかが安定していない。もうIPv6やDS-Liteのお勉強は…

アウトプットでプレゼンス 表現のツール 自分を売り物にするツール

アウトプットでエンジニアとしてのプレゼンスを上げていくって感じのことをみんな言うじゃない。 それって自分を売り物にするってことだろ。自分の文章とか、表現を。自分は、そうすることに根強い違和感がある。人を商品にするのは許されないのに、人は自ら…

ブログの脚注を傍注にした

tech-blog.tanatana.info この記事をコピペ、というか真似して自分も脚注を傍注にした。*1jQuery最高。 ブログ記事にはページという概念がないので、脚注を書くと完全にスクロールしきらないといけない。岩波文庫を読んでいるような状態*2になってしまう。技…

ツイッターのふぁぼをクロールするツール作った/俺TUEEEを大事にしたい

今日はツイッターのふぁぼをダウンロードしてくるやつを作った Scalaは神 https://github.com/windymelt/dumpfav 自分のふぁぼが検索できなくて困っていたので、ふぁぼを200件ずつクロールして保存するツール作った。 JSONを吐くのであとはElasticsearchとか…

CIとかでファイルが修正されていたらコミットするのをスクリプト化した

CIとかで,gofmt -s -wとかeslint --fixとかをかけて,ファイルが修正されていたらコミットしてあげる,というのはよくやるテクニックだと思う。この動作は頻出だし,業務でも登場したのでシェルスクリプト化した。 ./commit-when-modified.sh "brach-name" …

世界の智の総量には追い付けない(もしくは、そうそう増えはしない)のだから、諦めてちっぽけな人間として暮らす

2000年前の世界の智の総量と、現代の智の総量とではどのくらいの開きがあるのだろう。かつての情報の発信者が数少なかった時代においては、 そこそこ頑張っていれば(そしてそれが可能な地位にあれば)一生のうちに世界のあらゆる叡智を取り込むことができたか…

記法・ 表記・マークアップ言語と呼ばれるものはどこまで許容されるのか

なんかYAML好きになれないんですがあなたはどうですか。オチはないです。 今仕事でやっているPerlのプロダクトでは(Config::Env)を使ってプロダクトの設定をしていて,DSLになっているので色々と便利ができる。 一番良く使っている機能は継承で,DSNとかを継…

部活のような仕事

長年、といってもここ4年ほどの話だが、仕事にどういう態度で挑めばいいのかよくわかっていなかった。これといった就活はしていないし、そもそもソフトウェアエンジニアとして食っている人間を、地元で暮らしていた時は身近に知らなかったので、どういう感じ…

紅茶失敗 / 都会的な無干渉というスキル

今日はミスリムで紅茶でもやろうかと思っていたのだがあいにく(いつものことであり、もはや一種の賭け事のようになりつつある)満員ときたので、鴨川沿いに南下して帰ってきてしまった。思っていたよりも湿気が強く、ジメジメとしていて蒸し暑い天気だった…

動に対する(連なる)静なる日々 / ファッション雑誌を買わずに帰る

読んだ。 ネットは社会を分断しない (角川新書)作者: 田中辰雄,浜屋敏出版社/メーカー: KADOKAWA発売日: 2019/10/10メディア: 新書この商品を含むブログを見る ネットで世の中が政治的に分断されて、互いが互いの意見を聞かなくなり、民主主義が機能不全にな…

ネット時代の他者の不幸について考えるアライさん

世界に不幸(の主張)なんてありふれてるんだなって事をTwitterで学んだのだ。……近しくもない個々人の不幸は無視したほうが良い(そうしなければ耐えられない)のだ……。しかし世の中の不幸を減らすために自分に何が出来るのか考え続けるべきなのだ。それがき…