Logs on 2022-03-19 (liberachat/#haskell)
| 00:02:33 | × | lbseale quits (~ep1ctetus@user/ep1ctetus) (Quit: Leaving) |
| 00:04:14 | → | Guest27 joins (~Guest27@2601:281:d47f:1590::6b90) |
| 00:07:35 | <Guest27> | Does Parsec not export the SourcePos constructor? Trying to use tokenPrim and can't define the position update function because `Not in scope: data constructor 'SourcePos'` |
| 00:08:57 | × | alp quits (~alp@user/alp) (Ping timeout: 252 seconds) |
| 00:10:07 | <dminuoso> | Guest27: use `updatePosChar` |
| 00:10:25 | <Guest27> | dminuoso I'm using custom tokens |
| 00:10:37 | <dminuoso> | Guest27: You can reconstruct it with newPos then |
| 00:11:11 | <geekosaur> | looks to me like it is in Text.Parsec and Text.Parsec.Pos. what version of parsec? |
| 00:11:12 | <dminuoso> | sourceName, sourceLine and sourceColumn are accessors into SourcePos essentially |
| 00:11:22 | <dminuoso> | geekosaur: the data constructor is not exported. |
| 00:11:27 | <geekosaur> | ah |
| 00:11:31 | <Guest27> | geekosaur 3.1.13.0 |
| 00:11:52 | <dminuoso> | Guest27: so `newPos` is your constructor, and sourceName/sourceLine/sourceColumn let you deconstruct a SourcePos. |
| 00:11:53 | <geekosaur> | right"the abstract data type SourcePos"… sorry |
| 00:11:54 | <dminuoso> | Is this enough? |
| 00:12:15 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 00:12:21 | <Guest27> | dminuoso Gotcha, thanks |
| 00:14:55 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 00:16:32 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 00:17:42 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 00:22:17 | × | Guest27 quits (~Guest27@2601:281:d47f:1590::6b90) (Ping timeout: 256 seconds) |
| 00:22:25 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 00:23:55 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 00:30:00 | × | wroathe quits (~wroathe@user/wroathe) (Quit: Lost terminal) |
| 00:33:31 | × | jgeerds quits (~jgeerds@55d4548e.access.ecotel.net) (Ping timeout: 250 seconds) |
| 00:35:01 | → | corisco[m] joins (~coriscokd@2001:470:69fc:105::1:dea6) |
| 00:37:53 | × | Tuplanolla quits (~Tuplanoll@91-159-69-98.elisa-laajakaista.fi) (Quit: Leaving.) |
| 00:38:23 | → | sciencentistguy joins (~sciencent@hacksoc/ordinary-member) |
| 00:39:12 | × | yauhsien quits (~Yau-Hsien@61-231-56-96.dynamic-ip.hinet.net) (Read error: Connection reset by peer) |
| 00:39:47 | × | bontaq quits (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 250 seconds) |
| 00:40:35 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 00:43:01 | × | nexus quits (~nexus@fibhost-66-208-150.fibernet.hu) (Ping timeout: 240 seconds) |
| 00:43:40 | → | Guest27 joins (~Guest27@2601:281:d47f:1590::6b90) |
| 00:45:08 | → | nexus joins (~nexus@92-249-141-183.pool.digikabel.hu) |
| 00:45:17 | × | k8yun_ quits (~k8yun@user/k8yun) (Ping timeout: 256 seconds) |
| 00:47:46 | × | Topsi quits (~Tobias@dyndsl-095-033-019-103.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 00:49:15 | × | xff0x quits (~xff0x@i121-117-52-147.s41.a013.ap.plala.or.jp) (Ping timeout: 256 seconds) |
| 00:51:06 | × | hughjfchen quits (~hughjfche@vmi556545.contaboserver.net) (Remote host closed the connection) |
| 00:51:30 | → | hughjfchen joins (~hughjfche@vmi556545.contaboserver.net) |
| 01:00:50 | × | sciencentistguy quits (~sciencent@hacksoc/ordinary-member) (Ping timeout: 250 seconds) |
| 01:03:08 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 01:04:12 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 01:05:07 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 01:05:15 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 01:06:31 | → | harveypwca joins (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 01:08:09 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 01:20:28 | × | ProfSimm quits (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 01:25:14 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4) |
| 01:25:55 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 01:26:36 | × | Natch quits (~natch@c-67bae255.014-297-73746f25.bbcust.telenor.se) (Ping timeout: 240 seconds) |
| 01:26:53 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 256 seconds) |
| 01:26:55 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 01:28:09 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 01:28:38 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 01:32:13 | × | Guest27 quits (~Guest27@2601:281:d47f:1590::6b90) (Quit: Client closed) |
| 01:33:17 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 01:36:31 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 01:36:31 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 01:36:31 | → | wroathe joins (~wroathe@user/wroathe) |
| 01:39:21 | × | chenqisu1 quits (~chenqisu1@183.217.201.47) (Ping timeout: 256 seconds) |
| 01:40:12 | → | razetime joins (~quassel@117.254.35.162) |
| 01:42:43 | → | namkeleser joins (~namkelese@101.175.155.55) |
| 01:45:15 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 01:46:10 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 01:48:12 | × | Psybur quits (~Psybur@mobile-166-171-56-243.mycingular.net) (Remote host closed the connection) |
| 01:48:45 | × | mmhat quits (~mmh@55d47413.access.ecotel.net) (Quit: WeeChat 3.4.1) |
| 01:59:20 | → | xff0x joins (~xff0x@i121-117-52-147.s41.a013.ap.plala.or.jp) |
| 02:11:31 | → | TonyStone joins (~TonyStone@2603-7080-8607-c36a-2420-4733-60a5-9d17.res6.spectrum.com) |
| 02:11:52 | → | chenqisu1 joins (~chenqisu1@183.217.201.47) |
| 02:16:55 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 02:18:42 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 02:21:35 | × | whatsupdoc quits (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 02:22:46 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.4.1) |
| 02:30:02 | → | whatsupdoc joins (uid509081@id-509081.hampstead.irccloud.com) |
| 02:34:19 | × | razetime quits (~quassel@117.254.35.162) (Ping timeout: 256 seconds) |
| 02:37:31 | → | vysn joins (~vysn@user/vysn) |
| 02:37:57 | × | namkeleser quits (~namkelese@101.175.155.55) (Quit: Client closed) |
| 02:40:04 | × | chenqisu1 quits (~chenqisu1@183.217.201.47) (Ping timeout: 250 seconds) |
| 02:41:38 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 02:44:44 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 02:44:58 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 02:45:06 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 02:45:20 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 02:45:28 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 02:45:42 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 02:45:49 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 02:46:03 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 02:46:11 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 02:46:24 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 02:46:32 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 02:46:46 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 02:46:53 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 02:47:07 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 02:47:15 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 02:47:26 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 268 seconds) |
| 02:47:29 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 02:47:37 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 02:47:50 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 02:47:51 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 02:47:58 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 02:48:12 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 02:48:17 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 02:48:20 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 02:48:36 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 02:48:43 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 02:48:57 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 02:49:05 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 02:49:19 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 02:49:27 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 02:49:41 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 02:49:49 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 02:50:03 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 02:50:08 | → | razetime joins (~quassel@117.254.35.162) |
| 02:50:11 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 02:50:25 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 02:50:32 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 02:50:46 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 02:50:54 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 02:51:08 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 02:51:15 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 02:51:30 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 02:51:37 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 02:51:52 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 02:51:59 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 02:52:16 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 02:52:24 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 02:52:39 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 02:52:46 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 02:52:59 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 02:53:07 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 02:53:21 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 02:53:23 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 02:53:24 | × | nexus quits (~nexus@92-249-141-183.pool.digikabel.hu) (Ping timeout: 252 seconds) |
| 02:53:28 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 02:53:45 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 02:53:53 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 02:54:06 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 02:54:12 | × | _xor quits (~xor@dsl-50-5-233-169.fuse.net) (Read error: Connection reset by peer) |
| 02:54:14 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 02:54:28 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 02:54:36 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 02:54:51 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 02:54:59 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 02:55:06 | → | nexus joins (~nexus@87-97-12-230.pool.digikabel.hu) |
| 02:55:13 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 02:55:21 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 02:55:34 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 02:55:42 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 02:55:57 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 02:56:05 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 02:56:19 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 02:56:27 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 02:56:42 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 02:56:50 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 02:57:04 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 02:57:11 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 02:57:26 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 02:57:33 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 02:57:48 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 02:57:56 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 02:58:10 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 02:58:18 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 02:58:32 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 02:58:40 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 02:58:53 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 02:59:01 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 02:59:15 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 02:59:23 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 02:59:37 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 02:59:45 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 03:00:00 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 03:00:07 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 03:00:22 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 03:00:30 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 03:00:44 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 03:00:51 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 03:01:05 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 03:01:13 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 03:01:26 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 03:01:34 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 03:01:48 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 03:01:56 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 03:02:12 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 03:02:19 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 03:02:34 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 03:02:41 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 03:02:56 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 03:03:04 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 03:03:17 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 03:03:25 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 03:03:40 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 03:03:47 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 03:04:01 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 03:04:09 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 03:04:23 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 03:04:30 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 03:04:44 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 03:04:52 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 03:05:09 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 03:05:17 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 03:05:31 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 03:05:39 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 03:05:53 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 03:06:01 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 03:06:15 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 03:06:22 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 03:06:37 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 03:06:45 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 03:07:01 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 03:07:06 | → | Everything joins (~Everythin@37.115.210.35) |
| 03:07:09 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 03:07:25 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 03:07:33 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 03:07:46 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 03:07:54 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 03:08:09 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 03:08:10 | × | wroathe quits (~wroathe@user/wroathe) (Quit: Lost terminal) |
| 03:08:16 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 03:08:34 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 03:08:41 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 03:08:55 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 03:09:03 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 03:09:17 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 03:09:25 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 03:09:40 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 03:09:47 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 03:10:01 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 03:10:09 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 03:10:23 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 03:10:31 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 03:10:45 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 03:10:52 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 03:11:07 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 03:11:14 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 03:11:29 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 03:11:36 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 03:11:50 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 03:11:58 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 03:12:12 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 03:12:20 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 03:12:33 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 03:12:41 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 03:12:55 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 03:13:03 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 03:13:11 | → | _xor joins (~xor@dsl-50-5-233-169.fuse.net) |
| 03:13:18 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 03:13:26 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 03:13:42 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 03:13:49 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 03:14:04 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 03:14:11 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 03:14:24 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 03:14:32 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 03:14:47 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 03:14:54 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 03:15:09 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 03:15:17 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 03:21:15 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 03:21:40 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 03:25:29 | → | k8yun_ joins (~k8yun@user/k8yun) |
| 03:28:04 | → | k8yun__ joins (~k8yun@user/k8yun) |
| 03:29:54 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 03:31:54 | × | k8yun_ quits (~k8yun@user/k8yun) (Ping timeout: 252 seconds) |
| 03:40:03 | × | rekahsoft quits (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Ping timeout: 256 seconds) |
| 03:44:36 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 03:56:39 | × | razetime quits (~quassel@117.254.35.162) (Ping timeout: 252 seconds) |
| 04:00:57 | → | yauhsien joins (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) |
| 04:04:02 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 04:04:12 | alMalsamo | is now known as lumberjack123 |
| 04:05:00 | × | yauhsien quits (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 04:19:58 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 04:25:21 | × | CiaoSen quits (~Jura@p200300c95727d4002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 04:26:33 | × | Unicorn_Princess quits (~Unicorn_P@46-54-248-191.static.kate-wing.si) (Remote host closed the connection) |
| 04:30:22 | → | deadmarshal_ joins (~deadmarsh@95.38.231.226) |
| 04:38:05 | → | yuvi joins (~uv125@user/yuvi) |
| 04:38:11 | → | razetime joins (~quassel@117.254.35.162) |
| 04:39:40 | <yuvi> | hi all, im working on a function where given a regex i must return a generator for strings it accepts. my current attempt involves combining multiple generators of chars (Gen Char) into a Gen String to be returned; is this possible to do? |
| 04:40:01 | ← | Everything parts (~Everythin@37.115.210.35) () |
| 04:42:17 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 240 seconds) |
| 04:43:16 | <pavonia> | Depends on what Gen is |
| 04:43:26 | <pavonia> | :t sequence |
| 04:43:27 | <lambdabot> | (Traversable t, Monad m) => t (m a) -> m (t a) |
| 04:45:52 | <yuvi> | unsure what you mean |
| 04:46:44 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 04:46:44 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 04:46:44 | → | wroathe joins (~wroathe@user/wroathe) |
| 04:49:06 | <pavonia> | You ask if it's possible to do, but the answer certainly depends on how Gen is exactly defined in that question |
| 04:50:22 | <pavonia> | Is it the QuickCheck Gen? |
| 04:51:22 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 250 seconds) |
| 04:51:52 | → | dsrt^ joins (~dsrt@50-243-220-243-static.hfc.comcastbusiness.net) |
| 04:52:39 | → | yauhsien joins (~Yau-Hsien@61-231-56-96.dynamic-ip.hinet.net) |
| 04:52:55 | × | waleee quits (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 256 seconds) |
| 04:55:17 | × | boxscape_ quits (~boxscape_@p4ff0b60b.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 04:57:21 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 04:57:38 | → | img joins (~img@user/img) |
| 04:59:08 | <yuvi> | pavonia: yes |
| 04:59:23 | × | nexus quits (~nexus@87-97-12-230.pool.digikabel.hu) (Ping timeout: 256 seconds) |
| 05:01:02 | → | nexus joins (~nexus@92-249-141-176.pool.digikabel.hu) |
| 05:11:00 | × | phma quits (phma@2001:5b0:210d:5e78:4ddc:46f7:a015:1ae8) (Read error: Connection reset by peer) |
| 05:11:35 | × | whatsupdoc quits (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 05:12:12 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 240 seconds) |
| 05:12:25 | → | phma joins (phma@2001:5b0:211f:ad58:d57e:9b56:2014:519f) |
| 05:24:53 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Ping timeout: 256 seconds) |
| 05:31:53 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 05:32:10 | → | img joins (~img@user/img) |
| 05:34:20 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 05:46:02 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 05:46:50 | × | mvk quits (~mvk@2607:fea8:5cc3:7e00::45ee) (Ping timeout: 250 seconds) |
| 05:48:08 | × | boborygmy_ quits (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 250 seconds) |
| 05:48:19 | <yuvi> | got it working! lol |
| 05:55:38 | × | zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 05:55:44 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 05:56:17 | → | coot joins (~coot@213.134.190.95) |
| 06:00:31 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 06:00:31 | × | k8yun__ quits (~k8yun@user/k8yun) (Quit: Leaving) |
| 06:02:46 | → | yauhsien_ joins (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) |
| 06:09:43 | × | yuvi quits (~uv125@user/yuvi) (Quit: WeeChat 2.8) |
| 06:15:37 | × | Akiva quits (~Akiva@user/Akiva) (Ping timeout: 240 seconds) |
| 06:25:24 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 240 seconds) |
| 06:32:01 | → | Intel joins (~Intel@2604:2800:fff9:aa1:91d6:2ce4:e484:666c) |
| 06:33:38 | → | Pickchea joins (~private@user/pickchea) |
| 06:35:09 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 06:39:42 | Intel | is now known as Intel_ |
| 06:39:43 | Intel_ | is now known as Intel__ |
| 06:39:49 | × | Intel__ quits (~Intel@2604:2800:fff9:aa1:91d6:2ce4:e484:666c) (Quit: Konversation terminated!) |
| 06:40:02 | → | Intel__ joins (~Intel@2604:2800:fff9:aa1:91d6:2ce4:e484:666c) |
| 06:40:22 | → | chenqisu1 joins (~chenqisu1@183.217.201.47) |
| 06:42:19 | × | Intel__ quits (~Intel@2604:2800:fff9:aa1:91d6:2ce4:e484:666c) (Client Quit) |
| 06:42:32 | → | Intel__ joins (~Intel@2604:2800:fff9:aa1:91d6:2ce4:e484:666c) |
| 06:42:32 | Intel__ | is now known as polaro77Icant |
| 06:48:13 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 06:55:11 | → | vglfr joins (~vglfr@88.155.114.173) |
| 06:56:02 | × | nexus quits (~nexus@92-249-141-176.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 06:56:58 | × | yauhsien quits (~Yau-Hsien@61-231-56-96.dynamic-ip.hinet.net) (Quit: Leaving) |
| 06:57:51 | → | nexus joins (~nexus@85-238-93-26.pool.digikabel.hu) |
| 07:02:55 | × | yauhsien_ quits (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 07:07:11 | → | whatsupdoc joins (uid509081@id-509081.hampstead.irccloud.com) |
| 07:16:03 | → | acidjnk joins (~acidjnk@pd9e0b763.dip0.t-ipconnect.de) |
| 07:22:13 | × | dsrt^ quits (~dsrt@50-243-220-243-static.hfc.comcastbusiness.net) (Remote host closed the connection) |
| 07:25:06 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 07:26:09 | × | razetime quits (~quassel@117.254.35.162) (Ping timeout: 256 seconds) |
| 07:26:25 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 07:28:54 | → | ThadeuPaula[m] joins (~thadeudep@2001:470:69fc:105::1:ded7) |
| 07:32:15 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 252 seconds) |
| 07:34:22 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 07:36:17 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 07:40:44 | → | razetime joins (~quassel@117.254.35.35) |
| 07:40:48 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 07:43:12 | → | zer0bitz joins (~zer0bitz@dsl-hkibng32-54fbf8-224.dhcp.inet.fi) |
| 07:44:32 | × | vglfr quits (~vglfr@88.155.114.173) (Ping timeout: 240 seconds) |
| 07:45:29 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 07:48:37 | × | razetime quits (~quassel@117.254.35.35) (Ping timeout: 240 seconds) |
| 07:49:41 | → | vorpuni joins (~pvorp@2001:861:3881:c690:82d1:970:67b:8b82) |
| 07:55:43 | × | vorpuni quits (~pvorp@2001:861:3881:c690:82d1:970:67b:8b82) (Read error: Connection reset by peer) |
| 07:56:07 | → | yauhsien joins (~Yau-Hsien@61-231-56-96.dynamic-ip.hinet.net) |
| 07:57:08 | → | vorpuni joins (~pvorp@2001:861:3881:c690:6eb8:8a:422a:cdeb) |
| 08:02:52 | → | mmhat joins (~mmh@55d478bb.access.ecotel.net) |
| 08:03:51 | → | yauhsien_ joins (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) |
| 08:04:13 | → | bahamas joins (~lucian@84.232.140.158) |
| 08:07:55 | → | razetime joins (~quassel@117.254.35.215) |
| 08:09:24 | × | yauhsien_ quits (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Ping timeout: 250 seconds) |
| 08:09:50 | × | acidsys quits (~LSD@2a03:4000:55:d20::3) (Excess Flood) |
| 08:09:58 | → | yauhsien_ joins (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) |
| 08:10:14 | × | Batzy quits (~quassel@user/batzy) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 08:10:20 | → | acidsys joins (~LSD@2a03:4000:55:d20::3) |
| 08:10:26 | × | acidsys quits (~LSD@2a03:4000:55:d20::3) (Excess Flood) |
| 08:10:32 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 240 seconds) |
| 08:11:03 | → | acidsys joins (~LSD@2a03:4000:55:d20::3) |
| 08:11:17 | → | Batzy joins (~quassel@user/batzy) |
| 08:14:15 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 08:14:28 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 08:16:21 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 08:20:55 | × | zaquest quits (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 08:22:08 | → | zaquest joins (~notzaques@5.130.79.72) |
| 08:23:19 | → | mikoto-chan joins (~mikoto-ch@213.177.151.239) |
| 08:26:18 | × | bahamas quits (~lucian@84.232.140.158) (Ping timeout: 250 seconds) |
| 08:26:20 | → | vglfr joins (~vglfr@88.155.114.173) |
| 08:29:01 | → | jstolarek joins (~jstolarek@staticline-31-183-185-185.toya.net.pl) |
| 08:32:36 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 240 seconds) |
| 08:36:03 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 08:36:06 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 08:46:07 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 08:46:48 | → | xkuru joins (~xkuru@user/xkuru) |
| 08:50:22 | → | nulluint joins (uid547282@user/nulluint) |
| 08:50:28 | × | chenqisu1 quits (~chenqisu1@183.217.201.47) (Quit: Leaving) |
| 08:50:35 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 08:50:35 | × | polaro77Icant quits (~Intel@2604:2800:fff9:aa1:91d6:2ce4:e484:666c) (Quit: Konversation terminated!) |
| 08:57:36 | → | _ht joins (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 09:00:54 | × | coot quits (~coot@213.134.190.95) (Quit: coot) |
| 09:02:08 | → | nishant joins (~Nishant@49.37.242.151) |
| 09:02:38 | → | briandaed joins (~root@109.95.142.93.r.toneticgroup.pl) |
| 09:05:18 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 09:09:32 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Ping timeout: 240 seconds) |
| 09:11:25 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 09:16:47 | → | Vajb joins (~Vajb@2001:999:62:aa00:7f5a:4f10:c894:3813) |
| 09:16:52 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 09:18:44 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 09:19:02 | × | briandaed quits (~root@109.95.142.93.r.toneticgroup.pl) (Remote host closed the connection) |
| 09:21:07 | → | fendor joins (~fendor@77.119.192.235.wireless.dyn.drei.com) |
| 09:30:33 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 09:31:23 | × | jstolarek quits (~jstolarek@staticline-31-183-185-185.toya.net.pl) (Ping timeout: 256 seconds) |
| 09:33:28 | × | nexus quits (~nexus@85-238-93-26.pool.digikabel.hu) (Ping timeout: 250 seconds) |
| 09:35:18 | → | nexus joins (~nexus@85-238-93-86.pool.digikabel.hu) |
| 09:39:00 | → | mastarija joins (~mastarija@2a05:4f46:e04:6000:6999:e31b:f6a3:322d) |
| 09:40:32 | × | mikoto-chan quits (~mikoto-ch@213.177.151.239) (Ping timeout: 240 seconds) |
| 09:42:39 | → | mikoto-chan joins (~mikoto-ch@213.177.151.239) |
| 09:47:14 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 09:51:32 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 09:56:02 | × | mikoto-chan quits (~mikoto-ch@213.177.151.239) (Ping timeout: 240 seconds) |
| 10:04:48 | → | jstolarek joins (~jstolarek@staticline-31-183-185-185.toya.net.pl) |
| 10:06:22 | → | romesrf joins (~romes@44.190.189.46.rev.vodafone.pt) |
| 10:09:02 | → | Natch joins (~natch@c-67bae255.014-297-73746f25.bbcust.telenor.se) |
| 10:09:32 | × | jstolarek quits (~jstolarek@staticline-31-183-185-185.toya.net.pl) (Ping timeout: 240 seconds) |
| 10:15:01 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 10:21:42 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 10:21:55 | → | fef joins (~thedawn@user/thedawn) |
| 10:29:38 | → | Tuplanolla joins (~Tuplanoll@91-159-69-98.elisa-laajakaista.fi) |
| 10:30:12 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 10:30:23 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 10:30:47 | × | yauhsien_ quits (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 10:33:49 | → | DNH joins (~DNH@2a02:8108:1100:16d8:dc77:d173:a9b9:d810) |
| 10:35:06 | → | cosimone joins (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 10:35:47 | → | yauhsien_ joins (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) |
| 10:35:59 | → | jgeerds joins (~jgeerds@55d4548e.access.ecotel.net) |
| 10:37:27 | → | Midjak joins (~Midjak@82.66.147.146) |
| 10:40:21 | × | yauhsien_ quits (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Ping timeout: 245 seconds) |
| 10:43:39 | × | nexus quits (~nexus@85-238-93-86.pool.digikabel.hu) (Ping timeout: 252 seconds) |
| 10:44:31 | × | jgeerds quits (~jgeerds@55d4548e.access.ecotel.net) (Ping timeout: 245 seconds) |
| 10:44:45 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 10:45:18 | → | nexus joins (~nexus@193-226-233-20.pool.digikabel.hu) |
| 10:50:35 | × | lumberjack123 quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 10:52:52 | → | mikoto-chan joins (~mikoto-ch@213.177.151.239) |
| 11:04:51 | → | unit73e joins (~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291) |
| 11:06:06 | <unit73e> | hello. almost have XP3 extract done. I ended up first making a "Get [File name bytestring]" structure and that makes it much easier to handle IO. Someone suggested here to do that, so thanks to that person. |
| 11:06:56 | <unit73e> | you know, I have avoided record syntax lately. using a case works just as good for most cases. |
| 11:07:39 | <unit73e> | is record syntax avoided in general or not really, or not really? |
| 11:08:27 | <unit73e> | most of a the time I don't need "getters" |
| 11:10:05 | <hpc> | you can combine record syntax and generics to generate lenses for all the fields, and then it's super nice |
| 11:10:57 | <hpc> | also sometimes, even ignoring getters it's nice to just name all the fields |
| 11:11:08 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 252 seconds) |
| 11:11:19 | <hpc> | data FooConfig = FooConfig Bool Bool Bool String Bool Int Int Double Bool doesn't really tell you anything |
| 11:11:27 | <unit73e> | I did read about that some time ago. It ends up being kind of like OO languages. Yes naming fields is the nice part. |
| 11:12:53 | → | ProfSimm joins (~ProfSimm@87.227.196.109) |
| 11:13:15 | <unit73e> | you can use aliases for the Bool Bool Bool, but yeah I guess when the data is complex might as well use record syntax with generics |
| 11:13:24 | × | razetime quits (~quassel@117.254.35.215) (Ping timeout: 240 seconds) |
| 11:13:54 | <fendor[m]> | Can I re-expose the module documentation for module I am re-exposing? |
| 11:14:55 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 11:15:01 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 11:15:42 | → | razetime joins (~quassel@117.254.35.215) |
| 11:16:54 | <fendor[m]> | Mostly, I want to re-expose a module, write a reasonable module header once that's automatically included wherever I am re-exporting my module |
| 11:16:59 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 11:17:27 | <unit73e> | so you want to reuse the same documentation? |
| 11:17:34 | <unit73e> | in your new module? |
| 11:17:39 | <unit73e> | something like that? |
| 11:17:40 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 11:19:12 | × | nexus quits (~nexus@193-226-233-20.pool.digikabel.hu) (Ping timeout: 250 seconds) |
| 11:19:34 | <unit73e> | fendor[m], maybe this? https://haskell-haddock.readthedocs.io/en/latest/markup.html?highlight=reference#re-exporting-an-entire-module |
| 11:19:39 | <unit73e> | or the next section? |
| 11:19:46 | → | nexus joins (~nexus@80-95-82-203.pool.digikabel.hu) |
| 11:21:29 | <unit73e> | I didn't even know that was possible. nice feature |
| 11:21:47 | <fendor[m]> | yeah, I re-expose a module twice, but I want at both locations some introduction so users are less confused |
| 11:22:04 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 11:23:08 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 11:23:50 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 11:24:26 | → | boborygmy_ joins (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) |
| 11:24:40 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 11:26:06 | <fendor[m]> | ah, wtf... If I add a section $doc, and define it a little later, it works, but if I write it directly in the export section, the documentation is swallowed |
| 11:26:47 | <fendor[m]> | eh... good enough |
| 11:26:48 | <fendor[m]> | thanks! |
| 11:30:52 | <Franciman> | hi fendor[m] |
| 11:31:48 | → | __monty__ joins (~toonn@user/toonn) |
| 11:33:15 | <fendor[m]> | hi Franciman! |
| 11:43:49 | → | `2jt joins (~jtomas@210.red-88-24-179.staticip.rima-tde.net) |
| 11:43:57 | → | Codaraxis_ joins (~Codaraxis@user/codaraxis) |
| 11:47:22 | × | Codaraxis quits (~Codaraxis@user/codaraxis) (Ping timeout: 250 seconds) |
| 11:48:40 | → | alMalsamo joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 11:52:28 | → | alp joins (~alp@user/alp) |
| 11:55:12 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 11:57:30 | × | barrucadu quits (~barrucadu@carcosa.barrucadu.co.uk) (Quit: Rebooting for upgrades...) |
| 11:57:47 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 11:58:03 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 11:58:04 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 11:58:10 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 11:59:04 | × | `2jt quits (~jtomas@210.red-88-24-179.staticip.rima-tde.net) (Ping timeout: 250 seconds) |
| 12:01:23 | → | barrucadu joins (~barrucadu@carcosa.barrucadu.co.uk) |
| 12:02:55 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 12:07:07 | → | CiaoSen joins (~Jura@p200300c95727d4002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 12:07:33 | × | alMalsamo quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Remote host closed the connection) |
| 12:07:46 | → | alMalsamo joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 12:08:21 | × | vysn quits (~vysn@user/vysn) (Ping timeout: 252 seconds) |
| 12:12:17 | × | acidjnk quits (~acidjnk@pd9e0b763.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 12:14:03 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 12:17:56 | → | yauhsien_ joins (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) |
| 12:23:31 | → | komikat joins (~komikat@183.82.152.122) |
| 12:25:29 | × | xff0x quits (~xff0x@i121-117-52-147.s41.a013.ap.plala.or.jp) (Quit: xff0x) |
| 12:27:01 | → | bahamas joins (~lucian@84.232.140.158) |
| 12:32:29 | alMalsamo | is now known as lumberjack123 |
| 12:32:32 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 12:33:08 | → | sciencentistguy joins (~sciencent@hacksoc/ordinary-member) |
| 12:34:03 | → | xff0x joins (~xff0x@i121-117-52-147.s41.a013.ap.plala.or.jp) |
| 12:34:34 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 12:34:34 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 12:34:34 | → | wroathe joins (~wroathe@user/wroathe) |
| 12:37:12 | × | komikat quits (~komikat@183.82.152.122) (Remote host closed the connection) |
| 12:40:25 | → | __monty__ joins (~toonn@user/toonn) |
| 12:40:28 | × | DNH quits (~DNH@2a02:8108:1100:16d8:dc77:d173:a9b9:d810) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 12:41:08 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 12:43:32 | × | whatsupdoc quits (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 12:54:58 | → | coot joins (~coot@213.134.190.95) |
| 12:55:52 | × | acidsys quits (~LSD@2a03:4000:55:d20::3) (Excess Flood) |
| 12:56:23 | → | acidsys joins (~LSD@2a03:4000:55:d20::3) |
| 12:56:29 | × | acidsys quits (~LSD@2a03:4000:55:d20::3) (Excess Flood) |
| 12:57:06 | → | acidsys joins (~LSD@2a03:4000:55:d20::3) |
| 12:57:41 | × | yauhsien_ quits (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 12:58:25 | → | DNH joins (~DNH@2a02:8108:1100:16d8:dc77:d173:a9b9:d810) |
| 13:02:04 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8) |
| 13:02:41 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 13:03:05 | <romesrf> | Has anyone come across an error when adding reflex to a cabal project regarding "patch"? |
| 13:03:42 | <romesrf> | might be OS specific: https://paste.tomsmeding.com/8wKOZy5e |
| 13:07:26 | → | yauhsien_ joins (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) |
| 13:08:18 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 252 seconds) |
| 13:08:19 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 13:08:24 | × | romesrf quits (~romes@44.190.189.46.rev.vodafone.pt) (Quit: WeeChat 3.4) |
| 13:08:49 | → | romesrf joins (~romes@44.190.189.46.rev.vodafone.pt) |
| 13:10:21 | × | Vajb quits (~Vajb@2001:999:62:aa00:7f5a:4f10:c894:3813) (Read error: Connection reset by peer) |
| 13:10:54 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 13:11:49 | × | yauhsien_ quits (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 13:12:09 | × | mikoto-chan quits (~mikoto-ch@213.177.151.239) (Read error: Connection reset by peer) |
| 13:13:35 | → | yauhsien_ joins (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) |
| 13:14:25 | × | coot quits (~coot@213.134.190.95) (Quit: coot) |
| 13:14:40 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 13:15:47 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 13:17:17 | × | bahamas quits (~lucian@84.232.140.158) (Ping timeout: 240 seconds) |
| 13:18:03 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 13:18:09 | → | mikoto-chan joins (~mikoto-ch@213.177.151.239) |
| 13:18:28 | → | coot joins (~coot@213.134.190.95) |
| 13:19:50 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 13:19:50 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 13:19:50 | → | wroathe joins (~wroathe@user/wroathe) |
| 13:22:28 | × | _ht quits (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 13:28:53 | <unit73e> | romesrf, no. try cleaning cabal directory. that seems to me more like some kind of ID failure. |
| 13:29:15 | <unit73e> | I never bothered figuring why such things happen though |
| 13:29:43 | <unit73e> | I'm saying that because it's a GHC lib, apparently |
| 13:29:59 | <unit73e> | that was generated by cabal |
| 13:30:06 | <unit73e> | but I could be wrong |
| 13:30:13 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8) (Remote host closed the connection) |
| 13:31:05 | × | romesrf quits (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 256 seconds) |
| 13:38:29 | → | MajorBiscuit joins (~MajorBisc@2a02:a461:129d:1:193d:75d8:745d:e91e) |
| 13:39:12 | × | MajorBiscuit quits (~MajorBisc@2a02:a461:129d:1:193d:75d8:745d:e91e) (Client Quit) |
| 13:39:48 | <juri_> | hmm. i'm being dumb, somehow. if i write a function thing = otherthing, then all of the passed arguments to thing are passed to otherthing, without me having to name them. how do i do thing = doSomethingWithOutPutOf $ otherThing? |
| 13:39:57 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 240 seconds) |
| 13:40:10 | <juri_> | (.) in place of the $ doesn't work... |
| 13:40:34 | <Rembane> | juri_: You need to add the arguments when you use $ |
| 13:40:57 | <juri_> | ugh. |
| 13:41:46 | <corisco[m]> | you need to use composition, otherwise you are partially applying doSomethingWithOutPutOf with otherThing.... or you must use (.), but then "thing" must have only one paramenter |
| 13:43:06 | → | waleee joins (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 13:43:54 | <Rembane> | juri_: There's the useful owl though ((.) . (.)) |
| 13:43:59 | <Rembane> | :t ((.) . (.)) |
| 13:44:00 | <lambdabot> | (b -> c) -> (a1 -> a2 -> b) -> a1 -> a2 -> c |
| 13:44:17 | <Rembane> | :t on -- And this function is also quite handy |
| 13:44:18 | <lambdabot> | (b -> b -> c) -> (a -> b) -> a -> a -> c |
| 13:48:02 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 13:49:36 | → | MajorBiscuit joins (~MajorBisc@c-001-031-019.client.tudelft.eduvpn.nl) |
| 13:49:39 | → | romesrf joins (~romes@44.190.189.46.rev.vodafone.pt) |
| 13:50:38 | <juri_> | yeah, i think the owl for what i'm doing might be a bit painful to write.. i've got 8 arguments i'm trying not to name. :) |
| 13:51:09 | <[exa]> | juri_: suggestion: make the `otherThing` accept the `doSomethingWithOutput` as extra (first) parameter |
| 13:51:22 | <[exa]> | (aka a "continuation" or so) |
| 13:51:34 | <juri_> | hmm. that might work. |
| 13:51:34 | <Rembane> | juri_: You could also put the eight parameters in a record |
| 13:51:47 | → | komikat joins (~komikat@183.82.152.122) |
| 13:52:10 | <corisco[m]> | yeah using records in this case, would be an elegant solution |
| 13:52:32 | × | unit73e quits (~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291) (Ping timeout: 240 seconds) |
| 13:53:57 | × | vglfr quits (~vglfr@88.155.114.173) (Ping timeout: 252 seconds) |
| 13:54:44 | <corisco[m]> | * using records, in |
| 13:56:34 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 13:57:14 | <[exa]> | juri_: technically the multi-parameter combinations are complicated because there's ambiguity in how many arguments should be taken by the function and how many should be "left over" for the resulting combined value (function), changing the interface to allow continuation usually clarifies that (at least you can only have the arguments listed at one place) |
| 13:57:17 | × | boborygmy_ quits (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 240 seconds) |
| 13:57:46 | <hpc> | polymorphism makes it extra fun too |
| 13:57:51 | <hpc> | how many parameters does id take? |
| 13:57:52 | <hpc> | :t id |
| 13:57:53 | <lambdabot> | a -> a |
| 13:58:00 | <[exa]> | btw this might map nicely to some kind of a monad, I'd expect Cont |
| 13:58:11 | × | komikat quits (~komikat@183.82.152.122) (Read error: Connection reset by peer) |
| 13:59:36 | <juri_> | [exa]: yeah, that makes sense, it's just not what i'd look for here. I'm trying to propertyTest = doTestOnOutputOf $ generatorOfObject , so adding a continuation to the generator would make it less useful. I call that generator from GHCI, when i'm trying to see what function failed when applied to the generator's output. |
| 14:01:05 | <juri_> | naming the variables is the least-ugly solution i can come up with. |
| 14:01:24 | <juri_> | (a b c d e f) it is. |
| 14:01:37 | × | razetime quits (~quassel@117.254.35.215) (Ping timeout: 240 seconds) |
| 14:02:35 | × | MajorBiscuit quits (~MajorBisc@c-001-031-019.client.tudelft.eduvpn.nl) (Quit: WeeChat 3.4) |
| 14:03:14 | → | `2jt joins (~jtomas@210.red-88-24-179.staticip.rima-tde.net) |
| 14:04:45 | <geekosaur> | yes, it'softennot worth it to try to be point free |
| 14:05:02 | <geekosaur> | (the lambdabot plugin is called "pointless" for a reason :) |
| 14:06:00 | → | komikat joins (~komikat@183.82.152.122) |
| 14:07:07 | → | Major_Biscuit joins (~MajorBisc@c-001-024-004.client.tudelft.eduvpn.nl) |
| 14:07:39 | × | Major_Biscuit quits (~MajorBisc@c-001-024-004.client.tudelft.eduvpn.nl) (Client Quit) |
| 14:07:49 | → | Major_Biscuit joins (~MajorBisc@c-001-024-004.client.tudelft.eduvpn.nl) |
| 14:07:54 | → | bahamas joins (~lucian@84.232.140.158) |
| 14:08:51 | → | bontaq joins (~user@ool-45779fe5.dyn.optonline.net) |
| 14:10:02 | × | CiaoSen quits (~Jura@p200300c95727d4002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 14:12:25 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8) |
| 14:12:39 | × | bahamas quits (~lucian@84.232.140.158) (Ping timeout: 252 seconds) |
| 14:12:48 | × | yauhsien_ quits (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 14:13:37 | → | yauhsien_ joins (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) |
| 14:14:17 | → | razetime joins (~quassel@117.254.35.215) |
| 14:16:51 | × | DNH quits (~DNH@2a02:8108:1100:16d8:dc77:d173:a9b9:d810) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 14:17:01 | × | komikat quits (~komikat@183.82.152.122) (Remote host closed the connection) |
| 14:17:55 | → | komikat joins (~komikat@183.82.152.122) |
| 14:18:22 | × | yauhsien_ quits (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Ping timeout: 260 seconds) |
| 14:19:20 | × | Inst quits (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) (Ping timeout: 268 seconds) |
| 14:19:31 | → | boborygmy_ joins (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) |
| 14:19:55 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 14:20:57 | × | nexus quits (~nexus@80-95-82-203.pool.digikabel.hu) (Ping timeout: 256 seconds) |
| 14:22:40 | → | nexus joins (~nexus@178-164-208-70.pool.digikabel.hu) |
| 14:24:25 | × | mikoto-chan quits (~mikoto-ch@213.177.151.239) (Read error: Connection reset by peer) |
| 14:26:10 | × | edwtjo quits (~edwtjo@user/edwtjo) (Changing host) |
| 14:26:10 | → | edwtjo joins (~edwtjo@fsf/member/edwtjo) |
| 14:30:27 | → | mikoto-chan joins (~mikoto-ch@213.177.151.239) |
| 14:30:35 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 14:31:08 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 14:47:38 | × | LiaoTao quits (~LiaoTao@gateway/tor-sasl/liaotao) (Remote host closed the connection) |
| 14:47:56 | → | LiaoTao joins (~LiaoTao@gateway/tor-sasl/liaotao) |
| 14:51:17 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 14:54:55 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4) |
| 14:55:51 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 14:57:49 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds) |
| 14:58:17 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 14:59:17 | × | vorpuni quits (~pvorp@2001:861:3881:c690:6eb8:8a:422a:cdeb) (Remote host closed the connection) |
| 15:01:19 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 15:01:35 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 15:02:19 | × | __monty__ quits (~toonn@user/toonn) (Ping timeout: 256 seconds) |
| 15:04:22 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 15:07:17 | × | komikat quits (~komikat@183.82.152.122) (Remote host closed the connection) |
| 15:08:41 | → | Guest|7 joins (~Guest|7@tmo-101-64.customers.d1-online.com) |
| 15:08:42 | × | romesrf quits (~romes@44.190.189.46.rev.vodafone.pt) (Quit: WeeChat 3.4) |
| 15:12:26 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 245 seconds) |
| 15:13:35 | × | fendor quits (~fendor@77.119.192.235.wireless.dyn.drei.com) (Remote host closed the connection) |
| 15:13:47 | <albet70> | a = [[1,2], [3,5]] what's the best way to get [[1,3], [2,5]]? |
| 15:14:26 | <geekosaur> | > transpose [[1,2],[3,5]] |
| 15:14:27 | <lambdabot> | [[1,3],[2,5]] |
| 15:16:39 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 15:17:23 | <albet70> | with fmap can do it? |
| 15:17:43 | → | bahamas joins (~lucian@84.232.140.158) |
| 15:18:29 | <albet70> | [[1,2,3], [4,5,6], [7,8,9]] to [[1,4,7], [2,5,8], [3,6,9]] |
| 15:18:56 | <geekosaur> | fmap seems like a rather complex way to do it, although it's probably possible |
| 15:19:02 | <geekosaur> | transpose does it easily |
| 15:19:18 | <geekosaur> | > transpose [[1,2,3], [4,5,6], [7,8,9]] |
| 15:19:20 | <lambdabot> | [[1,4,7],[2,5,8],[3,6,9]] |
| 15:19:33 | <geekosaur> | @src transpose |
| 15:19:33 | <lambdabot> | transpose [] = [] |
| 15:19:33 | <lambdabot> | transpose ([] : xss) = transpose xss |
| 15:19:33 | <lambdabot> | transpose ((x:xs) : xss) = (x : [h | (h:t) <- xss]) : transpose (xs : [ t | (h:t) <- xss]) |
| 15:20:41 | <albet70> | you're right, transpose is the way |
| 15:20:43 | <c_wraith> | you could go via ZipList instead, which is... less specialized than transpose. But it also has different behavior when the input isn't rectangular |
| 15:21:24 | × | razetime quits (~quassel@117.254.35.215) (Ping timeout: 252 seconds) |
| 15:22:02 | × | bahamas quits (~lucian@84.232.140.158) (Ping timeout: 240 seconds) |
| 15:22:03 | × | rembo10 quits (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 15:22:24 | <c_wraith> | > (getZipList . sequenceA . fmap ZipList) [[1,2,3],[4,5,6],[7,8,9]] |
| 15:22:26 | <lambdabot> | [[1,4,7],[2,5,8],[3,6,9]] |
| 15:22:33 | <c_wraith> | also a lot less obvious what it's doing |
| 15:22:36 | <albet70> | foldl with zipWith? |
| 15:23:04 | <c_wraith> | :t getZipList . sequenceA . fmap ZipList |
| 15:23:05 | <lambdabot> | Traversable t => t [a] -> [t a] |
| 15:23:40 | <c_wraith> | But that is different from transpose in a significant way other than the type |
| 15:23:51 | <c_wraith> | transpose preserves all the elements if the input is ragged |
| 15:24:08 | <c_wraith> | that will truncate everything to the length of the shortest sublist |
| 15:25:22 | <c_wraith> | > transpose [[1],[2,3],[4,5,6]] |
| 15:25:23 | <lambdabot> | [[1,2,4],[3,5],[6]] |
| 15:25:48 | <c_wraith> | > (getZipList . sequenceA . fmap ZipList) [[1],[2,3],[4,5,6]] |
| 15:25:50 | <lambdabot> | [[1,2,4]] |
| 15:27:21 | → | redj75 joins (~redj@120.206.226.109.ip.orionnet.ru) |
| 15:29:26 | → | rembo10 joins (~rembo10@main.remulis.com) |
| 15:33:56 | → | razetime joins (~quassel@117.254.35.162) |
| 15:35:57 | → | geranim0 joins (~geranim0@modemcable242.171-178-173.mc.videotron.ca) |
| 15:37:21 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 15:39:34 | → | komikat joins (~komikat@183.82.152.122) |
| 15:40:56 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 250 seconds) |
| 15:40:58 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 15:42:56 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 15:44:32 | × | redj75 quits (~redj@120.206.226.109.ip.orionnet.ru) (Quit: Client closed) |
| 15:45:14 | × | robertm quits (robertm@lattice.rojoma.com) (Quit: WeeChat 3.0) |
| 15:45:32 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 15:47:09 | → | robertm joins (robertm@lattice.rojoma.com) |
| 15:49:56 | → | CiaoSen joins (~Jura@p200300c95727d4002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 15:51:10 | × | rembo10 quits (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 15:52:14 | → | rembo10 joins (~rembo10@main.remulis.com) |
| 15:54:59 | → | boxscape_ joins (~boxscape_@p4ff0b60b.dip0.t-ipconnect.de) |
| 15:57:12 | × | yauhsien quits (~Yau-Hsien@61-231-56-96.dynamic-ip.hinet.net) (Read error: Connection reset by peer) |
| 16:01:53 | → | yauhsien joins (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) |
| 16:02:46 | × | coot quits (~coot@213.134.190.95) (Quit: coot) |
| 16:05:15 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 16:06:37 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 16:07:29 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 16:08:31 | × | Guest|7 quits (~Guest|7@tmo-101-64.customers.d1-online.com) (Quit: Connection closed) |
| 16:10:04 | → | FragByte_ joins (~christian@user/fragbyte) |
| 16:11:00 | × | FragByte quits (~christian@user/fragbyte) (Ping timeout: 240 seconds) |
| 16:11:00 | FragByte_ | is now known as FragByte |
| 16:13:01 | → | mei joins (~mei@user/mei) |
| 16:17:00 | → | toulene joins (~toulene@user/toulene) |
| 16:17:47 | <albet70> | if a = [[1,2,3], [4,5,6], [7,8,9], [10,11,12]], let n and n+2 to concat, get [[1,2,3,7,8,9], [4,5,6,10,11,12] |
| 16:19:15 | → | DNH joins (~DNH@2a02:8108:1100:16d8:dc77:d173:a9b9:d810) |
| 16:23:08 | <monochrom> | I would make the stepping stone of separating [[1,2,3], [4,5,6], [7,8,9], [10,11,12]] into ([[1,2,3], [7,8,9]], [[4,5,6], [10,11,12]]). Then it's a simple zipWith. |
| 16:23:41 | → | Jeanne-Kamikaze joins (~Jeanne-Ka@static-198-54-134-169.cust.tzulo.com) |
| 16:23:52 | × | komikat quits (~komikat@183.82.152.122) (Remote host closed the connection) |
| 16:24:12 | <monochrom> | Err wait that's wrong. |
| 16:24:35 | <albet70> | ... |
| 16:24:56 | × | ProfSimm quits (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 16:25:26 | → | Inst joins (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) |
| 16:26:25 | → | jstolarek joins (~jstolarek@staticline-31-183-185-185.toya.net.pl) |
| 16:27:30 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 16:27:32 | <albet70> | there's a ugly way to do it, use the index |
| 16:27:47 | → | coot joins (~coot@213.134.190.95) |
| 16:28:07 | × | `2jt quits (~jtomas@210.red-88-24-179.staticip.rima-tde.net) (Remote host closed the connection) |
| 16:28:26 | → | `2jt joins (~jtomas@210.red-88-24-179.staticip.rima-tde.net) |
| 16:28:44 | <albet70> | so make index 0 and 2 to concat, 1 and 3 to concat, but it's ugly... |
| 16:29:21 | <pavonia> | Why not defining your own function? It's a trival loop |
| 16:30:03 | <monochrom> | Should I make 2 and 4 concat too? Should I actually concat 0, 2, 4 together? |
| 16:30:09 | <albet70> | I just wonder if Data.List can do it |
| 16:30:18 | <albet70> | "monochrom :Should I make 2 and 4 concat too? Should I actually concat 0, 2, 4 together?", yes |
| 16:30:46 | <albet70> | if there's 6, 8. it concat 0,2,4,6,8 |
| 16:31:01 | <monochrom> | Oh beautiful, then my stepping stone still helps. |
| 16:32:34 | → | zebrag joins (~chris@user/zebrag) |
| 16:32:56 | → | Unicorn_Princess joins (~Unicorn_P@46-54-248-191.static.kate-wing.si) |
| 16:32:59 | → | lbseale joins (~ep1ctetus@user/ep1ctetus) |
| 16:33:14 | × | razetime quits (~quassel@117.254.35.162) (Ping timeout: 260 seconds) |
| 16:33:26 | × | Jeanne-Kamikaze quits (~Jeanne-Ka@static-198-54-134-169.cust.tzulo.com) (Quit: Leaving) |
| 16:39:08 | → | Jeanne-Kamikaze joins (~Jeanne-Ka@static-198-54-134-121.cust.tzulo.com) |
| 16:39:57 | × | thaumavorio quits (~thaumavor@thaumavor.io) (Quit: ZNC 1.8.2 - https://znc.in) |
| 16:41:33 | → | mvk joins (~mvk@2607:fea8:5cc3:7e00::45ee) |
| 16:41:39 | <albet70> | split then reduce |
| 16:41:46 | → | thaumavorio joins (~thaumavor@thaumavor.io) |
| 16:43:49 | → | __monty__ joins (~toonn@user/toonn) |
| 16:44:19 | → | faAsade joins (~faAsade@047-227-183-103.res.spectrum.com) |
| 16:44:29 | × | yauhsien quits (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 16:45:10 | → | yauhsien joins (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) |
| 16:47:25 | × | `2jt quits (~jtomas@210.red-88-24-179.staticip.rima-tde.net) (Ping timeout: 250 seconds) |
| 16:48:49 | → | rond_ joins (~rond_@90.254.208.190) |
| 16:49:48 | × | Inst quits (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) (Ping timeout: 268 seconds) |
| 16:50:02 | × | yauhsien quits (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 16:50:19 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 16:51:50 | → | `2jt joins (~jtomas@210.red-88-24-179.staticip.rima-tde.net) |
| 16:53:41 | × | lbseale quits (~ep1ctetus@user/ep1ctetus) (Ping timeout: 245 seconds) |
| 16:54:39 | × | mei quits (~mei@user/mei) (Read error: Connection reset by peer) |
| 16:56:33 | × | CiaoSen quits (~Jura@p200300c95727d4002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 16:57:35 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 16:57:36 | → | bahamas joins (~lucian@84.232.140.158) |
| 16:59:59 | × | `2jt quits (~jtomas@210.red-88-24-179.staticip.rima-tde.net) (Ping timeout: 250 seconds) |
| 17:01:04 | → | Vajb joins (~Vajb@2001:999:62:aa00:7f5a:4f10:c894:3813) |
| 17:01:48 | <faAsade> | Hi all. I'm using Hspec. My example 'head "" `shouldThrow` anyErrorCall' is a type mismatch and won't compile, so how can I expect the 'empty list' exception? |
| 17:03:32 | → | dyeplexer joins (~dyeplexer@user/dyeplexer) |
| 17:04:54 | → | abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 17:04:54 | × | Vajb quits (~Vajb@2001:999:62:aa00:7f5a:4f10:c894:3813) (Read error: Connection reset by peer) |
| 17:05:48 | <faAsade> | nevermind -- the `evaluate` function seems to work |
| 17:06:01 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 17:07:59 | → | lbseale joins (~ep1ctetus@user/ep1ctetus) |
| 17:10:06 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 17:11:11 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 17:12:31 | → | `2jt joins (~jtomas@210.red-88-24-179.staticip.rima-tde.net) |
| 17:12:43 | × | faAsade quits (~faAsade@047-227-183-103.res.spectrum.com) (Quit: Client closed) |
| 17:13:32 | × | lbseale quits (~ep1ctetus@user/ep1ctetus) (Ping timeout: 240 seconds) |
| 17:13:41 | × | nexus quits (~nexus@178-164-208-70.pool.digikabel.hu) (Ping timeout: 245 seconds) |
| 17:15:25 | → | nexus joins (~nexus@217-197-189-23.pool.digikabel.hu) |
| 17:16:21 | × | alp quits (~alp@user/alp) (Ping timeout: 252 seconds) |
| 17:16:30 | × | litharge quits (litharge@libera/bot/litharge) (Read error: Connection reset by peer) |
| 17:17:28 | → | faAsade joins (~faAsade@047-227-183-103.res.spectrum.com) |
| 17:17:36 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 17:17:59 | × | mjs2600 quits (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 17:19:05 | → | litharge joins (litharge@libera/bot/litharge) |
| 17:19:07 | → | litharge` joins (litharge@libera/bot/litharge) |
| 17:19:23 | × | litharge` quits (litharge@libera/bot/litharge) (Read error: Connection reset by peer) |
| 17:19:26 | → | mjs2600 joins (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 17:22:15 | × | coot quits (~coot@213.134.190.95) (Quit: coot) |
| 17:30:32 | × | jstolarek quits (~jstolarek@staticline-31-183-185-185.toya.net.pl) (Ping timeout: 240 seconds) |
| 17:32:35 | × | mastarija quits (~mastarija@2a05:4f46:e04:6000:6999:e31b:f6a3:322d) (Quit: Leaving) |
| 17:39:54 | → | simendsjo joins (~user@84.211.91.241) |
| 17:42:22 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 17:43:39 | → | Pickchea joins (~private@user/pickchea) |
| 17:43:39 | × | rond_ quits (~rond_@90.254.208.190) (Quit: Client closed) |
| 17:43:46 | × | faAsade quits (~faAsade@047-227-183-103.res.spectrum.com) (Quit: Client closed) |
| 17:47:36 | <Zemyla> | Can someone explain to me why `taking` from the lens library requires a fake Contravariant instance? |
| 17:49:54 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 17:53:20 | → | econo joins (uid147250@user/econo) |
| 17:53:57 | → | o-90 joins (~o-90@gateway/tor-sasl/o-90) |
| 17:57:37 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 240 seconds) |
| 17:57:39 | → | yauhsien joins (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) |
| 17:59:49 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 18:00:28 | × | kaph quits (~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Read error: Connection reset by peer) |
| 18:04:32 | × | o-90 quits (~o-90@gateway/tor-sasl/o-90) (Remote host closed the connection) |
| 18:04:48 | → | kaph joins (~kaph@net-109-116-124-149.cust.vodafonedsl.it) |
| 18:16:41 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 18:18:32 | → | vglfr joins (~vglfr@88.155.114.173) |
| 18:25:25 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 18:26:08 | → | coot joins (~coot@213.134.190.95) |
| 18:28:49 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8) (Remote host closed the connection) |
| 18:29:47 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 18:30:48 | → | romesrf joins (~romes@44.190.189.46.rev.vodafone.pt) |
| 18:33:15 | × | dyeplexer quits (~dyeplexer@user/dyeplexer) (Remote host closed the connection) |
| 18:40:42 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.4) |
| 18:41:50 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 18:50:30 | → | segfaultfizzbuzz joins (~segfaultf@2602:306:cd3c:9350:698a:c772:fe08:7b1d) |
| 18:51:46 | <segfaultfizzbuzz> | this is ostensibly more of a mathematics question so please do feel free to ask me to go somewhere else, but i have a feeling that #haskell might be the best place to ask this question: |
| 18:52:12 | × | yauhsien quits (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 18:52:17 | <segfaultfizzbuzz> | let's say that i have a "statement" such as "the product of two natural numbers is divisible by 2" |
| 18:52:39 | × | mvk quits (~mvk@2607:fea8:5cc3:7e00::45ee) (Ping timeout: 250 seconds) |
| 18:52:53 | <segfaultfizzbuzz> | there are different ways of writing this same statement and these different methods may require varying numbers of bits to write down |
| 18:53:01 | → | yauhsien joins (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) |
| 18:53:49 | <segfaultfizzbuzz> | however it seems like there should be a way of establishing in a universal sense that the number of bits required to make this statement is objectively less than some value--for example one billion bits is far more than necessary regardless of however this expression is represented |
| 18:57:29 | × | yauhsien quits (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 18:57:30 | <segfaultfizzbuzz> | so is there a way of doing this? can i write a function in haskell and have some kind of estimate for the number of bits required to express equivalent statements? |
| 18:57:55 | <johnw_> | segfaultfizzbuzz: I'm not sure what mathematical statements like this have to do with "bits" at all |
| 18:58:03 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 18:58:10 | <johnw_> | I would prove the theorem in a setting like Coq or Agda, where such a question wouldn't even make sense |
| 18:58:23 | <segfaultfizzbuzz> | well if you speak out loud or write a mathematical statement, you need to represent it somehow, even if it is a drawing or an audio recording |
| 18:58:35 | <johnw_> | Do you want to learn a mathematical truth, or are you looking to say something about how a particular machine architecture represents numerical statements? |
| 18:58:59 | <segfaultfizzbuzz> | well i have become interested in the concept of probabilistic proofs |
| 18:59:01 | <johnw_> | Proofs by induction like the one you presented are fairly economical, in terms of proof-term size |
| 18:59:17 | × | nishant quits (~Nishant@49.37.242.151) (Quit: Leaving) |
| 18:59:21 | <segfaultfizzbuzz> | for example richard feynman had a very good one page probabilistic proof of fermat's last theorem |
| 19:00:02 | <segfaultfizzbuzz> | and so this made me wonder, if you have a mathematical statement in the wild and you check it empirically some number of times, what is the probability that the statement is true? |
| 19:00:29 | <monochrom> | This is both complexity theory and information theory combined. This will be a huge project. And that's already probably an understatement. |
| 19:00:54 | <segfaultfizzbuzz> | and that made me think that shorter statements can be checked more successfully by random (or not-so-random) empirical testing |
| 19:01:12 | <johnw_> | ah, "checked" here is subjective |
| 19:01:15 | <monochrom> | However the bottom line is you need to know the basics of both before you can sharpen your question sufficiently to even begin. |
| 19:01:39 | <johnw_> | proof by sampling is something that many proof environments do support, but it's just a serious of existentially-quantified witnesses, not a universally-quantified proof |
| 19:01:46 | <segfaultfizzbuzz> | no, you can make a statement like i said, like " the product of two numbers is divisible by 2" and then test it by checking it on a bunch of statements |
| 19:01:48 | <johnw_> | it's a useful technique to know right away whether your statement is false, though |
| 19:02:04 | <segfaultfizzbuzz> | and so then the question is, calculate the probability that your statement is true or false based on your empirical tests |
| 19:02:13 | → | jstolarek joins (~jstolarek@staticline-31-183-185-185.toya.net.pl) |
| 19:02:21 | <segfaultfizzbuzz> | and my thinking here is that if the statement is shorter, then empirical tests are more meaningful |
| 19:02:42 | <johnw_> | an engineer might buy such a statement, but a mathematician wouldn't |
| 19:02:51 | johnw_ | is now known as johnw |
| 19:03:05 | <segfaultfizzbuzz> | but this doesn't matter, because the engineer might start to be able to publish conjectures way before the mathematician can even think of them |
| 19:03:06 | <monochrom> | For example one thing both teaches is that you cannot look at an individual sentence in isolation. You have to first draw a line around all possible sentences you allow. Only then it makes sense to ask "what's a reasonable length of my favourite sentence?" |
| 19:03:38 | <johnw> | As a "conjecture finder" it could be interesting |
| 19:04:05 | <segfaultfizzbuzz> | and furthermore in the real world, if you are using some mathematics, the fact that it is false mathematics doesn't necessarily mean it is useless |
| 19:04:59 | <segfaultfizzbuzz> | anyway so my thinking here was that there was a pidgeonhole principle at work |
| 19:05:28 | <segfaultfizzbuzz> | if you express "the product of two numbers is divisible by two" in bits, and you check it 10^9 times non-redundantly, |
| 19:05:52 | <segfaultfizzbuzz> | then the statement length is less than the associated billion bits, therefore you know conclusively whether it is true or false |
| 19:06:04 | <segfaultfizzbuzz> | you don't even need a proof |
| 19:06:09 | <segfaultfizzbuzz> | in the traditional sense |
| 19:06:47 | <johnw> | The fact that you can express the statement in bits, though, doesn't take into account that there is a recursion involved. |
| 19:07:14 | <segfaultfizzbuzz> | recursion doesn't matter? i can write a recursive haskell program in less than 8000 bites |
| 19:07:17 | <segfaultfizzbuzz> | 8000 bits |
| 19:07:29 | <johnw> | but how do you check that it is true for all inputs? |
| 19:08:14 | <segfaultfizzbuzz> | if the statement can be expressed with very few bits, how can it have lots of entropy? |
| 19:08:51 | <segfaultfizzbuzz> | it's as simple as that,... at some point you exceed the maximum entropy which can be generated from a statement of that length |
| 19:09:39 | × | boxscape_ quits (~boxscape_@p4ff0b60b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 19:10:14 | → | alp joins (~alp@user/alp) |
| 19:10:26 | → | little_mac joins (~little_ma@2601:410:4300:3ce0::8b2c) |
| 19:12:01 | <johnw> | So you are saying that a theorem has a certain information density, and that a proof can be found by attempting to analyze this factor? |
| 19:12:23 | <segfaultfizzbuzz> | yes that is what i am thinking about |
| 19:12:30 | geekosaur | wonders what kurt gödel would have to say about that |
| 19:12:47 | <johnw> | I'm definitely not qualified to say that you're wrong, but I'd love to read your upcoming thesis. :) |
| 19:13:49 | <segfaultfizzbuzz> | and so you might need to generate a lot of tests, but at some point you exceed the entropy which can be represented in statements of the length you are looking at. |
| 19:14:23 | <segfaultfizzbuzz> | and furthermore computers are so fast today that you may be able to generate enough tests so as to actually exceed that representational entropy |
| 19:14:55 | <segfaultfizzbuzz> | and if i can speculate here, this phenomenon might explain why software works in the first place |
| 19:15:17 | <johnw> | you make me wonder about some proof terms in my category theory library where, although the statement of the theorem is quite trivial, the proof term is hundreds of megabytes in size and takes 30 minutes to calculate.... |
| 19:15:52 | <segfaultfizzbuzz> | wonder in what way? |
| 19:16:05 | → | zincy_ joins (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 19:16:15 | <johnw> | if your speculation is true, then the vast majority of that complexity should be sheer redundancy, like a single light refracting trillions of times |
| 19:16:29 | <segfaultfizzbuzz> | oh you are saying that the proof is an entropic exhaustion of the expression? |
| 19:16:35 | <segfaultfizzbuzz> | i don't agree that it is redundancy |
| 19:16:59 | <johnw> | doesn't the theorem statement itself contain "all" of the information? |
| 19:17:06 | <johnw> | so that if it is brief, then there are only a few bits of true entropy |
| 19:17:15 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 19:17:25 | <segfaultfizzbuzz> | yes the entropy of the *statement* is low, but |
| 19:17:26 | <johnw> | and the rest of the proof term beyond this size is not entropic, and thus not truly informative, but merely an exposition of that kernel? |
| 19:17:45 | <segfaultfizzbuzz> | i am saying that the *proof* of the statement has a maximum necessary size/number of bits |
| 19:17:48 | <monochrom> | No no no. The axioms of your theory contains "all" of the information. >:) |
| 19:17:59 | <johnw> | yes, monochrom++ |
| 19:18:05 | <monochrom> | or even, "information" >:) >:) |
| 19:18:13 | <johnw> | the axioms are the only information, everything else is restatement |
| 19:18:44 | <johnw> | but I think segfaultfizzbuzz means information in a slightly different sense here |
| 19:18:51 | <monochrom> | But now this has enlarged to encompass all of complexity theory, information theory, number theory, and logic. |
| 19:19:10 | <johnw> | as in, not a thing newly learned, but the informational complexity of the statement itself? |
| 19:19:19 | <segfaultfizzbuzz> | all reasoning is practiced by and relevant to mortals and therefore will always contain a finite number of bits |
| 19:19:21 | <johnw> | as any good discussion on #haskell should |
| 19:19:22 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 19:19:43 | <monochrom> | Like I said even "huge research project" is likely a gross understatement. More like a "research program" meaning on the scale of hundreds of people and a century. |
| 19:19:53 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 19:20:02 | <segfaultfizzbuzz> | that's a good thing, right? |
| 19:20:24 | <monochrom> | Well, either that, or Gödel comes along and collapses it with a simple "undecidable". |
| 19:20:31 | <monochrom> | (like geekosaur said) |
| 19:20:32 | <segfaultfizzbuzz> | godel is boring |
| 19:20:55 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 19:21:08 | <segfaultfizzbuzz> | mathematics is systematically biased towards boring exceptions to useful rules |
| 19:21:20 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 19:21:28 | <segfaultfizzbuzz> | except once in a while the boring exception actually is meaningful |
| 19:21:49 | <geekosaur> | meaningful how and/or to whom? |
| 19:23:28 | <segfaultfizzbuzz> | to me personally in my own experience |
| 19:23:51 | <segfaultfizzbuzz> | anyway whatever you think about this, i do believe there is an interesting and useful way of approaching the pidgeonhole principle in the context of proving things |
| 19:25:30 | <monochrom> | Well let me turn "boring" around to what your observed about how the software crisis is not really so doomsday. |
| 19:25:55 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 19:26:00 | <monochrom> | It is daily software that's boring. This include both expected behaviour and actual bugs. |
| 19:27:23 | <monochrom> | It is why there is so little information that 1000 tests are enough to detect most bugs that matter. |
| 19:27:50 | <monochrom> | But sorry Goldbach's conjecture is much less boring than that. |
| 19:28:22 | <segfaultfizzbuzz> | right, the tests are probably exhaustive in an entropic sense, for everything that the software can express, especially if the tests are random |
| 19:28:37 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 19:28:46 | <monochrom> | And to date we don't even know whether Gödel's curse applies to Goldbach's conjecture. That how not boring Gödel's curse is. |
| 19:31:12 | <segfaultfizzbuzz> | this also suggests that if you can non-sequentally test something (for example, if i wanted to test goldbach's conjecture at precisely the number 10^200, rather than the current maximum sequential test up to 10^18) then that would be quite valuable |
| 19:31:59 | <segfaultfizzbuzz> | actually scratch that i don't want to weigh down my main point |
| 19:32:03 | × | romesrf quits (~romes@44.190.189.46.rev.vodafone.pt) (Quit: WeeChat 3.4) |
| 19:35:07 | <Zemyla> | Goldbach's conjecture is either true or false in True Arithmetic. If it's undecidable in Peano Arithmetic, then that's a problem with PA. |
| 19:38:12 | × | segfaultfizzbuzz quits (~segfaultf@2602:306:cd3c:9350:698a:c772:fe08:7b1d) (Ping timeout: 240 seconds) |
| 19:43:28 | → | ProfSimm joins (~ProfSimm@87.227.196.109) |
| 19:45:26 | × | coot quits (~coot@213.134.190.95) (Quit: coot) |
| 19:45:58 | → | segfaultfizzbuzz joins (~segfaultf@2602:306:cd3c:9350:698a:c772:fe08:7b1d) |
| 19:47:55 | × | fef quits (~thedawn@user/thedawn) (Ping timeout: 240 seconds) |
| 19:50:02 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 240 seconds) |
| 19:51:03 | → | romesrf joins (~romes@44.190.189.46.rev.vodafone.pt) |
| 19:51:17 | × | segfaultfizzbuzz quits (~segfaultf@2602:306:cd3c:9350:698a:c772:fe08:7b1d) (Ping timeout: 240 seconds) |
| 19:55:05 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 19:55:15 | → | segfaultfizzbuzz joins (~segfaultf@2602:306:cd3c:9350:698a:c772:fe08:7b1d) |
| 20:00:36 | × | segfaultfizzbuzz quits (~segfaultf@2602:306:cd3c:9350:698a:c772:fe08:7b1d) (Ping timeout: 240 seconds) |
| 20:01:31 | <dolio> | What's true arithmetic? |
| 20:05:06 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 20:05:49 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 20:06:02 | × | deadmarshal_ quits (~deadmarsh@95.38.231.226) (Ping timeout: 240 seconds) |
| 20:06:15 | → | Everything joins (~Everythin@37.115.210.35) |
| 20:07:51 | Lord_of_Life_ | is now known as Lord_of_Life |
| 20:07:57 | × | bahamas quits (~lucian@84.232.140.158) (Ping timeout: 240 seconds) |
| 20:08:18 | × | hexagoxel quits (~hexagoxel@hexagoxel.de) (Quit: ZNC 1.6.5+deb1+deb9u2 - http://znc.in) |
| 20:10:28 | × | nexus quits (~nexus@217-197-189-23.pool.digikabel.hu) (Ping timeout: 250 seconds) |
| 20:12:12 | → | nexus joins (~nexus@94-21-55-122.pool.digikabel.hu) |
| 20:12:52 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 20:16:49 | → | michalz joins (~michalz@185.246.204.37) |
| 20:17:09 | → | segfaultfizzbuzz joins (~segfaultf@2602:306:cd3c:9350:698a:c772:fe08:7b1d) |
| 20:17:52 | <segfaultfizzbuzz> | another relevant question here is can i "generate all statements of length N" or "all statements of M bits or fewer"? |
| 20:18:06 | <segfaultfizzbuzz> | which is a very haskell-y question i think ;-) |
| 20:18:33 | <Rembane> | Sure, do you have until the heat death of the universe? |
| 20:19:43 | <segfaultfizzbuzz> | N might be not a large number |
| 20:20:03 | × | alp quits (~alp@user/alp) (Ping timeout: 252 seconds) |
| 20:20:23 | <dolio> | (That's a trick question, by the way. :þ) |
| 20:20:38 | → | mvk joins (~mvk@2607:fea8:5cc3:7e00::45ee) |
| 20:21:33 | <segfaultfizzbuzz> | sorry, dont understand that one. i understand the universe heat death timescale is an important constraint here so there will be natural limits on N |
| 20:23:19 | → | weekOldRoadkill joins (~weekOldRo@pool-108-50-225-254.nwrknj.fios.verizon.net) |
| 20:24:06 | <dolio> | A logical sentence is a syntax tree, so use the size of said tree represented some way in Haskell. |
| 20:30:50 | × | mikoto-chan quits (~mikoto-ch@213.177.151.239) (Ping timeout: 250 seconds) |
| 20:35:53 | → | mikoto-chan joins (~mikoto-ch@213.177.151.239) |
| 20:36:45 | → | gensyst joins (gensyst@user/gensyst) |
| 20:36:56 | → | notzmv joins (~zmv@user/notzmv) |
| 20:37:02 | <gensyst> | Are there cases where parallelism is doomed to fail no matter what? |
| 20:37:22 | <segfaultfizzbuzz> | what does doomed to fail mean |
| 20:37:23 | <gensyst> | I think I came across one case: where each "operation" is cheap but call many times enough to be a major bottleneck. |
| 20:37:46 | → | jgeerds joins (~jgeerds@55d4548e.access.ecotel.net) |
| 20:37:48 | <segfaultfizzbuzz> | some computations have an intrinsic amount of serialization |
| 20:37:50 | <gensyst> | I mean, I've tried parallelizing directly. I've also tried first chunking up and parallelizing chunks. |
| 20:37:56 | <gensyst> | No avail. |
| 20:38:23 | <segfaultfizzbuzz> | some things are hard to parallelize. what are you trying to compute? |
| 20:39:13 | <gensyst> | In my case these are just ByteStrings from a database |
| 20:39:16 | <segfaultfizzbuzz> | not uncommonly fast serial computations will beat slow parallel computations in both time and effort |
| 20:39:43 | <segfaultfizzbuzz> | "bytestring from a database" isn't a computation |
| 20:39:46 | <gensyst> | yeah, but why? the profiling shows that the deserialization is taking 70% of the time |
| 20:39:53 | <gensyst> | so it perplexes me that parallizing doesn't help |
| 20:42:36 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 252 seconds) |
| 20:44:35 | × | romesrf quits (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 256 seconds) |
| 20:45:37 | × | Raito_Bezarius quits (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 240 seconds) |
| 20:46:25 | <tomsmeding> | Logging is "popular" https://tomsmeding.com/vang/pVguG6/Screenshot_20220319-214450.jpg |
| 20:47:02 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 20:47:28 | <monochrom> | haha congrats |
| 20:49:31 | → | acidjnk joins (~acidjnk@p200300d0c7049f16088a78429da1bd3c.dip0.t-ipconnect.de) |
| 20:49:39 | × | DNH quits (~DNH@2a02:8108:1100:16d8:dc77:d173:a9b9:d810) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 20:53:07 | × | jstolarek quits (~jstolarek@staticline-31-183-185-185.toya.net.pl) (Ping timeout: 250 seconds) |
| 20:55:00 | <gensyst> | I mean, this must be a known phenomena right? You computer science guys in here. Is there no "principle" about this? For example: If a simple computation is being called frequently enough to be a significant percentage of the computing time of your program, no amount of parallelism will help. |
| 20:55:22 | → | pavonia joins (~user@user/siracusa) |
| 20:56:49 | × | zincy_ quits (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 20:57:04 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 20:58:58 | → | Raito_Bezarius joins (~Raito@wireguard/tunneler/raito-bezarius) |
| 21:00:44 | × | segfaultfizzbuzz quits (~segfaultf@2602:306:cd3c:9350:698a:c772:fe08:7b1d) (Ping timeout: 252 seconds) |
| 21:01:20 | <geekosaur> | for that function, no. but typically you can't parallelize the entire program: at some point the results of the parallelism are output or processed, and maybe the inputs as well. |
| 21:01:58 | <geekosaur> | and in your example, consider that the database may well be serializing queries if they're compatible enough to be parallelizeable |
| 21:02:05 | × | Raito_Bezarius quits (~Raito@wireguard/tunneler/raito-bezarius) (Max SendQ exceeded) |
| 21:02:32 | → | agrosant joins (~agrosant@79.103.63.74.dsl.dyn.forthnet.gr) |
| 21:03:16 | <geekosaur> | (and also that you may see profiling showing time in deserialization may mean it's forcing the database query, and you'll have to force it yourself to verify whether it's the real bottleneck or not) |
| 21:04:55 | → | Raito_Bezarius joins (~Raito@wireguard/tunneler/raito-bezarius) |
| 21:06:55 | <dolio> | It's not clear what your actual problem is. You might be talking about Amdahl's law. Or you might be noticing that parallelism doesn't help when the overhead of setting up the parallelism is larger than the cost of the individual computations that are running in parallel. But it's impossible to know from a vague complaint. |
| 21:08:10 | ← | agrosant parts (~agrosant@79.103.63.74.dsl.dyn.forthnet.gr) () |
| 21:08:10 | → | agrosant joins (~agrosant@79.103.63.74.dsl.dyn.forthnet.gr) |
| 21:08:17 | × | Raito_Bezarius quits (~Raito@wireguard/tunneler/raito-bezarius) (Max SendQ exceeded) |
| 21:08:58 | <sclv> | parallelization of deserialization can work, but it requires some care to set up to work well |
| 21:09:49 | <sclv> | (source: i've worked on parallel deserialization of proto3 from kafka streams for a work project where it can be a significant bottleneck) |
| 21:10:57 | → | Raito_Bezarius joins (~Raito@wireguard/tunneler/raito-bezarius) |
| 21:10:58 | <dolio> | I don't think the latter problem has a name, but it was a problem people ran into trying to parallelize Haskell automatically. I would guess it's too obvious to have a name. |
| 21:11:11 | <sclv> | its just called like "picking a chunk size" |
| 21:11:17 | <sclv> | or perhaps "tuning" |
| 21:11:54 | <sclv> | a _lot_ of work in the 80s went into trying to figure out how to do it automatically and well, and it mainly fell flat, although i think nested vectorization came out of it is a worthwhile approach. |
| 21:12:27 | <dolio> | I certainly wouldn't want "dolio's law" to be, "forking a thread to add two machine words doesn't increase performance." |
| 21:12:32 | <sclv> | picking nested chunk sizes is Even Harder so if you rewrite the program so you only need one notion of a tuned size you can arguably figure it out once and forall for a computational architecture |
| 21:15:57 | → | DNH joins (~DNH@2a02:8108:1100:16d8:dc77:d173:a9b9:d810) |
| 21:18:18 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 21:21:35 | → | coot joins (~coot@213.134.190.95) |
| 21:23:16 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 21:26:39 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 21:28:15 | × | simendsjo quits (~user@84.211.91.241) (Ping timeout: 252 seconds) |
| 21:28:47 | → | segfaultfizzbuzz joins (~segfaultf@2602:306:cd3c:9350:698a:c772:fe08:7b1d) |
| 21:29:12 | → | faAsade joins (~faAsade@047-227-183-103.res.spectrum.com) |
| 21:30:33 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 21:33:09 | × | DNH quits (~DNH@2a02:8108:1100:16d8:dc77:d173:a9b9:d810) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 21:40:02 | × | mikoto-chan quits (~mikoto-ch@213.177.151.239) (Ping timeout: 240 seconds) |
| 21:40:04 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 21:40:38 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 21:40:53 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 21:41:00 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 21:41:08 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 21:41:14 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 21:41:22 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 21:41:33 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 21:41:37 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 21:41:45 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 21:42:01 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 21:42:08 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 21:42:21 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 21:42:29 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 21:42:35 | × | wyrd quits (~wyrd@gateway/tor-sasl/wyrd) (Ping timeout: 240 seconds) |
| 21:42:38 | × | Codaraxis_ quits (~Codaraxis@user/codaraxis) (Quit: Leaving) |
| 21:42:47 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 21:42:54 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 21:43:08 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 21:43:16 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 21:43:17 | → | boxscape_ joins (~boxscape_@p4ff0b60b.dip0.t-ipconnect.de) |
| 21:43:30 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 21:43:37 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 21:43:45 | → | __xor joins (~xor@dsl-50-5-233-169.fuse.net) |
| 21:43:53 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 21:44:00 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 21:44:15 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 21:44:23 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 21:44:39 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 21:44:47 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 21:45:00 | × | _xor quits (~xor@dsl-50-5-233-169.fuse.net) (Ping timeout: 240 seconds) |
| 21:45:03 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 21:45:10 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 21:45:26 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 21:45:33 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 21:45:47 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 21:45:55 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 21:46:10 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 21:46:17 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 21:46:32 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 21:46:39 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 21:46:55 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 21:47:02 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 21:47:16 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 21:47:23 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 21:47:37 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 21:47:45 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 21:47:53 | → | DNH joins (~DNH@2a02:8108:1100:16d8:dc77:d173:a9b9:d810) |
| 21:47:58 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 21:48:06 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 21:48:20 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 21:48:28 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 21:48:42 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 21:48:50 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 21:49:04 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 21:49:11 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 21:49:25 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 21:49:33 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 21:49:44 | → | wyrd joins (~wyrd@gateway/tor-sasl/wyrd) |
| 21:58:54 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 21:59:03 | × | bontaq quits (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 21:59:27 | → | deadmarshal_ joins (~deadmarsh@95.38.231.226) |
| 22:00:51 | <gensyst> | dolio, in my case it's just deserialization with the Haskell store library. |
| 22:01:24 | <gensyst> | I tried doing "par" for a bunch (around 10) decode operations, which are called many times |
| 22:01:30 | <gensyst> | but the program actually becomes slower. |
| 22:02:24 | <gensyst> | granted, each decode is very small (the deserialization of a single int or double) so maybe that explains this slowdown |
| 22:02:50 | → | yuvi joins (~uv125@pool-71-244-139-81.bltmmd.fios.verizon.net) |
| 22:03:03 | × | yuvi quits (~uv125@pool-71-244-139-81.bltmmd.fios.verizon.net) (Client Quit) |
| 22:03:47 | → | yuvi joins (~uv125@user/yuvi) |
| 22:04:00 | × | deadmarshal_ quits (~deadmarsh@95.38.231.226) (Ping timeout: 252 seconds) |
| 22:04:05 | <geekosaur> | yes, that'sgoing to be poorly parallelizable |
| 22:04:28 | <gensyst> | geekosaur, any insights on why? |
| 22:04:32 | <gensyst> | it's pity lol |
| 22:04:51 | <geekosaur> | more overhead to set it up than to actually do it? |
| 22:04:55 | × | coot quits (~coot@213.134.190.95) (Quit: coot) |
| 22:05:06 | <yuvi> | hi all, if i have a quickCheck test that is finding an infinite loop, how can i see what the failing case is? |
| 22:05:29 | <gensyst> | yeah, but a part of me though, how expensive can chunking up into a list/sequence and then dechunking really be? turns out, unfortunately, expensive enough. |
| 22:05:32 | <gensyst> | very pity! |
| 22:05:40 | <gensyst> | but hey, that's life ain't it? |
| 22:05:49 | <gensyst> | s/though/thought |
| 22:10:15 | × | weekOldRoadkill quits (~weekOldRo@pool-108-50-225-254.nwrknj.fios.verizon.net) (Quit: Leaving) |
| 22:10:32 | → | weekOldRoadkill joins (~weekOldRo@pool-108-50-225-254.nwrknj.fios.verizon.net) |
| 22:13:00 | → | son0p joins (~ff@181.136.122.143) |
| 22:14:57 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 22:15:00 | <dolio> | Threads aren't free. Decoding an int from a bytestring is like a few machine instructions. So even 10 of them is like a microsecond worth of work. |
| 22:15:39 | <gensyst> | dolio, okay but you're saying that chunking/dechunking are *more* machine instructions? |
| 22:15:44 | → | coot joins (~coot@213.134.190.95) |
| 22:15:46 | <dolio> | So if it takes longer than a microsecond to set up the parallel execution, it's a net loss. |
| 22:16:01 | <gensyst> | hmm ok |
| 22:20:21 | × | foul_owl quits (~kerry@23.82.193.87) (Ping timeout: 256 seconds) |
| 22:20:47 | <dolio> | Or not just the setup, but all the incremental overhead by having one additional parallel thing going on. |
| 22:21:13 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.4.1) |
| 22:21:34 | <gensyst> | dolio, yeah |
| 22:21:39 | <gensyst> | Well, this is great to know! |
| 22:21:45 | <gensyst> | Thanks my friends for the input! |
| 22:23:48 | × | gensyst quits (gensyst@user/gensyst) (Quit: Leaving) |
| 22:26:40 | × | __xor quits (~xor@dsl-50-5-233-169.fuse.net) (Read error: Connection reset by peer) |
| 22:29:59 | × | nexus quits (~nexus@94-21-55-122.pool.digikabel.hu) (Ping timeout: 256 seconds) |
| 22:31:18 | → | nexus joins (~nexus@178-164-235-232.pool.digikabel.hu) |
| 22:31:30 | → | __xor joins (~xor@dsl-50-5-233-169.fuse.net) |
| 22:32:13 | × | jushur quits (~human@user/jushur) (Quit: ¯\_(ツ)_/¯) |
| 22:34:01 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 22:34:49 | → | slaydr joins (~slaydr@193.19.109.229) |
| 22:36:18 | → | foul_owl joins (~kerry@174-21-69-110.tukw.qwest.net) |
| 22:39:30 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 22:39:33 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 22:40:05 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 22:42:10 | → | vorpuni joins (~pvorp@2001:861:3881:c690:1ee8:abee:55c7:d30) |
| 22:44:17 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 240 seconds) |
| 22:45:17 | × | geranim0 quits (~geranim0@modemcable242.171-178-173.mc.videotron.ca) (Ping timeout: 240 seconds) |
| 22:50:33 | × | Jeanne-Kamikaze quits (~Jeanne-Ka@static-198-54-134-121.cust.tzulo.com) (Quit: Leaving) |
| 22:51:32 | × | acidjnk quits (~acidjnk@p200300d0c7049f16088a78429da1bd3c.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 23:02:35 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 23:03:26 | __xor | is now known as _xor |
| 23:03:51 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 23:04:10 | × | DNH quits (~DNH@2a02:8108:1100:16d8:dc77:d173:a9b9:d810) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 23:04:35 | × | michalz quits (~michalz@185.246.204.37) (Remote host closed the connection) |
| 23:04:39 | <dsal> | yuvi: Is it erroring with a loop, or just not returning? |
| 23:04:47 | <dsal> | And is it failing in the test or in shrinking? |
| 23:05:09 | <dsal> | You can time out the test, but I've found bad shrinks often cause things to take a while. You can test that by just disabling shrinking real quick. |
| 23:08:35 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 23:09:02 | → | yauhsien joins (~yauhsien@61-231-22-192.dynamic-ip.hinet.net) |
| 23:09:16 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 23:11:45 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 23:12:47 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 23:13:18 | × | yauhsien quits (~yauhsien@61-231-22-192.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
| 23:13:54 | → | DNH joins (~DNH@2a02:8108:1100:16d8:dc77:d173:a9b9:d810) |
| 23:19:19 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 23:22:37 | × | segfaultfizzbuzz quits (~segfaultf@2602:306:cd3c:9350:698a:c772:fe08:7b1d) (Ping timeout: 240 seconds) |
| 23:27:10 | × | Major_Biscuit quits (~MajorBisc@c-001-024-004.client.tudelft.eduvpn.nl) (Ping timeout: 260 seconds) |
| 23:31:11 | × | foul_owl quits (~kerry@174-21-69-110.tukw.qwest.net) (Ping timeout: 256 seconds) |
| 23:32:11 | × | coot quits (~coot@213.134.190.95) (Quit: coot) |
| 23:32:34 | → | x_kuru joins (~xkuru@user/xkuru) |
| 23:34:21 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 256 seconds) |
| 23:34:48 | × | weekOldRoadkill quits (~weekOldRo@pool-108-50-225-254.nwrknj.fios.verizon.net) (Quit: Leaving) |
| 23:35:05 | → | weekOldRoadkill joins (~weekOldRo@pool-108-50-225-254.nwrknj.fios.verizon.net) |
| 23:35:07 | × | weekOldRoadkill quits (~weekOldRo@pool-108-50-225-254.nwrknj.fios.verizon.net) (Remote host closed the connection) |
| 23:35:32 | × | xkuru quits (~xkuru@user/xkuru) (Ping timeout: 240 seconds) |
| 23:37:43 | <dsal> | Where do I need to look to understand why my code doesn't compile under ghc 9.0? |
| 23:37:55 | × | `2jt quits (~jtomas@210.red-88-24-179.staticip.rima-tde.net) (Remote host closed the connection) |
| 23:38:25 | <geekosaur> | release notes? |
| 23:38:34 | <monochrom> | and it did under 8.10? Then probably in the release notes about changes to rank-n polymorphism. |
| 23:38:45 | <geekosaur> | if there isn't an obvious syntactic cause, the likely culprit is simplified subsumption |
| 23:38:56 | <monochrom> | Yeah, that. |
| 23:39:40 | <dsal> | Couldn't match type: (MonadMask m, Monad m) => String -> m () with String -> m () -- I've heard of some stuff around this, but I don't understand it well enough to know how to proceed. |
| 23:39:43 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 23:41:35 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 23:44:06 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 250 seconds) |
| 23:46:52 | <dsal> | OK, how do I convince ghc that these ms are the same? I've got a `data Env m = { logAction :: (MonadMask m, Monad m) => String -> m () }` and I'm trying to `gets` that `logAction` and log to it, but it's mad at me. |
| 23:46:52 | → | foul_owl joins (~kerry@23.82.193.89) |
| 23:47:32 | × | jgeerds quits (~jgeerds@55d4548e.access.ecotel.net) (Ping timeout: 240 seconds) |
| 23:47:41 | <dsal> | The line it's angry at is: `when (rsIterNumber r > 0) $ gets logAction >>= \f -> lift (f (retryMsg (rsIterNumber r)))` |
| 23:49:25 | <geekosaur> | that data decl looks suspect to me. doesn't it need to be a GADT for the constraint to be provable? |
| 23:49:48 | <dsal> | Maybe that's new? It was fine before. I guess I can try that. |
| 23:50:33 | <geekosaur> | some canges did occur in which constraints that were silently permitted but were broken are now rejected, per the 9.0.1 release notes |
| 23:50:55 | <geekosaur> | actually I'm not sure how you prove the constraint |
| 23:51:19 | <geekosaur> | the "obvious" way doesn't work (ahoy "stupid theta") |
| 23:51:56 | × | vorpuni quits (~pvorp@2001:861:3881:c690:1ee8:abee:55c7:d30) (Remote host closed the connection) |
| 23:52:03 | <geekosaur> | but applying the constraint inside the def of logAction seems wrong as well |
| 23:52:05 | × | x_kuru quits (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 23:52:23 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 23:53:24 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 23:53:37 | → | chenqisu1 joins (~chenqisu1@183.217.201.47) |
| 23:55:25 | <dsal> | Hmm... It seems obvious to *me* how this should work, but I have no idea where this confusion is coming from. |
| 23:57:13 | → | bontaq joins (~user@ool-45779fe5.dyn.optonline.net) |
| 23:57:40 | × | DNH quits (~DNH@2a02:8108:1100:16d8:dc77:d173:a9b9:d810) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 23:58:15 | <dsal> | Is there a better approach to pushing a monadic logging function into my state here? |
| 23:58:32 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 23:58:57 | <dsal> | I guess I could shove in a `String -> IO ()` since that's mostly what's going to actually happen. |
| 23:59:22 | <corisco[m]> | generally constraints are in functions declarations, it's not so common to use constraint on data declaration... https://stackoverflow.com/a/40825913 |
All times are in UTC on 2022-03-19.