Home liberachat/#haskell: Logs Calendar

Logs on 2024-07-11 (liberachat/#haskell)

00:02:00 peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
00:08:28 × euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds)
00:15:14 × Miroboru quits (~myrvoll@178-164-114.82.3p.ntebredband.no) (Server closed connection)
00:15:29 Miroboru joins (~myrvoll@178-164-114.82.3p.ntebredband.no)
00:17:49 × Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
00:21:50 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
00:21:58 euleritian joins (~euleritia@dynamic-176-006-184-084.176.6.pool.telefonica.de)
00:26:21 × TonyStone quits (~TonyStone@user/TonyStone) (Server closed connection)
00:26:53 TonyStone joins (~TonyStone@user/TonyStone)
00:32:06 × califax quits (~califax@user/califx) (Remote host closed the connection)
00:34:17 califax joins (~califax@user/califx)
00:38:51 × dysthesis quits (~dysthesis@user/dysthesis) (Quit: dysthesis)
00:39:54 dysthesis joins (~dysthesis@user/dysthesis)
00:42:59 <cheater> haha
00:43:21 <cheater> yama making all the irc newbie mistakes :')
00:56:28 × euleritian quits (~euleritia@dynamic-176-006-184-084.176.6.pool.telefonica.de) (Ping timeout: 268 seconds)
00:57:06 euleritian joins (~euleritia@dynamic-176-001-014-111.176.1.pool.telefonica.de)
00:59:14 × foul_owl quits (~kerry@185.219.141.164) (Ping timeout: 252 seconds)
01:08:45 aforemny joins (~aforemny@i59F516C1.versanet.de)
01:10:20 × aforemny_ quits (~aforemny@i59F516EB.versanet.de) (Ping timeout: 268 seconds)
01:13:33 foul_owl joins (~kerry@185.219.141.162)
01:14:38 × dysthesis quits (~dysthesis@user/dysthesis) (Ping timeout: 260 seconds)
01:15:22 dysthesis joins (~dysthesis@user/dysthesis)
01:18:58 × AlexZenon quits (~alzenon@5.139.232.6) (Ping timeout: 268 seconds)
01:19:19 × tabaqui quits (~root@87.200.123.114) (Quit: WeeChat 4.3.4)
01:19:27 × AlexNoo quits (~AlexNoo@5.139.232.6) (Ping timeout: 264 seconds)
01:21:51 <Axman6> Mistakes on IRC are forever
01:27:06 <geekosaur> endless september is endless
01:28:37 danse-nr3 joins (~danse-nr3@151.57.152.83)
01:28:52 × danse-nr3 quits (~danse-nr3@151.57.152.83) (Remote host closed the connection)
01:29:18 danse-nr3 joins (~danse-nr3@151.57.152.83)
01:34:33 × xff0x quits (~xff0x@ai068022.d.east.v6connect.net) (Ping timeout: 256 seconds)
01:38:11 <monochrom> Nooooo! IRC is memoryless. >:)
01:49:33 × mikess quits (~mikess@user/mikess) (Remote host closed the connection)
01:49:51 mikess joins (~mikess@user/mikess)
01:50:43 machinedgod joins (~machinedg@d173-183-246-216.abhsia.telus.net)
01:56:59 × euleritian quits (~euleritia@dynamic-176-001-014-111.176.1.pool.telefonica.de) (Ping timeout: 264 seconds)
01:57:51 euleritian joins (~euleritia@dynamic-176-001-213-104.176.1.pool.telefonica.de)
02:00:56 czy joins (~user@fortigate.wolfson.cam.ac.uk)
02:05:47 × madeleine-sydney quits (~madeleine@c-71-229-185-228.hsd1.co.comcast.net) (Ping timeout: 252 seconds)
02:13:06 madeleine-sydney joins (~madeleine@c-71-229-185-228.hsd1.co.comcast.net)
02:13:56 <danse-nr3> well that's a good training. Mistakes are often forever in real life, although coding gets us used to the opposite
02:15:41 × euleritian quits (~euleritia@dynamic-176-001-213-104.176.1.pool.telefonica.de) (Ping timeout: 252 seconds)
02:16:51 euleritian joins (~euleritia@dynamic-176-003-073-204.176.3.pool.telefonica.de)
02:25:22 × tomku quits (~tomku@user/tomku) (Remote host closed the connection)
02:25:36 tomku joins (~tomku@user/tomku)
02:25:37 xff0x joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
02:29:20 peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
02:31:05 × td_ quits (~td@i5387093F.versanet.de) (Ping timeout: 252 seconds)
02:31:26 × euleritian quits (~euleritia@dynamic-176-003-073-204.176.3.pool.telefonica.de) (Ping timeout: 268 seconds)
02:32:26 euleritian joins (~euleritia@dynamic-176-002-076-154.176.2.pool.telefonica.de)
02:32:40 td_ joins (~td@i5387092C.versanet.de)
02:32:41 × phma quits (~phma@host-67-44-208-42.hnremote.net) (Read error: Connection reset by peer)
02:33:05 phma joins (phma@2001:5b0:211b:f1a8:481d:33c:3867:23b1)
02:35:28 × cayley5 quits (~cayley5@user/phileasfogg) (Quit: Ping timeout (120 seconds))
02:35:51 cayley5 joins (~cayley5@user/phileasfogg)
02:38:16 × mud quits (~mud@user/kadoban) (Remote host closed the connection)
02:38:41 mud joins (~mud@user/kadoban)
02:39:39 × Luj9 quits (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Server closed connection)
02:39:58 Luj9 joins (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5)
02:44:17 × xff0x quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 252 seconds)
02:45:55 xff0x joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
02:57:39 × waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 260 seconds)
03:02:54 × Franciman quits (~Franciman@mx1.fracta.dev) (Server closed connection)
03:03:08 Franciman joins (~Franciman@mx1.fracta.dev)
03:13:40 × euleritian quits (~euleritia@dynamic-176-002-076-154.176.2.pool.telefonica.de) (Ping timeout: 268 seconds)
03:15:36 euleritian joins (~euleritia@dynamic-176-003-078-004.176.3.pool.telefonica.de)
03:22:41 <jle`> think of it like shipping channels in the ocean. you can't see them until a boat cuts through the water leaving a wake
03:23:10 <jle`> if two boats meet in the ocean to swap haskell snippets, you have to catch them in real time, otherwise there's no evidence of a meeting
03:23:19 × euleritian quits (~euleritia@dynamic-176-003-078-004.176.3.pool.telefonica.de) (Read error: Connection reset by peer)
03:23:36 euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
03:25:13 <danse-nr3> huh not sure when you joined jle` but monochrom was clearly sarcastic
03:25:25 <danse-nr3> (this chan is logged, by the way)
03:29:18 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
03:30:28 <probie> danse-nr3: I'm pretty sure jle` is referencing a scene from a TV show (I don't know which one, I just saw it in a montage of clips from TV shows containing gems like "I'll make a GUI in Visual Basic to track the killer's IP address")
03:32:09 <monochrom> I had to re-parse "shipping channels" multiple times to realize it is not in the sense of "Good news! Amazon has shipped your channel!"
03:32:10 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds)
03:35:29 <monochrom> LHC = large haskell collider, that thing that observes two boats meeting to swap haskell snippets. >:)
03:38:12 <danse-nr3> thanks for the reference probie
03:45:14 aforemny_ joins (~aforemny@i59F516D8.versanet.de)
03:45:25 × aforemny quits (~aforemny@i59F516C1.versanet.de) (Ping timeout: 272 seconds)
03:53:04 <cheater> jle`: "that's wild, man. have you ever tried dmt?"
03:54:25 × machinedgod quits (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 246 seconds)
03:55:37 Square2 joins (~Square4@user/square)
03:56:48 × rvalue quits (~rvalue@user/rvalue) (Read error: Connection reset by peer)
03:57:19 rvalue joins (~rvalue@user/rvalue)
03:58:32 × Square quits (~Square@user/square) (Ping timeout: 252 seconds)
04:01:46 × poscat quits (~poscat@user/poscat) (Ping timeout: 268 seconds)
04:06:04 poscat joins (~poscat@user/poscat)
04:07:24 × fun-safe-math quits (~fun-safe-@24.21.106.247) ()
04:09:26 fun-safe-math joins (~fun-safe-@24.21.106.247)
04:11:07 yin joins (~yin@user/zero)
04:11:25 rosco joins (~rosco@183.171.66.194)
04:14:12 × leeb quits (~leeb@tk2-243-31079.vs.sakura.ne.jp) (Server closed connection)
04:14:20 machinedgod joins (~machinedg@d173-183-246-216.abhsia.telus.net)
04:14:56 leeb joins (~leeb@tk2-243-31079.vs.sakura.ne.jp)
04:15:53 califax_ joins (~califax@user/califx)
04:16:38 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds)
04:16:38 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds)
04:17:06 × califax quits (~califax@user/califx) (Ping timeout: 260 seconds)
04:17:10 califax_ is now known as califax
04:18:37 FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
04:19:28 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
04:25:10 × danse-nr3 quits (~danse-nr3@151.57.152.83) (Ping timeout: 256 seconds)
04:26:17 danse-nr3 joins (~danse-nr3@151.57.152.83)
04:29:30 × CrunchyFlakes quits (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
04:31:45 <Axman6> monochrom: Bezos'd
04:32:03 CrunchyFlakes joins (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de)
04:40:47 × danse-nr3 quits (~danse-nr3@151.57.152.83) (Ping timeout: 264 seconds)
04:52:57 × fiddlerwoaroof quits (~fiddlerwo@user/fiddlerwoaroof) (Server closed connection)
04:54:15 fiddlerwoaroof joins (~fiddlerwo@user/fiddlerwoaroof)
04:57:45 × czy quits (~user@fortigate.wolfson.cam.ac.uk) (Remote host closed the connection)
04:58:08 czy joins (~user@fortigate.wolfson.cam.ac.uk)
05:04:53 peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
05:08:54 × dysthesis quits (~dysthesis@user/dysthesis) (Ping timeout: 260 seconds)
05:11:42 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds)
05:18:35 × rosco quits (~rosco@183.171.66.194) (Quit: Lost terminal)
05:21:13 × Digit quits (~user@user/digit) (Server closed connection)
05:22:06 Digit joins (~user@user/digit)
05:30:23 takuan joins (~takuan@178-116-218-225.access.telenet.be)
05:32:26 smalltalkman joins (uid545680@id-545680.hampstead.irccloud.com)
05:32:49 rosco joins (~rosco@175.136.155.137)
05:35:36 acidjnk_new joins (~acidjnk@p200300d6e72cfb04bdea48a2b5d04624.dip0.t-ipconnect.de)
05:42:05 × euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds)
05:42:52 euleritian joins (~euleritia@dynamic-176-006-189-220.176.6.pool.telefonica.de)
05:52:43 × euleritian quits (~euleritia@dynamic-176-006-189-220.176.6.pool.telefonica.de) (Ping timeout: 272 seconds)
05:57:00 sord937 joins (~sord937@gateway/tor-sasl/sord937)
05:57:47 ChaiTRex joins (~ChaiTRex@user/chaitrex)
05:58:03 × barthandelous01 quits (barth@triton.blinkenshell.org) (Server closed connection)
05:58:24 barthandelous01 joins (barth@triton.blinkenshell.org)
06:00:19 × forell quits (~forell@user/forell) (Ping timeout: 256 seconds)
06:06:39 × yin quits (~yin@user/zero) (Ping timeout: 260 seconds)
06:26:05 <cheater> Axman6: ?
06:32:03 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds)
06:37:06 <Axman6> cheater: " monochrom: I had to re-parse "shipping channels" multiple times to realize it is not in the sense of "Good news! Amazon has shipped your channel!"
06:46:26 × rosco quits (~rosco@175.136.155.137) (Quit: Lost terminal)
06:49:43 × jle` quits (~jle`@2603:8001:3b02:84d4:c01a:146b:1e1a:5e8e) (Ping timeout: 272 seconds)
06:50:29 jle` joins (~jle`@2603:8001:3b02:84d4:28b7:6d01:aab8:d741)
06:52:57 × ft quits (~ft@p4fc2ab80.dip0.t-ipconnect.de) (Quit: leaving)
06:53:55 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
06:56:49 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Excess Flood)
06:56:55 <mauke> my shipping route follows a Bezos curve
06:59:19 Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915)
07:05:59 × lambdabot quits (~lambdabot@haskell/bot/lambdabot) (Server closed connection)
07:06:06 lambdabot joins (~lambdabot@haskell/bot/lambdabot)
07:06:06 ChanServ sets mode +v lambdabot
07:09:20 hgolden_ joins (~hgolden@2603:8000:9d00:3ed1:2678:8497:aa5c:7fa9)
07:09:33 × hgolden quits (~hgolden@2603:8000:9d00:3ed1:2678:8497:aa5c:7fa9) (Remote host closed the connection)
07:10:46 × jle` quits (~jle`@2603:8001:3b02:84d4:28b7:6d01:aab8:d741) (Ping timeout: 246 seconds)
07:11:11 jle` joins (~jle`@2603:8001:3b02:84d4:28b7:6d01:aab8:d741)
07:14:32 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
07:16:35 <Axman6> Just came across https://forkful.ai/en/haskell/, which is a cookbook for Haskell, written using AI, and then edited by people... not sure how I feel about this but the pages I looked at looked reasonable
07:28:14 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
07:29:57 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
07:37:41 × econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
07:39:21 mreh joins (~matthew@host86-160-168-12.range86-160.btcentralplus.com)
07:39:48 × emmanuelux quits (~emmanuelu@user/emmanuelux) (Quit: au revoir)
07:51:15 rosco joins (~rosco@175.136.155.137)
08:03:19 vpan joins (~vpan@212.117.1.172)
08:03:36 vpan is now known as Guest3760
08:04:02 Guest3760 is now known as vpan
08:14:27 sroso joins (~sroso@user/SrOso)
08:17:59 × tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
08:21:21 × JamesMowery quits (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) (Server closed connection)
08:21:38 JamesMowery joins (~JamesMowe@ip98-167-207-182.ph.ph.cox.net)
08:31:45 × czy quits (~user@fortigate.wolfson.cam.ac.uk) (Ping timeout: 256 seconds)
08:32:17 gmg joins (~user@user/gehmehgeh)
08:37:26 × tired quits (~tired@user/tired) (Server closed connection)
08:37:53 tired joins (~tired@user/tired)
08:38:59 danse-nr3 joins (~danse-nr3@151.57.173.118)
08:39:10 czy joins (~user@fortigate.wolfson.cam.ac.uk)
08:39:10 × danse-nr3 quits (~danse-nr3@151.57.173.118) (Remote host closed the connection)
08:39:34 danse-nr3 joins (~danse-nr3@151.57.173.118)
08:41:02 × czy quits (~user@fortigate.wolfson.cam.ac.uk) (Remote host closed the connection)
08:42:24 <cheater> ai made text is full of prions. enjoy
08:42:29 czy joins (~user@fortigate.wolfson.cam.ac.uk)
08:49:22 cfricke joins (~cfricke@user/cfricke)
08:51:58 soverysour joins (~soverysou@81.196.150.219)
08:51:58 × soverysour quits (~soverysou@81.196.150.219) (Changing host)
08:51:58 soverysour joins (~soverysou@user/soverysour)
08:53:00 chele joins (~chele@user/chele)
08:56:09 <haskellbridge> <sm> Axman6: likewise, but I guess it's interesting. It's at least better than everyone hitting chatgpt with the same questions over and over
08:56:12 CiaoSen joins (~Jura@2a05:5800:2b4:d300:e6b9:7aff:fe80:3d03)
08:57:06 × sord937 quits (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 260 seconds)
08:57:13 <haskellbridge> <sm> I haven't checked content, but it looks extremely pleasant and usable. Thanks for the link.
08:58:10 tcard joins (~tcard@p5361199-ipxg23901hodogaya.kanagawa.ocn.ne.jp)
08:58:15 <haskellbridge> <sm> https://forkful.ai/en/about/
08:59:01 sord937 joins (~sord937@gateway/tor-sasl/sord937)
09:02:18 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
09:04:28 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
09:09:59 ubert joins (~Thunderbi@2a02:8109:ab8a:5a00:6162:5c71:eb3c:e579)
09:12:09 Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
09:27:35 × danse-nr3 quits (~danse-nr3@151.57.173.118) (Ping timeout: 264 seconds)
09:28:29 danse-nr3 joins (~danse-nr3@151.44.201.68)
09:29:58 × haetsal quits (~quassel@221.138.168.192) (Remote host closed the connection)
09:31:12 haetsal joins (~quassel@221.138.168.192)
09:38:06 mechap joins (~mechap@user/mechap)
09:47:06 × soverysour quits (~soverysou@user/soverysour) (Ping timeout: 268 seconds)
09:47:11 × sam113101 quits (~sam@24.157.253.231) (Server closed connection)
09:47:41 sam113101 joins (~sam@24.157.253.231)
10:06:18 × xff0x quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 256 seconds)
10:10:12 zetef joins (~quassel@2a02:2f00:5202:1200:3fa2:e908:b522:fa2f)
10:11:25 × zetef quits (~quassel@2a02:2f00:5202:1200:3fa2:e908:b522:fa2f) (Client Quit)
10:30:08 × Square2 quits (~Square4@user/square) (Ping timeout: 252 seconds)
10:32:01 × czy quits (~user@fortigate.wolfson.cam.ac.uk) (Ping timeout: 246 seconds)
10:32:58 michalz joins (~michalz@185.246.207.222)
10:33:47 czy joins (~user@fortigate.wolfson.cam.ac.uk)
10:36:02 × gmg quits (~user@user/gehmehgeh) (Ping timeout: 260 seconds)
10:38:08 gmg joins (~user@user/gehmehgeh)
10:43:59 × cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2)
10:46:39 × rosco quits (~rosco@175.136.155.137) (Quit: Lost terminal)
10:50:29 × czy quits (~user@fortigate.wolfson.cam.ac.uk) (Ping timeout: 252 seconds)
10:51:09 ghodawalaaman joins (~thelounge@user/thelounge8234)
10:59:55 × sroso quits (~sroso@user/SrOso) (Quit: Leaving :))
11:01:42 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds)
11:07:40 oneeyedalien joins (~oneeyedal@user/oneeyedalien)
11:09:32 ChaiTRex joins (~ChaiTRex@user/chaitrex)
11:12:28 xff0x joins (~xff0x@2405:6580:b080:900:9f96:9dea:14c6:fcb5)
11:16:27 × L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out)
11:22:41 infinity0_ joins (~infinity0@pwned.gg)
11:22:47 infinity0_ parts (~infinity0@pwned.gg) (WeeChat 4.3.1)
11:22:58 infinity0_ joins (~infinity0@pwned.gg)
11:23:04 L29Ah joins (~L29Ah@wikipedia/L29Ah)
11:28:42 × infinity0_ quits (~infinity0@pwned.gg) (Quit: WeeChat 4.3.1)
11:28:53 infinity0_ joins (~infinity0@pwned.gg)
11:31:16 × oneeyedalien quits (~oneeyedal@user/oneeyedalien) (Quit: Leaving)
11:31:56 × hueso quits (~root@user/hueso) (Ping timeout: 268 seconds)
11:35:38 × infinity0_ quits (~infinity0@pwned.gg) (Quit: WeeChat 4.3.1)
11:35:50 infinity0_ joins (~infinity0@pwned.gg)
11:36:54 × infinity0_ quits (~infinity0@pwned.gg) (Client Quit)
11:37:27 infinity0_ joins (~infinity0@pwned.gg)
11:38:14 × infinity0_ quits (~infinity0@pwned.gg) (Client Quit)
11:38:51 infinity0_ joins (~infinity0@pwned.gg)
11:43:26 × jcarpenter2 quits (~lol@2603:3016:1e01:b940:39da:d80d:3ccf:6868) (Server closed connection)
11:43:42 jcarpenter2 joins (~lol@2603:3016:1e01:b940:b169:4b35:90eb:1648)
11:44:33 × infinity0_ quits (~infinity0@pwned.gg) (Quit: WeeChat 4.3.1)
11:44:42 infinity0_ joins (~infinity0@pwned.gg)
11:44:56 × infinity0_ quits (~infinity0@pwned.gg) (Client Quit)
11:46:04 infinity0_ joins (~infinity0@pwned.gg)
11:56:07 yin joins (~yin@user/zero)
11:57:05 <cheater> https://github.com/ShiArthur03/ShiArthur03
11:57:59 <danse-nr3> so what?
12:03:18 × lockywolf quits (~lockywolf@public.lockywolf.net) (Server closed connection)
12:03:34 lockywolf joins (~lockywolf@public.lockywolf.net)
12:04:44 rosco joins (~rosco@175.136.155.137)
12:07:00 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
12:09:11 madhavanmiui joins (~madhavanm@2409:40f4:301f:1ef:8000::)
12:14:28 × madhavanmiui quits (~madhavanm@2409:40f4:301f:1ef:8000::) (Quit: Quit)
12:19:35 × danse-nr3 quits (~danse-nr3@151.44.201.68) (Ping timeout: 252 seconds)
12:21:17 kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be)
12:21:34 × vpan quits (~vpan@212.117.1.172) (Quit: Leaving.)
12:24:05 × ubert quits (~Thunderbi@2a02:8109:ab8a:5a00:6162:5c71:eb3c:e579) (Remote host closed the connection)
12:24:18 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds)
12:24:18 ubert joins (~Thunderbi@2a02:8109:ab8a:5a00:f184:5d25:a745:64db)
12:25:32 ChaiTRex joins (~ChaiTRex@user/chaitrex)
12:27:24 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
12:41:36 × ethantwardy quits (user@user/ethantwardy) (Ping timeout: 252 seconds)
12:41:56 × madeleine-sydney quits (~madeleine@c-71-229-185-228.hsd1.co.comcast.net) (Remote host closed the connection)
12:42:23 × tomku quits (~tomku@user/tomku) (Ping timeout: 260 seconds)
12:44:17 tomku joins (~tomku@user/tomku)
12:46:28 <cheater> no idea
12:46:53 danse-nr3 joins (~danse-nr3@151.44.201.68)
12:47:24 × danse-nr3 quits (~danse-nr3@151.44.201.68) (Remote host closed the connection)
12:47:49 danse-nr3 joins (~danse-nr3@151.44.201.68)
12:48:34 bgamari_ joins (~bgamari@64.223.233.64)
12:49:13 × bgamari quits (~bgamari@64.223.238.235) (Ping timeout: 246 seconds)
12:51:19 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
12:54:12 ethantwardy joins (user@user/ethantwardy)
12:57:26 × mechap quits (~mechap@user/mechap) (Ping timeout: 256 seconds)
12:58:24 mechap joins (~mechap@user/mechap)
13:06:43 × mechap quits (~mechap@user/mechap) (Ping timeout: 246 seconds)
13:08:41 × RedFlamingos quits (~RedFlamin@user/RedFlamingos) (Server closed connection)
13:10:51 AlexNoo joins (~AlexNoo@5.139.233.228)
13:16:22 cfricke joins (~cfricke@user/cfricke)
13:19:32 × CiaoSen quits (~Jura@2a05:5800:2b4:d300:e6b9:7aff:fe80:3d03) (Ping timeout: 256 seconds)
13:20:43 × mikess quits (~mikess@user/mikess) (Ping timeout: 246 seconds)
13:22:38 × cheater quits (~Username@user/cheater) (Server closed connection)
13:24:08 cheater joins (~Username@user/cheater)
13:24:09 × yin quits (~yin@user/zero) (Ping timeout: 256 seconds)
13:24:44 × danse-nr3 quits (~danse-nr3@151.44.201.68) (Read error: Connection reset by peer)
13:25:54 yin joins (~yin@user/zero)
13:32:57 danse-nr3 joins (~danse-nr3@ge-19-104-41.service.infuturo.it)
13:36:28 CiaoSen joins (~Jura@2a05:5800:2b4:d300:e6b9:7aff:fe80:3d03)
13:44:54 alexherbo2 joins (~alexherbo@2a02-8440-3406-d36a-181c-f5a7-17e8-97e6.rev.sfr.net)
13:45:50 × rosco quits (~rosco@175.136.155.137) (Quit: Lost terminal)
13:48:24 × CrunchyFlakes quits (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
13:49:19 CrunchyFlakes joins (~CrunchyFl@146.52.130.128)
13:53:48 AlexZenon joins (~alzenon@5.139.233.228)
13:56:19 ystael joins (~ystael@user/ystael)
13:57:20 × hexology quits (~hexology@user/hexology) (Quit: hex on you ...)
13:57:43 hexology joins (~hexology@user/hexology)
14:01:49 × hexology quits (~hexology@user/hexology) (Remote host closed the connection)
14:02:51 hexology joins (~hexology@user/hexology)
14:03:39 × hexology quits (~hexology@user/hexology) (Remote host closed the connection)
14:16:09 Sgeo joins (~Sgeo@user/sgeo)
14:22:22 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds)
14:28:58 × destituion quits (~destituio@2a02:2121:6bd:3eb7:4622:d39e:da46:9f21) (Ping timeout: 246 seconds)
14:30:01 × danse-nr3 quits (~danse-nr3@ge-19-104-41.service.infuturo.it) (Ping timeout: 246 seconds)
14:31:52 segfaultfizzbuzz joins (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net)
14:33:13 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
14:36:38 danse-nr3 joins (~danse-nr3@ge-19-104-41.service.infuturo.it)
14:41:55 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
14:52:19 × CiaoSen quits (~Jura@2a05:5800:2b4:d300:e6b9:7aff:fe80:3d03) (Ping timeout: 272 seconds)
14:52:32 × ftzm quits (~ftzm@085080243169.dynamic.telenor.dk) (Server closed connection)
14:52:55 ftzm joins (~ftzm@085080243169.dynamic.telenor.dk)
14:57:59 kenran joins (~user@user/kenran)
15:02:43 ChaiTRex joins (~ChaiTRex@user/chaitrex)
15:16:18 × robertm quits (robertm@lattice.rojoma.com) (Server closed connection)
15:16:37 robertm joins (robertm@lattice.rojoma.com)
15:19:15 × kenran quits (~user@user/kenran) (Remote host closed the connection)
15:24:56 × juri_ quits (~juri@implicitcad.org) (Ping timeout: 252 seconds)
15:26:24 × alexherbo2 quits (~alexherbo@2a02-8440-3406-d36a-181c-f5a7-17e8-97e6.rev.sfr.net) (Remote host closed the connection)
15:28:10 × comonad quits (~comonad@p200300d027307200d9dc300e6085cadf.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
15:30:10 comonad joins (~comonad@p200300d0273ec200f169249ffaccfbba.dip0.t-ipconnect.de)
15:31:44 billchenchina- joins (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe)
15:36:49 juri_ joins (~juri@implicitcad.org)
15:53:53 × danse-nr3 quits (~danse-nr3@ge-19-104-41.service.infuturo.it) (Remote host closed the connection)
15:54:17 danse-nr3 joins (~danse-nr3@ge-19-104-41.service.infuturo.it)
15:56:11 × gmg quits (~user@user/gehmehgeh) (Remote host closed the connection)
15:58:14 gmg joins (~user@user/gehmehgeh)
15:58:52 erty joins (~user@user/aeroplane)
15:59:15 tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net)
16:14:18 × chele quits (~chele@user/chele) (Remote host closed the connection)
16:14:21 × danse-nr3 quits (~danse-nr3@ge-19-104-41.service.infuturo.it) (Quit: Leaving)
16:16:32 × machinedgod quits (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 268 seconds)
16:20:29 visilii joins (~visilii@213.24.125.33)
16:22:17 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
16:34:28 × kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
16:38:42 waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
16:49:44 oo_miguel joins (~Thunderbi@78.10.207.46)
16:49:57 × oo_miguel quits (~Thunderbi@78.10.207.46) (Client Quit)
16:50:26 oo_miguel joins (~Thunderbi@78.10.207.46)
16:50:31 irfan joins (~irfan@user/irfan)
16:53:24 × irfan quits (~irfan@user/irfan) (Client Quit)
16:53:43 × oo_miguel quits (~Thunderbi@78.10.207.46) (Client Quit)
16:54:07 oo_miguel joins (~Thunderbi@78.10.207.46)
16:58:55 × ubert quits (~Thunderbi@2a02:8109:ab8a:5a00:f184:5d25:a745:64db) (Quit: ubert)
17:01:14 myyo joins (~myyo@8.29.228.238)
17:01:57 × myyo quits (~myyo@8.29.228.238) (Client Quit)
17:01:59 × euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.)
17:04:55 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
17:07:06 soverysour joins (~soverysou@81.196.150.219)
17:07:06 × soverysour quits (~soverysou@81.196.150.219) (Changing host)
17:07:06 soverysour joins (~soverysou@user/soverysour)
17:08:38 euphores joins (~SASL_euph@user/euphores)
17:15:55 × erty quits (~user@user/aeroplane) (Ping timeout: 246 seconds)
17:35:06 × cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2)
17:43:02 × sp1ff` quits (~user@c-73-11-70-111.hsd1.wa.comcast.net) (Server closed connection)
17:43:39 sp1ff` joins (~user@c-73-11-70-111.hsd1.wa.comcast.net)
18:00:07 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
18:02:07 TactfulCitrus joins (~al@2a02:8012:87a6:0:bee8:7ef6:2b1b:f311)
18:15:35 × swistak- quits (~swistak@185.21.216.141) (Server closed connection)
18:15:55 swistak joins (~swistak@185.21.216.141)
18:16:01 × infinity0_ quits (~infinity0@pwned.gg) (Quit: WeeChat 4.3.1)
18:16:20 infinity0_ joins (~infinity0@pwned.gg)
18:17:14 × infinity0_ quits (~infinity0@pwned.gg) (Client Quit)
18:21:00 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds)
18:21:46 Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915)
18:21:51 infinity0_ joins (~infinity0@pwned.gg)
18:22:19 × infinity0_ quits (~infinity0@pwned.gg) (Client Quit)
18:23:22 infinity0_ joins (~infinity0@pwned.gg)
18:24:11 × infinity0_ quits (~infinity0@pwned.gg) (Client Quit)
18:26:44 infinity0_ joins (~infinity0@pwned.gg)
18:27:41 × infinity0_ quits (~infinity0@pwned.gg) (Client Quit)
18:29:19 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
18:30:02 infinity0_ joins (~infinity0@pwned.gg)
18:33:08 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
18:36:11 × infinity0 quits (~infinity0@pwned.gg) (Remote host closed the connection)
18:36:48 × infinity0_ quits (~infinity0@pwned.gg) (Quit: WeeChat 4.3.1)
18:37:06 infinity0 joins (~infinity0@pwned.gg)
18:38:22 peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
18:42:45 alexherbo2 joins (~alexherbo@2a02-8440-3414-5ce3-8c75-1c54-1c60-8d6f.rev.sfr.net)
18:45:27 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds)
18:58:21 mikess joins (~mikess@user/mikess)
19:06:34 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds)
19:08:36 ChaiTRex joins (~ChaiTRex@user/chaitrex)
19:10:46 dhil joins (~dhil@2001:8e0:2014:3100:e3de:88d6:81c8:6a8c)
19:16:33 euleritian joins (~euleritia@77.22.252.56)
19:17:30 target_i joins (~target_i@user/target-i/x-6023099)
19:24:22 Square joins (~Square@user/square)
19:30:42 × TactfulCitrus quits (~al@2a02:8012:87a6:0:bee8:7ef6:2b1b:f311) (Ping timeout: 256 seconds)
19:30:45 × euleritian quits (~euleritia@77.22.252.56) (Read error: Connection reset by peer)
19:39:08 euleritian joins (~euleritia@77.22.252.56)
19:44:49 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
19:53:31 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
20:16:02 hueso joins (~root@user/hueso)
20:21:12 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
20:30:36 × dhil quits (~dhil@2001:8e0:2014:3100:e3de:88d6:81c8:6a8c) (Ping timeout: 268 seconds)
20:31:32 × remedan quits (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Server closed connection)
20:32:01 remedan joins (~remedan@ip-62-245-108-153.bb.vodafone.cz)
20:34:45 × byorgey quits (~byorgey@user/byorgey) (Server closed connection)
20:34:52 byorgey joins (~byorgey@user/byorgey)
20:50:34 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
20:51:20 JuanDaugherty joins (~juan@user/JuanDaugherty)
21:01:26 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
21:05:22 × soverysour quits (~soverysou@user/soverysour) (Remote host closed the connection)
21:05:48 × michalz quits (~michalz@185.246.207.222) (Quit: ZNC 1.9.0 - https://znc.in)
21:06:38 motherfsck joins (~motherfsc@user/motherfsck)
21:09:25 × alexherbo2 quits (~alexherbo@2a02-8440-3414-5ce3-8c75-1c54-1c60-8d6f.rev.sfr.net) (Remote host closed the connection)
21:09:47 alexherbo2 joins (~alexherbo@2a02-8440-3414-5ce3-8c75-1c54-1c60-8d6f.rev.sfr.net)
21:15:15 × mreh quits (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 260 seconds)
21:17:34 peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
21:20:02 × Eoco quits (~ian@128.101.131.218) (Server closed connection)
21:20:21 Eoco joins (~ian@128.101.131.218)
21:23:47 machinedgod joins (~machinedg@d173-183-246-216.abhsia.telus.net)
21:28:57 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
21:39:34 TactfulCitrus joins (~al@2a02:8012:87a6:0:bee8:7ef6:2b1b:f311)
21:43:13 <probie> Does anyone know of any tools to spit out a sbom in spdx for a cabal project?
21:44:46 <probie> everything I can find only cares about the "license" part of spdx
21:45:14 × target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving)
21:45:48 pavonia joins (~user@user/siracusa)
21:46:37 puke joins (~puke@user/puke)
21:46:42 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds)
21:46:49 sroso joins (~sroso@user/SrOso)
21:52:14 × sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
21:57:05 dhil joins (~dhil@2001:8e0:2014:3100:9682:f5f6:8de6:9692)
22:01:31 × machinedgod quits (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 256 seconds)
22:08:50 emmanuelux joins (~emmanuelu@user/emmanuelux)
22:12:29 × acidjnk_new quits (~acidjnk@p200300d6e72cfb04bdea48a2b5d04624.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
22:17:23 × tomku quits (~tomku@user/tomku) (Ping timeout: 264 seconds)
22:17:37 tomku joins (~tomku@user/tomku)
22:21:20 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
22:26:49 <nitrix> Do people target Haskell2010 or GHC2021 nowadays in their cabal?
22:30:23 × mikess quits (~mikess@user/mikess) (Ping timeout: 260 seconds)
22:32:32 mikess joins (~mikess@user/mikess)
22:37:15 × billchenchina- quits (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Quit: Leaving)
22:41:05 × alexherbo2 quits (~alexherbo@2a02-8440-3414-5ce3-8c75-1c54-1c60-8d6f.rev.sfr.net) (Remote host closed the connection)
22:43:32 × Pixi quits (~Pixi@user/pixi) (Quit: Leaving)
22:43:47 × mikess quits (~mikess@user/mikess) (Ping timeout: 264 seconds)
22:46:01 mikess joins (~mikess@user/mikess)
22:47:51 <davean> yes
23:02:00 × rvalue quits (~rvalue@user/rvalue) (Read error: Connection reset by peer)
23:02:32 rvalue joins (~rvalue@user/rvalue)
23:03:15 ft joins (~ft@p4fc2ab80.dip0.t-ipconnect.de)
23:04:47 × mikess quits (~mikess@user/mikess) (Ping timeout: 264 seconds)
23:06:55 mikess joins (~mikess@user/mikess)
23:11:20 × JuanDaugherty quits (~juan@user/JuanDaugherty) (Ping timeout: 252 seconds)
23:11:33 × dhil quits (~dhil@2001:8e0:2014:3100:9682:f5f6:8de6:9692) (Ping timeout: 268 seconds)
23:13:24 × ystael quits (~ystael@user/ystael) (Ping timeout: 268 seconds)
23:14:16 Square2 joins (~Square4@user/square)
23:17:07 × Square quits (~Square@user/square) (Ping timeout: 246 seconds)
23:19:08 <probie> Unless I've got a reason not to (e.g. I want to support a version of GHC that predates it), I go with GHC2021
23:23:17 × puke quits (~puke@user/puke) (Ping timeout: 240 seconds)
23:24:10 <jackdk> and GHC2021 is from 9.2, which has been around for a bit
23:24:59 <c_wraith> after using it a bunch, I kind of prefer to not take GHC2021. I'd rather list most of those extensions explicitly when needed.
23:33:26 × phma quits (phma@2001:5b0:211b:f1a8:481d:33c:3867:23b1) (Read error: Connection reset by peer)
23:34:06 phma joins (~phma@host-67-44-208-89.hnremote.net)
23:45:31 × gmg quits (~user@user/gehmehgeh) (Quit: Leaving)
23:46:20 <probie> New idea for a language; the null+ language. The only construct of the language is enabling extensions
23:47:20 <davean> call with c_wraith
23:47:27 <davean> *I fall
23:50:44 <probie> I guess what I really want "on by default" is just multi-param type classes, rank n types, flexible instances and flexible contexts. I think of those as part of "modern Haskell"
23:51:17 × xff0x quits (~xff0x@2405:6580:b080:900:9f96:9dea:14c6:fcb5) (Ping timeout: 272 seconds)
23:51:21 <geekosaur> I'm reasonably sure that everyone has their own definition of "modern Haskell"
23:51:51 <geekosaur> I could live with yours, aside from rank-n types; but I'd also want LambdaCase
23:54:29 <probie> Actually, by the time I've picked a "common" library like mtl, I've already gone outside my "modern Haskell". Perhaps I should add fundeps to my list?
23:56:10 × xdminsy quits (~xdminsy@117.147.70.227) (Quit: Konversation terminated!)
23:57:48 × waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 268 seconds)
23:58:44 <jle`> i like tuple sections
23:59:35 <jle`> but i think making such a list is probably not going to be too fruitful
23:59:59 <jle`> ViewPatterns have been standard-ish for decades too even though it's not super common

All times are in UTC on 2024-07-11.