Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 4007 4008 4009 4010 4011 4012 4013 4014 4015 4016 4017 .. 5022
— 502,152 events total
2021-03-24 17:46:04 <hololeap> thanks everyone. i need some time to let this sink in
2021-03-24 17:46:18 × apeyroux quits (~alex@78.20.138.88.rev.sfr.net) (Ping timeout: 245 seconds)
2021-03-24 17:46:48 × ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-03-24 17:48:26 → s00pcan joins (~chris@075-133-056-178.res.spectrum.com)
2021-03-24 17:49:26 ski . o O ( `onlyFromRight :: Either Void a -> a; onlyFromRight = either void id' )
2021-03-24 17:49:29 <ski> @type fromRight
2021-03-24 17:49:31 <lambdabot> b -> Either a b -> b
2021-03-24 17:50:04 → ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-03-24 17:50:49 × peanut_ quits (~peanut_@2a02:8388:a101:2600:4b2:18d8:9396:5c4f) (Quit: Leaving)
2021-03-24 17:52:31 × s00pcan quits (~chris@075-133-056-178.res.spectrum.com) (Read error: Connection reset by peer)
2021-03-24 17:53:10 ski . o O ( `onlySnd :: ((),a) -> a; onlySnd ((),a) = a' )
2021-03-24 17:54:33 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2021-03-24 17:54:38 × cyphase quits (~cyphase@unaffiliated/cyphase) (Ping timeout: 258 seconds)
2021-03-24 17:54:38 × emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-24 17:55:04 → emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-24 17:57:11 → cyphase joins (~cyphase@unaffiliated/cyphase)
2021-03-24 17:59:12 × wallacer quits (~quassel@2001:bc8:1824:9a:cafe:babe:b00b:aa01) (Ping timeout: 244 seconds)
2021-03-24 17:59:38 × jespada quits (~jespada@90.254.243.187) (Ping timeout: 245 seconds)
2021-03-24 17:59:44 → borne joins (~fritjof@200116b8644f8c00bc09546e2ac68572.dip.versatel-1u1.de)
2021-03-24 18:01:40 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-24 18:02:15 × ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-03-24 18:03:06 → jespada joins (~jespada@90.254.243.187)
2021-03-24 18:06:18 × Major_Biscuit quits (~Major_Bis@82-169-100-198.biz.kpn.net) (Quit: WeeChat 3.0.1)
2021-03-24 18:07:00 → wallacer joins (~quassel@2001:bc8:1824:9a:cafe:babe:b00b:aa01)
2021-03-24 18:07:00 × wallacer quits (~quassel@2001:bc8:1824:9a:cafe:babe:b00b:aa01) (Max SendQ exceeded)
2021-03-24 18:07:10 → wallacer joins (~quassel@2001:bc8:1824:9a:cafe:babe:b00b:aa01)
2021-03-24 18:07:11 × wallacer quits (~quassel@2001:bc8:1824:9a:cafe:babe:b00b:aa01) (Max SendQ exceeded)
2021-03-24 18:07:17 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-03-24 18:07:22 → wallacer joins (~quassel@2001:bc8:1824:9a:cafe:babe:b00b:aa01)
2021-03-24 18:07:22 × wallacer quits (~quassel@2001:bc8:1824:9a:cafe:babe:b00b:aa01) (Max SendQ exceeded)
2021-03-24 18:07:23 <hololeap> ski: "... you know that there are no (total) elements of `a' ..." what do you mean by total elements?
2021-03-24 18:07:33 → wallacer joins (~quassel@2001:bc8:1824:9a:cafe:babe:b00b:aa01)
2021-03-24 18:07:34 × wallacer quits (~quassel@2001:bc8:1824:9a:cafe:babe:b00b:aa01) (Max SendQ exceeded)
2021-03-24 18:07:39 → __monty__ joins (~toonn@unaffiliated/toonn)
2021-03-24 18:07:43 → wallacer joins (~quassel@2001:bc8:1824:9a:cafe:babe:b00b:aa01)
2021-03-24 18:07:44 × wallacer quits (~quassel@2001:bc8:1824:9a:cafe:babe:b00b:aa01) (Max SendQ exceeded)
2021-03-24 18:07:55 → wallacer joins (~quassel@2001:bc8:1824:9a:cafe:babe:b00b:aa01)
2021-03-24 18:07:55 × wallacer quits (~quassel@2001:bc8:1824:9a:cafe:babe:b00b:aa01) (Max SendQ exceeded)
2021-03-24 18:09:47 → Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2021-03-24 18:10:28 × malumore quits (~malumore@151.62.115.239) (Ping timeout: 245 seconds)
2021-03-24 18:10:39 × dandart quits (~Thunderbi@home.dandart.co.uk) (Quit: dandart)
2021-03-24 18:15:04 <hololeap> is this part of the idea that Hask has an extra 'bottom' element for every type?
2021-03-24 18:15:09 → juri_ joins (~juri@212.86.35.86)
2021-03-24 18:15:26 <hololeap> so Void isn't quite devoid of elements?
2021-03-24 18:17:00 × dyeplexer quits (~lol@unaffiliated/terpin) (Remote host closed the connection)
2021-03-24 18:17:47 → ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-03-24 18:18:00 × juri_ quits (~juri@212.86.35.86) (Read error: Connection reset by peer)
2021-03-24 18:20:13 → juri_ joins (~juri@212.86.35.86)
2021-03-24 18:22:17 × ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 256 seconds)
2021-03-24 18:22:38 <maerwald> how do you convert ByteArray# to a ByteString?
2021-03-24 18:23:05 × Foritus quits (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Quit: ლ(ಠ益ಠლ) .:. <Ashley> my porn is hidden in a folder called "BBC Micro Emulator")
2021-03-24 18:23:38 → Tops2 joins (~Tobias@dyndsl-095-033-092-175.ewe-ip-backbone.de)
2021-03-24 18:25:35 × zebrag quits (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-24 18:25:54 → juuandyy joins (~juuandyy@90.106.228.121)
2021-03-24 18:25:57 → zebrag joins (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr)
2021-03-24 18:28:03 → apeyroux joins (~alex@78.20.138.88.rev.sfr.net)
2021-03-24 18:28:27 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-03-24 18:28:27 × emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-24 18:28:31 <ski> hololeap : `undefined'/`_|_' and `2 : undefined'/`2 : _|_' being partial (not total) elements of `[Integer]'
2021-03-24 18:28:33 × borne quits (~fritjof@200116b8644f8c00bc09546e2ac68572.dip.versatel-1u1.de) (Ping timeout: 272 seconds)
2021-03-24 18:28:40 → emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-24 18:28:46 <ski> hololeap : yes
2021-03-24 18:28:47 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-24 18:29:25 → ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-03-24 18:33:37 → geekosaur joins (42d52137@66.213.33.55)
2021-03-24 18:33:57 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds)
2021-03-24 18:34:34 → s00pcan joins (~chris@075-133-056-178.res.spectrum.com)
2021-03-24 18:34:58 × kmein quits (~weechat@static.173.83.99.88.clients.your-server.de) (Quit: ciao kakao)
2021-03-24 18:35:15 → kmein joins (~weechat@static.173.83.99.88.clients.your-server.de)
2021-03-24 18:36:03 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-24 18:36:52 <monochrom> maerwald: Looks like copying is unavoidable because ByteString uses ForeignPtr Word8.
2021-03-24 18:37:27 × apeyroux quits (~alex@78.20.138.88.rev.sfr.net) (Ping timeout: 260 seconds)
2021-03-24 18:37:50 <monochrom> And possibly manual coding up that copying, at that.
2021-03-24 18:40:23 → cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-03-24 18:40:54 × juuandyy quits (~juuandyy@90.106.228.121) (Quit: Konversation terminated!)
2021-03-24 18:42:05 → juuandyy joins (~juuandyy@90.106.228.121)
2021-03-24 18:42:05 × emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-24 18:42:23 → emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-24 18:48:40 → malumore joins (~malumore@151.62.115.239)
2021-03-24 18:48:41 × emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-24 18:48:59 → emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-24 18:49:45 × frozenErebus quits (~frozenEre@94.128.81.87) (Ping timeout: 264 seconds)
2021-03-24 18:49:59 → jamm_ joins (~jamm@unaffiliated/jamm)
2021-03-24 18:50:26 × Kaeipi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-03-24 18:50:42 → Kaeipi joins (~Kaiepi@47.54.252.148)
2021-03-24 18:53:11 → frozenErebus joins (~frozenEre@94.128.81.87)
2021-03-24 18:53:59 × todda7 quits (~torstein@2a02:587:1b19:7e00:c6c7:4f08:2883:aa95) (Ping timeout: 265 seconds)
2021-03-24 18:54:38 × jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds)
2021-03-24 18:56:09 × molehillish quits (~molehilli@2600:8800:8d06:1800:a4ec:e3c6:6b54:caa8) (Remote host closed the connection)
2021-03-24 18:56:45 → molehillish joins (~molehilli@2600:8800:8d06:1800:a4ec:e3c6:6b54:caa8)
2021-03-24 19:00:21 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-03-24 19:00:41 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-24 19:01:20 → todda7 joins (~torstein@2a02:587:1b17:de00:b1fa:5a99:4acf:bd72)
2021-03-24 19:02:14 → jamm_ joins (~jamm@unaffiliated/jamm)
2021-03-24 19:02:35 × xelxebar_ quits (~xelxebar@gateway/tor-sasl/xelxebar) (Remote host closed the connection)
2021-03-24 19:03:00 → xelxebar joins (~xelxebar@gateway/tor-sasl/xelxebar)
2021-03-24 19:03:15 × berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 240 seconds)
2021-03-24 19:03:24 × molehillish quits (~molehilli@2600:8800:8d06:1800:a4ec:e3c6:6b54:caa8) (Ping timeout: 268 seconds)
2021-03-24 19:03:29 → berberman_ joins (~berberman@unaffiliated/berberman)
2021-03-24 19:03:36 → nuncanada joins (~dude@179.235.160.168)
←Prev  Next→
Page 1 .. 4007 4008 4009 4010 4011 4012 4013 4014 4015 4016 4017 .. 5022

All times are in UTC.