Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 238 239 240 241 242 243 244 245 246 247 248 .. 17972
— 1,797,192 events total
2021-06-02 06:57:13 → haskman joins (~haskman@106.201.29.153)
2021-06-02 07:00:56 × schuelermine quits (~schuelerm@user/schuelermine) (Quit: Quit)
2021-06-02 07:02:24 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-02 07:03:20 → niflce joins (~IceChat95@user/niflce)
2021-06-02 07:03:28 × niflce quits (~IceChat95@user/niflce) (Client Quit)
2021-06-02 07:04:30 → chomwitt joins (~Pitsikoko@athedsl-20549.home.otenet.gr)
2021-06-02 07:10:04 → spirgel joins (spirgel@gateway/vpn/protonvpn/spirgel)
2021-06-02 07:10:49 → mikoto-chan joins (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be)
2021-06-02 07:11:08 → cfricke joins (~cfricke@user/cfricke)
2021-06-02 07:12:08 → mc47 joins (~yecinem@89.246.239.190)
2021-06-02 07:13:16 × guest62` quits (~user@49.5.6.87) (Ping timeout: 272 seconds)
2021-06-02 07:13:56 → shriekingnoise joins (~shrieking@186.137.144.80)
2021-06-02 07:14:41 × spirgel quits (spirgel@gateway/vpn/protonvpn/spirgel) (Ping timeout: 264 seconds)
2021-06-02 07:15:10 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-06-02 07:15:18 × Guest6937 quits (bart@kobayashi.com.pl) (Quit: WeeChat 3.1)
2021-06-02 07:15:31 → bjfs joins (bart@kobayashi.com.pl)
2021-06-02 07:15:50 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
2021-06-02 07:17:34 → satai joins (~satai@static-84-42-172-253.net.upcbroadband.cz)
2021-06-02 07:17:38 → lortabac joins (~lortabac@2a01:e0a:541:b8f0:2e4f:b94a:ab3f:8431)
2021-06-02 07:20:42 → bor0 joins (~boro@user/bor0)
2021-06-02 07:21:30 × beka quits (~beka@104.193.170-254.PUBLIC.monkeybrains.net) (Ping timeout: 272 seconds)
2021-06-02 07:25:30 × favonia quits (~favonia@user/favonia) (Ping timeout: 264 seconds)
2021-06-02 07:26:07 → spirgel joins (spirgel@gateway/vpn/protonvpn/spirgel)
2021-06-02 07:27:53 → favonia joins (~favonia@user/favonia)
2021-06-02 07:28:14 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2021-06-02 07:29:26 → chele_ joins (~chele@user/chele)
2021-06-02 07:29:48 → dpl_ joins (~dpl@77-121-78-163.chn.volia.net)
2021-06-02 07:30:11 × shriekingnoise quits (~shrieking@186.137.144.80) (Quit: Quit)
2021-06-02 07:30:20 × spirgel quits (spirgel@gateway/vpn/protonvpn/spirgel) (Ping timeout: 245 seconds)
2021-06-02 07:31:06 × rk04 quits (~rk04@user/rajk) (Ping timeout: 250 seconds)
2021-06-02 07:32:18 × chele quits (~chele@user/chele) (Ping timeout: 268 seconds)
2021-06-02 07:32:43 chele_ is now known as chele
2021-06-02 07:37:00 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-06-02 07:41:59 → spirgel joins (spirgel@gateway/vpn/protonvpn/spirgel)
2021-06-02 07:42:31 → dunkeln joins (~dunkeln@94.129.65.28)
2021-06-02 07:44:56 × mattil quits (~mattil@airio.portalify.com) (Ping timeout: 272 seconds)
2021-06-02 07:45:10 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-02 07:46:50 × spirgel quits (spirgel@gateway/vpn/protonvpn/spirgel) (Ping timeout: 272 seconds)
2021-06-02 07:51:56 → spirgel joins (spirgel@gateway/vpn/protonvpn/spirgel)
2021-06-02 07:52:04 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:5878:fcfd:e07b:ffd9) (Remote host closed the connection)
2021-06-02 07:52:21 × spirgel quits (spirgel@gateway/vpn/protonvpn/spirgel) (Client Quit)
2021-06-02 07:54:19 × hnOsmium0001 quits (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity)
2021-06-02 07:55:06 → pera joins (~pera@0541db7e.skybroadband.com)
2021-06-02 07:55:29 → zeenk joins (~zeenk@2a02:2f04:a310:b600:b098:bf18:df4d:4c41)
2021-06-02 07:55:29 pera is now known as Guest6551
2021-06-02 07:58:15 → fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-06-02 07:59:20 → pfurla_ joins (~pfurla@ool-182ed2e2.dyn.optonline.net)
2021-06-02 08:00:43 → jonathanx joins (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se)
2021-06-02 08:00:56 → rk04 joins (~rk04@user/rajk)
2021-06-02 08:01:08 → chele_ joins (~chele@user/chele)
2021-06-02 08:01:11 chele is now known as Guest5174
2021-06-02 08:01:11 chele_ is now known as chele
2021-06-02 08:01:21 × jonathanx quits (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Client Quit)
2021-06-02 08:01:38 × chomwitt quits (~Pitsikoko@athedsl-20549.home.otenet.gr) (Remote host closed the connection)
2021-06-02 08:01:39 → jonathanx joins (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se)
2021-06-02 08:01:48 × jonathanx quits (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Client Quit)
2021-06-02 08:02:02 × pfurla quits (~pfurla@5.15.195.173.client.static.strong-in52.as13926.net) (Ping timeout: 252 seconds)
2021-06-02 08:02:03 → jonathanx joins (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se)
2021-06-02 08:02:41 × fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 264 seconds)
2021-06-02 08:03:15 × Guest5174 quits (~chele@user/chele) (Ping timeout: 245 seconds)
2021-06-02 08:05:30 × rk04 quits (~rk04@user/rajk) (Client Quit)
2021-06-02 08:06:18 × favonia quits (~favonia@user/favonia) (Ping timeout: 264 seconds)
2021-06-02 08:06:39 → shryke_ joins (~shryke@91.103.43.254)
2021-06-02 08:07:43 → favonia joins (~favonia@user/favonia)
2021-06-02 08:08:05 × alp quits (~alp@163.172.83.213) (Changing host)
2021-06-02 08:08:05 → alp joins (~alp@user/alp)
2021-06-02 08:09:20 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Quit: Lost terminal)
2021-06-02 08:09:28 × hendursaga quits (~weechat@user/hendursaga) (Ping timeout: 252 seconds)
2021-06-02 08:10:00 → larkfisherman joins (~larkfishe@217.75.204.126)
2021-06-02 08:10:18 → _xft0 joins (~root@185.234.208.208.r.toneticgroup.pl)
2021-06-02 08:12:57 → hendursaga joins (~weechat@user/hendursaga)
2021-06-02 08:13:27 → dhil joins (~dhil@195.213.192.85)
2021-06-02 08:15:36 → michalz joins (~user@185.246.204.60)
2021-06-02 08:17:00 × sqrt2 quits (~ben@tunnel330957-pt.tunnel.tserv6.fra1.ipv6.he.net) (Ping timeout: 244 seconds)
2021-06-02 08:17:27 → pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2021-06-02 08:19:23 → gehmehgeh joins (~user@user/gehmehgeh)
2021-06-02 08:20:38 → sqrt2 joins (~ben@tunnel330957-pt.tunnel.tserv6.fra1.ipv6.he.net)
2021-06-02 08:21:09 × shryke_ quits (~shryke@91.103.43.254) (Quit: WeeChat 3.1)
2021-06-02 08:21:38 → shryke joins (~shryke@91.103.43.254)
2021-06-02 08:22:13 → ccapndave joins (~ccapndave@84-73-232-220.dclient.hispeed.ch)
2021-06-02 08:22:44 <ccapndave> Morning! How can I write this in point-free style? isValidChar c = isAscii c && isAlpha c
2021-06-02 08:23:25 <opqdonut> :t liftA2 (&&) isAscii isAlpha -- using the Applicative ((->) r) instance
2021-06-02 08:23:26 <lambdabot> Char -> Bool
2021-06-02 08:24:00 → boxscape joins (~boxscape@user/boxscape)
2021-06-02 08:24:21 → fendor_ joins (~fendor@178.115.57.160.wireless.dyn.drei.com)
2021-06-02 08:24:26 <dminuoso> Depending on frequency, I sometimes find myself writing: (.&&.) = liftA2 (&&)
2021-06-02 08:24:43 <ccapndave> Awesome! Thanks very much
2021-06-02 08:24:52 <dminuoso> (And (.||.) = liftA2 (||) equivalent)
2021-06-02 08:25:08 <opqdonut> :t All . isAlpha <> All . isAscii -- using the Monoid m => Monoid (r->m) istance
2021-06-02 08:25:09 <lambdabot> Char -> All
2021-06-02 08:25:20 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 245 seconds)
2021-06-02 08:25:42 <boxscape> I recently discovered the Boolean package which just lets you do `isAlpha && isAscii`
2021-06-02 08:25:44 <opqdonut> :t getAll . (All . isAlpha <> All . isAscii) -- let's unwrap
2021-06-02 08:25:44 <lambdabot> Char -> Bool
2021-06-02 08:26:08 <dminuoso> % :t ala Sum foldMap [even, odd]
2021-06-02 08:26:09 <yahb> dminuoso: (Integral a, Num (a -> Bool)) => a -> Bool
2021-06-02 08:26:29 <dminuoso> uh no wait
2021-06-02 08:26:31 <dminuoso> this is strange
2021-06-02 08:26:59 × fendor quits (~fendor@178.165.178.245.wireless.dyn.drei.com) (Ping timeout: 272 seconds)
2021-06-02 08:27:19 <boxscape> % :t cotraverse and [even, odd]
←Prev  Next→
Page 1 .. 238 239 240 241 242 243 244 245 246 247 248 .. 17972

All times are in UTC.