2024/03/28

Newest at the top

2024-03-28 18:37:18 +0100Guest52(~Guest52@110.235.239.168) (Client Quit)
2024-03-28 18:36:47 +0100Guest97(~Guest97@216.165.217.88)
2024-03-28 18:35:21 +0100CiaoSen(~Jura@2a05:5800:2c1:2d00:e6b9:7aff:fe80:3d03) (Ping timeout: 256 seconds)
2024-03-28 18:32:34 +0100Guest52(~Guest52@110.235.239.168)
2024-03-28 18:30:20 +0100ph88(~ph88@91.64.63.48) (Ping timeout: 268 seconds)
2024-03-28 18:19:06 +0100alexherbo2(~alexherbo@2a02-8440-3341-331a-5cd1-1218-580b-b9b4.rev.sfr.net) (Remote host closed the connection)
2024-03-28 18:15:19 +0100tzh(~tzh@c-73-164-206-160.hsd1.or.comcast.net)
2024-03-28 18:15:01 +0100tzh(~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Read error: Connection reset by peer)
2024-03-28 18:15:00 +0100divya```(~user@2409:40e2:22:c013:945c:f9ff:fe1f:6047) (Ping timeout: 255 seconds)
2024-03-28 18:12:47 +0100mstksgjle`
2024-03-28 18:12:32 +0100 <mstksg> .oO ( shamless plugin plug )
2024-03-28 18:07:52 +0100alexherbo2(~alexherbo@2a02-8440-3341-331a-5cd1-1218-580b-b9b4.rev.sfr.net)
2024-03-28 18:06:44 +0100mmhat(~mmh@p200300f1c706a268ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.2.1)
2024-03-28 18:06:23 +0100igemnace(~ian@user/igemnace) (Quit: WeeChat 4.2.1)
2024-03-28 18:01:05 +0100igemnace(~ian@user/igemnace)
2024-03-28 17:53:26 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2024-03-28 17:49:43 +0100_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2024-03-28 17:49:32 +0100L29Ah(~L29Ah@wikipedia/L29Ah)
2024-03-28 17:46:57 +0100zetef(~quassel@2a02:2f00:5308:3500:36d7:557f:4ad5:f7e3)
2024-03-28 17:46:09 +0100hackyhacker(~hackyhack@126.171-78-194.adsl-static.isp.belgacom.be) (Quit: Client closed)
2024-03-28 17:44:22 +0100igemnace(~ian@user/igemnace) (Read error: Connection reset by peer)
2024-03-28 17:35:14 +0100Achylles(~Achylles_@45.182.57.57)
2024-03-28 17:34:03 +0100danza(~francesco@151.47.130.237)
2024-03-28 17:27:26 +0100L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 268 seconds)
2024-03-28 17:24:48 +0100acidjnk_new(~acidjnk@p200300d6e714dc9271191991819977af.dip0.t-ipconnect.de)
2024-03-28 17:20:08 +0100shapr`(~user@c-24-218-186-89.hsd1.ma.comcast.net) (Client Quit)
2024-03-28 17:19:38 +0100shapr`(~user@c-24-218-186-89.hsd1.ma.comcast.net)
2024-03-28 17:10:42 +0100adanwan(~adanwan@gateway/tor-sasl/adanwan)
2024-03-28 17:10:30 +0100shapr(~user@c-24-218-186-89.hsd1.ma.comcast.net)
2024-03-28 17:10:27 +0100adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2024-03-28 17:09:45 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer)
2024-03-28 17:04:40 +0100tzh(~tzh@c-73-164-206-160.hsd1.or.comcast.net)
2024-03-28 17:02:09 +0100acidjnk_new(~acidjnk@p200300d6e714dc9271191991819977af.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2024-03-28 16:57:49 +0100econo_(uid147250@id-147250.tinside.irccloud.com)
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)