Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1497 1498 1499 1500 1501 1502 1503 1504 1505 1506 1507 .. 5022
— 502,152 events total
2020-11-24 02:14:23 → gentauro joins (~gentauro@unaffiliated/gentauro)
2020-11-24 02:14:29 × st8less quits (~st8less@2603:a060:11fd:0:b95c:25ed:47d7:d69f) (Remote host closed the connection)
2020-11-24 02:14:32 → tasuki joins (~tasuki@198.211.120.27)
2020-11-24 02:14:33 → lambdabot joins (~lambdabot@silicon.int-e.eu)
2020-11-24 02:14:33 × lambdabot quits (~lambdabot@silicon.int-e.eu) (Changing host)
2020-11-24 02:14:33 → lambdabot joins (~lambdabot@haskell/bot/lambdabot)
2020-11-24 02:14:46 → st8less joins (~st8less@2603:a060:11fd:0:bcc7:6823:7a5:d42)
2020-11-24 02:15:34 → RusAlex joins (~Chel@unaffiliated/rusalex)
2020-11-24 02:15:39 <cads> I guess the second question is really two question. i) is it a correct/effective process to take haskell and fiber it into type classes? ii) and can these fibers be related to categories and theories internal to hask
2020-11-24 02:15:57 <cads> to take hask and fiber it*
2020-11-24 02:17:43 × jonatanb quits (jonatanb@gateway/vpn/protonvpn/jonatanb) (Ping timeout: 272 seconds)
2020-11-24 02:21:20 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-24 02:23:00 hackage aspell-pipe 0.6 - Pipe-based interface to the Aspell program https://hackage.haskell.org/package/aspell-pipe-0.6 (JonathanDaugherty)
2020-11-24 02:26:18 → toorevitimirp joins (~tooreviti@117.182.183.18)
2020-11-24 02:26:33 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-11-24 02:27:04 → mpereira joins (~mpereira@2a02:810d:f40:d96:f587:a442:5e3:1e55)
2020-11-24 02:30:47 → conal joins (~conal@64.71.133.70)
2020-11-24 02:30:47 × conal quits (~conal@64.71.133.70) (Client Quit)
2020-11-24 02:30:52 → jonatanb joins (jonatanb@gateway/vpn/protonvpn/jonatanb)
2020-11-24 02:31:01 × borne quits (~fritjof@200116b864880200394a967dc8ef4e61.dip.versatel-1u1.de) (Ping timeout: 272 seconds)
2020-11-24 02:31:39 × mpereira quits (~mpereira@2a02:810d:f40:d96:f587:a442:5e3:1e55) (Ping timeout: 272 seconds)
2020-11-24 02:34:50 × xff0x quits (~fox@2001:1a81:5237:b800:aac7:5690:7e90:eba4) (Ping timeout: 264 seconds)
2020-11-24 02:35:34 × jonatanb quits (jonatanb@gateway/vpn/protonvpn/jonatanb) (Ping timeout: 272 seconds)
2020-11-24 02:36:19 → xff0x joins (~fox@2001:1a81:526f:8600:829e:8d:48d6:9a13)
2020-11-24 02:36:26 → conal joins (~conal@64.71.133.70)
2020-11-24 02:38:02 × conal quits (~conal@64.71.133.70) (Client Quit)
2020-11-24 02:41:27 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2020-11-24 02:41:46 × cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving)
2020-11-24 02:41:52 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-11-24 02:44:36 × cads quits (~cads@ip-64-72-99-232.lasvegas.net) (Ping timeout: 240 seconds)
2020-11-24 02:45:48 → Stanley00 joins (~stanley00@unaffiliated/stanley00)
2020-11-24 02:46:48 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 256 seconds)
2020-11-24 02:51:54 × acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 256 seconds)
2020-11-24 02:52:22 × vollenweider_ quits (~vollenwei@4e69b241.skybroadband.com) (Ping timeout: 246 seconds)
2020-11-24 02:53:32 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-24 02:54:37 gxt_ is now known as gxt
2020-11-24 02:58:02 → drbean joins (~drbean@TC210-63-209-58.static.apol.com.tw)
2020-11-24 03:11:58 × sand_dull quits (~theuser@c-73-149-95-105.hsd1.ct.comcast.net) (Quit: Reconnecting)
2020-11-24 03:12:11 → sand_dull joins (~theuser@c-73-149-95-105.hsd1.ct.comcast.net)
2020-11-24 03:14:24 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-11-24 03:15:45 → jonatanb joins (jonatanb@gateway/vpn/protonvpn/jonatanb)
2020-11-24 03:18:35 × urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna)
2020-11-24 03:18:56 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
2020-11-24 03:19:56 × jonatanb quits (jonatanb@gateway/vpn/protonvpn/jonatanb) (Ping timeout: 240 seconds)
2020-11-24 03:20:05 → conal joins (~conal@64.71.133.70)
2020-11-24 03:20:53 → Saukk joins (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4)
2020-11-24 03:23:45 × phaul quits (~phaul@ruby/staff/phaul) (Ping timeout: 240 seconds)
2020-11-24 03:24:46 → phaul joins (~phaul@ruby/staff/phaul)
2020-11-24 03:25:54 → guest1124 joins (~user@49.5.6.87)
2020-11-24 03:26:09 → falafel_ joins (~falafel@2601:547:1303:b30:7811:313f:d0f3:f9f4)
2020-11-24 03:26:25 × da39a3ee5e6b4b0d quits (~da39a3ee5@171.5.161.165) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-24 03:27:36 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-11-24 03:30:26 × Sheilong quits (uid293653@gateway/web/irccloud.com/x-lkssxccumhdupnut) ()
2020-11-24 03:37:16 → Codaraxis__ joins (Codaraxis@gateway/vpn/mullvad/codaraxis)
2020-11-24 03:39:08 → cads joins (~cads@ip-64-72-99-232.lasvegas.net)
2020-11-24 03:40:08 × machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 256 seconds)
2020-11-24 03:41:23 × Codaraxis_ quits (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Ping timeout: 260 seconds)
2020-11-24 03:41:59 × lagothrix quits (~lagothrix@unaffiliated/lagothrix) (Killed (orwell.freenode.net (Nickname regained by services)))
2020-11-24 03:42:05 → lagothrix joins (~lagothrix@unaffiliated/lagothrix)
2020-11-24 03:42:34 × falafel_ quits (~falafel@2601:547:1303:b30:7811:313f:d0f3:f9f4) (Remote host closed the connection)
2020-11-24 03:43:40 → falafel_ joins (~falafel@2601:547:1303:b30:7811:313f:d0f3:f9f4)
2020-11-24 03:46:12 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-11-24 03:46:36 × theDon quits (~td@94.134.91.120) (Ping timeout: 240 seconds)
2020-11-24 03:47:53 × dolio quits (~dolio@haskell/developer/dolio) (Quit: ZNC 1.8.2 - https://znc.in)
2020-11-24 03:48:43 → theDon joins (~td@muedsl-82-207-238-223.citykom.de)
2020-11-24 03:50:57 → hidedagger joins (~nate@unaffiliated/hidedagger)
2020-11-24 03:51:08 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds)
2020-11-24 03:51:19 <MarcelineVQ> good job, you who is reading this, great work today
2020-11-24 03:52:04 → dolio joins (~dolio@haskell/developer/dolio)
2020-11-24 03:54:42 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-24 03:56:15 <Axman6> @hoogle (a -> a -> a) -> Maybe a -> Maybe a -> Maybe a
2020-11-24 03:56:16 <lambdabot> Linear.Vector liftU2 :: Additive f => (a -> a -> a) -> f a -> f a -> f a
2020-11-24 03:56:16 <lambdabot> Data.Geometry liftU2 :: Additive f => (a -> a -> a) -> f a -> f a -> f a
2020-11-24 03:56:16 <lambdabot> Data.Geometry.Vector liftU2 :: Additive f => (a -> a -> a) -> f a -> f a -> f a
2020-11-24 03:56:21 × hidedagger quits (~nate@unaffiliated/hidedagger) (Quit: WeeChat 2.9)
2020-11-24 03:56:27 → lambda-11235 joins (~lambda-11@2600:1700:7c70:4600:34e8:32b9:5cc3:48e6)
2020-11-24 03:57:00 <MarcelineVQ> liftA2
2020-11-24 03:57:46 × hexfive quits (~hexfive@50-47-142-195.evrt.wa.frontiernet.net) (Quit: i must go. my people need me.)
2020-11-24 03:57:49 <MarcelineVQ> taller cousin of liftA1, aka fmap
2020-11-24 03:59:32 → hexfive joins (~hexfive@50-47-142-195.evrt.wa.frontiernet.net)
2020-11-24 03:59:53 <Axman6> except I'm after the alternative version
2020-11-24 04:00:03 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-11-24 04:00:08 <Axman6> apply the function if both exist, give me the one if one exists
2020-11-24 04:00:38 × falafel_ quits (~falafel@2601:547:1303:b30:7811:313f:d0f3:f9f4) (Ping timeout: 264 seconds)
2020-11-24 04:01:17 <MarcelineVQ> \f x y ->litftA2 f x y <|> x <|> y :>
2020-11-24 04:01:25 <Axman6> yeah
2020-11-24 04:02:06 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-11-24 04:07:03 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds)
2020-11-24 04:07:23 → plutoniix joins (~q@ppp-27-55-84-220.revip3.asianet.co.th)
2020-11-24 04:08:59 → vg joins (~vg@139.59.59.230)
2020-11-24 04:09:14 vg is now known as TooDifficult
2020-11-24 04:10:56 × Tario quits (~Tario@201.192.165.173) (Ping timeout: 240 seconds)
2020-11-24 04:11:37 × Iceland_jack quits (~user@31.124.48.169) (Ping timeout: 264 seconds)
2020-11-24 04:15:49 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-11-24 04:17:53 <jackhill> win 43
2020-11-24 04:19:30 → kaiwkx joins (~user@116.236.159.130)
2020-11-24 04:20:18 × ddellacosta quits (dd@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds)
2020-11-24 04:23:37 × s00pcan quits (~chris@107.181.165.217) (Ping timeout: 264 seconds)
2020-11-24 04:24:14 → conal joins (~conal@64.71.133.70)
2020-11-24 04:25:01 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
←Prev  Next→
Page 1 .. 1497 1498 1499 1500 1501 1502 1503 1504 1505 1506 1507 .. 5022

All times are in UTC.