04:27:39
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
それで僕がちょくちょく言及してるのが sea-query です
SeaQL/sea-query: 🔱 A dynamic SQL query builder for MySQL, Postgres and SQLite
https://github.com/SeaQL/sea-query#table-create
GitHub - SeaQL/sea-query: 🔱 A dynamic SQL query builder for MySQL, Postgres and SQLite
04:28:36
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
安全なクエリビルダと結果行を構造体にマッピングしてくれるやつだけがあればええ(？)
04:29:51
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-07-19 01:13:39 Posting O-157 新刊既刊通販中
kaiser@unkomaker.hostdon.ne.jp
This account is not set to public on notestock.
04:29:54
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-07-18 16:58:32 Posting O-157 新刊既刊通販中
kaiser@unkomaker.hostdon.ne.jp
This account is not set to public on notestock.
04:29:56
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-07-18 01:32:03 Posting O-157 新刊既刊通販中
kaiser@unkomaker.hostdon.ne.jp
This account is not set to public on notestock.
04:29:59
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-07-18 00:25:36 Posting O-157 新刊既刊通販中
kaiser@unkomaker.hostdon.ne.jp
This account is not set to public on notestock.
04:41:02
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-07-19 04:35:15 Posting 変ポ丸
henpomaru@misskey.io
This account is not set to public on notestock.
09:17:34
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-07-18 17:22:28 Posting 犬とハイネ🦋🩵💚
naota344@social.mikutter.hachune.net
This account is not set to public on notestock.
09:20:11
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-07-19 08:12:09 Posting K0e
K0eKaN@mstdn.maud.io
This account is not set to public on notestock.
09:21:40
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
22.2chの音響設備がある家庭 is...と思ったけど、それ以前に録音施設……
09:24:17
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
09:25:43
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
H.266は別名VVCで、今年のGSoCでffmpegのVVCコーデックを性能向上させるプロジェクトが採択されてた記憶がある。
09:30:17
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
Release Apptainer 1.2.0 · apptainer/apptainer
20:02:52
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-07-19 09:53:11 Posting k_taka🔖
k_taka@mstdn.jp
This account is not set to public on notestock.
20:03:08
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
20:03:17
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-07-19 07:43:48 Posting 𖤐 MadameMalady 𖤐
FOSSingularity@strangeobject.space
This account is not set to public on notestock.
20:03:43
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-07-19 19:54:22 Posting えふすく（F-SQUARE）
fsquare@misskey.io
This account is not set to public on notestock.
20:05:13
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
ufotableのセイバールートアニメが観たいという意見もわかるけれど、DEEN版にはDEEN版の味わいがあるといわれています
20:07:12
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
20:08:59
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-07-19 11:54:35 Posting GeopJr
GeopJr@tech.lgbt
This account is not set to public on notestock.
20:09:13
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-07-19 18:45:26 Posting Achi@ハトの塒
achi@achi.masto.host
This account is not set to public on notestock.
20:09:19
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-07-19 19:00:55 Posting Achi@ハトの塒
achi@achi.masto.host
This account is not set to public on notestock.
20:43:22
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2022-11-09 20:57:11 Posting patrickferris
patrickferris@watch.ocaml.org
This account is not set to public on notestock.
20:50:35
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
21:42:38
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
@blackhole 必要なところだけスタックに値を割り当ててメモリ局所性の高いコードを生成するというのがOCamlが目指す方向で、もし仮にGCを排除しようとするとやはりRustのような形になるか、Rustとは別の方向で複雑な型システムを導入せざるを得なくなると思っています。
21:43:07
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-07-19 15:01:55 Posting Kota Nakatsubo
kota_nakatsubo@fedibird.com
This account is not set to public on notestock.
21:43:19
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
21:57:42
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
@blackhole コピーについては線形型を含む型システムが一例として考えられますね。副作用についてはモナドに押し込んで純粋な言語にするのが唯一解というわけでもなくて、代数的エフェクトを型システムに組み込むというのも注目されています。
22:03:48
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-07-19 22:03:37 Posting ken1flan
ken1flan@pawoo.net
This account is not set to public on notestock.
