haskell-jp / mokumoku-online #20

nakaji-dayo
2020-09-05 17:17:25 +0900
@igrep そういえば、前回、weworkで無料の勉強会ってどうやって開催してるんだろ？みたいな話題があったと思いますが、入居者が主催で追加料金無しでイベント開催できるらしいので、それだったのかなと思いました。参考までに
igrep
2020-09-05 17:18:18 +0900
なるほど、調査ありがとうございます！それなら納得 :bulb:
nakaji-dayo
2020-09-05 17:19:57 +0900
たまたまwework行ったので:grinning:
igrep
2020-09-05 17:23:53 +0900
WhereByを共有して利用する件については、規約上はあんまりよくなさそうね... まぁそりゃそうか... 多分長時間私がいない状態だと垢バンされるんだろうな... :fearful:
Your account is strictly personal and shall not be used by any other person without your supervision. Neither shall you assign your account to any other person. You are in any event solely responsible for the use of the Service through your personal user account.
https://whereby.com/information/tos/
2020-09-05 17:37:26 +0900
丁度ブラウザが落ちたんで~チャット~会話から退室しました。挨拶なしに失礼しました。
igrep
2020-09-05 17:41:06 +0900
実態に合わせて使うならやっぱDiscordなんだろうな。唯一アレなのはSlackとチャット機能が被ってしまうことぐらいか
Slackbot
2020-09-05 18:00:05 +0900
Reminder: 成果報告の時間です！何か、やったことを軽くご共有いただけると幸いです hask(_ _)eller.
2020-09-05 18:04:32 +0900
開始時に投稿したissueに1個コメントを投げてあとは考察をしていました。もう一個これからコメントを投げて終わる予定ですが、`takeWhile`をstream fusionで基本的には処理しながら、ベクタのsliceをとっているだけの場合には単純にsliceをとる動作として処理する、みたいな都合の良いことはちょっと無理な気がしてきましたね・・・。
shimama
2020-09-05 18:23:15 +0900
プログラミングHaskell第二版 の10章の練習問題を解きました
https://gist.github.com/Kentoshim/c54219e45092e386bc3857be5b80fffe/edit
igrep
2020-09-05 18:46:58 +0900
!here 次回担当者募集中です！
詳しくは https://wiki.haskell.jp/Workshop/hasmoku/OrganizerGuide を！
2020-09-05 18:48:02 +0900
無理であることの「証明」（証明ではない）をコメントにして投げました
Arakur
2020-09-05 18:52:49 +0900
お疲れさまでした, 色々不慣れですみませんでした.........
目標の部分までは作れませんでしたが思いついたデータ構造の名前を知れたりととても勉強になりました, ありがとうございました
nakaji-dayo
2020-09-05 20:20:13 +0900
後半からちょっと参加で前回のMRの続きやってました。
igrep
2020-09-06 07:50:51 +0900
@nakaji-dayo @lotz @kakkun61 次回の都合はいかがでしょう？
私は9/12なら一部参加できませんがなんとか... ってところですね。
kakkun61
2020-09-06 08:24:31 +0900
来週は :ng: でお願いします
lotz
2020-09-06 08:25:20 +0900
来週は 9/12（土） ならできますー！
igrep
2020-09-06 08:59:20 +0900
@lotz では次回お願いします！ :pray:
lotz
2020-09-06 08:59:34 +0900
了解です :ok_woman:
igrep
2020-09-06 08:59:46 +0900
（中嶋さんは両方難しいとWherebyで伺ってました）
nakaji-dayo
2020-09-06 12:44:02 +0900
はい、土日どっちであっても後半からちょっと参加できるかも程度です
lotz
2020-09-06 20:24:50 +0900
set up a reminder “第49回Haskell-jpもくもく会の時間です！好きなタイミングでいいので、自己紹介と今日やりたいことを書き込んでいただけると！ hask(_ _)eller” in this channel at 1PM Saturday, September 19th, Japan Standard Time.
lotz
2020-09-06 20:25:06 +0900
set up a reminder “成果報告の時間です！何か、やったことを軽くご共有いただけると幸いです hask(_ _)eller” in this channel at 6PM Saturday, September 19th, Japan Standard Time.
lotz
2020-09-06 20:25:30 +0900
仕込み完了 :star2:
connpass はこちらですー
https://haskell-jp.connpass.com/event/188416/
Ryo Haruyama
2020-09-07 18:39:00 +0900
@Ryo Haruyama has joined the channel
kakkun61
2020-09-09 12:10:51 +0900
NTT Com. の NeWork が始まったのでワークスペース作ってみた
招待リンク：
招待リンクは期限が1日だそうです
kakkun61
2020-09-09 12:17:56 +0900
ルームへの参加はマイクかカメラが要るみたい
コンソールにエラーが出た
Uncaught (in promise) DOMException: Requested device not found
igrep
2020-09-09 19:41:36 +0900
ログイン済みの人は https://nework.app/workspaces/haskell-jp から入れる、と
igrep
2020-09-12 13:04:18 +0900
あれ、そういえばリマインダーもセットされてなかったか。 @lotz 氏ー！
igrep
2020-09-12 13:07:53 +0900
山本悠滋です。
私は今日は、いつもどおり https://github.com/haskell-jp/slack-log/issues/42 の続きをやります。お昼ご飯を食べてから。
そろそろPull request送るところまで行きたいなぁ。
shimama
2020-09-12 13:09:49 +0900
島です、引き続きProggraming Haskellを読んでいこうと思います。
lotz
2020-09-12 13:13:04 +0900
あれリマインダー、一週間先になっちゃってますね…
lotz
2020-09-12 13:13:20 +0900
遅れましたが
第49回Haskell-jpもくもく会の時間です！好きなタイミングでいいので、自己紹介と今日やりたいことを書き込んでいただけると！ hask(_ _)eller
igrep
2020-09-12 13:14:05 +0900
ほんまや。今更気づいたけど「Next Saturday」の解釈が我々の意図と違うみたいね... :fearful:
lotz
2020-09-12 13:14:13 +0900
set up a reminder “ "成果報告の時間です！何か、やったことを軽くご共有いただけると幸いです hask(_ _)eller" at” in this channel at 6PM today, Japan Standard Time.
lotz
2020-09-12 13:14:38 +0900
単純に Saturday だけで良いのかもしれませんね :thinking_face:
igrep
2020-09-12 13:17:27 +0900
ついでにすみません、Twitterの方もたのんます hask(_ _)eller
こちらは単純にtweet予約をセットし忘れているのではないかと
igrep
2020-09-12 13:19:21 +0900
やっぱり早いとこ自動化の仕組みを作るべきか... Zapierとかでいけないかな。
lotz
2020-09-12 13:31:07 +0900
ifttt 有料化したんでしたっけ、、
igrep
2020-09-12 13:32:12 +0900
ああ、まぁiftttでもできるならいいでしょうね。私がほとんど使ったことがないだけで
igrep
2020-09-12 13:42:41 +0900
取り急ぎ開始のtweetをしておきました。
lotz
2020-09-12 13:43:26 +0900
あれ、予約投稿もセットしてたはずなんですが今見たら全て消えてますね…
lotz
2020-09-12 13:43:34 +0900
すみません、夜の分だけセットしておきます
igrep
2020-09-12 13:43:59 +0900
前も似たようなことがあったような... うーむ。 :confused:
lotz
2020-09-12 13:44:14 +0900
僕は今日は↓に倣って、最近気になってたアルゴリズムの双対性について考えようと思ってますー
https://qiita.com/lotz/items/a69587882be6e987de4e
igrep
2020-09-12 13:45:47 +0900
私から見た感じ「Scheduled」はからのままですね... どういう条件で発動するんだろう...
lotz
2020-09-12 13:47:22 +0900
謎ですね…
igrep
2020-09-12 13:48:00 +0900
あっ、リロードしたら見えた。今度は大丈夫そう :relieved:
igrep
2020-09-12 15:08:06 +0900
そろそろ始めます。 https://nework.app/workspaces/haskell-jp から雑談できるかな？