2024/03/28

Newest at the top

2024-03-28 16:45:47 +0100danza(~francesco@151.47.130.237) (Ping timeout: 260 seconds)
2024-03-28 16:40:34 +0100mei(~mei@user/mei)
2024-03-28 16:39:37 +0100 <geekosaur> .oO ( shameless plugin )
2024-03-28 16:39:16 +0100 <lyxia> shameless plug: https://hackage.haskell.org/package/driving-classes-plugin
2024-03-28 16:38:59 +0100sawilagar(~sawilagar@user/sawilagar)
2024-03-28 16:38:16 +0100 <lyxia> yeah, or a plugin
2024-03-28 16:38:08 +0100mei(~mei@user/mei) (Remote host closed the connection)
2024-03-28 16:37:24 +0100adanwan(~adanwan@gateway/tor-sasl/adanwan)
2024-03-28 16:37:16 +0100 <PoolloverNathan> so TH it is?
2024-03-28 16:37:05 +0100adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2024-03-28 16:36:20 +0100 <lyxia> sadly there are no shortcuts for deriving
2024-03-28 16:35:53 +0100 <ncf> with the right extensions you can use Useful in constraints. not sure about deriving
2024-03-28 16:32:37 +0100magus3(~Thunderbi@189.6.35.139) (Quit: magus3)
2024-03-28 16:31:38 +0100 <PoolloverNathan> can I do e.g. type Useful a = (Eq a, Show a, Read a, …); deriving instance Useful Foo so I don't need to write each instance by hand? I also want to use Useful in constraints
2024-03-28 16:28:58 +0100PoolloverNathan(~u0_a408@108.145.176.1)
2024-03-28 16:23:38 +0100infinity0(~infinity0@pwned.gg)
2024-03-28 16:21:30 +0100infinity0(~infinity0@pwned.gg) (Remote host closed the connection)
2024-03-28 16:20:02 +0100infinity0(~infinity0@pwned.gg)
2024-03-28 16:19:33 +0100alexherbo2(~alexherbo@2a02-8440-3341-331a-5cd1-1218-580b-b9b4.rev.sfr.net) (Remote host closed the connection)
2024-03-28 16:16:57 +0100gabiruh(~gabiruh@vps19177.publiccloud.com.br)
2024-03-28 16:13:06 +0100infinity0(~infinity0@pwned.gg) (Remote host closed the connection)
2024-03-28 16:10:13 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-03-28 16:04:30 +0100 <hackyhacker> lyxia ah ok thanks
2024-03-28 15:59:01 +0100 <lyxia> hackyhacker: Data.Text.Internal.Text is Text
2024-03-28 15:59:00 +0100 <hackyhacker> Ah it's the default value for Text.Pandoc.Options.WriterOptions
2024-03-28 15:57:06 +0100 <hackyhacker> Ah no it's defined in data-default-class
2024-03-28 15:55:30 +0100 <hackyhacker> ncf So pandoc has a variable define 'def' which you pass to functions that read and write Pandocs which I thought was some sort of settings object and I thought it had Data.Text.Internal.Text instead of the normal Text as default type for string like things.
2024-03-28 15:55:12 +0100hackyhacker(~hackyhack@126.171-78-194.adsl-static.isp.belgacom.be)
2024-03-28 15:54:33 +0100danza(~francesco@151.47.130.237)
2024-03-28 15:50:30 +0100ubert(~Thunderbi@2a02:8109:ab8a:5a00:32c6:3a7:b5af:10e3) (Quit: ubert)
2024-03-28 15:49:51 +0100gabiruh(~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in)
2024-03-28 15:47:32 +0100abrar(~abrar@pool-72-78-199-167.phlapa.fios.verizon.net)
2024-03-28 15:46:39 +0100abrar(~abrar@pool-72-78-199-167.phlapa.fios.verizon.net) (Quit: WeeChat 4.1.1)
2024-03-28 15:43:06 +0100yin(~yin@user/zero) (Quit: Lost terminal)
2024-03-28 15:43:05 +0100Sgeo(~Sgeo@user/sgeo)
2024-03-28 15:37:38 +0100Inst(~Inst@120.244.192.126)
2024-03-28 15:37:07 +0100Inst(~Inst@120.244.192.126) (Max SendQ exceeded)
2024-03-28 15:36:41 +0100Inst(~Inst@120.244.192.126)
2024-03-28 15:36:08 +0100Inst(~Inst@120.244.192.126) (Ping timeout: 268 seconds)
2024-03-28 15:36:05 +0100[Leary](~Leary]@user/Leary/x-0910699) (Remote host closed the connection)
2024-03-28 15:35:39 +0100 <fedorafansuper> offtopic
2024-03-28 15:35:27 +0100 <fedorafansuper> or somehting
2024-03-28 15:35:24 +0100 <fedorafansuper> death penalty
2024-03-28 15:35:21 +0100 <fedorafansuper> do you thin there will be judgement because of the last stupid years
2024-03-28 15:33:56 +0100drdo2drdo
2024-03-28 15:33:55 +0100drdo(~drdo@bl5-29-74.dsl.telepac.pt) (Ping timeout: 255 seconds)
2024-03-28 15:33:18 +0100 <fedorafansuper> supermode so be careful yeah
2024-03-28 15:33:11 +0100 <fedorafansuper> oh
2024-03-28 15:33:06 +0100 <fedorafansuper> :D
2024-03-28 15:33:05 +0100 <fedorafansuper> divya``` i am an idler dont destroy my flow