haskell-jp / mokumoku-online #17

lotz
2020-08-02 19:12:02 +0900
次週土曜日行けますー
igrep
2020-08-02 19:14:55 +0900
@lotz じゃあ順番的にそろそろお願いしちゃいます！
今Organizer Guideを更新しているので少々お待ちを
（別件の予定がなくなりそうなので暇だから更新してた :disappointed:
lotz
2020-08-03 23:23:13 +0900
set up a reminder “第44回Haskell-jpもくもく会の時間です！好きなタイミングでいいので、自己紹介と今日やりたいことを書き込んでいただけると！ hask(_ _)eller” in this channel at 1PM Saturday, August 15th, Japan Standard Time.
lotz
2020-08-03 23:25:45 +0900
set up a reminder “成果報告の時間です！何か、やったことを軽くご共有いただけると幸いです hask(_ _)eller” in this channel at 6PM Saturday, August 15th, Japan Standard Time.
lotz
2020-08-08 13:06:12 +0900
第44回Haskell-jpもくもく会の時間です！好きなタイミングでいいので、自己紹介と今日やりたいことを書き込んでいただけると！ hask(_ _)eller
lotz
2020-08-08 13:07:22 +0900
（何故かリマインダーが来週になってた）
lotz
2020-08-08 13:10:08 +0900
私は今日は来週の勉強会に向けて Algorithm design with Haskellをもくもく予習する予定です
https://haskell-jp.slack.com/archives/C4M4TT8JJ/p1596249845032300
lotz
2020-08-08 13:11:14 +0900
set up a reminder “成果報告の時間です！何か、やったことを軽くご共有いただけると幸いです hask(_ _)eller” in this channel at 6PM today, Japan Standard Time.
igrep
2020-08-08 13:29:05 +0900
私も他の勉強会に参加してますが聞きながらちょっとslack-logの件やるかも（オンライン勉強会のメリットやね！
駒鳥(hxf_vogel)
2020-08-08 14:29:46 +0900
今日は疲れ気味なので，
https://github.com/haskell-game/sdl2/
でSDLをゆるふわと触ってみます
karoyakani
2020-08-08 14:36:07 +0900
ABC073 D - joisino's travel
kakkun61
2020-08-08 16:42:04 +0900
用事済んだので来ました
Haskell レポートのオフサイドルールを読んでいきます
https://www.haskell.org/onlinereport/haskell2010/haskellch10.html#x17-17800010.3
Slackbot
2020-08-08 18:00:09 +0900
Reminder: 成果報告の時間です！何か、やったことを軽くご共有いただけると幸いです hask(_ _)eller.
lotz
2020-08-08 18:00:43 +0900
Algorithm design with Haskellの一章を予習しましたー！
igrep
2020-08-08 18:03:03 +0900
ほんのちょっとだけ前回の続き、conversations.repliesのテスト用コマンドの実装を進めました。
ARMの勉強会も途中からほとんど寝てしまったなぁ :disappointed:
駒鳥(hxf_vogel)
2020-08-08 18:03:08 +0900
SDLを触っていたはずが，音やイラストの素材作りを忘れていたので，途中からGI-GTKでのエディタ作りに切り替えました．調べたらTexttagでシンタックスハイライトも出来そうです
https://github.com/wvogel00/gtkplayroom
kakkun61
2020-08-08 18:04:54 +0900
GI 触ってみたいな
kakkun61
2020-08-08 18:05:43 +0900
Haskell レポートのオフサイドルール、あらかた訳し終わりました
https://gist.github.com/kakkun61/799803b1c50312fbd9ef6d83b078c439
kakkun61
2020-08-08 18:09:52 +0900
{ } ; を挿入する L 関数の動作を追ってみないと訳しただけだとよく分からないなぁ
igrep
2020-08-08 18:53:08 +0900
@lotz @kakkun61 @nakaji-dayo で、次回はどうしましょう？
igrep
2020-08-08 18:55:30 +0900
私は土曜日だとフルに参加できます。
kakkun61
2020-08-08 19:32:23 +0900
日曜日なら
igrep
2020-08-08 19:41:19 +0900
とりあえずconversations.repliesのAPIを試すコマンドのコンパイルが通った（試すのは後
lotz
2020-08-08 20:10:27 +0900
来週も土曜日なら :ok_女性:
nakaji-dayo
2020-08-09 13:23:43 +0900
土日両方共参加できます！
igrep
2020-08-09 15:19:10 +0900
:bow: 待ってからで済みません、よく見たら自分がしばらくやってなかったようなので次回は土曜日に自分がやります。
igrep
2020-08-09 15:20:33 +0900
なるべくラウンドロビン方式になるように、と思ったらやっぱどこかに記録しておきたいですね :thinking_face:
igrep
2020-08-09 15:31:14 +0900
set up a reminder “第45回Haskell-jpもくもく会の時間です！好きなタイミングでいいので、自己紹介と今日やりたいことを書き込んでいただけると！ hask(_ _)eller” in this channel at 1PM Saturday, August 15th, Japan Standard Time.
igrep
2020-08-09 15:31:41 +0900
set up a reminder “成果報告の時間です！何か、やったことを軽くご共有いただけると幸いです hask(_ _)eller” in this channel at 6PM Saturday, August 15th, Japan Standard Time.
igrep
2020-08-09 15:33:40 +0900
次回準備完了 :heavy_check_mark:
Slackbot
2020-08-15 13:00:30 +0900
Reminder: 第45回Haskell-jpもくもく会の時間です！好きなタイミングでいいので、自己紹介と今日やりたいことを書き込んでいただけると！ hask(_ _)eller.
igrep
2020-08-15 13:03:46 +0900
今日の司会、山本悠滋です。
今日も引き続き、slack-logのこのissue https://github.com/haskell-jp/slack-log/issues/42 の解決に向けて取り組みます。
少なくとも依存しているslack-webパッケージにPull requestを送るところまではやりたいですね。
.... が、その前に昼寝します。 :sleepy:
igrep
2020-08-15 14:27:25 +0900
そろそろ本格的に始めます。いつもどおりSpatial Chatに入室しておりますので雑談・相談したくなったらどうぞ https://spatial.chat/s/Haskell-jp 
....が、いつの間にか「無料版は4人まで」となってますね... 今日は大丈夫でしょうけども
nakaji-dayo
2020-08-15 15:34:18 +0900
もう時間短いですが参加:muscle:
igrep
2020-08-15 16:21:21 +0900
TODO: SpatialChatが有償化してしまったので、Facebook Messenger Roomsを次回は試す。
igrep
2020-08-15 17:43:07 +0900
Slack APIが返すタイムスタンプ、どうやら整数部の最小単位が1000秒らしい。
例えば
https://haskell.jp/slack-log/html/C5666B6BB/89.html
の先頭のメッセージ（2020-08-08 00:48:20 +0900 作成）
に対応するタイムスタンプは
https://haskell.jp/slack-log/json/C5666B6BB/89.json
のとおり 1596815300.200700 なんだけどそのままJavaScriptの new Date とかに渡すと
Date Mon Jan 19 1970 20:33:35 GMT+0900
などというエラい古い時間が返ってくる。
でも1000倍すると正しい結果になった :weary:
matsubara0507
2020-08-15 17:58:04 +0900
Slack API の ts の Unixtime は、普通に整数部が秒までで、小数部が秒未満っぽいですよ。
JSの Date に渡すべき Unixtime がミリ秒からじゃないですか？
Slackbot
2020-08-15 18:00:07 +0900
Reminder: 成果報告の時間です！何か、やったことを軽くご共有いただけると幸いです hask(_ _)eller.
igrep
2020-08-15 18:02:11 +0900
あっ、そうか。申し訳ない混乱してた :cold_sweat:
igrep
2020-08-15 18:03:57 +0900
conversations.repliesのAPIを先週実装したのでテスト中ですが、:point_up: のとおり、苦戦中です :cold_sweat:
igrep
2020-08-15 18:08:19 +0900
早めに来週の予定スレッドを立てておきます。
@lotz @nakaji-dayo @kakkun61
igrep
2020-08-15 18:09:25 +0900
私はフルで参加できるのは23日です。
nakaji-dayo
2020-08-15 18:13:00 +0900
お疲れ様でした。
料理のレシピ書くdsl作ってる途中
https://github.com/nakaji-dayo/haskell-cooking-recipe
html出力する所作ってく
kakkun61
2020-08-15 19:03:26 +0900
いつも通り日曜日なら
lotz
2020-08-15 19:05:24 +0900
同じく来週は日曜なら :raising_hand:
lotz
2020-08-15 19:05:38 +0900
げ、無料枠だいぶ減ったんですね :sweat_smile:
igrep
2020-08-15 19:06:58 +0900
次回以降はFacebook Messenger Roomsのルームを都度作るか、WhereByの有償版を私が払う形でやろうかな、と思ってます。