Logs on 2023-04-08 (liberachat/#haskell)
| 00:00:01 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 00:01:54 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 00:02:37 | → | malte joins (~malte@mal.tc) |
| 00:03:22 | → | califax joins (~califax@user/califx) |
| 00:05:07 | × | vglfr quits (~vglfr@88.155.38.77) (Ping timeout: 276 seconds) |
| 00:06:32 | <geekosaur[m]> | Actually I missed a step: on a branch instead of a release you need to run aclocal before ./configure |
| 00:23:52 | × | Vq quits (~vq@90-227-192-206-no77.tbcn.telia.com) (Ping timeout: 252 seconds) |
| 00:25:40 | → | Vq joins (~vq@90-227-192-206-no77.tbcn.telia.com) |
| 00:25:45 | × | Guest48 quits (~Guest48@2604:4080:11a5:8050:d8a3:b401:7b54:bb05) (Quit: Client closed) |
| 00:26:24 | <Umeaboy> | geekosaur[m]: Is autoreconf still needed before ./configure? |
| 00:27:06 | <geekosaur> | autoreconf is aclocal plus a few other things that aren't relevant to ghc; all you really should need is aclocal |
| 00:27:24 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 00:27:50 | → | bratwurst joins (~dfadsva@2604:3d09:207f:f650::708a) |
| 00:31:29 | <Umeaboy> | geekosaur: Does this %build part look correct to you then? https://pastebin.com/sFEfiTDR |
| 00:31:39 | → | lbseale joins (~quassel@user/ep1ctetus) |
| 00:31:54 | <geekosaur> | more to the point, autoreconf runs autoheader (unneeded), aclocal, libtoolize (unneeded), autopoint (unneeded), and configure |
| 00:32:08 | <geekosaur> | er, autoconf, which should also not be needed |
| 00:33:12 | <geekosaur> | uh? why are you running hadrian/build before aclocal and configure? and make afterward (make isn't even supported if you're building 9.7) |
| 00:33:49 | <Umeaboy> | Okey. I'm new to porting compilers. :) |
| 00:34:55 | → | mikess joins (~sam@user/mikess) |
| 00:35:46 | <geekosaur> | mm, you may need autoconf at that; been a while since I updated my checkout to the point of needing it |
| 00:36:03 | <geekosaur> | so autoreconf in place of aclocal to be certain |
| 00:36:48 | × | heraldo quits (~heraldo@user/heraldo) (Ping timeout: 248 seconds) |
| 00:37:46 | <geekosaur> | run hadrian/build after configure, and get rid of the make invocation because on 9.3 or later you'll get a complaint that there's no Makefile (which is correct as make is no longer supported after 9.2) |
| 00:40:50 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 00:44:45 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 00:49:37 | → | qy joins (~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) |
| 00:50:08 | × | ix quits (~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) (Ping timeout: 248 seconds) |
| 00:52:16 | × | mikess quits (~sam@user/mikess) (Ping timeout: 248 seconds) |
| 00:52:47 | × | codaraxis quits (~codaraxis@user/codaraxis) (Read error: Connection reset by peer) |
| 00:57:25 | <geekosaur[m]> | Also I still don't see you running ./boot which you need for a build from git at least |
| 00:58:11 | <geekosaur[m]> | But I'm going to bed, it's getting late here |
| 01:00:13 | <Umeaboy> | Okidoki. |
| 01:04:32 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 01:04:32 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 01:04:32 | → | wroathe joins (~wroathe@user/wroathe) |
| 01:10:18 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:13:17 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 01:16:25 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:19:13 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 276 seconds) |
| 01:32:26 | → | freeside joins (~mengwong@103.252.202.85) |
| 01:34:09 | → | mikess joins (~sam@user/mikess) |
| 01:38:04 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 276 seconds) |
| 01:44:38 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 01:49:05 | × | bratwurst quits (~dfadsva@2604:3d09:207f:f650::708a) (Quit: Leaving) |
| 01:49:20 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds) |
| 01:49:31 | × | dfg quits (~dfg@user/dfg) (Quit: I hate quit messages.) |
| 01:52:55 | → | nate1 joins (~nate@98.45.169.16) |
| 01:57:45 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 250 seconds) |
| 02:04:02 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 02:04:02 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 02:04:02 | finn_elija | is now known as FinnElija |
| 02:07:59 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 264 seconds) |
| 02:08:09 | × | catch22 quits (~catch22@2406:3400:418:d7e0:67c:16ff:fe3e:b769) (Ping timeout: 250 seconds) |
| 02:10:35 | → | freeside joins (~mengwong@103.252.202.85) |
| 02:16:15 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 260 seconds) |
| 02:16:56 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 02:19:25 | × | td_ quits (~td@i53870919.versanet.de) (Ping timeout: 250 seconds) |
| 02:21:11 | → | td_ joins (~td@i5387093E.versanet.de) |
| 02:21:15 | → | zer0bitz_ joins (~zer0bitz@2001:2003:f443:d600:8072:a2d3:32b3:1df4) |
| 02:22:26 | × | zer0bitz quits (~zer0bitz@2001:2003:f443:d600:f43c:a9e1:5195:3fd4) (Ping timeout: 252 seconds) |
| 02:24:21 | → | talismanick joins (~talismani@2601:204:ef81:1430::fbe0) |
| 02:26:10 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 02:27:32 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 02:28:27 | → | freeside joins (~mengwong@103.252.202.85) |
| 02:32:51 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 250 seconds) |
| 02:40:46 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 02:45:53 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 02:47:01 | → | nate1 joins (~nate@98.45.169.16) |
| 03:00:24 | → | freeside joins (~mengwong@103.252.202.85) |
| 03:05:00 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 255 seconds) |
| 03:13:04 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 248 seconds) |
| 03:17:09 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 255 seconds) |
| 03:17:24 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 03:17:42 | ← | tusko parts (~yeurt@user/tusko) (Byeee) |
| 03:18:40 | Lord_of_Life_ | is now known as Lord_of_Life |
| 03:19:25 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 265 seconds) |
| 03:30:08 | × | czy quits (~user@host-140-25.ilcub310.champaign.il.us.clients.pavlovmedia.net) (Remote host closed the connection) |
| 03:35:01 | → | freeside joins (~mengwong@103.252.202.85) |
| 03:36:49 | × | mei quits (~mei@user/mei) (Ping timeout: 265 seconds) |
| 03:43:31 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 276 seconds) |
| 03:49:23 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
| 03:59:05 | × | xff0x quits (~xff0x@ai098135.d.east.v6connect.net) (Ping timeout: 250 seconds) |
| 04:00:55 | → | xff0x joins (~xff0x@178.255.149.135) |
| 04:05:35 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 250 seconds) |
| 04:06:24 | × | xff0x quits (~xff0x@178.255.149.135) (Ping timeout: 248 seconds) |
| 04:08:13 | → | xff0x joins (~xff0x@ai098135.d.east.v6connect.net) |
| 04:10:31 | → | jwiegley joins (~jwiegley@76-234-69-149.lightspeed.frokca.sbcglobal.net) |
| 04:13:02 | → | mei joins (~mei@user/mei) |
| 04:15:43 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 04:32:06 | → | bilegeek joins (~bilegeek@25.sub-174-209-32.myvzw.com) |
| 04:36:27 | × | bilegeek quits (~bilegeek@25.sub-174-209-32.myvzw.com) (Ping timeout: 248 seconds) |
| 04:36:27 | × | fluffyballoon quits (45ce440a48@2604:bf00:561:2000::e2) (Ping timeout: 248 seconds) |
| 04:37:22 | → | bilegeek joins (~bilegeek@216.sub-174-208-226.myvzw.com) |
| 04:37:34 | → | fluffyballoon joins (45ce440a48@2604:bf00:561:2000::e2) |
| 04:38:54 | → | catch22 joins (~catch22@2406:3400:418:d7e0:67c:16ff:fe3e:b769) |
| 04:41:59 | → | bilegeek_ joins (~bilegeek@37.sub-174-208-228.myvzw.com) |
| 04:44:30 | × | bilegeek quits (~bilegeek@216.sub-174-208-226.myvzw.com) (Ping timeout: 268 seconds) |
| 04:48:24 | → | catch22_ joins (~catch22@2406:3400:418:d7e0:67c:16ff:fe3e:b769) |
| 04:49:03 | × | catch22 quits (~catch22@2406:3400:418:d7e0:67c:16ff:fe3e:b769) (Read error: Connection reset by peer) |
| 04:49:48 | → | bilegeek joins (~bilegeek@177.sub-174-228-99.myvzw.com) |
| 04:50:08 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds) |
| 04:50:46 | × | bilegeek_ quits (~bilegeek@37.sub-174-208-228.myvzw.com) (Ping timeout: 265 seconds) |
| 04:57:40 | → | zaquest joins (~notzaques@5.130.79.72) |
| 05:00:11 | → | bilegeek_ joins (~bilegeek@73.sub-174-228-98.myvzw.com) |
| 05:01:41 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 05:02:54 | × | bilegeek quits (~bilegeek@177.sub-174-228-99.myvzw.com) (Ping timeout: 255 seconds) |
| 05:03:28 | × | mikess quits (~sam@user/mikess) (Ping timeout: 276 seconds) |
| 05:06:50 | → | Parth joins (~Parth@203.110.242.30) |
| 05:07:17 | → | freeside joins (~mengwong@103.252.202.85) |
| 05:07:18 | × | Parth quits (~Parth@203.110.242.30) (Client Quit) |
| 05:11:20 | × | Umeaboy quits (~Umeaboy@94-255-145-133.cust.bredband2.com) (Quit: Leaving) |
| 05:12:28 | → | todi joins (~snuckls@p5dca57c0.dip0.t-ipconnect.de) |
| 05:12:34 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 276 seconds) |
| 05:19:39 | × | bilegeek_ quits (~bilegeek@73.sub-174-228-98.myvzw.com) (Ping timeout: 248 seconds) |
| 05:20:39 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 05:24:22 | → | freeside joins (~mengwong@103.252.202.85) |
| 05:30:21 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 255 seconds) |
| 05:32:04 | × | todi quits (~snuckls@p5dca57c0.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 05:34:31 | → | mikess joins (~sam@user/mikess) |
| 05:36:26 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 05:37:43 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 05:39:59 | × | gawen quits (~gawen@user/gawen) (Quit: cya) |
| 05:41:19 | → | gawen joins (~gawen@user/gawen) |
| 05:42:57 | → | trev joins (~trev@user/trev) |
| 05:46:25 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 05:48:27 | → | freeside joins (~mengwong@103.252.202.85) |
| 05:50:16 | × | mikess quits (~sam@user/mikess) (Ping timeout: 276 seconds) |
| 05:51:04 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 05:53:07 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 265 seconds) |
| 05:53:27 | → | harveypwca joins (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 05:55:30 | → | todi joins (~snuckls@p5dca57c0.dip0.t-ipconnect.de) |
| 05:59:15 | → | gurkenglas joins (~gurkengla@dynamic-046-114-177-022.46.114.pool.telefonica.de) |
| 06:00:03 | × | todi quits (~snuckls@p5dca57c0.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 06:01:12 | → | czy joins (~user@host-140-25.ilcub310.champaign.il.us.clients.pavlovmedia.net) |
| 06:10:23 | → | nunggu joins (~q@user/nunggu) |
| 06:18:26 | → | kenran joins (~user@user/kenran) |
| 06:21:43 | → | mikess joins (~sam@user/mikess) |
| 06:28:26 | → | bgs joins (~bgs@212-85-160-171.dynamic.telemach.net) |
| 06:30:34 | × | mikess quits (~sam@user/mikess) (Ping timeout: 276 seconds) |
| 06:35:24 | → | freeside joins (~mengwong@103.252.202.85) |
| 06:37:05 | → | acidjnk joins (~acidjnk@p200300d6e715c45269fa6b647c85025b.dip0.t-ipconnect.de) |
| 06:37:25 | → | Midjak joins (~Midjak@82.66.147.146) |
| 06:39:51 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 250 seconds) |
| 06:45:29 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 06:45:55 | × | talismanick quits (~talismani@2601:204:ef81:1430::fbe0) (Remote host closed the connection) |
| 06:47:00 | → | talismanick joins (~talismani@2601:204:ef81:1430::fbe0) |
| 06:47:14 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 06:51:57 | × | catch22_ quits (~catch22@2406:3400:418:d7e0:67c:16ff:fe3e:b769) (Quit: Leaving) |
| 07:12:29 | × | nunggu quits (~q@user/nunggu) (Ping timeout: 255 seconds) |
| 07:21:34 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 265 seconds) |
| 07:24:16 | → | freeside joins (~mengwong@103.252.202.85) |
| 07:29:04 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 276 seconds) |
| 07:29:22 | → | Tuplanolla joins (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 07:30:11 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 07:31:15 | × | Inst quits (~Inst@2601:6c4:4081:54f0:2db7:7969:50f2:df0c) (Ping timeout: 260 seconds) |
| 07:46:12 | → | nate1 joins (~nate@98.45.169.16) |
| 07:47:23 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:2c24:c958:e9eb:d096) (Remote host closed the connection) |
| 07:48:37 | → | freeside joins (~mengwong@103.252.202.85) |
| 07:51:12 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 255 seconds) |
| 07:53:07 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 07:57:43 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 260 seconds) |
| 07:59:54 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 08:10:05 | → | freeside joins (~mengwong@103.252.202.85) |
| 08:11:14 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 08:14:44 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 265 seconds) |
| 08:25:18 | → | freeside joins (~mengwong@103.252.202.85) |
| 08:29:52 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 248 seconds) |
| 08:36:32 | × | zer0bitz_ quits (~zer0bitz@2001:2003:f443:d600:8072:a2d3:32b3:1df4) () |
| 08:41:14 | × | bgs quits (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 08:42:06 | → | zer0bitz joins (~zer0bitz@2001:2003:f443:d600:8072:a2d3:32b3:1df4) |
| 08:47:51 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:2c24:c958:e9eb:d096) |
| 08:49:28 | → | mechap joins (~mechap@user/mechap) |
| 08:50:50 | → | freeside joins (~mengwong@103.252.202.85) |
| 08:52:08 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:2c24:c958:e9eb:d096) (Ping timeout: 246 seconds) |
| 08:55:31 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 276 seconds) |
| 08:56:59 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 09:00:08 | × | cstml[m] quits (~cstmmatri@2001:470:69fc:105::2:f76f) (Quit: You have been kicked for being idle) |
| 09:02:11 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 09:06:30 | → | NiceBird joins (~NiceBird@185.133.111.196) |
| 09:13:20 | → | chomwitt joins (~chomwitt@ppp-94-67-192-72.home.otenet.gr) |
| 09:20:49 | → | freeside joins (~mengwong@103.252.202.85) |
| 09:21:11 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds) |
| 09:25:47 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 265 seconds) |
| 09:27:31 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 09:29:38 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 09:33:06 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Client Quit) |
| 09:34:30 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 09:38:36 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 09:40:02 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 09:46:18 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 09:47:17 | → | califax joins (~califax@user/califx) |
| 09:48:59 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 09:52:05 | → | jpds1 joins (~jpds@gateway/tor-sasl/jpds) |
| 09:52:47 | × | harveypwca quits (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 09:53:08 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 09:54:02 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds) |
| 09:58:24 | × | shriekingnoise quits (~shrieking@186.137.175.87) (Ping timeout: 248 seconds) |
| 09:59:01 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 10:01:16 | → | zeenk joins (~zeenk@2a02:2f04:a307:2300::7fe) |
| 10:11:38 | → | andrewboltachev joins (~andrey@178.141.217.5) |
| 10:12:03 | → | freeside joins (~mengwong@103.252.202.85) |
| 10:16:33 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 255 seconds) |
| 10:23:24 | → | random-jellyfish joins (~random-je@user/random-jellyfish) |
| 10:24:30 | <random-jellyfish> | how does an smt solver work? does it just translate higher level expressions to boolean expressions and feed them to a sat solver? or does it so something more complicates |
| 10:24:57 | <random-jellyfish> | I'm having a hard tike reverse engineering their code... |
| 10:25:02 | <random-jellyfish> | time* |
| 10:25:36 | <random-jellyfish> | sorry for the typos, typing on mobile |
| 10:27:49 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 276 seconds) |
| 10:29:11 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 10:29:12 | → | coot joins (~coot@213.134.170.228) |
| 10:39:10 | <pkal> | I was just reading about that in "Handbook of Satisfiability" a few days ago. That might be a useful resource to understanding how they work. |
| 10:39:58 | <pkal> | It seems the chapter can be found here: https://homepage.cs.uiowa.edu/~tinelli/papers/BarSST-09.pdf |
| 10:40:44 | <probie> | I remember being loaned a good book on this (and other things related to automated theorem proving), but I can't remember the name. All I remember is that all the code examples were in ocaml. I don't suppose anyone here can identify the book based on such a vague description |
| 10:40:51 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 255 seconds) |
| 10:41:12 | × | random-jellyfish quits (~random-je@user/random-jellyfish) (Quit: Client closed) |
| 10:49:14 | → | dsrt^ joins (~dsrt@c-76-105-96-13.hsd1.ga.comcast.net) |
| 10:50:08 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 10:51:40 | × | Sciencentistguy quits (~sciencent@hacksoc/ordinary-member) (Quit: o/) |
| 10:54:29 | → | Sciencentistguy joins (~sciencent@hacksoc/ordinary-member) |
| 10:55:42 | × | gurkenglas quits (~gurkengla@dynamic-046-114-177-022.46.114.pool.telefonica.de) (Ping timeout: 255 seconds) |
| 10:58:40 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 11:09:26 | × | freemanX quits (~user@203.117.163.130) (Remote host closed the connection) |
| 11:19:39 | → | freeside joins (~mengwong@103.252.202.85) |
| 11:22:38 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 11:22:57 | → | califax joins (~califax@user/califx) |
| 11:23:56 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 11:24:36 | × | Rembane quits (~Rembane@li346-36.members.linode.com) (Read error: Connection reset by peer) |
| 11:27:54 | → | todi joins (~kalle3@p5dca57c0.dip0.t-ipconnect.de) |
| 11:28:55 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 276 seconds) |
| 11:29:35 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 11:30:43 | → | freeside joins (~mengwong@103.252.202.85) |
| 11:35:40 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 260 seconds) |
| 11:37:44 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 265 seconds) |
| 11:46:34 | × | kenran quits (~user@user/kenran) (Remote host closed the connection) |
| 11:47:40 | → | nate1 joins (~nate@98.45.169.16) |
| 11:53:04 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 11:59:54 | → | freeside joins (~mengwong@103.252.202.85) |
| 12:01:54 | → | jpds2 joins (~jpds@gateway/tor-sasl/jpds) |
| 12:02:25 | × | jpds1 quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 12:03:26 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 12:04:40 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 276 seconds) |
| 12:08:09 | × | coot quits (~coot@213.134.170.228) (Quit: coot) |
| 12:11:53 | → | freeside joins (~mengwong@103.252.202.85) |
| 12:13:18 | → | gurkenglas joins (~gurkengla@dynamic-046-114-177-022.46.114.pool.telefonica.de) |
| 12:15:33 | → | vglfr joins (~vglfr@46.96.169.53) |
| 12:16:15 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 255 seconds) |
| 12:25:13 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 12:30:04 | × | drdo quits (~drdo@bl7-76-103.dsl.telepac.pt) (Ping timeout: 268 seconds) |
| 12:31:47 | × | todi quits (~kalle3@p5dca57c0.dip0.t-ipconnect.de) (Quit: Leaving) |
| 12:36:19 | × | vglfr quits (~vglfr@46.96.169.53) (Remote host closed the connection) |
| 12:36:47 | → | dipper joins (~dipper@203.168.11.65) |
| 12:36:54 | → | vglfr joins (~vglfr@46.96.169.53) |
| 12:38:03 | × | vglfr quits (~vglfr@46.96.169.53) (Remote host closed the connection) |
| 12:38:13 | <dipper> | hi how do create a api in haskell, or does it have a framework to do that, |
| 12:38:38 | → | vglfr joins (~vglfr@46.96.169.53) |
| 12:39:29 | × | vglfr quits (~vglfr@46.96.169.53) (Remote host closed the connection) |
| 12:39:36 | <dipper> | like a api get user data in front-end |
| 12:39:54 | → | vglfr joins (~vglfr@46.96.169.53) |
| 12:40:04 | <mauke> | you know, I really hate that "API" has somehow changed meaning from "application programmer interface" to "web application" |
| 12:40:18 | → | freeside joins (~mengwong@103.252.202.85) |
| 12:41:34 | × | vglfr quits (~vglfr@46.96.169.53) (Remote host closed the connection) |
| 12:42:00 | → | vglfr joins (~vglfr@46.96.169.53) |
| 12:46:55 | <probie> | mauke: It's like how REST doesn't actually mean REST any more and instead just means "using HTTP" |
| 12:47:11 | <dipper> | hi mauke I know what you mean, but it doesn't matter, it just a including relationship, so I measure it |
| 12:48:39 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 255 seconds) |
| 12:49:45 | <dipper> | I know a Yesod , but it maybe have more choice |
| 12:51:50 | <probie> | dipper: servant is very popular right now, but uses advanced type level features |
| 12:52:35 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:2c24:c958:e9eb:d096) |
| 12:56:19 | <darkling> | probie: I call that "HTTP-RPC", because it's so often that, too. |
| 12:56:51 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:2c24:c958:e9eb:d096) (Ping timeout: 250 seconds) |
| 12:58:19 | <dipper> | thankyou probie I'll see it |
| 12:59:27 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 265 seconds) |
| 12:59:52 | × | forell quits (~forell@user/forell) (Quit: ZNC - https://znc.in) |
| 13:01:38 | → | forell joins (~forell@user/forell) |
| 13:04:58 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 13:09:14 | → | jumper149 joins (~jumper149@base.felixspringer.xyz) |
| 13:13:00 | → | tan00kee joins (~paul@85.red-2-141-91.dynamicip.rima-tde.net) |
| 13:13:11 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 13:13:59 | × | tan00kee quits (~paul@85.red-2-141-91.dynamicip.rima-tde.net) (Client Quit) |
| 13:23:08 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 13:27:13 | → | kupi joins (uid212005@id-212005.hampstead.irccloud.com) |
| 13:28:41 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 13:37:07 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 265 seconds) |
| 13:41:01 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 13:43:16 | → | freeside joins (~mengwong@103.252.202.85) |
| 13:45:50 | → | notzmv joins (~zmv@user/notzmv) |
| 13:47:33 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 250 seconds) |
| 13:48:36 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 13:49:31 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 248 seconds) |
| 13:55:16 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 13:57:05 | → | dipper_ joins (~dipper@203.168.11.65) |
| 13:57:27 | × | dipper quits (~dipper@203.168.11.65) (Ping timeout: 265 seconds) |
| 14:01:55 | → | kenran joins (~user@user/kenran) |
| 14:03:02 | <jumper149> | Hi people, when do you think will there be the first frontend framework using the new JS backend? |
| 14:03:24 | <jumper149> | And do you think miso and reflex will be ported? |
| 14:05:51 | <dipper_> | what do you mean 'new js backend'? |
| 14:08:01 | <geekosaur> | ghc 9.6.1 has javascript and wasm backends |
| 14:08:02 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 14:08:18 | <geekosaur> | I suspect it'll be a while since they're both at "tech preview" status |
| 14:08:32 | <geekosaur> | if you want production level, ghcjs is still the way to go |
| 14:09:03 | × | andrewboltachev quits (~andrey@178.141.217.5) (Quit: Leaving.) |
| 14:09:21 | × | Vq quits (~vq@90-227-192-206-no77.tbcn.telia.com) (Ping timeout: 268 seconds) |
| 14:09:26 | → | microcao joins (~microcao@192.161.60.140) |
| 14:10:44 | × | microcao quits (~microcao@192.161.60.140) (Client Quit) |
| 14:11:06 | → | Vq joins (~vq@90-227-192-206-no77.tbcn.telia.com) |
| 14:14:31 | × | chomwitt quits (~chomwitt@ppp-94-67-192-72.home.otenet.gr) (Ping timeout: 240 seconds) |
| 14:19:53 | → | o-90 joins (~o-90@gateway/tor-sasl/o-90) |
| 14:22:01 | × | pyook quits (~puke@user/puke) (Remote host closed the connection) |
| 14:22:06 | → | freeside joins (~mengwong@103.252.202.85) |
| 14:22:18 | → | pyook joins (~puke@user/puke) |
| 14:26:33 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 250 seconds) |
| 14:28:32 | × | o-90 quits (~o-90@gateway/tor-sasl/o-90) (Ping timeout: 255 seconds) |
| 14:29:00 | <maralorn> | <jumper149> "And do you think miso and reflex..." <- I guess that depends a lot on library support. |
| 14:29:55 | ← | mesaoptimizer parts (apotheosis@user/PapuaHardyNet) () |
| 14:30:16 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 276 seconds) |
| 14:30:53 | <maralorn> | Stuff like jsaddle needs to support it. |
| 14:31:34 | <maralorn> | reflex still hangs on ghc 8.6.5 or something? They are generally not quick on stuff like that... |
| 14:31:57 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 14:35:53 | × | zeenk quits (~zeenk@2a02:2f04:a307:2300::7fe) (Quit: Konversation terminated!) |
| 14:35:59 | <jumper149> | maralorn: Well, both projects are depending on legacy versions of GHC by now. |
| 14:36:19 | <jumper149> | There are no ambitions trying to write up something new, right? |
| 14:37:00 | <geekosaur> | there are ambitions for reflex but they're kinda different from the ghc devs' ambitions as I understand it |
| 14:37:10 | <geekosaur> | they want to rewire Arrow |
| 14:37:58 | <geekosaur> | but if someone got that into ghc 9.8 I could see reflex being updated to take advantage of it |
| 14:38:38 | <jumper149> | geekosaur: `Control.Arrow`? |
| 14:39:13 | <geekosaur> | yes |
| 14:39:56 | <jumper149> | Why don't they just use their own typeclasses? I don't understand why they would be blocked by GHC. |
| 14:40:06 | <geekosaur> | they want it to become a symmetric monoidal category, and for the `arr` combinator to go away |
| 14:40:35 | <geekosaur> | because they can take advantage of existing stuff instead of having to write their own versions |
| 14:41:16 | <geekosaur> | (lots of people want `arr` to go away, it's like the main reason almost nobody uses Arrow) |
| 14:44:14 | <geekosaur> | talk to Cale about it when he's around, he'll talk your ear off 🙂 |
| 14:49:41 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 14:50:38 | <ski> | there's special syntax that ties to `Arrow' |
| 14:50:52 | <geekosaur> | that too |
| 14:51:17 | <geekosaur> | you really want to be able to use `proc`, but it requires you to use the standard `Arrow` |
| 14:51:54 | <geekosaur> | and `-<` |
| 14:53:57 | <jumper149> | If I wanted to read up on arrows, should I use "Generalising Monads to Arrows, by John Hughes"? Or is there anything else? |
| 14:54:33 | <ski> | % :set -XArrows |
| 14:54:34 | <yahb2> | <no output> |
| 14:54:39 | <ski> | % :set -XRebindableSyntax |
| 14:54:39 | <yahb2> | <no output> |
| 14:54:43 | <ski> | % :t let (>>>) = flip (.); first f (x,y) = (f x,y); arr = undefined in proc x -> id -< x |
| 14:54:43 | <yahb2> | let (>>>) = flip (.); first f (x,y) = (f x,y); arr = undefined in proc x -> id -< x ; :: forall {t}. t -> t |
| 14:55:28 | <ski> | istr there was Ross Patterson paper ? |
| 14:55:56 | <jumper149> | "A New Notation for Arrows, by Ross Paterson, in ICFP 2001, Firenze, Italy, pp229-240." |
| 14:56:08 | <ski> | @where arrows |
| 14:56:08 | <lambdabot> | http://www.haskell.org/arrows/ |
| 14:56:12 | <jumper149> | From the Haddocks of `Control.Arrow` |
| 15:02:41 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 15:03:57 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 15:06:51 | × | Natch quits (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Read error: Connection reset by peer) |
| 15:08:16 | <maralorn> | Interesting. But there is not even a ghc proposal for modifying arrow yet, is there? |
| 15:14:28 | × | dipper_ quits (~dipper@203.168.11.65) (Ping timeout: 276 seconds) |
| 15:14:42 | → | Natch joins (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 15:17:16 | → | freeside joins (~mengwong@103.252.202.85) |
| 15:22:07 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
| 15:22:08 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 15:23:17 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 15:26:04 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 15:30:32 | → | Kuttenbrunzer joins (~Kuttenbru@2a02:8108:8b80:1d48::a8c4) |
| 15:36:37 | → | econo joins (uid147250@user/econo) |
| 15:40:35 | × | Kuttenbrunzer quits (~Kuttenbru@2a02:8108:8b80:1d48::a8c4) (Quit: Where is it) |
| 15:45:30 | → | freeside joins (~mengwong@103.252.202.85) |
| 15:45:38 | → | eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 15:49:06 | → | heraldo joins (~heraldo@user/heraldo) |
| 15:49:12 | → | nate1 joins (~nate@98.45.169.16) |
| 15:49:45 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 250 seconds) |
| 15:54:23 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
| 15:58:04 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 15:59:44 | → | chomwitt joins (~chomwitt@ppp-94-67-192-72.home.otenet.gr) |
| 16:00:37 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 276 seconds) |
| 16:02:24 | × | eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 16:05:52 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:2c24:c958:e9eb:d096) |
| 16:07:31 | × | mjs2600 quits (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 16:07:57 | → | freeside joins (~mengwong@103.252.202.85) |
| 16:09:08 | × | chomwitt quits (~chomwitt@ppp-94-67-192-72.home.otenet.gr) (Ping timeout: 260 seconds) |
| 16:09:43 | → | mjs2600 joins (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 16:16:35 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 260 seconds) |
| 16:16:38 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 16:26:15 | × | Midjak quits (~Midjak@82.66.147.146) (Quit: Leaving) |
| 16:36:08 | → | freeside joins (~mengwong@103.252.202.85) |
| 16:40:47 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 256 seconds) |
| 16:42:30 | → | mikess joins (~sam@user/mikess) |
| 16:43:04 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 16:44:11 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 16:46:24 | → | Midjak joins (~Midjak@82.66.147.146) |
| 16:49:36 | × | JScript quits (~JScript@103.137.12.221) (Ping timeout: 248 seconds) |
| 16:52:23 | → | JScript joins (~JScript@cpe-172-193-72-46.qld.foxtel.net.au) |
| 16:53:13 | → | smallville7123_ joins (~JScript@144.48.39.29) |
| 16:53:16 | × | smallville7123_ quits (~JScript@144.48.39.29) (Max SendQ exceeded) |
| 16:53:42 | → | smallville7123_ joins (~JScript@144.48.39.29) |
| 16:54:06 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 16:56:33 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 16:57:03 | × | JScript quits (~JScript@cpe-172-193-72-46.qld.foxtel.net.au) (Ping timeout: 255 seconds) |
| 16:59:12 | mon_aaraj | sent a hs code block: https://libera.ems.host/_matrix/media/v3/download/libera.chat/fbfe42c262829f497cafd9c8d19ceaefdd7c5ca3 |
| 17:00:06 | <mon_aaraj> | s/bpa/paste/, s/st/tomsmeding.com/, s/GTJOUWWSAVYDTOT62OJDRL5HSU/uIaZKfJI/ |
| 17:00:40 | → | freeside joins (~mengwong@103.252.202.85) |
| 17:00:42 | → | chomwitt joins (~chomwitt@ppp-94-67-192-72.home.otenet.gr) |
| 17:01:11 | <mon_aaraj> | starting to think i should just go with debrujin indices. it's probably not going to change much but i feel it deep in my bones that my current implementation has tons of ways it could go wrong |
| 17:04:17 | × | heraldo quits (~heraldo@user/heraldo) (Ping timeout: 250 seconds) |
| 17:05:04 | × | chomwitt quits (~chomwitt@ppp-94-67-192-72.home.otenet.gr) (Ping timeout: 248 seconds) |
| 17:05:28 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 265 seconds) |
| 17:08:56 | → | dfg joins (~dfg@dfg.rocks) |
| 17:08:57 | × | dfg quits (~dfg@dfg.rocks) (Changing host) |
| 17:08:57 | → | dfg joins (~dfg@user/dfg) |
| 17:11:50 | → | heraldo joins (~heraldo@user/heraldo) |
| 17:14:40 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 248 seconds) |
| 17:16:35 | × | heraldo quits (~heraldo@user/heraldo) (Ping timeout: 265 seconds) |
| 17:17:02 | × | kupi quits (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 17:17:45 | → | biberu\ joins (~biberu@user/biberu) |
| 17:17:54 | <ski> | mon_aaraj : line 23,24 |
| 17:18:13 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 17:18:29 | <ski> | also `eval' is partial |
| 17:19:41 | <ski> | (and `freeVariables' is inefficient) |
| 17:19:45 | → | arkeet` joins (arkeet@moriya.ca) |
| 17:20:19 | → | lyxia_ joins (~lyxia@poisson.chat) |
| 17:20:22 | → | danso_o joins (~danso@user/danso) |
| 17:20:39 | → | stilgart_ joins (~Christoph@chezlefab.net) |
| 17:21:36 | → | cln_ joins (cln@wtf.cx) |
| 17:22:36 | × | Midjak quits (~Midjak@82.66.147.146) (Ping timeout: 255 seconds) |
| 17:22:36 | × | arkeet quits (~arkeet@moriya.ca) (Ping timeout: 255 seconds) |
| 17:22:36 | × | [exa] quits (~exa@user/exa/x-3587197) (Ping timeout: 255 seconds) |
| 17:22:36 | arkeet` | is now known as arkeet |
| 17:22:48 | → | elevenkb joins (~elevenkb@105.186.233.148) |
| 17:24:37 | × | biberu quits (~biberu@user/biberu) (Ping timeout: 255 seconds) |
| 17:24:37 | × | lyxia quits (~lyxia@poisson.chat) (Ping timeout: 255 seconds) |
| 17:24:37 | × | cln quits (~cln@wtf.cx) (Ping timeout: 255 seconds) |
| 17:24:37 | × | stilgart quits (~Christoph@chezlefab.net) (Ping timeout: 255 seconds) |
| 17:24:37 | × | danso quits (~danso@user/danso) (Ping timeout: 255 seconds) |
| 17:24:37 | biberu\ | is now known as biberu |
| 17:24:42 | → | [exa] joins (~exa@srv3n.blesmrt.net) |
| 17:30:29 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds) |
| 17:33:08 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 17:36:07 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1122w-grc-07-174-95-68-142.dsl.bell.ca) |
| 17:40:15 | × | vglfr quits (~vglfr@46.96.169.53) (Ping timeout: 255 seconds) |
| 17:48:57 | → | Midjak joins (~Midjak@82.66.147.146) |
| 17:49:31 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 17:50:53 | → | vglfr joins (~vglfr@46.96.169.53) |
| 17:52:08 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 18:05:38 | <mon_aaraj> | <ski> "ribosomerocker : line 23,24" <- what's wrong with them? |
| 18:07:26 | → | jpds3 joins (~jpds@gateway/tor-sasl/jpds) |
| 18:09:29 | × | jpds2 quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds) |
| 18:15:01 | <mauke> | if var' is among the free variables of applied, you don't substitute var |
| 18:15:56 | <mauke> | I'm pretty sure you're supposed to rename var' instead and then substitute var -> applied |
| 18:20:08 | → | MajorBiscuit joins (~MajorBisc@2001:1c00:2408:a400:7f99:b6d8:c8b8:dc05) |
| 18:20:08 | → | MacSlow joins (~MacSlow@213.135.13.170) |
| 18:21:17 | <MacSlow> | Greetings everyone |
| 18:23:56 | → | shriekingnoise joins (~shrieking@186.137.175.87) |
| 18:27:16 | <ski> | (.. fwiw, i didn't actually say "ribosomerocker") |
| 18:28:01 | <ski> | mon_aaraj : what mauke said |
| 18:28:31 | <ski> | Saluations, MacSlow |
| 18:28:58 | <mauke> | I assume the matrix bridge rewrites nicknames |
| 18:29:14 | <ski> | apparently so |
| 18:29:20 | <ski> | (i wasn't aware of that, before) |
| 18:33:51 | → | vysn joins (~vysn@user/vysn) |
| 18:37:32 | <geekosaur> | yes |
| 18:42:06 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 18:42:33 | × | MacSlow quits (~MacSlow@213.135.13.170) (Quit: leaving) |
| 18:49:25 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 18:52:17 | → | Kuttenbrunzer joins (~Kuttenbru@2a02:8108:8b80:1d48::d90f) |
| 18:54:16 | × | Kuttenbrunzer quits (~Kuttenbru@2a02:8108:8b80:1d48::d90f) (Remote host closed the connection) |
| 18:58:29 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 256 seconds) |
| 19:00:55 | × | elevenkb quits (~elevenkb@105.186.233.148) (Quit: Client closed) |
| 19:08:30 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 19:16:22 | → | Tails joins (~Tails@2a06:c701:4c9c:be00:76e6:43eb:a59e:1c2a) |
| 19:17:26 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 19:19:07 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 248 seconds) |
| 19:22:13 | × | Tails quits (~Tails@2a06:c701:4c9c:be00:76e6:43eb:a59e:1c2a) (Ping timeout: 260 seconds) |
| 19:24:25 | → | notzmv joins (~zmv@user/notzmv) |
| 19:30:36 | × | trev quits (~trev@user/trev) (Quit: trev) |
| 19:33:31 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 19:37:48 | → | freeside joins (~mengwong@103.252.202.85) |
| 19:38:27 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 19:38:52 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 19:39:57 | × | gurkenglas quits (~gurkengla@dynamic-046-114-177-022.46.114.pool.telefonica.de) (Ping timeout: 255 seconds) |
| 19:42:00 | → | gurkenglas joins (~gurkengla@dynamic-046-114-176-015.46.114.pool.telefonica.de) |
| 19:43:19 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 260 seconds) |
| 19:45:17 | → | pavonia joins (~user@user/siracusa) |
| 19:50:49 | → | nate1 joins (~nate@98.45.169.16) |
| 19:53:04 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 19:54:21 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 19:55:42 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 255 seconds) |
| 20:03:06 | → | harveypwca joins (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 20:06:30 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 20:12:39 | → | andrewboltachev joins (~andrey@178.141.217.5) |
| 20:17:57 | → | cheater_ joins (~Username@user/cheater) |
| 20:19:53 | danso_o | is now known as danso |
| 20:20:05 | → | cheater__ joins (~Username@user/cheater) |
| 20:20:48 | × | cheater quits (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 20:20:51 | cheater__ | is now known as cheater |
| 20:23:35 | × | cheater_ quits (~Username@user/cheater) (Ping timeout: 264 seconds) |
| 20:33:35 | × | kenran quits (~user@user/kenran) (Remote host closed the connection) |
| 20:33:43 | → | cheater_ joins (~Username@user/cheater) |
| 20:34:55 | × | cheater quits (~Username@user/cheater) (Ping timeout: 276 seconds) |
| 20:35:27 | → | bratwurst joins (~dfadsva@2604:3d09:207f:f650::708a) |
| 20:36:27 | → | TonyStone joins (~TonyStone@cpe-74-76-57-186.nycap.res.rr.com) |
| 20:36:54 | → | cheater__ joins (~Username@user/cheater) |
| 20:36:55 | cheater__ | is now known as cheater |
| 20:37:39 | × | TonyStone quits (~TonyStone@cpe-74-76-57-186.nycap.res.rr.com) (Remote host closed the connection) |
| 20:39:04 | × | cheater_ quits (~Username@user/cheater) (Ping timeout: 265 seconds) |
| 20:40:56 | × | harveypwca quits (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 20:41:28 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 20:47:18 | → | freeside joins (~mengwong@103.252.202.85) |
| 20:47:29 | × | mechap quits (~mechap@user/mechap) (Quit: WeeChat 3.8) |
| 20:48:57 | × | lbseale quits (~quassel@user/ep1ctetus) (Ping timeout: 268 seconds) |
| 20:50:19 | <Nosrep> | can i make stack only profile with manual cost centers |
| 20:50:30 | <Nosrep> | --profile seems to add fprof auto or something like that |
| 20:51:24 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 20:51:39 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 20:51:57 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 255 seconds) |
| 20:58:29 | × | bratwurst quits (~dfadsva@2604:3d09:207f:f650::708a) (Quit: Leaving) |
| 20:58:40 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 248 seconds) |
| 20:59:06 | → | cheater_ joins (~Username@user/cheater) |
| 20:59:14 | × | haasn` quits (~nand@haasn.dev) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 21:00:40 | × | cheater quits (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 21:00:41 | cheater_ | is now known as cheater |
| 21:02:51 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 21:04:12 | → | chomwitt joins (~chomwitt@ppp-94-67-192-72.home.otenet.gr) |
| 21:05:36 | <Nosrep> | hm |
| 21:05:46 | <Nosrep> | -fno-prof-auto works if i add it to ghc-options during build |
| 21:08:31 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Ping timeout: 240 seconds) |
| 21:08:58 | × | MajorBiscuit quits (~MajorBisc@2001:1c00:2408:a400:7f99:b6d8:c8b8:dc05) (Quit: WeeChat 3.6) |
| 21:11:46 | × | rburkholder quits (~blurb@96.45.2.121) (Remote host closed the connection) |
| 21:12:09 | → | rburkholder joins (~blurb@96.45.2.121) |
| 21:21:43 | <energizer> | % [] > [1] |
| 21:21:43 | <yahb2> | False |
| 21:21:46 | <energizer> | why is that/ |
| 21:22:40 | <c_wraith> | [] uses a lexicographic ordering where [] is the minimal element |
| 21:22:43 | <energizer> | ok |
| 21:23:37 | × | vysn quits (~vysn@user/vysn) (Quit: WeeChat 3.8) |
| 21:24:15 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 21:26:58 | → | cassiopea joins (~cassiopea@user/cassiopea) |
| 21:27:34 | <monochrom> | Nosrep: Yeah, if you tell stack or cabal-install "enable profiling" they add -fprof-auto by default, so if you prefer manual-only, you have to override with -fno-prof-auto. |
| 21:27:54 | <c_wraith> | energizer: it's sort of necessary given that String = [Char] and standard sorting for words has things like "ant" < "ante". |
| 21:28:12 | <monochrom> | Err in the cabal-install case -fprop-auto-top actually. |
| 21:28:21 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 21:28:22 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 21:28:22 | → | wroathe joins (~wroathe@user/wroathe) |
| 21:28:36 | → | freeside joins (~mengwong@103.252.202.85) |
| 21:28:41 | <c_wraith> | energizer: but it turns out to have convenient properties like making comparison just proceed down the two lists in lock-step |
| 21:28:52 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 276 seconds) |
| 21:29:16 | <monochrom> | I know how to tell cabal-install "enable profiling but no auto at all", but I don't know what stack offers. |
| 21:29:24 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 21:29:26 | <sclv> | it also means that [()] has the same ordering properties as the natural numbers they are in bijection to! |
| 21:30:09 | <c_wraith> | yeah. Lots of stuff that just works out to be really convenient |
| 21:30:10 | <sclv> | i.e. there is something literally "natural" about such a choice. |
| 21:30:31 | <monochrom> | And it is also consistent with "deriving Ord" does lexicographical order universally for all ADTs. |
| 21:30:31 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 21:30:59 | <c_wraith> | Assuming you put the [] constructor first in the (imaginary) definition, anyway |
| 21:31:03 | <monochrom> | The most favourite total order. :) |
| 21:33:25 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 276 seconds) |
| 21:34:20 | <monochrom> | Lexicographic order also has a nice straightforward correspondence with ordinals. It is a bit more significant than someone inventing it by the least thinking. |
| 21:35:27 | <sclv> | arguably this is because the ordinals themselves arise by the principle of least thinking (a mathematical analogue to the physical principle of least action?) |
| 21:35:40 | <monochrom> | haha good point |
| 21:40:27 | × | AlexZenon quits (~alzenon@178.34.162.18) (Ping timeout: 248 seconds) |
| 21:44:46 | → | AlexZenon joins (~alzenon@178.34.162.18) |
| 21:54:48 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 21:56:53 | × | Luj quits (~Luj@2a01:e0a:5f9:9681:d4f1:5756:cd71:d4c) (Quit: The Lounge - https://thelounge.chat) |
| 21:58:33 | → | Luj joins (~Luj@2a01:e0a:5f9:9681:5880:c9ff:fe9f:3dfb) |
| 21:59:00 | × | chomwitt quits (~chomwitt@ppp-94-67-192-72.home.otenet.gr) (Ping timeout: 255 seconds) |
| 22:00:07 | → | zeenk joins (~zeenk@2a02:2f04:a307:2300::7fe) |
| 22:01:35 | → | vysn joins (~vysn@user/vysn) |
| 22:01:59 | × | vysn quits (~vysn@user/vysn) (Client Quit) |
| 22:02:52 | → | chomwitt joins (~chomwitt@2a02:587:7a0e:5000:1ac0:4dff:fedb:a3f1) |
| 22:04:33 | → | zeenk2 joins (~zeenk@2a02:2f04:a307:2300::fba) |
| 22:05:11 | × | zeenk quits (~zeenk@2a02:2f04:a307:2300::7fe) (Ping timeout: 246 seconds) |
| 22:10:37 | → | vysn joins (~vysn@user/vysn) |
| 22:11:44 | × | chomwitt quits (~chomwitt@2a02:587:7a0e:5000:1ac0:4dff:fedb:a3f1) (Ping timeout: 248 seconds) |
| 22:13:31 | × | ddellacosta quits (~ddellacos@146.70.166.132) (Ping timeout: 248 seconds) |
| 22:13:51 | × | gurkenglas quits (~gurkengla@dynamic-046-114-176-015.46.114.pool.telefonica.de) (Ping timeout: 255 seconds) |
| 22:14:24 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 22:14:41 | → | tremon joins (~tremon@83-85-213-108.cable.dynamic.v4.ziggo.nl) |
| 22:15:41 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 22:15:48 | → | gurkenglas joins (~gurkengla@dynamic-046-114-183-239.46.114.pool.telefonica.de) |
| 22:24:45 | × | andrewboltachev quits (~andrey@178.141.217.5) (Quit: Leaving.) |
| 22:25:39 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 22:25:46 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 22:26:23 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 268 seconds) |
| 22:27:23 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 22:27:24 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 22:27:24 | → | wroathe joins (~wroathe@user/wroathe) |
| 22:29:19 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 276 seconds) |
| 22:29:57 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 22:31:36 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Read error: Connection reset by peer) |
| 22:31:48 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 22:36:39 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 22:38:15 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 22:40:32 | × | czy quits (~user@host-140-25.ilcub310.champaign.il.us.clients.pavlovmedia.net) (Remote host closed the connection) |
| 22:40:59 | × | NiceBird quits (~NiceBird@185.133.111.196) (Ping timeout: 250 seconds) |
| 22:48:56 | → | czy joins (~user@host-140-25.ilcub310.champaign.il.us.clients.pavlovmedia.net) |
| 22:56:14 | × | czy quits (~user@host-140-25.ilcub310.champaign.il.us.clients.pavlovmedia.net) (Remote host closed the connection) |
| 22:58:00 | → | czy joins (~user@host-140-25.ilcub310.champaign.il.us.clients.pavlovmedia.net) |
| 23:00:15 | → | freeside joins (~mengwong@103.252.202.85) |
| 23:01:18 | → | bratwurst joins (~dfadsva@2604:3d09:207f:f650::708a) |
| 23:04:26 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 23:04:32 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 248 seconds) |
| 23:04:50 | → | mauke_ joins (~mauke@user/mauke) |
| 23:07:05 | × | mauke quits (~mauke@user/mauke) (Ping timeout: 268 seconds) |
| 23:07:06 | mauke_ | is now known as mauke |
| 23:11:57 | × | zeenk2 quits (~zeenk@2a02:2f04:a307:2300::fba) (Quit: Konversation terminated!) |
| 23:17:36 | × | acidjnk quits (~acidjnk@p200300d6e715c45269fa6b647c85025b.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 23:18:55 | × | Tuplanolla quits (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 23:19:41 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:2c24:c958:e9eb:d096) (Remote host closed the connection) |
| 23:21:16 | × | phma quits (~phma@host-67-44-208-55.hnremote.net) (Read error: Connection reset by peer) |
| 23:21:41 | → | phma joins (phma@2001:5b0:215d:9858:4ed8:3c0:48bf:3008) |
| 23:23:54 | ← | fmlatghor parts (~lcoogan@user/fmlatghor) (WeeChat 3.8) |
| 23:25:21 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 23:33:24 | × | bratwurst quits (~dfadsva@2604:3d09:207f:f650::708a) (Quit: Leaving) |
| 23:43:39 | × | hiredman quits (~hiredman@frontier1.downey.family) (Quit: Lost terminal) |
| 23:43:51 | × | gurkenglas quits (~gurkengla@dynamic-046-114-183-239.46.114.pool.telefonica.de) (Ping timeout: 255 seconds) |
| 23:45:52 | × | czy quits (~user@host-140-25.ilcub310.champaign.il.us.clients.pavlovmedia.net) (Remote host closed the connection) |
| 23:48:16 | → | eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 23:51:30 | → | lbseale joins (~quassel@user/ep1ctetus) |
| 23:52:19 | → | nate1 joins (~nate@98.45.169.16) |
| 23:55:03 | × | szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 23:55:55 | → | heraldo joins (~heraldo@user/heraldo) |
| 23:56:59 | → | freeside joins (~mengwong@103.252.202.85) |
| 23:57:43 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 276 seconds) |
| 23:59:01 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds) |
All times are in UTC on 2023-04-08.