Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 3511 3512 3513 3514 3515 3516 3517 3518 3519 3520 3521 .. 5022
— 502,152 events total
2021-02-27 07:59:59 → emmanuel_erc joins (~user@2603-7000-9600-01c9-c589-d024-9ed2-1840.res6.spectrum.com)
2021-02-27 08:01:02 → GZJ0X__ joins (~gzj@unaffiliated/gzj)
2021-02-27 08:01:30 pavonia^\_^\ is now known as pavonia
2021-02-27 08:02:06 × desophos quits (~desophos@2601:249:1680:a570:b97d:e49f:4b50:473b) (Read error: Connection reset by peer)
2021-02-27 08:03:18 → da39a3ee5e6b4b0d joins (~da39a3ee5@2403:6200:8876:c8ae:4c2c:c3c0:6062:2fc9)
2021-02-27 08:03:33 × GZJ0X_ quits (~gzj@unaffiliated/gzj) (Ping timeout: 246 seconds)
2021-02-27 08:05:18 × rdivyanshu quits (uid322626@gateway/web/irccloud.com/x-ngsliaqaashyeyvi) (Quit: Connection closed for inactivity)
2021-02-27 08:06:01 × emmanuel_erc quits (~user@2603-7000-9600-01c9-c589-d024-9ed2-1840.res6.spectrum.com) (Read error: Connection reset by peer)
2021-02-27 08:06:42 → emmanuel_erc joins (~user@2603-7000-9600-01c9-c589-d024-9ed2-1840.res6.spectrum.com)
2021-02-27 08:10:36 × Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 240 seconds)
2021-02-27 08:17:13 → Varis joins (~Tadas@unaffiliated/varis)
2021-02-27 08:19:53 × heatsink quits (~heatsink@2600:1700:bef1:5e10:54c9:782b:f60f:635d) (Remote host closed the connection)
2021-02-27 08:19:53 × emmanuel_erc quits (~user@2603-7000-9600-01c9-c589-d024-9ed2-1840.res6.spectrum.com) (Read error: Connection reset by peer)
2021-02-27 08:20:22 → emmanuel_erc joins (~user@2603-7000-9600-01c9-c589-d024-9ed2-1840.res6.spectrum.com)
2021-02-27 08:21:16 → frozenErebus joins (~frozenEre@94.128.219.166)
2021-02-27 08:21:27 <koz_> @unmtl ReaderT r (Cont r') a
2021-02-27 08:21:27 <lambdabot> r -> (a -> r') -> r'
2021-02-27 08:21:36 <koz_> @unmtl ContT r' (Reader r) a
2021-02-27 08:21:36 <lambdabot> (a -> r -> r') -> r -> r'
2021-02-27 08:22:10 → ubert joins (~Thunderbi@p200300ecdf25d93028739d2391791b0e.dip0.t-ipconnect.de)
2021-02-27 08:22:31 × justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 272 seconds)
2021-02-27 08:24:25 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-27 08:24:58 × frozenErebus quits (~frozenEre@94.128.219.166) (Client Quit)
2021-02-27 08:26:23 × emmanuel_erc quits (~user@2603-7000-9600-01c9-c589-d024-9ed2-1840.res6.spectrum.com) (Read error: Connection reset by peer)
2021-02-27 08:27:10 → emmanuel_erc joins (~user@2603-7000-9600-01c9-c589-d024-9ed2-1840.res6.spectrum.com)
2021-02-27 08:28:43 × carldd11 quits (~carldd@90-224-49-113-no56.tbcn.telia.com) (Ping timeout: 256 seconds)
2021-02-27 08:30:03 <jackdk> ARRRR
2021-02-27 08:31:14 <koz_> ARR'R :P
2021-02-27 08:32:08 <Uniaika> :t ARRRR
2021-02-27 08:32:09 <lambdabot> error: Data constructor not in scope: ARRRR
2021-02-27 08:32:27 <Uniaika> jackdk: fix your imporrrrts! :P
2021-02-27 08:32:51 <koz_> Needs more Data.Arrrrrrrray.
2021-02-27 08:33:07 × GZJ0X__ quits (~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-02-27 08:33:28 → GZJ0X__ joins (~gzj@unaffiliated/gzj)
2021-02-27 08:33:28 × emmanuel_erc quits (~user@2603-7000-9600-01c9-c589-d024-9ed2-1840.res6.spectrum.com) (Read error: Connection reset by peer)
2021-02-27 08:33:35 <Uniaika> yup
2021-02-27 08:34:01 → emmanuel_erc joins (~user@2603-7000-9600-01c9-c589-d024-9ed2-1840.res6.spectrum.com)
2021-02-27 08:34:26 × aggin quits (~ecm@103.88.87.10) (Quit: WeeChat 3.0.1)
2021-02-27 08:34:42 <boxscape> looks like combinator calculus to me, just not sure yet what the A and R combinators do
2021-02-27 08:37:43 <koz_> So basically every program is just pirate talk.
2021-02-27 08:39:51 <boxscape> AYE MATEY
2021-02-27 08:40:48 <koz_> What's a pirate's favourite type class?
2021-02-27 08:40:52 <koz_> Answer: Arrow.
2021-02-27 08:44:26 × ubert quits (~Thunderbi@p200300ecdf25d93028739d2391791b0e.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2021-02-27 08:46:49 × emmanuel_erc quits (~user@2603-7000-9600-01c9-c589-d024-9ed2-1840.res6.spectrum.com) (Read error: Connection reset by peer)
2021-02-27 08:47:02 × drbean_ quits (~drbean@TC210-63-209-22.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in)
2021-02-27 08:47:48 → emmanuel_erc joins (~user@2603-7000-9600-01c9-c589-d024-9ed2-1840.res6.spectrum.com)
2021-02-27 08:53:34 × emmanuel_erc quits (~user@2603-7000-9600-01c9-c589-d024-9ed2-1840.res6.spectrum.com) (Read error: Connection reset by peer)
2021-02-27 08:54:31 → emmanuel_erc joins (~user@2603-7000-9600-01c9-c589-d024-9ed2-1840.res6.spectrum.com)
2021-02-27 08:54:40 → andy joins (01c84f1a@1.200.79.26)
2021-02-27 08:55:03 andy is now known as Guest34200
2021-02-27 08:55:30 <Guest34200> hello
2021-02-27 08:55:56 → kit joins (~kit@103.231.91.232)
2021-02-27 08:56:15 × kit quits (~kit@103.231.91.232) (Client Quit)
2021-02-27 08:59:50 <boxscape> hey
2021-02-27 09:01:56 × redmp quits (~redmp@172.58.35.77) (Ping timeout: 240 seconds)
2021-02-27 09:05:03 <Guest34200> is anyone familiar with hip? i'm trying to use it to read an image and then represent the pixels of the image in a list of doubles. can someone point me in the right direction? i've tried using readImageY but that seems to give me the type IO (Image arr Y Double) and i'm not sure how to convert from here
2021-02-27 09:05:35 → borne joins (~fritjof@2a06:8782:ffbb:1337:2133:4ed6:e22f:c3eb)
2021-02-27 09:09:14 → hendursa1 joins (~weechat@gateway/tor-sasl/hendursaga)
2021-02-27 09:09:57 × hendursaga quits (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 268 seconds)
2021-02-27 09:10:15 → Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2021-02-27 09:13:55 × emmanuel_erc quits (~user@2603-7000-9600-01c9-c589-d024-9ed2-1840.res6.spectrum.com) (Read error: Connection reset by peer)
2021-02-27 09:14:35 → emmanuel_erc joins (~user@2603-7000-9600-01c9-c589-d024-9ed2-1840.res6.spectrum.com)
2021-02-27 09:19:18 → Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck)
2021-02-27 09:20:37 → heatsink joins (~heatsink@2600:1700:bef1:5e10:4406:ac3b:67d1:16b9)
2021-02-27 09:20:41 × emmanuel_erc quits (~user@2603-7000-9600-01c9-c589-d024-9ed2-1840.res6.spectrum.com) (Read error: Connection reset by peer)
2021-02-27 09:21:54 → emmanuel_erc joins (~user@2603-7000-9600-01c9-c589-d024-9ed2-1840.res6.spectrum.com)
2021-02-27 09:22:25 × dwts_ quits (pid@gateway/shell/blinkenshell.org/x-cbprcwhcmsnoinei) (Remote host closed the connection)
2021-02-27 09:25:01 → _ht joins (~quassel@82-169-194-8.biz.kpn.net)
2021-02-27 09:27:02 × xff0x quits (~xff0x@2001:1a81:5311:f400:5eb:94a4:8141:c21f) (Ping timeout: 264 seconds)
2021-02-27 09:27:33 → xff0x joins (~xff0x@2001:1a81:5311:f400:9530:24a1:6c01:a8d6)
2021-02-27 09:27:33 × emmanuel_erc quits (~user@2603-7000-9600-01c9-c589-d024-9ed2-1840.res6.spectrum.com) (Read error: Connection reset by peer)
2021-02-27 09:28:10 → emmanuel_erc joins (~user@2603-7000-9600-01c9-c589-d024-9ed2-1840.res6.spectrum.com)
2021-02-27 09:29:26 × heatsink quits (~heatsink@2600:1700:bef1:5e10:4406:ac3b:67d1:16b9) (Ping timeout: 264 seconds)
2021-02-27 09:30:02 × Yumasi quits (~guillaume@2a01:e0a:5cb:4430:2f12:f782:a87b:e2ae) (Ping timeout: 264 seconds)
2021-02-27 09:31:32 <tomsmeding> Guest34200: not familiar with hip, but you might want to try https://hackage.haskell.org/package/hip-1.5.6.0/docs/Graphics-Image-Interface.html#v:toVector ?
2021-02-27 09:33:05 × vicfred quits (~vicfred@unaffiliated/vicfred) (Read error: Connection reset by peer)
2021-02-27 09:35:01 → vicfred joins (~vicfred@unaffiliated/vicfred)
2021-02-27 09:38:45 → sQVe joins (~sQVe@unaffiliated/sqve)
2021-02-27 09:40:52 × puffnfresh_ quits (~puffnfres@45.76.124.5) (Quit: ZNC 1.8.0 - https://znc.in)
2021-02-27 09:41:11 × emmanuel_erc quits (~user@2603-7000-9600-01c9-c589-d024-9ed2-1840.res6.spectrum.com) (Read error: Connection reset by peer)
2021-02-27 09:41:23 × nineonin_ quits (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) (Remote host closed the connection)
2021-02-27 09:41:49 → emmanuel_erc joins (~user@2603-7000-9600-01c9-c589-d024-9ed2-1840.res6.spectrum.com)
2021-02-27 09:41:59 → nineonine joins (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3)
2021-02-27 09:42:06 → bergey joins (~user@pool-74-108-99-127.nycmny.fios.verizon.net)
2021-02-27 09:43:38 × BIG_JIMMY_D quits (~jim@108.61.185.76) (Ping timeout: 265 seconds)
2021-02-27 09:44:15 → puffnfresh_ joins (~puffnfres@45.76.124.5)
2021-02-27 09:45:34 × raym quits (~ray@45.64.220.3) (Quit: leaving)
2021-02-27 09:46:45 × nineonine quits (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) (Ping timeout: 272 seconds)
2021-02-27 09:47:17 × Feuermagier quits (~Feuermagi@213.178.26.41) (Quit: Leaving)
2021-02-27 09:47:29 <ij> I am trying out the hip library and I noticed that if the channel's value is constrained by Interface.Elevator.Elevator e, then I can't write an image, because the concrete value is undecidable. If I divide the image (and thus channels) by (/ 400), then channel becomes (Elevator e, Fractional e) and then it collapses into something concrete/digestable for writeImage. How does that work from the
2021-02-27 09:47:30 <ij> type system perspective?
2021-02-27 09:47:30 × bergey quits (~user@pool-74-108-99-127.nycmny.fios.verizon.net) (Ping timeout: 265 seconds)
2021-02-27 09:48:31 <ij> When I give it to writeImage, that also puts more constraints on the channel type, but still – how does anything end up being concrete after putting multiple constraints on it?
2021-02-27 09:49:01 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 276 seconds)
2021-02-27 09:49:08 → BIG_JIMMY_D joins (~jim@108.61.185.76)
2021-02-27 09:49:12 <ij> ha, it's hip day today, I guess
2021-02-27 09:52:03 × psutcliffe quits (~psutcliff@2a00:801:3f2:4b56:e93e:1663:ff0c:6c42) (Quit: Leaving)
2021-02-27 09:52:22 <ij> Guest34200, you might have to constrain arr to VS like in the Graphics.Image.IO docs example
2021-02-27 09:54:31 <ij> this works for me: :t readImageExact JPG "images/frog.jpg" :: IO (Either String (Image VS Y Double))
←Prev  Next→
Page 1 .. 3511 3512 3513 3514 3515 3516 3517 3518 3519 3520 3521 .. 5022

All times are in UTC.