2022.11.18
https://gyazo.com/4356f67c918e46c0a3e1b2ddc717d55c
前：
2022.11.17
後：
2022.11.19
#日報
やった
Deno
で
GraphQL
サーバーを作ったがうっかり
循環参照
が解決できないということがわかって大変なことになりかけた
スキーマをテキストとして定義しないと循環参照が置きてムチャクチャになる
多分
Deno
特有の問題で
Node.js
だったらギリギリなんとか出来るらしい？とは書いてある
思った
/0b5vr/peanut butter jelley gif dubstep
Dubstep
ではないだろ
本物の
Peanut Butter Jelley Time
をサンプリングしている動画としては例えば
Zomboy - Game Time
などがある
初期の
Zomboy
，音が美しすぎる…
「髭って剃らないとそもそも生えてこないのか？」という疑問はおれが6ヶ月間右半分だけ髭を剃った実験によって偽と検証されている
https://twitter.com/SnO2WMaN/status/1593259473933852672
髭を半分だけ剃る
おれが
JavaScript
/
TypeScript
しか基本的に掛けないの本当になとかしたいけど，意欲が…
いいね
https://twitter.com/tanbontanbo/status/1593307809898455041
@tanbotanbo
後藤さん！イケてるバンドマンはみんなレズなのよ！
おとめどれ
知った
HaskellでWeb開発
もらった
解析学
に関する講義資料をもらった
実際に呼んでみるのも良いしなんなら適当な
定理証明支援系
で形式化したいという気持ちもちょっとある
やった
会話デー w/
tosuke
,
otofune
会話デー2 w/
@intsuc
Coq
や
Agda
に比べて
Lean
の体験がリッチすぎるという話をして非常に賛同した
タグシステム
として
有向非巡回グラフ
にしてほしいという提案を受けた