Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 843 844 845 846 847 848 849 850 851 852 853 .. 5022
— 502,152 events total
2020-10-24 22:48:38 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:fc8f:46b9:ad7f:fbe6) (Client Quit)
2020-10-24 22:48:39 <frdg> c_wraith: `(floor . max 0 . min 1 :: Double -> Int) vs (floor . (*5) . max 0 . min 1 :: Double -> Int)` isn't the image of both of these functions infinite?
2020-10-24 22:49:45 <c_wraith> nope. The first one has the image [0, 1]. the second has the image [0, 1, 2, 3, 4, 5]
2020-10-24 22:50:09 <c_wraith> err. those are finite sets, not some sort of range notation
2020-10-24 22:51:13 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:fc8f:46b9:ad7f:fbe6)
2020-10-24 22:51:46 <frdg> I see it now
2020-10-24 22:51:48 → dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-10-24 22:52:33 <frdg> there goes my theory
2020-10-24 22:54:40 <monsterchrom> oops
2020-10-24 22:54:42 <c_wraith> monsterchrom was referring to a simpler statement, which *is* trivially true. Composing two functions together results in an image with a size at most the max of the sizes of the two individual functions.
2020-10-24 22:55:03 <c_wraith> But when you are allowed to insert intermediate steps, things are no longer that simple
2020-10-24 22:56:04 × Foritus quits (~buggery@cpc91334-watf11-2-0-cust153.15-2.cable.virginm.net) (Quit: ლ(ಠ益ಠლ) .:. <Ashley> my porn is hidden in a folder called "BBC Micro Emulator")
2020-10-24 22:56:46 × dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 272 seconds)
2020-10-24 22:58:20 → Jimi2M0ITI joins (~JimiMM0JT@unaffiliated/jimimm0jtx)
2020-10-24 22:58:56 × Jimi2M0ITI quits (~JimiMM0JT@unaffiliated/jimimm0jtx) (Client Quit)
2020-10-24 22:59:38 → MikeD joins (ad5822ca@cpe-173-88-34-202.columbus.res.rr.com)
2020-10-24 23:01:48 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-24 23:01:52 × fendor_ quits (~fendor@178.115.130.136.wireless.dyn.drei.com) (Remote host closed the connection)
2020-10-24 23:02:07 → Jimi2M0ITI joins (~JimiMM0JT@unaffiliated/jimimm0jtx)
2020-10-24 23:02:21 × alp quits (~alp@2a01:e0a:58b:4920:60bf:7356:ce9b:9eec) (Ping timeout: 272 seconds)
2020-10-24 23:02:31 × vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2020-10-24 23:02:56 × Jimi2M0ITI quits (~JimiMM0JT@unaffiliated/jimimm0jtx) (Client Quit)
2020-10-24 23:03:14 × renzhi quits (~renzhi@modemcable070.17-177-173.mc.videotron.ca) (Ping timeout: 258 seconds)
2020-10-24 23:03:32 → Jimi2M0ITI joins (~JimiMM0JT@unaffiliated/jimimm0jtx)
2020-10-24 23:03:50 → Neo-- joins (~neo@188-230-154-134.dynamic.t-2.net)
2020-10-24 23:04:39 × Jimi2M0ITI quits (~JimiMM0JT@unaffiliated/jimimm0jtx) (Client Quit)
2020-10-24 23:05:22 → Foritus joins (~buggery@cpc91334-watf11-2-0-cust153.15-2.cable.virginm.net)
2020-10-24 23:08:55 → christo joins (~chris@81.96.113.213)
2020-10-24 23:09:27 × mimi_vx quits (~mimi@2a01:490:16:1026:b095:5d2a:db18:3291) (Ping timeout: 260 seconds)
2020-10-24 23:09:34 → kewa joins (55aec1a1@85.174.193.161)
2020-10-24 23:12:07 × Foritus quits (~buggery@cpc91334-watf11-2-0-cust153.15-2.cable.virginm.net) (Quit: ლ(ಠ益ಠლ) .:. <Ashley> my porn is hidden in a folder called "BBC Micro Emulator")
2020-10-24 23:12:44 → Foritus joins (~buggery@cpc91334-watf11-2-0-cust153.15-2.cable.virginm.net)
2020-10-24 23:12:47 <kewa> Hi! Is this chat alive?
2020-10-24 23:12:49 × Neo-- quits (~neo@188-230-154-134.dynamic.t-2.net) (Ping timeout: 264 seconds)
2020-10-24 23:13:33 × christo quits (~chris@81.96.113.213) (Ping timeout: 260 seconds)
2020-10-24 23:15:55 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:fc8f:46b9:ad7f:fbe6) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-24 23:16:48 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:fc8f:46b9:ad7f:fbe6)
2020-10-24 23:19:25 <Ariakenom> kewa, sure
2020-10-24 23:19:38 → xerox_ joins (~xerox@unaffiliated/xerox)
2020-10-24 23:20:45 → geowiesnot joins (~user@87-89-181-157.abo.bbox.fr)
2020-10-24 23:23:46 <koz_> kewa: No, we are all turingrade AIs.
2020-10-24 23:27:21 → dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-10-24 23:29:16 × invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 256 seconds)
2020-10-24 23:29:21 ← kewa parts (55aec1a1@85.174.193.161) ()
2020-10-24 23:31:05 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-10-24 23:31:59 × dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 258 seconds)
2020-10-24 23:36:00 <monsterchrom> That counts as alive.
2020-10-24 23:38:56 → andybkof2001 joins (~andybkof2@fixed-187-188-9-123.totalplay.net)
2020-10-24 23:38:57 × damianfral quits (~damianfra@177.red-2-142-221.dynamicip.rima-tde.net) (Ping timeout: 260 seconds)
2020-10-24 23:39:05 <andybkof2001> made your area like quebec and speak german, in the frontier méxico with texas,the flag is in the frontier, in horizont orange almost dark like brick in up, in half gray aluminum, and in down blue sky day, with letter L red shinning thick, no very thick just 1 cm and 4 mm with red fire in the right side in line like shadow the same red shinnig 9 mm right, at the left side 1 mm of shadow,
2020-10-24 23:39:05 <andybkof2001> and in down 3 mm of shadow red shinnig all the shadows stiked at the L the L no with waves in line 9 mm of fire 1 left and 3 in down , the L in the center of the new german flag occupying the entire gray strip with the shadow, the name is Deutcsh, coin deutsches. let the giants play baskectball with the browns.learn german https://app.memrise.com/course/920/5000-german-words-top-87/1/ copy
2020-10-24 23:39:05 <andybkof2001> the adress of the page, and paste somewhere, for read it later, go at the bookseller and ask for the diccionary english german and read it verbatim, https://www.youtube.com/watch?v=Y6DNjM4s-zw
2020-10-24 23:40:24 ChanServ sets mode +o monsterchrom
2020-10-24 23:40:30 monsterchrom sets mode +b *!*@fixed-187-188-9-123.totalplay.net
2020-10-24 23:40:30 andybkof2001 is kicked by monsterchrom (andybkof2001)
2020-10-24 23:40:44 → pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net)
2020-10-24 23:45:17 monsterchrom sets mode -b+b *!*@fixed-187-188-9-123.totalplay.net andybkof2001!*@*
2020-10-24 23:45:36 <monsterchrom> Let's see how well that holds up.
2020-10-24 23:45:45 <Kolkrabe> Looking at some nicks, I would say the channel is undead rather than alive :p
2020-10-24 23:45:46 monsterchrom sets mode -o monsterchrom
2020-10-24 23:45:53 <monsterchrom> Haha
2020-10-24 23:47:19 × kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection)
2020-10-24 23:49:09 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-24 23:54:42 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-10-24 23:58:04 → Zer000 joins (~Zer000@64.137.132.26)
2020-10-25 00:00:02 × [42]1 quits (~42]@195.206.169.184) ()
2020-10-25 00:00:05 × Zer000 quits (~Zer000@64.137.132.26) (Client Quit)
2020-10-25 00:02:06 <c_wraith> I've been told I should return to life for the holiday, but that'd just be too confusing.
2020-10-25 00:02:11 <c_wraith> :t confusing
2020-10-25 00:02:13 <lambdabot> Applicative f => LensLike (Data.Functor.Day.Curried.Curried (Data.Functor.Yoneda.Yoneda f) (Data.Functor.Yoneda.Yoneda f)) s t a b -> LensLike f s t a b
2020-10-25 00:02:52 × Foritus quits (~buggery@cpc91334-watf11-2-0-cust153.15-2.cable.virginm.net) (Quit: ლ(ಠ益ಠლ) .:. <Ashley> my porn is hidden in a folder called "BBC Micro Emulator")
2020-10-25 00:04:00 → Foritus joins (~buggery@cpc91334-watf11-2-0-cust153.15-2.cable.virginm.net)
2020-10-25 00:04:53 → dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-10-25 00:05:14 → christo joins (~chris@81.96.113.213)
2020-10-25 00:06:11 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-25 00:09:02 <monsterchrom> Another direction you could consider is elevating from a wraith to an abstract factory that makes more wraiths.
2020-10-25 00:09:09 → jedws joins (~jedws@101.184.148.229)
2020-10-25 00:09:48 × dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 260 seconds)
2020-10-25 00:13:20 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:fc8f:46b9:ad7f:fbe6) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-25 00:14:39 × m0rphism quits (~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de) (Ping timeout: 265 seconds)
2020-10-25 00:18:30 × shafox quits (~shafox@106.51.234.111) (Remote host closed the connection)
2020-10-25 00:18:35 × frdg quits (47b88ff9@pool-71-184-143-249.bstnma.fios.verizon.net) (Remote host closed the connection)
2020-10-25 00:18:38 → vicfred joins (~vicfred@unaffiliated/vicfred)
2020-10-25 00:21:06 → kensanata joins (~kensanata@185.204.1.185)
2020-10-25 00:21:14 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-25 00:23:41 × brettgilio quits (~brettgili@brettgilio.com) (Quit: Long live IRC! <https://brettgilio.com>)
2020-10-25 00:24:03 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:fc8f:46b9:ad7f:fbe6)
2020-10-25 00:24:39 → brettgilio joins (~brettgili@brettgilio.com)
2020-10-25 00:25:06 × GyroW_ quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-25 00:25:25 → GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-25 00:25:25 × GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-25 00:25:25 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-25 00:26:02 → mimi_vx joins (~mimi@2a01:490:16:1026:b095:5d2a:db18:3291)
2020-10-25 00:26:05 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-10-25 00:26:55 × Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-10-25 00:27:16 → CMCDragonkai1 joins (~Thunderbi@124.19.3.250)
2020-10-25 00:27:43 guy_lombardo is now known as privalovy_lekvar
2020-10-25 00:28:08 × Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa)
2020-10-25 00:28:40 × geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 265 seconds)
2020-10-25 00:30:04 → Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
←Prev  Next→
Page 1 .. 843 844 845 846 847 848 849 850 851 852 853 .. 5022

All times are in UTC.