Home liberachat/#haskell: Logs Calendar

Logs on 2025-01-18 (liberachat/#haskell)

00:03:18 × simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds)
00:08:40 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
00:13:18 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
00:13:45 → peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
00:15:31 → tallcatparade joins (~tallcatpa@2600:8801:9801:d600::c83b)
00:16:07 × machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds)
00:18:30 → simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
00:24:02 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
00:24:21 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds)
00:30:36 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
00:33:57 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
00:38:29 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
00:42:38 → Sgeo joins (~Sgeo@user/sgeo)
00:48:49 <homo> trying to convert microhs's use of GHC.Types(Any) to Data.Dynamic(Dynamic) to make hugs happy is so hard that it seems impossible
00:49:18 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
00:49:22 × TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Ping timeout: 248 seconds)
00:51:49 <homo> the more I try the more I discover code that I have to rewrite
00:53:42 × sprotte24 quits (~sprotte24@p200300d16f42e000280df7176889acea.dip0.t-ipconnect.de) (Quit: Leaving)
00:55:00 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
00:55:41 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
01:03:57 × mixfix41 quits (~tbmur@user/mixfix41) (Ping timeout: 265 seconds)
01:05:46 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
01:10:43 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
01:13:09 × euleritian quits (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection)
01:13:26 → euleritian joins (~euleritia@77.23.250.232)
01:15:23 × acidjnk quits (~acidjnk@p200300d6e7283f5200259c07642d77ab.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
01:16:37 × simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 248 seconds)
01:19:34 × sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 252 seconds)
01:21:08 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
01:25:27 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
01:25:35 → Sgeo joins (~Sgeo@user/sgeo)
01:31:57 × otto_s quits (~user@p5b044128.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
01:32:13 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
01:32:39 → V joins (~v@ircpuzzles/2022/april/winner/V)
01:32:58 → otto_s joins (~user@p4ff27ba5.dip0.t-ipconnect.de)
01:35:14 → simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
01:35:47 → Smiles joins (uid551636@id-551636.lymington.irccloud.com)
01:36:30 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
01:39:29 × simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 248 seconds)
01:39:45 × Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
01:41:05 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
01:42:54 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
01:43:27 → V joins (~v@ircpuzzles/2022/april/winner/V)
01:44:19 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
01:44:39 × euleritian quits (~euleritia@77.23.250.232) (Remote host closed the connection)
01:44:51 → V joins (~v@ircpuzzles/2022/april/winner/V)
01:45:31 → euleritian joins (~euleritia@77.23.250.232)
01:49:04 × telser quits (~quassel@user/telser) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
01:51:09 → ColinRobinson joins (~juan@user/JuanDaugherty)
01:51:30 × weary-traveler quits (~user@user/user363627) (Remote host closed the connection)
01:51:53 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
01:53:55 → peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
01:56:13 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
02:05:55 ColinRobinson is now known as JuanDaugherty
02:07:14 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
02:11:38 × vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds)
02:13:31 → vanishingideal joins (~vanishing@user/vanishingideal)
02:14:12 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
02:15:18 × tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds)
02:15:18 JuanDaugherty is now known as ColinRobinson
02:15:52 → tnt1 joins (~Thunderbi@user/tnt1)
02:17:14 ← symdrome parts (~user@2804:1e78:2201:58b0::416) (ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4))
02:17:41 → jrm2 joins (~jrm@user/jrm)
02:17:48 × jrm quits (~jrm@user/jrm) (Read error: Connection reset by peer)
02:19:17 jrm2 is now known as jrm
02:20:12 → Jeanne-Kamikaze joins (~Jeanne-Ka@79.127.217.40)
02:24:20 → tnt2 joins (~Thunderbi@user/tnt1)
02:25:18 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
02:25:38 × tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 265 seconds)
02:25:38 tnt2 is now known as tnt1
02:27:07 × ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds)
02:27:56 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
02:28:24 → V joins (~v@ircpuzzles/2022/april/winner/V)
02:29:31 ColinRobinson is now known as JuanDaugherty
02:29:31 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
02:31:11 → simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
02:32:28 → tnt2 joins (~Thunderbi@user/tnt1)
02:32:53 × tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 265 seconds)
02:32:53 tnt2 is now known as tnt1
02:35:43 × simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds)
02:40:40 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
02:43:39 JuanDaugherty is now known as ColinRobinson
02:45:01 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
02:50:44 ColinRobinson is now known as JuanDaugherty
02:53:19 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
02:53:31 × alp quits (~alp@2001:861:8ca0:4940:efc9:d30b:fc5e:f0f7) (Ping timeout: 264 seconds)
02:56:03 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
02:57:37 → tnt2 joins (~Thunderbi@user/tnt1)
02:57:56 × tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds)
02:57:56 tnt2 is now known as tnt1
03:00:23 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
03:01:10 → TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker)
03:02:13 → tnt2 joins (~Thunderbi@user/tnt1)
03:02:29 × tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 260 seconds)
03:02:29 tnt2 is now known as tnt1
03:02:35 JuanDaugherty is now known as ColinRobinson
03:10:50 → tnt2 joins (~Thunderbi@user/tnt1)
03:10:51 × tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds)
03:10:51 tnt2 is now known as tnt1
03:11:25 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
03:11:59 × ColinRobinson quits (~juan@user/JuanDaugherty) (Quit: ColinRobinson)
03:13:57 × pabs3 quits (~pabs3@user/pabs3) (Ping timeout: 248 seconds)
03:15:48 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
03:26:48 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
03:31:51 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
03:33:13 → simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
03:37:54 × simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds)
03:40:40 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
03:42:25 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
03:44:54 × Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
03:46:48 → weary-traveler joins (~user@user/user363627)
03:47:42 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
03:55:11 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
03:55:40 → V joins (~v@ircpuzzles/2022/april/winner/V)
03:56:14 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
03:56:40 → V joins (~v@ircpuzzles/2022/april/winner/V)
03:56:46 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
03:57:52 → V joins (~v@ircpuzzles/2022/april/winner/V)
03:57:55 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
03:58:29 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
03:59:18 → V joins (~v@ircpuzzles/2022/april/winner/V)
03:59:26 × haskellbridge quits (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection)
04:00:09 → haskellbridge joins (~hackager@syn-024-093-192-219.res.spectrum.com)
04:00:09 ChanServ sets mode +v haskellbridge
04:00:12 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds)
04:02:57 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
04:10:03 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
04:10:40 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
04:13:39 → Sgeo joins (~Sgeo@user/sgeo)
04:13:51 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
04:18:19 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
04:24:31 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
04:29:03 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
04:32:06 → simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
04:36:21 × Jeanne-Kamikaze quits (~Jeanne-Ka@79.127.217.40) (Quit: Leaving)
04:36:37 × simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds)
04:45:14 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
04:50:03 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
04:50:25 × agent314 quits (~quassel@37.19.210.25) (Ping timeout: 248 seconds)
04:50:59 × xff0x quits (~xff0x@2405:6580:b080:900:d98:5c1a:a689:d0b8) (Ping timeout: 260 seconds)
04:51:03 × szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
04:54:27 → peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
04:59:13 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
05:00:35 → V joins (~v@ircpuzzles/2022/april/winner/V)
05:05:58 × euleritian quits (~euleritia@77.23.250.232) (Remote host closed the connection)
05:06:14 → euleritian joins (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de)
05:07:34 × euleritian quits (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection)
05:08:23 → euleritian joins (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de)
05:12:23 → xff0x joins (~xff0x@2405:6580:b080:900:d98:5c1a:a689:d0b8)
05:16:53 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
05:18:23 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
05:19:44 → V joins (~v@ircpuzzles/2022/april/winner/V)
05:21:21 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
05:32:15 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
05:32:26 → simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
05:36:58 × simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds)
05:37:20 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
05:47:16 → sroso joins (~sroso@user/SrOso)
05:48:11 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
05:55:24 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
06:07:34 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
06:12:09 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
06:15:59 → pabs3 joins (~pabs3@user/pabs3)
06:21:25 → greenflower joins (~greenflow@2409:4080:ceba:f2ae:f192:933c:3880:ac13)
06:22:56 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
06:23:35 × greenflower quits (~greenflow@2409:4080:ceba:f2ae:f192:933c:3880:ac13) (Client Quit)
06:23:55 × tessier quits (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 265 seconds)
06:24:15 → takuan joins (~takuan@178-116-218-225.access.telenet.be)
06:25:24 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds)
06:26:20 × pabs3 quits (~pabs3@user/pabs3) (Remote host closed the connection)
06:26:49 × vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 265 seconds)
06:27:03 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
06:28:25 → vanishingideal joins (~vanishing@user/vanishingideal)
06:29:46 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
06:40:40 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
06:45:40 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
06:49:28 → tnt2 joins (~Thunderbi@user/tnt1)
06:50:30 × tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 265 seconds)
06:50:30 tnt2 is now known as tnt1
06:52:01 → simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
06:56:02 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
06:56:17 × simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 248 seconds)
06:56:59 → pabs3 joins (~pabs3@user/pabs3)
06:59:36 → CiaoSen joins (~Jura@2a05:5800:220:2500:ca4b:d6ff:fec1:99da)
07:00:15 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
07:00:27 × JamesMowery439 quits (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Quit: Goodbye)
07:00:45 → JamesMowery4395 joins (~JamesMowe@ip68-228-212-232.ph.ph.cox.net)
07:02:57 → mikess joins (~mikess@user/mikess)
07:06:53 × mikess quits (~mikess@user/mikess) (Client Quit)
07:11:25 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
07:13:28 → Square joins (~Square@user/square)
07:16:07 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
07:23:05 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
07:24:22 → V joins (~v@ircpuzzles/2022/april/winner/V)
07:24:29 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
07:25:55 → V joins (~v@ircpuzzles/2022/april/winner/V)
07:26:32 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
07:31:32 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
07:32:49 → V joins (~v@ircpuzzles/2022/april/winner/V)
07:33:18 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
07:33:36 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
07:34:53 → V joins (~v@ircpuzzles/2022/april/winner/V)
07:35:24 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
07:35:56 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
07:37:11 → V joins (~v@ircpuzzles/2022/april/winner/V)
07:40:02 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
07:41:21 → V joins (~v@ircpuzzles/2022/april/winner/V)
07:42:35 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
07:43:52 → V joins (~v@ircpuzzles/2022/april/winner/V)
07:43:53 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
07:44:35 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
07:45:12 → V joins (~v@ircpuzzles/2022/april/winner/V)
07:45:20 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
07:46:45 → V joins (~v@ircpuzzles/2022/april/winner/V)
07:47:15 → harveypwca joins (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288)
07:49:09 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
07:59:32 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
07:59:57 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
08:00:02 × caconym quits (~caconym@user/caconym) (Quit: bye)
08:00:34 → simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
08:00:47 → caconym joins (~caconym@user/caconym)
08:01:58 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
08:03:16 → V joins (~v@ircpuzzles/2022/april/winner/V)
08:03:25 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
08:04:50 × simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds)
08:04:55 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
08:05:57 → V joins (~v@ircpuzzles/2022/april/winner/V)
08:06:43 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
08:11:56 → V joins (~v@ircpuzzles/2022/april/winner/V)
08:12:02 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
08:12:45 → tnt2 joins (~Thunderbi@user/tnt1)
08:13:19 → V joins (~v@ircpuzzles/2022/april/winner/V)
08:14:16 × tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds)
08:14:16 tnt2 is now known as tnt1
08:14:21 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
08:15:18 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
08:15:37 → V joins (~v@ircpuzzles/2022/april/winner/V)
08:20:18 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
08:23:58 × harveypwca quits (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) (Quit: Leaving)
08:26:03 <chiselfuse> [ x | x /=13, x <- [10..20], x /= 15, x /= 19]
08:26:12 <chiselfuse> what happens here? why does it run forever?
08:26:28 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
08:27:28 <tomsmeding> > [ x | x /=13, x <- [10..20], x /= 15, x /= 19]
08:27:29 <lambdabot> [10,11,12,13,14,16,17,18,20]
08:27:33 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
08:27:34 <tomsmeding> O.o
08:27:36 <tomsmeding> % [ x | x /=13, x <- [10..20], x /= 15, x /= 19]
08:27:36 <yahb2> <interactive>:5:7: error: [GHC-88464] Variable not in scope: x
08:27:38 <tomsmeding> thank you
08:27:44 → V joins (~v@ircpuzzles/2022/april/winner/V)
08:27:44 → ljdarj joins (~Thunderbi@user/ljdarj)
08:27:53 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
08:27:57 <tomsmeding> chiselfuse: you can't require that x /= 13 before you have some x in the first place
08:28:11 <tomsmeding> do you know python?
08:28:43 <tomsmeding> > x
08:28:44 <lambdabot> x
08:28:49 <tomsmeding> (lambdabot being too clever)
08:29:34 × homo quits (~homo@user/homo) (Read error: Connection reset by peer)
08:30:02 <chiselfuse> tomsmeding: i know a little bit of python
08:30:05 <chiselfuse> > :version
08:30:06 <lambdabot> <hint>:1:1: error: parse error on input ‘:’
08:30:17 <Angelz> python?
08:30:19 <tomsmeding> chiselfuse: do you know python's list comprehension syntax?
08:30:20 <chiselfuse> what's '>' and what is '%' here?
08:30:24 <Angelz> i dunno
08:30:27 <chiselfuse> tomsmeding: no
08:30:29 → V joins (~v@ircpuzzles/2022/april/winner/V)
08:30:44 <tomsmeding> it's rather like haskell's, so that would've been a shortcut for explaining what haskell does here :)
08:30:56 × vanishingideal quits (~vanishing@user/vanishingideal) (Remote host closed the connection)
08:30:59 <chiselfuse> what's '>' and what is '%' here?
08:31:09 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
08:31:11 <tomsmeding> lambdabot and yahb2 are bothghci-ish; lambdabot responds to '>', yahb2 to '%'
08:31:23 <tomsmeding> yahb2 is ghci, lambdabot is some magic over ghci
08:31:27 <chiselfuse> how can we learn the ghci versions of othem?
08:31:33 <tomsmeding> % :version
08:31:33 <yahb2> 9.12.1
08:31:38 <chiselfuse> > :version
08:31:39 <lambdabot> <hint>:1:1: error: parse error on input ‘:’
08:31:40 <tomsmeding> lambdabot doesn't support such querying
08:32:01 <chiselfuse> mine is The Glorious Glasgow Haskell Compilation System, version 9.2.8
08:32:03 × Angelz quits (Angelz@Angelz.oddprotocol.org) (Changing host)
08:32:03 → Angelz joins (Angelz@user/angelz)
08:32:05 <chiselfuse> and it runs forever
08:32:13 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
08:32:15 <tomsmeding> what is 'x'?
08:32:25 → V joins (~v@ircpuzzles/2022/april/winner/V)
08:32:29 <Angelz> cservice maybe.
08:32:41 <tomsmeding> chiselfuse: because this particular bit of code should _not_ run forever.
08:32:50 <chiselfuse> tomsmeding: but it evaluates fine on one of them. i want to know whether it's valid haskell or not (both semantically and syntactically) and how it gets evaluted on either of those
08:33:01 <tomsmeding> it is not valid haskell
08:33:06 <tomsmeding> because in the "x /= 13", x is out of scope
08:33:17 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
08:33:17 <tomsmeding> lambdabot has pre-defined magic values for 'a' through 'z' for reasons
08:33:24 <tomsmeding> so it doesn't quite raise an error here
08:33:30 <chiselfuse> but it's just a definition, i thought those didn't matter in fp
08:33:50 → acidjnk joins (~acidjnk@p200300d6e7283f4400259c07642d77ab.dip0.t-ipconnect.de)
08:33:53 <tomsmeding> in a list comprehension, the items to the right of the '|' get run "left-to-right"
08:34:04 <chiselfuse> sorry, i meant i thought order of definitions didn't matter
08:34:14 <chiselfuse> get run?
08:34:18 <chiselfuse> procedurally?
08:34:23 <chiselfuse> not so fp
08:34:24 <tomsmeding> % [(x,y) | x <- [1..3], y <- ['a'..'c']]
08:34:24 <yahb2> [(1,'a'),(1,'b'),(1,'c'),(2,'a'),(2,'b'),(2,'c'),(3,'a'),(3,'b'),(3,'c')]
08:34:32 → V joins (~v@ircpuzzles/2022/april/winner/V)
08:34:35 × it_ quits (~quassel@v2202212189510211193.supersrv.de) (Quit: ,o>)
08:34:38 <tomsmeding> % [(x,y) | x <- [1..3], x /= 2, y <- ['a'..'c']]
08:34:38 <yahb2> [(1,'a'),(1,'b'),(1,'c'),(3,'a'),(3,'b'),(3,'c')]
08:34:45 <tomsmeding> % [(x,y) | x <- [1..3], y <- ['a'..'c'], x /= 2]
08:34:45 <yahb2> [(1,'a'),(1,'b'),(1,'c'),(3,'a'),(3,'b'),(3,'c')]
08:34:51 <tomsmeding> % [(x,y) | x /= 2, x <- [1..3], y <- ['a'..'c']]
08:34:51 <yahb2> <interactive>:15:10: error: [GHC-88464] Variable not in scope: x
08:35:35 <tomsmeding> not quite procedurally, but you can think of it that way
08:35:43 <tomsmeding> a '<-' clause is a "for loop", a bare condition is an "if"
08:36:09 <tomsmeding> and at the bottom of the for/if nesting, the expression to the left of the '|' is generated
08:36:14 <tomsmeding> the results are put in a list
08:36:15 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
08:36:45 <Leary> @undo [ x | x /= 13, x <- [10..20], x /= 15 ]
08:36:45 <lambdabot> if x /= 13 then concatMap (\ x -> if x /= 15 then [x] else []) [10 .. 20] else []
08:37:10 <chiselfuse> what's @undo?
08:37:27 <tomsmeding> converts a haskell expression into one using more basic syntax
08:37:27 <Leary> It desugars the list comprehension so you can see what it means.
08:37:30 → V joins (~v@ircpuzzles/2022/april/winner/V)
08:37:41 <Leary> Here, you can see that `x` is used before it's brought into scope.
08:38:10 → sawilagar joins (~sawilagar@user/sawilagar)
08:38:40 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
08:38:47 <chiselfuse> @undo [ x | x <- [10..20], x /=13, x /= 15 ]
08:38:48 <lambdabot> concatMap (\ x -> if x /= 13 then if x /= 15 then [x] else [] else []) [10 .. 20]
08:38:55 <chiselfuse> can i use @undo on my computer
08:39:00 → it_ joins (~quassel@game-crew.ch)
08:39:07 <tomsmeding> you can open a private chat with lambdabot
08:39:22 <chiselfuse> @undo :version
08:39:22 <lambdabot> <unknown>.hs:1:1:Parse error: :
08:39:43 <chiselfuse> i want run code localloy
08:39:56 → V joins (~v@ircpuzzles/2022/april/winner/V)
08:40:13 <tomsmeding> '@undo' is a plugin in lambdabot, so it's rather hard to run locally
08:40:34 × it_ quits (~quassel@game-crew.ch) (Client Quit)
08:40:49 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
08:40:51 → it_ joins (~quassel@game-crew.ch)
08:42:08 → V joins (~v@ircpuzzles/2022/april/winner/V)
08:42:55 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
08:43:08 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
08:44:20 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
08:44:31 → V joins (~v@ircpuzzles/2022/april/winner/V)
08:44:51 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
08:46:08 → V joins (~v@ircpuzzles/2022/april/winner/V)
08:48:51 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
08:50:17 → Guest9464 joins (~v@anomalous.eu)
08:51:01 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
08:51:05 × Guest9464 quits (~v@anomalous.eu) (Remote host closed the connection)
08:52:31 → V joins (~v@ircpuzzles/2022/april/winner/V)
08:52:31 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
08:52:36 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
08:53:03 <haskellbridge> <Bowuigi> I guess you can just write the list comprehension in ghci and see if it works, along with the result
08:53:35 <haskellbridge> <Bowuigi> You can't see what it desugars to, but you can build an intuition of what it does anyway
08:53:53 → V joins (~v@ircpuzzles/2022/april/winner/V)
08:54:21 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
08:55:45 → V joins (~v@ircpuzzles/2022/april/winner/V)
08:55:57 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
08:57:14 → V joins (~v@ircpuzzles/2022/april/winner/V)
08:57:24 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
08:58:50 → V joins (~v@ircpuzzles/2022/april/winner/V)
08:59:02 → robobub joins (uid248673@id-248673.uxbridge.irccloud.com)
08:59:21 × it_ quits (~quassel@game-crew.ch) (Quit: ,o>)
08:59:29 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
08:59:54 → it_ joins (~quassel@game-crew.ch)
09:00:59 → V joins (~v@ircpuzzles/2022/april/winner/V)
09:01:03 × it_ quits (~quassel@game-crew.ch) (Client Quit)
09:01:35 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
09:02:05 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
09:03:02 → V joins (~v@ircpuzzles/2022/april/winner/V)
09:03:43 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
09:03:45 × CiaoSen quits (~Jura@2a05:5800:220:2500:ca4b:d6ff:fec1:99da) (Ping timeout: 248 seconds)
09:04:13 → it_ joins (~quassel@game-crew.ch)
09:04:57 → alp joins (~alp@2001:861:8ca0:4940:a068:990b:3be7:3971)
09:04:58 → V joins (~v@ircpuzzles/2022/april/winner/V)
09:05:06 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
09:06:23 → V joins (~v@ircpuzzles/2022/april/winner/V)
09:06:37 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
09:07:53 → V joins (~v@ircpuzzles/2022/april/winner/V)
09:08:32 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
09:09:24 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
09:09:34 → simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
09:09:48 → V joins (~v@ircpuzzles/2022/april/winner/V)
09:10:35 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
09:11:51 → V joins (~v@ircpuzzles/2022/april/winner/V)
09:12:43 <chiselfuse> are you sure that @undo is guaranteed to be correct in all cases?
09:13:07 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
09:14:02 × simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds)
09:14:48 <tomsmeding> the author of lambdabot tried their best
09:15:46 → V joins (~v@ircpuzzles/2022/april/winner/V)
09:15:49 <tomsmeding> but in general that's what you're going to get from software -- even if you have formally proven software, that delegates the burden to the implementor of the proof tool, which is hopefully smaller and easier to check, but still to be checked manually
09:15:54 <c_wraith> the desugaring is part of the spec. The only thing lambdabot doesn't necessarily have is the definition of all the relevant data types
09:16:09 <c_wraith> So it doesn't know when a pattern match needs to introduce a fail case
09:17:04 <c_wraith> (a pattern match on the LHS of a <-, specifically)
09:17:56 <tomsmeding> @undo [x | Just x <- l]
09:17:56 <lambdabot> concatMap (\ a -> case a of { Just x -> [x]; _ -> []}) l
09:18:08 <tomsmeding> ah it just assumes there's other constructors
09:20:08 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
09:20:19 <c_wraith> That's a case I'd expect to have hardcoded
09:20:40 <c_wraith> @undo do { (a, b) <- foo ; pure $ a + b }
09:20:40 <lambdabot> foo >>= \ (a, b) -> pure $ a + b
09:20:56 <c_wraith> It knows that one only has one constructor
09:21:10 × it_ quits (~quassel@game-crew.ch) (Quit: ,o>)
09:21:33 <c_wraith> I'd assume the @undo plugin has definitions for all the common types
09:22:09 → it_ joins (~quassel@game-crew.ch)
09:22:36 <c_wraith> @undo do { Foo a b <- foo ; pure $ a + b }
09:22:36 <lambdabot> foo >>= \ c -> case c of { Foo a b -> pure $ a + b; _ -> fail ""}
09:22:53 <c_wraith> and just assumes that things it doesn't know about have more constructors.
09:23:12 <c_wraith> whereas ghc knows if there are more constructors or not
09:24:40 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
09:28:38 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
09:29:33 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
09:30:56 → V joins (~v@ircpuzzles/2022/april/winner/V)
09:30:57 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
09:32:14 → V joins (~v@ircpuzzles/2022/april/winner/V)
09:32:16 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
09:32:18 × acidjnk quits (~acidjnk@p200300d6e7283f4400259c07642d77ab.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
09:33:23 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
09:33:38 → V joins (~v@ircpuzzles/2022/april/winner/V)
09:35:15 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
09:36:43 → V joins (~v@ircpuzzles/2022/april/winner/V)
09:38:01 → euandreh1 joins (~Thunderbi@191-217-172-66.user3p.v-tal.net.br)
09:39:24 × tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
09:39:28 × euandreh1 quits (~Thunderbi@191-217-172-66.user3p.v-tal.net.br) (Client Quit)
09:39:38 × ljdarj quits (~Thunderbi@user/ljdarj) (Quit: ljdarj)
09:39:57 → ljdarj joins (~Thunderbi@user/ljdarj)
09:40:21 × ljdarj quits (~Thunderbi@user/ljdarj) (Client Quit)
09:40:43 → ljdarj joins (~Thunderbi@user/ljdarj)
09:40:54 × euandreh quits (~Thunderbi@189.6.105.228) (Ping timeout: 260 seconds)
09:42:30 → euandreh joins (~Thunderbi@191-217-172-66.user3p.v-tal.net.br)
09:44:54 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
09:46:09 → V joins (~v@ircpuzzles/2022/april/winner/V)
09:46:10 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
09:46:35 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
09:47:26 → V joins (~v@ircpuzzles/2022/april/winner/V)
09:47:27 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
09:48:43 → V joins (~v@ircpuzzles/2022/april/winner/V)
09:49:41 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
09:51:17 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
09:52:17 → Guest8686 joins (~v@anomalous.eu)
09:52:49 → ubert joins (~Thunderbi@p200300ecdf3b1a6b3fb62acbaa32cd66.dip0.t-ipconnect.de)
09:52:56 → todi joins (~todi@p57803331.dip0.t-ipconnect.de)
09:57:46 → Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
09:59:13 × it_ quits (~quassel@game-crew.ch) (Read error: Connection reset by peer)
10:00:00 × Guest8686 quits (~v@anomalous.eu) (Remote host closed the connection)
10:01:21 → V joins (~v@ircpuzzles/2022/april/winner/V)
10:01:28 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
10:01:58 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
10:02:41 → Guest3889 joins (~v@anomalous.eu)
10:03:15 × Guest3889 quits (~v@anomalous.eu) (Remote host closed the connection)
10:04:03 → ubert1 joins (~Thunderbi@p200300ecdf3b1a6b88ad1acf189eaf58.dip0.t-ipconnect.de)
10:05:59 → V joins (~v@ircpuzzles/2022/april/winner/V)
10:06:03 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
10:06:15 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
10:07:23 → V joins (~v@ircpuzzles/2022/april/winner/V)
10:07:25 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
10:07:53 × ubert quits (~Thunderbi@p200300ecdf3b1a6b3fb62acbaa32cd66.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
10:08:17 × ubert1 quits (~Thunderbi@p200300ecdf3b1a6b88ad1acf189eaf58.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
10:08:43 → V joins (~v@ircpuzzles/2022/april/winner/V)
10:09:53 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
10:11:10 → V joins (~v@ircpuzzles/2022/april/winner/V)
10:11:56 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
10:13:12 → V joins (~v@ircpuzzles/2022/april/winner/V)
10:13:19 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
10:14:35 → V joins (~v@ircpuzzles/2022/april/winner/V)
10:14:41 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
10:14:44 <chiselfuse> c_wraith: can you link me the spec for desugaring please?
10:15:49 <Leary> chiselfuse: https://www.haskell.org/onlinereport/haskell2010/haskellch3.html#x8-420003.11
10:16:13 → V joins (~v@ircpuzzles/2022/april/winner/V)
10:16:34 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
10:17:22 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
10:17:51 → V joins (~v@ircpuzzles/2022/april/winner/V)
10:17:58 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
10:19:29 → target_i joins (~target_i@user/target-i/x-6023099)
10:22:19 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
10:27:30 → ubert joins (~Thunderbi@p200300ecdf3b1a6ba5e76ac014a2fe38.dip0.t-ipconnect.de)
10:29:30 × euandreh quits (~Thunderbi@191-217-172-66.user3p.v-tal.net.br) (Ping timeout: 276 seconds)
10:29:32 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
10:30:12 → euandreh joins (~Thunderbi@189.6.105.228)
10:32:36 × euandreh quits (~Thunderbi@189.6.105.228) (Client Quit)
10:34:00 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
10:36:30 → simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
10:37:46 × ByronJohnson quits (~bairyn@50.250.232.19) (Ping timeout: 244 seconds)
10:38:01 → ByronJohnson joins (~bairyn@MAIL.DIGITALKINGDOM.ORG)
10:40:59 × simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 260 seconds)
10:44:19 × rvalue quits (~rvalue@user/rvalue) (Read error: Connection reset by peer)
10:44:51 → rvalue joins (~rvalue@user/rvalue)
10:44:55 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
10:49:25 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
10:50:18 × ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds)
11:00:17 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
11:07:01 × euleritian quits (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
11:07:03 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
11:07:19 → euleritian joins (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de)
11:09:44 × remedan quits (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!)
11:14:23 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
11:14:57 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
11:18:04 → remedan joins (~remedan@ip-62-245-108-153.bb.vodafone.cz)
11:18:20 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
11:18:51 → simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
11:23:01 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
11:23:29 × simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 248 seconds)
11:25:13 → __monty__ joins (~toonn@user/toonn)
11:25:49 → acidjnk joins (~acidjnk@p200300d6e7283f4440b553cdf075f952.dip0.t-ipconnect.de)
11:26:56 × remedan quits (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!)
11:28:03 → CiaoSen joins (~Jura@2a05:5800:220:2500:ca4b:d6ff:fec1:99da)
11:29:10 → alecs joins (~alecs@61.pool85-58-154.dynamic.orange.es)
11:30:31 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
11:30:46 → remedan joins (~remedan@ip-62-245-108-153.bb.vodafone.cz)
11:32:31 × alp quits (~alp@2001:861:8ca0:4940:a068:990b:3be7:3971) (Ping timeout: 264 seconds)
11:33:30 × alecs quits (~alecs@61.pool85-58-154.dynamic.orange.es) (Ping timeout: 246 seconds)
11:34:54 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
11:45:53 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
11:50:34 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
11:50:59 × dtman34 quits (~dtman34@c-174-53-203-90.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
12:00:05 × caconym quits (~caconym@user/caconym) (Quit: bye)
12:01:18 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
12:02:40 → caconym joins (~caconym@user/caconym)
12:04:44 → ljdarj joins (~Thunderbi@user/ljdarj)
12:04:57 → simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
12:06:21 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
12:08:49 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
12:09:36 × simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 276 seconds)
12:13:38 × sroso quits (~sroso@user/SrOso) (Quit: Leaving :))
12:14:16 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
12:15:00 × Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
12:16:39 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
12:20:48 × euleritian quits (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds)
12:21:09 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
12:21:34 → euleritian joins (~euleritia@dynamic-176-006-137-212.176.6.pool.telefonica.de)
12:22:33 × ensyde quits (~ensyde@2601:5c6:c200:6dc0::3cb6) (Ping timeout: 265 seconds)
12:22:43 → dtman34 joins (~dtman34@c-174-53-203-90.hsd1.mn.comcast.net)
12:27:24 × CiaoSen quits (~Jura@2a05:5800:220:2500:ca4b:d6ff:fec1:99da) (Ping timeout: 246 seconds)
12:29:28 → lxsameer joins (~lxsameer@Serene/lxsameer)
12:31:32 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
12:33:51 → Digitteknohippie joins (~user@user/digit)
12:35:19 × Digit quits (~user@user/digit) (Ping timeout: 260 seconds)
12:36:39 × Midjak quits (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep)
12:38:15 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
12:40:58 → simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
12:45:13 × simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds)
12:49:35 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
12:50:06 × acidjnk quits (~acidjnk@p200300d6e7283f4440b553cdf075f952.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
12:54:02 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
13:04:41 × euleritian quits (~euleritia@dynamic-176-006-137-212.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
13:04:56 → sprotte24 joins (~sprotte24@p200300d16f495900c540e25e648a3a4c.dip0.t-ipconnect.de)
13:04:57 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
13:05:22 → euleritian joins (~euleritia@dynamic-176-006-137-212.176.6.pool.telefonica.de)
13:05:45 × euleritian quits (~euleritia@dynamic-176-006-137-212.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
13:06:02 → euleritian joins (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de)
13:08:29 → alp joins (~alp@2001:861:8ca0:4940:88c9:4a0c:8072:846f)
13:13:36 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
13:14:50 → rvalue- joins (~rvalue@user/rvalue)
13:15:33 × rvalue quits (~rvalue@user/rvalue) (Ping timeout: 248 seconds)
13:17:08 → acidjnk joins (~acidjnk@p200300d6e7283f4440b553cdf075f952.dip0.t-ipconnect.de)
13:18:40 → ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207)
13:18:43 × ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Client Quit)
13:21:24 rvalue- is now known as rvalue
13:23:29 × Digitteknohippie quits (~user@user/digit) (Ping timeout: 248 seconds)
13:24:51 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
13:24:58 × euleritian quits (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds)
13:25:33 → euleritian joins (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de)
13:26:12 × weary-traveler quits (~user@user/user363627) (Remote host closed the connection)
13:26:30 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
13:28:44 × ubert quits (~Thunderbi@p200300ecdf3b1a6ba5e76ac014a2fe38.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
13:29:14 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
13:30:20 × robobub quits (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
13:31:06 → alecs joins (~alecs@61.pool85-58-154.dynamic.orange.es)
13:32:39 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
13:35:41 → simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
13:36:03 × alecs quits (~alecs@61.pool85-58-154.dynamic.orange.es) (Ping timeout: 276 seconds)
13:36:56 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
13:40:36 × simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 276 seconds)
13:45:52 → ubert joins (~Thunderbi@p200300ecdf3b1a6b33f8a008550b561a.dip0.t-ipconnect.de)
13:47:58 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
13:49:43 → CiaoSen joins (~Jura@2a05:5800:220:2500:ca4b:d6ff:fec1:99da)
13:53:21 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
14:04:25 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
14:04:57 → nrs joins (~nrs@190.16.167.62)
14:05:15 × nrs quits (~nrs@190.16.167.62) (Client Quit)
14:06:11 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
14:08:31 × acidjnk quits (~acidjnk@p200300d6e7283f4440b553cdf075f952.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
14:08:53 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
14:19:49 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
14:20:27 → simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
14:20:37 → V joins (~v@ircpuzzles/2022/april/winner/V)
14:20:42 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
14:20:51 × CiaoSen quits (~Jura@2a05:5800:220:2500:ca4b:d6ff:fec1:99da) (Ping timeout: 252 seconds)
14:25:18 × simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 265 seconds)
14:26:46 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
14:30:31 → V joins (~v@ircpuzzles/2022/april/winner/V)
14:30:34 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
14:31:12 × m5zs7k quits (aquares@web10.mydevil.net) (Ping timeout: 252 seconds)
14:32:31 → V joins (~v@ircpuzzles/2022/april/winner/V)
14:32:34 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
14:33:32 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
14:33:53 → V joins (~v@ircpuzzles/2022/april/winner/V)
14:33:53 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
14:35:15 → V joins (~v@ircpuzzles/2022/april/winner/V)
14:35:22 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
14:35:29 × euleritian quits (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
14:35:39 → euleritian joins (~euleritia@dynamic-176-006-137-212.176.6.pool.telefonica.de)
14:35:49 → m5zs7k joins (aquares@web10.mydevil.net)
14:36:47 → V joins (~v@ircpuzzles/2022/april/winner/V)
14:36:49 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
14:38:06 → V joins (~v@ircpuzzles/2022/april/winner/V)
14:38:09 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
14:38:24 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
14:42:41 → vanishingideal joins (~vanishing@user/vanishingideal)
14:45:53 → CiaoSen joins (~Jura@2a05:5800:220:2500:ca4b:d6ff:fec1:99da)
14:48:55 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
14:49:55 <lxsameer> hey folks, is there a shorter syntatx for this pattern? https://dpaste.com/D2KZVHSBY
14:51:21 × CiaoSen quits (~Jura@2a05:5800:220:2500:ca4b:d6ff:fec1:99da) (Ping timeout: 252 seconds)
14:51:48 → V joins (~v@ircpuzzles/2022/april/winner/V)
14:51:50 × V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
14:52:36 <Leary> lxsameer: `foo <|> ....`
14:52:45 × sprotte24 quits (~sprotte24@p200300d16f495900c540e25e648a3a4c.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
14:54:33 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
14:55:10 <lxsameer> Leary: cool, thank you
14:55:21 × gmg quits (~user@user/gehmehgeh) (Remote host closed the connection)
14:58:15 → gmg joins (~user@user/gehmehgeh)
15:03:39 → Digit joins (~user@user/digit)
15:03:53 → sprotte24 joins (~sprotte24@p200300d16f495900c82cb8d65a41923f.dip0.t-ipconnect.de)
15:05:43 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
15:06:46 × euleritian quits (~euleritia@dynamic-176-006-137-212.176.6.pool.telefonica.de) (Ping timeout: 252 seconds)
15:06:54 → weary-traveler joins (~user@user/user363627)
15:08:06 → euleritian joins (~euleritia@dynamic-176-003-077-005.176.3.pool.telefonica.de)
15:10:04 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
15:21:06 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
15:27:33 → CiaoSen joins (~Jura@2a05:5800:220:2500:ca4b:d6ff:fec1:99da)
15:27:36 × euleritian quits (~euleritia@dynamic-176-003-077-005.176.3.pool.telefonica.de) (Read error: Connection reset by peer)
15:28:07 → euleritian joins (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de)
15:28:49 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
15:32:34 × euleritian quits (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds)
15:33:56 → euleritian joins (~euleritia@dynamic-176-003-077-005.176.3.pool.telefonica.de)
15:34:33 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
15:38:59 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
15:42:34 × euleritian quits (~euleritia@dynamic-176-003-077-005.176.3.pool.telefonica.de) (Read error: Connection reset by peer)
15:42:52 → euleritian joins (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de)
15:49:55 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
15:53:17 × sprotte24 quits (~sprotte24@p200300d16f495900c82cb8d65a41923f.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
15:54:11 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
15:54:26 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
16:00:22 × vanishingideal quits (~vanishing@user/vanishingideal) (Remote host closed the connection)
16:01:34 × Fijxu quits (~Fijxu@user/fijxu) (Quit: XD!!)
16:06:16 → Fijxu joins (~Fijxu@user/fijxu)
16:10:13 → sprotte24 joins (~sprotte24@p200300d16f495900956dd031c8d9206e.dip0.t-ipconnect.de)
16:10:31 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
16:10:36 × weary-traveler quits (~user@user/user363627) (Remote host closed the connection)
16:16:01 → peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
16:17:27 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
16:21:52 × euleritian quits (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 244 seconds)
16:22:28 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
16:25:49 → euleritian joins (~euleritia@dynamic-176-003-077-005.176.3.pool.telefonica.de)
16:27:03 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
16:28:34 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
16:32:42 → vanishingideal joins (~vanishing@user/vanishingideal)
16:33:07 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds)
16:34:12 → alecs joins (~alecs@61.pool85-58-154.dynamic.orange.es)
16:34:30 × tallcatparade quits (~tallcatpa@2600:8801:9801:d600::c83b) (Ping timeout: 246 seconds)
16:35:35 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
16:37:22 × euleritian quits (~euleritia@dynamic-176-003-077-005.176.3.pool.telefonica.de) (Ping timeout: 244 seconds)
16:37:32 → euleritian joins (~euleritia@dynamic-176-003-039-171.176.3.pool.telefonica.de)
16:38:24 × alecs quits (~alecs@61.pool85-58-154.dynamic.orange.es) (Ping timeout: 244 seconds)
16:40:10 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
16:47:09 → simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
16:51:25 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
16:51:57 × sprotte24 quits (~sprotte24@p200300d16f495900956dd031c8d9206e.dip0.t-ipconnect.de) (Quit: Leaving)
16:52:21 × euleritian quits (~euleritia@dynamic-176-003-039-171.176.3.pool.telefonica.de) (Read error: Connection reset by peer)
16:53:04 → euleritian joins (~euleritia@dynamic-176-003-039-171.176.3.pool.telefonica.de)
16:54:11 → ggggg joins (~ggggg@146-241-40-105.dyn.eolo.it)
16:55:48 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
16:57:36 × euleritian quits (~euleritia@dynamic-176-003-039-171.176.3.pool.telefonica.de) (Ping timeout: 252 seconds)
16:59:55 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
17:00:35 → acidjnk joins (~acidjnk@p200300d6e7283f4440b553cdf075f952.dip0.t-ipconnect.de)
17:01:24 × ggggg quits (~ggggg@146-241-40-105.dyn.eolo.it) (Remote host closed the connection)
17:02:18 × hueso quits (~root@user/hueso) (Read error: Connection reset by peer)
17:03:25 → hueso joins (~root@user/hueso)
17:04:03 × hueso quits (~root@user/hueso) (Read error: Connection reset by peer)
17:04:12 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
17:06:37 → hueso joins (~root@user/hueso)
17:07:26 × hueso quits (~root@user/hueso) (Read error: Connection reset by peer)
17:08:35 → hueso joins (~root@user/hueso)
17:09:05 × CiaoSen quits (~Jura@2a05:5800:220:2500:ca4b:d6ff:fec1:99da) (Ping timeout: 248 seconds)
17:12:08 × hueso quits (~root@user/hueso) (Read error: Connection reset by peer)
17:12:21 × simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 248 seconds)
17:13:33 → hueso joins (~root@user/hueso)
17:13:42 → euleritian joins (~euleritia@dynamic-176-002-007-012.176.2.pool.telefonica.de)
17:14:09 × euleritian quits (~euleritia@dynamic-176-002-007-012.176.2.pool.telefonica.de) (Read error: Connection reset by peer)
17:14:27 → euleritian joins (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de)
17:15:18 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
17:17:07 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
17:20:17 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
17:21:14 × euleritian quits (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds)
17:29:55 → euleritian joins (~euleritia@dynamic-176-001-132-019.176.1.pool.telefonica.de)
17:30:40 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
17:32:39 × vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds)
17:34:26 → vanishingideal joins (~vanishing@user/vanishingideal)
17:35:03 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
17:36:45 × euleritian quits (~euleritia@dynamic-176-001-132-019.176.1.pool.telefonica.de) (Read error: Connection reset by peer)
17:37:03 → euleritian joins (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de)
17:38:44 → Midjak joins (~MarciZ@82.66.147.146)
17:38:47 <lxsameer> https://dpaste.com/ARK8BLHC9 is it possible to limit the type T in the signature of the Foo function to only the B contructor?
17:42:29 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
17:48:19 <geekosaur> no, constructors are not types (unless promoted, which doesn't do what you want)
17:51:23 <EvanR> you can define T using GADTs which makes T's constructed from B identifiable at the type level
17:51:34 <EvanR> then foo can use that in the type signature
17:51:42 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
17:51:47 <EvanR> whether this is worth it I cannot say
17:52:16 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
17:52:27 <EvanR> it also leads to an awkward definition of foo which will need to put something for the A case even though it would be impossible
17:52:55 <EvanR> if you have an answer to "what are you really trying to do" someone might have a more elegant way to say it in haskell
17:55:53 <lxsameer> EvanR: I'm trying to learn more about Gadts and dependent types in haskell
17:59:01 <lxsameer> EvanR: I tried to do what I did in Agda in haskell but didn't work obviously
17:59:10 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
17:59:45 <geekosaur> haskell doesn't have dependent types. it has a horrible hack (`singletons`) which simulates them to some extent
17:59:46 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
18:00:21 <lxsameer> geekosaur: ahhh got it.
18:04:15 → simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
18:04:23 → tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net)
18:08:43 × simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 245 seconds)
18:09:45 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
18:11:59 × Square quits (~Square@user/square) (Remote host closed the connection)
18:13:54 × euleritian quits (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds)
18:14:18 → euleritian joins (~euleritia@dynamic-176-001-132-019.176.1.pool.telefonica.de)
18:14:54 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
18:15:52 → Square joins (~Square@user/square)
18:17:37 → wootehfoot joins (~wootehfoo@user/wootehfoot)
18:17:42 <EvanR> you don't technically need singletons to do what I was saying, but it's more organized if you use dedicated singletons for that
18:18:47 <EvanR> haskell not having dependent types means accomplishing a similar thing is usually klunkier. But there might be a more haskelly way to do it
18:19:26 × Fijxu quits (~Fijxu@user/fijxu) (Quit: XD!!)
18:23:21 <EvanR> for example the foo function could just take a Text instead of a T, and at the call site would need to unpack the T to get a Text, else no dice
18:23:54 <EvanR> the a type variable can't be used for anything in this example since it will be unknown to the foo function and doesn't appear as part of the Foo return type
18:24:25 <EvanR> so can be omitted entirely
18:25:07 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
18:25:21 <monochrom> ISTR if you go the GADT way, foo won't need a case for A, and even -Wall will not generate a warning.
18:25:28 → pavonia joins (~user@user/siracusa)
18:25:48 <monochrom> I'm too lazy to test that, but it is easy to test.
18:27:44 <EvanR> that's snazzy
18:28:01 × rvalue quits (~rvalue@user/rvalue) (Read error: Connection reset by peer)
18:28:32 → rvalue joins (~rvalue@user/rvalue)
18:28:42 <lxsameer> monochrom: but is that type safe?
18:28:58 × euleritian quits (~euleritia@dynamic-176-001-132-019.176.1.pool.telefonica.de) (Ping timeout: 244 seconds)
18:28:59 <EvanR> the A case would be impossible at runtime
18:29:30 → euleritian joins (~euleritia@dynamic-176-006-138-171.176.6.pool.telefonica.de)
18:29:31 <EvanR> because the types could not have checked
18:29:39 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
18:30:30 → Fijxu joins (~Fijxu@user/fijxu)
18:30:32 × Fijxu quits (~Fijxu@user/fijxu) (Remote host closed the connection)
18:30:44 <EvanR> I am walking out the door so I can't type up the GADT version of the example
18:30:58 <EvanR> the margin is too small for the proof!
18:33:18 → Feuermagier_ joins (~Feuermagi@user/feuermagier)
18:33:18 × Feuermagier quits (~Feuermagi@user/feuermagier) (Killed (silver.libera.chat (Nickname regained by services)))
18:33:18 Feuermagier_ is now known as Feuermagier
18:33:30 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
18:38:08 × Feuermagier quits (~Feuermagi@user/feuermagier) (Client Quit)
18:38:22 → ColinRobinson joins (~juan@user/JuanDaugherty)
18:39:06 → szkl joins (uid110435@id-110435.uxbridge.irccloud.com)
18:41:37 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
18:41:40 → Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915)
18:42:14 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
18:44:40 Lord_of_Life_ is now known as Lord_of_Life
18:45:57 → cheater_ joins (~Username@user/cheater)
18:46:01 → peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
18:48:35 × cheater quits (~Username@user/cheater) (Ping timeout: 252 seconds)
18:48:44 cheater_ is now known as cheater
18:52:28 × acidjnk quits (~acidjnk@p200300d6e7283f4440b553cdf075f952.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
18:52:43 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
18:57:25 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
19:02:31 <monochrom> You will have "data G a b where A :: a -> Int -> G a Int; B :: a -> Text -> G a Text". b is a phantom type param that is sync'ed with whether your ctor is A or B.
19:03:33 <monochrom> Then we can argue all day long whether "foo :: G a Text -> Foo" needs a line for the A case or not, how many warnings must the compiler give, etc. etc. But that's beside the point.
19:04:02 <monochrom> The point is with "foo :: G a Text -> Foo", the user will be banned from trying "foo (A ...)".
19:04:13 <monochrom> In that sense, it is 100% type-safe.
19:04:38 → simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
19:08:04 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
19:09:03 × simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds)
19:09:38 → sprotte24 joins (~sprotte24@p200300d16f495900956dd031c8d9206e.dip0.t-ipconnect.de)
19:11:48 → Fijxu joins (~Fijxu@user/fijxu)
19:12:53 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
19:13:31 × euleritian quits (~euleritia@dynamic-176-006-138-171.176.6.pool.telefonica.de) (Ping timeout: 252 seconds)
19:16:59 → euleritian joins (~euleritia@dynamic-176-002-176-232.176.2.pool.telefonica.de)
19:17:04 → qqe joins (~qqq@92.43.167.61)
19:18:19 × euleritian quits (~euleritia@dynamic-176-002-176-232.176.2.pool.telefonica.de) (Read error: Connection reset by peer)
19:18:36 → euleritian joins (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de)
19:23:26 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
19:28:05 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
19:30:14 <lxsameer> monochrom: thank you
19:31:04 × Fijxu quits (~Fijxu@user/fijxu) (Quit: XD!!)
19:33:18 × euleritian quits (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds)
19:33:32 → euleritian joins (~euleritia@77.23.250.232)
19:38:25 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds)
19:38:43 × srk quits (~sorki@user/srk) (Ping timeout: 244 seconds)
19:38:50 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
19:40:22 → srk joins (~sorki@user/srk)
19:45:23 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
19:46:23 → acidjnk joins (~acidjnk@p200300d6e7283f4440b553cdf075f952.dip0.t-ipconnect.de)
19:48:04 × meinside quits (uid24933@id-24933.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
19:51:10 → simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
19:55:32 → JimL joins (~quassel@89.162.16.26)
19:56:52 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
19:59:23 → r-sta joins (~r-sta@sgyl-37-b2-v4wan-168528-cust2421.vm6.cable.virginm.net)
20:00:01 × caconym quits (~caconym@user/caconym) (Quit: bye)
20:00:39 → caconym joins (~caconym@user/caconym)
20:01:18 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
20:02:40 × dnerdhm^ quits (~dnerdhm@108.192.66.114) (Ping timeout: 272 seconds)
20:03:02 × dsrt^ quits (~dsrt@108.192.66.114) (Ping timeout: 252 seconds)
20:09:18 × simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 276 seconds)
20:11:04 → dsrt^ joins (~dsrt@108.192.66.114)
20:11:07 → dnerdhm^ joins (~dnerdhm@108.192.66.114)
20:12:14 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
20:13:26 → Fijxu joins (~Fijxu@user/fijxu)
20:16:38 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
20:23:23 × Fijxu quits (~Fijxu@user/fijxu) (Read error: Connection reset by peer)
20:25:28 → tallcatparade joins (~tallcatpa@104-178-253-49.lightspeed.sndgca.sbcglobal.net)
20:25:41 → simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
20:27:36 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
20:30:10 × simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds)
20:31:03 → Fijxu joins (~Fijxu@user/fijxu)
20:32:26 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
20:33:15 <hellwolf> does nub preserve order in some way?
20:35:38 → Everything joins (~Everythin@195.138.86.118)
20:37:57 <haskellbridge> <thirdofmay18081814goya> keeps only first occurrence of each element
20:38:35 → simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
20:38:43 <haskellbridge> <thirdofmay18081814goya> so most likely nub'ing an array with no dups is just identity
20:38:58 <geekosaur> regular nub does, but at the expense of being O(n^2). nubOrd sorts implicitly
20:39:41 × tallcatparade quits (~tallcatpa@104-178-253-49.lightspeed.sndgca.sbcglobal.net) (Ping timeout: 244 seconds)
20:39:45 → Sgeo joins (~Sgeo@user/sgeo)
20:41:00 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds)
20:42:28 <enikar> does nubOrd actually sort?
20:42:45 <geekosaur> it uses a Set, which is sorted
20:42:58 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
20:42:59 <int-e> (But the output isn't sorted.)
20:43:13 <enikar> it is possible to use the Ord instance and set without sorting the element of the input
20:43:40 <int-e> enikar: the Set will store the input elements in sorted order
20:43:56 <int-e> as a user of nubOrd you won't ever see the set
20:44:06 <enikar> yes, this is why the Ord constraint is necessary
20:46:39 × simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 265 seconds)
20:47:08 × qqe quits (~qqq@92.43.167.61) (Quit: Lost terminal)
20:47:26 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
20:51:45 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
20:52:05 <haskellbridge> <sm> there's a nubSort also
20:52:57 <haskellbridge> <sm> the fact that https://hackage.haskell.org/package/base-4.21.0.0/docs/Data-List.html#v:nub doesn't sort and doesn't document this very clearly is a bit of a footgun in Haskell
20:54:24 ← Everything parts (~Everythin@195.138.86.118) ()
20:56:24 × hgolden quits (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection)
20:56:45 <__monty__> Why would nub imply sorting?
20:57:49 × Fijxu quits (~Fijxu@user/fijxu) (Quit: XD!!)
20:58:21 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
20:58:41 → hgolden joins (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363)
21:00:40 × hgolden quits (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection)
21:00:52 <haskellbridge> <Morj> Nub with sorting can be done in O(n log n), nub without order can only be done with pairwise compares in O(n^2)
21:01:23 <haskellbridge> <Morj> In base aren't they given as two functions, like nub and nubEq?
21:01:40 <haskellbridge> <Morj> No, the opposite, nub and nubOrd. So nub doesn't even imply sorting
21:01:52 × r-sta quits (~r-sta@sgyl-37-b2-v4wan-168528-cust2421.vm6.cable.virginm.net) (Quit: Client closed)
21:02:40 <__monty__> nubSort rather. nubOrd uses a Set rather than sorting and doesn't return sorted output according to previous convo.
21:02:47 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
21:03:58 <haskellbridge> <Morj> (also sorry for the stupid reply, the previous convo was slow to load)
21:07:48 × mhatta quits (~mhatta@www21123ui.sakura.ne.jp) (Remote host closed the connection)
21:08:30 <haskellbridge> <sm> __monty__: the help says "removes duplicate elements from a list. In particular, it keeps only the first occurrence of each element." It's easy to misinterpret
21:08:59 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection)
21:08:59 × stiell quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
21:08:59 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
21:09:25 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
21:09:27 → stiell joins (~stiell@gateway/tor-sasl/stiell)
21:09:33 → ChaiTRex joins (~ChaiTRex@user/chaitrex)
21:10:43 <__monty__> I don't really see it. Not that I would be opposed to a clarifying note.
21:10:44 → mhatta joins (~mhatta@www21123ui.sakura.ne.jp)
21:12:58 → Fijxu joins (~Fijxu@user/fijxu)
21:13:43 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
21:13:48 <haskellbridge> <sm> (for newcomers: it's easy to think "this'll leave me with one of each value", but it won't do that if similar values are separated with a different value between them. And it's easy to see it working at first by luck, because the list happened to be already sorted.)
21:13:51 × Fijxu quits (~Fijxu@user/fijxu) (Client Quit)
21:14:47 → hgolden joins (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363)
21:14:59 → tallcatparade joins (~tallcatpa@104-178-253-49.lightspeed.sndgca.sbcglobal.net)
21:15:17 <__monty__> > nub "abcabcabc"
21:15:18 <lambdabot> "abc"
21:15:36 <__monty__> The elements don't need to be consecutive.
21:19:03 → peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
21:20:21 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
21:21:28 <haskellbridge> <sm> gosh now I'm very confused. I see the same thing, but I've been bitten by this or something very like this many times
21:21:59 → simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
21:22:05 <haskellbridge> <sm> or so I believe
21:22:16 <Leary> You're probably thinking of `group`.
21:23:54 <haskellbridge> <sm> I was thinking of nub and nubSort, but now I'm questioning my reality, thanks
21:24:48 × tallcatparade quits (~tallcatpa@104-178-253-49.lightspeed.sndgca.sbcglobal.net) (Ping timeout: 252 seconds)
21:24:50 <__monty__> > group "abcabc"
21:24:51 <lambdabot> ["a","b","c","a","b","c"]
21:25:09 <__monty__> > group . sort $ "abcabc"
21:25:11 <lambdabot> ["aa","bb","cc"]
21:25:12 → Fijxu joins (~Fijxu@user/fijxu)
21:29:05 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
21:30:37 → tessier joins (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com)
21:31:46 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
21:32:02 <haskellbridge> <sm> clutching at straws: possibly nub behaved that way in older GHC/base ?
21:32:03 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
21:34:17 <haskellbridge> <sm> not in ghc 8.10.7 base 4.14 anyway
21:34:39 <probie> The Haskell98 report gives a definition of `nub` that matches what GHC currently does. So if it ever had different behaviour, we're probably talking 30 years ago
21:34:58 × lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 244 seconds)
21:36:13 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
21:38:30 <haskellbridge> <sm> ok. Just fully wrong then. Thanks :)
21:40:41 → ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207)
21:41:54 <Leary> `map head . group` is the classic "fast nub" (for sorted inputs only); that should be whereabouts the wires in your head got crossed.
21:44:23 <haskellbridge> <sm> the funny thing is I tooted this helpful advice to mastodon and it got widely boosted. :)
21:44:23 <haskellbridge> I will call this Evil Rubber Duck technique.
21:44:23 → peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
21:45:21 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
21:45:30 <__monty__> We *are* Evil Ducks. And we're coming for you when you least expect it >: )
21:47:09 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
21:47:46 → r-sta joins (~r-sta@sgyl-37-b2-v4wan-168528-cust2421.vm6.cable.virginm.net)
21:48:34 × ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en)
21:48:46 <r-sta> are there any good out of the box optimization routines?
21:49:25 <r-sta> and if not, would anyone like to help a community effort?
21:49:28 × vanishingideal quits (~vanishing@user/vanishingideal) (Remote host closed the connection)
21:49:56 <Rembane> r-sta: Yes, but they're usually like: measure and see where the code is slow, make that code fast.
21:49:59 <r-sta> language maintainers that can help keep the ML tooling maintained for the sake of the language
21:50:10 <r-sta> parametric ptimization*
21:50:16 <r-sta> optimization*
21:50:43 <r-sta> not like, code optimization
21:50:58 <r-sta> we do parameter search not combinatoric search, thats the limmitation
21:51:06 <r-sta> the user is the one that has to generate the code!
21:51:30 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
21:51:53 <r-sta> idk if i could be more specific with a type
21:52:01 <r-sta> (a->Double) is like a loss
21:52:37 <r-sta> (a -> Double) -> s - > [Double] -> (s,[Double])
21:52:45 <r-sta> this is a stateful thing that needs a loss
21:52:53 <r-sta> its producing new param vecs
21:53:34 <r-sta> as you pass a loss function in, you can have an arbitrary optimisation routine advance the initial guess
21:54:03 <r-sta> im looking for, either, out of the box things to wrap, or help cobbling together something like that for the whole community
21:54:52 <r-sta> i could easily lead this, and haskell is the perfect language. its the difference if new users come and are like, nice compiler, or are like, nice compiler, and nice ML stuff
21:54:58 → elnegro joins (elnegro@r167-57-7-222.dialup.adsl.anteldata.net.uy)
21:55:15 <r-sta> ML dev associated to language maintainance seems less pie in the sky than ever rn
21:56:06 <r-sta> a comittee could design descisions like how to handle class abstractions for parametric objects etc
21:56:33 <r-sta> for which there are several suggestions. and a nunch of other domain specific considerations like this
21:56:42 <r-sta> bunch*
21:57:30 <r-sta> i have consultation within the maintainance of my own codebase and that which is shared accademically
21:57:57 <r-sta> im sure there are enough ML contributors that the haskell effort could be quite reasonable
21:58:16 <r-sta> especially considering all the stuff we have done over recent years with MIT
21:58:20 <r-sta> in haskell
21:58:24 <r-sta> which im really happy about!
21:58:49 <r-sta> but there is a codebase that could easily be migrated, and id like some people from within the comunity to hand it to
21:58:54 <r-sta> or to help with the maintainance
21:59:30 <r-sta> id like all the peripherals i commonly build to be up on hackage
21:59:41 <r-sta> and presented in a way which everyone agrees on
22:00:07 <r-sta> if people agree to this then i can start by uploading the learning routine i use
22:00:19 <r-sta> but id quite like to find existing learning routines to wrap aswell
22:00:50 <r-sta> the idea is that you kind of commit to learning how learning routines work so as to be able to maintain them
22:01:27 <r-sta> the one i use presents some pertinant considerations, and is quite good for people wanting something to use in their own projects
22:01:45 <r-sta> thats basically what i bring to the table. it would probably outperform any that exist on here, and maybe other places too
22:01:57 <r-sta> normally you would have to have some package. a lot of people use matlab
22:02:10 <r-sta> because the learning routines are not easy to access at top level
22:02:21 <r-sta> there should be *way more pure learning routines*
22:02:32 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
22:02:44 <r-sta> and the class abstrations that provide the learning interface should be at the heart of the community codebase
22:04:01 <r-sta> as well as being able to present a pretty decent out of the box algorithm that many people might find useful for small optimization tasks, the task of getting something which works much better in higher dimensions is an open problem referred to as AGI
22:04:27 <r-sta> having been part of the currently leading team in these efforts worldwide, it is a fantastic opportunity for haskell
22:05:13 <r-sta> dont all respond at once, this chan has a habbit of deluging you with input
22:05:34 <r-sta> ill be around from time to time so chime in if interested
22:05:52 × califax quits (~califax@user/califx) (Remote host closed the connection)
22:05:52 <r-sta> anyone that wants to be involved i can email
22:05:56 × r-sta quits (~r-sta@sgyl-37-b2-v4wan-168528-cust2421.vm6.cable.virginm.net) (Quit: Client closed)
22:07:04 → califax joins (~califax@user/califx)
22:07:15 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
22:10:00 → michalz joins (~michalz@185.246.207.201)
22:14:42 × elnegro quits (elnegro@r167-57-7-222.dialup.adsl.anteldata.net.uy) (Remote host closed the connection)
22:14:50 → Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542)
22:17:55 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
22:19:43 <haskellbridge> <sm> "r-sta proposed enhancing Haskell's ML tooling with community-maintained learning routines and better abstractions, offering to contribute their own optimization methods and inviting collaboration to make Haskell more accessible and competitive for ML tasks."
22:20:24 <Rembane> Good summary.
22:20:26 <Rembane> Who are they?
22:21:09 <haskellbridge> <sm> an occasional prolific poster here, I'm not sure if they've identified
22:21:27 <Rembane> Got it.
22:21:33 <Rembane> I think they need a blog.
22:21:41 <Rembane> Or a diary.
22:22:22 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
22:24:05 × Fijxu quits (~Fijxu@user/fijxu) (Read error: Connection reset by peer)
22:25:18 × simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds)
22:26:34 → simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
22:28:48 <monochrom> Not enough machine learning people in this channel, realistically. The discourse has probably much more relevant people.
22:29:12 <monochrom> But here is where human nature kicks in. Once a person has chosen a medium, they will refuse to switch.
22:29:14 × target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving)
22:29:40 <monochrom> (And there is an xkcd for that.)
22:31:29 → weary-traveler joins (~user@user/user363627)
22:31:30 <Rembane> It's a good one too
22:31:39 × simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 276 seconds)
22:31:47 <monochrom> Also, one github (or gitlab or whatever) repo URL is worth a thousand words.
22:32:21 × ubert quits (~Thunderbi@p200300ecdf3b1a6b33f8a008550b561a.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
22:33:14 × ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds)
22:33:17 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
22:37:19 × Square quits (~Square@user/square) (Ping timeout: 264 seconds)
22:37:21 haskellbridge sm waits for chat clients to support LLM Condense Mode
22:37:29 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
22:42:11 × michalz quits (~michalz@185.246.207.201) (Remote host closed the connection)
22:48:41 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
22:55:46 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
22:57:11 → fmira joins (~user@user/fmira)
22:58:37 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
23:00:37 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
23:06:43 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
23:07:03 → simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
23:10:21 × fmira quits (~user@user/fmira) (Remote host closed the connection)
23:10:47 → fmira joins (~user@user/fmira)
23:11:24 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
23:11:55 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
23:14:39 → xdminsy joins (~xdminsy@117.147.71.185)
23:24:14 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
23:25:41 → Fijxu joins (~Fijxu@user/fijxu)
23:27:45 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
23:28:53 × Fijxu quits (~Fijxu@user/fijxu) (Client Quit)
23:31:49 × Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
23:32:15 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
23:32:48 → Fijxu joins (~Fijxu@user/fijxu)
23:40:18 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
23:42:47 × Fijxu quits (~Fijxu@user/fijxu) (Quit: XD!!)
23:43:10 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
23:45:42 hellwolf refactors Haskell code, keeping the same type signature, changed internal implementation, everything compiles and works again.
23:46:15 <hellwolf> I think people don't use Haskell often because it would have been to boring and easy. Contrary to the popular belief.
23:46:45 → Fijxu joins (~Fijxu@user/fijxu)
23:47:30 × simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 272 seconds)
23:49:00 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
23:49:19 <c_wraith> there's a lot of unnecessary fear of Haskell. But there are also some legitimately new things that you have to learn.
23:49:33 <c_wraith> And that can be very intimidating.
23:52:30 <hellwolf> it sounds silly, but the "let in; where without curly bracket" syntax seems the biggest barrier to entry :D
23:55:17 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
23:55:47 → simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)

All times are in UTC on 2025-01-18.