| 2024-03-15 00:05:06 +0100 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 255 seconds) |
| 2024-03-15 00:05:10 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-03-15 00:14:38 +0100 | mik3d | (~mik3d@pool-173-61-131-199.cmdnnj.fios.verizon.net) (Read error: Connection reset by peer) |
| 2024-03-15 00:17:01 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-03-15 00:19:03 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-03-15 00:20:09 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 256 seconds) |
| 2024-03-15 00:26:51 +0100 | mik3d | (~mik3d@pool-173-61-131-199.cmdnnj.fios.verizon.net) |
| 2024-03-15 00:32:12 +0100 | misterfish | (~misterfis@84.53.85.146) |
| 2024-03-15 00:35:08 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-03-15 00:38:53 +0100 | haritz | (~hrtz@user/haritz) (Ping timeout: 272 seconds) |
| 2024-03-15 00:40:50 +0100 | haritz | (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) |
| 2024-03-15 00:42:19 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-15 00:42:35 +0100 | haritz | (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) (Changing host) |
| 2024-03-15 00:42:35 +0100 | haritz | (~hrtz@user/haritz) |
| 2024-03-15 00:58:15 +0100 | ph88 | (~ph88@2a02:8109:9e26:c800:43f5:aed9:c7af:e4db) (Remote host closed the connection) |
| 2024-03-15 01:00:11 +0100 | Poollove1Nathan | (~u0_a408@108.145.176.65) |
| 2024-03-15 01:11:18 +0100 | mik3d | (~mik3d@pool-173-61-131-199.cmdnnj.fios.verizon.net) (Read error: Connection reset by peer) |
| 2024-03-15 01:16:39 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 255 seconds) |
| 2024-03-15 01:40:33 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-03-15 01:46:03 +0100 | Poollove1Nathan | (~u0_a408@108.145.176.65) (Quit: Lost terminal) |
| 2024-03-15 01:49:35 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-03-15 02:03:33 +0100 | misterfish | (~misterfis@84.53.85.146) |
| 2024-03-15 02:07:45 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-03-15 02:10:09 +0100 | mei | (~mei@user/mei) |
| 2024-03-15 02:16:27 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 256 seconds) |
| 2024-03-15 02:37:59 +0100 | sprout_ | (~quassel@2a02-a448-3a80-0-90b-214e-863f-1b72.fixed6.kpn.net) (Ping timeout: 256 seconds) |
| 2024-03-15 02:39:41 +0100 | xff0x | (~xff0x@ai082039.d.east.v6connect.net) (Ping timeout: 256 seconds) |
| 2024-03-15 02:40:36 +0100 | sprout | (~quassel@2a02-a448-3a80-0-65d6-51e6-21f8-d380.fixed6.kpn.net) |
| 2024-03-15 02:54:54 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2024-03-15 03:04:06 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-03-15 03:04:56 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2024-03-15 03:05:43 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-03-15 03:06:05 +0100 | mmhat | (~mmh@p200300f1c70b8558ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2024-03-15 03:09:09 +0100 | tinwood | (~tinwood@canonical/tinwood) (Ping timeout: 255 seconds) |
| 2024-03-15 03:12:06 +0100 | tinwood | (~tinwood@general.default.akavanagh.uk0.bigv.io) |
| 2024-03-15 03:12:06 +0100 | tinwood | (~tinwood@general.default.akavanagh.uk0.bigv.io) (Changing host) |
| 2024-03-15 03:12:06 +0100 | tinwood | (~tinwood@canonical/tinwood) |
| 2024-03-15 03:20:24 +0100 | mmhat | (~mmh@p200300f1c7271787ee086bfffe095315.dip0.t-ipconnect.de) |
| 2024-03-15 03:20:53 +0100 | raym | (~ray@user/raym) (Ping timeout: 252 seconds) |
| 2024-03-15 03:21:52 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-03-15 03:37:15 +0100 | otto_s | (~user@p4ff27a8e.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2024-03-15 03:38:34 +0100 | otto_s | (~user@p5b0443a3.dip0.t-ipconnect.de) |
| 2024-03-15 03:40:07 +0100 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 246 seconds) |
| 2024-03-15 03:47:20 +0100 | mmhat | (~mmh@p200300f1c7271787ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.2.1) |
| 2024-03-15 03:52:25 +0100 | raym | (~ray@user/raym) |
| 2024-03-15 03:52:35 +0100 | shapr | (~user@c-24-218-186-89.hsd1.ma.comcast.net) (Quit: sleeptime) |
| 2024-03-15 03:53:38 +0100 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2024-03-15 03:58:08 +0100 | raym | (~ray@user/raym) (Remote host closed the connection) |
| 2024-03-15 03:58:22 +0100 | raym | (~ray@user/raym) |
| 2024-03-15 04:25:44 +0100 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Quit: Ping timeout (120 seconds)) |
| 2024-03-15 04:26:06 +0100 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) |
| 2024-03-15 04:26:43 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-03-15 04:42:54 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-03-15 04:53:22 +0100 | td_ | (~td@i5387090D.versanet.de) (Ping timeout: 264 seconds) |
| 2024-03-15 04:55:08 +0100 | td_ | (~td@i53870934.versanet.de) |
| 2024-03-15 05:10:27 +0100 | rosco | (~rosco@175.136.155.53) |
| 2024-03-15 05:18:05 +0100 | aforemny_ | (~aforemny@i59F516D9.versanet.de) |
| 2024-03-15 05:19:12 +0100 | aforemny | (~aforemny@2001:9e8:6cc0:500:8ad4:2df4:a1a4:191a) (Ping timeout: 255 seconds) |
| 2024-03-15 05:23:50 +0100 | <jackdk> | We'll just put everything into base and that won't be a problem any more |
| 2024-03-15 05:26:22 +0100 | jargon | (~jargon@174.sub-174-205-227.myvzw.com) (Remote host closed the connection) |
| 2024-03-15 05:27:29 +0100 | <c_wraith> | don't say that. Poor geekosaur has been working to go the other direction! |
| 2024-03-15 05:33:32 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-03-15 05:34:22 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2024-03-15 05:35:25 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-03-15 05:39:23 +0100 | <jackdk> | I'm not serious. I would love to be able to declare VL prisms and isos without depending on `profunctors`, but that would pull in too much and I'm okay with that. |
| 2024-03-15 05:44:49 +0100 | <monochrom> | Put Kan extensions, ends, coends, limits, and colimits in base. >:) |
| 2024-03-15 05:48:51 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-03-15 05:50:15 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 2024-03-15 06:19:32 +0100 | danza_ | (~francesco@151.47.239.183) |
| 2024-03-15 06:28:20 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-03-15 06:29:16 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-03-15 06:30:28 +0100 | michalz | (~michalz@185.246.207.205) |
| 2024-03-15 06:33:48 +0100 | <arahael> | Taken a bit of a long break from haskell, and now I'm trying to parse xml again. It seems that the most complete library is still hxt, however, how do I parse a simple document with it using readDocument? It seems to not support the xml declaration? |
| 2024-03-15 06:33:59 +0100 | <arahael> | (Ie, it does not seem to read the first line, "<?xml..." |
| 2024-03-15 06:35:14 +0100 | komikat_ | (~akshitkr@218.185.248.66) (Read error: Connection reset by peer) |
| 2024-03-15 06:35:21 +0100 | komikat | (~akshitkr@218.185.248.66) |
| 2024-03-15 06:39:58 +0100 | <arahael> | Ah, correction: It's the wack BOM windows puts on unicode files. |
| 2024-03-15 06:40:06 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2024-03-15 06:41:14 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-03-15 06:43:10 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-03-15 06:45:20 +0100 | euleritian | (~euleritia@dynamic-176-006-177-141.176.6.pool.telefonica.de) |
| 2024-03-15 06:48:21 +0100 | monochrom | (trebla@216.138.220.146) (Read error: Connection reset by peer) |
| 2024-03-15 06:49:39 +0100 | monochrom | (~trebla@216.138.220.146) |
| 2024-03-15 06:50:46 +0100 | <Axman6> | :') |
| 2024-03-15 06:56:08 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-03-15 07:02:07 +0100 | rosco | (~rosco@175.136.155.53) (Ping timeout: 260 seconds) |
| 2024-03-15 07:02:19 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-03-15 07:03:03 +0100 | danza__ | (~francesco@151.43.242.24) |
| 2024-03-15 07:03:11 +0100 | danza_ | (~francesco@151.47.239.183) (Read error: Connection reset by peer) |
| 2024-03-15 07:03:13 +0100 | euphores | (~SASL_euph@user/euphores) |
| 2024-03-15 07:03:37 +0100 | mulk | (~mulk@p5b2dc4d7.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2024-03-15 07:05:11 +0100 | mulk | (~mulk@p5b112d0c.dip0.t-ipconnect.de) |
| 2024-03-15 07:07:31 +0100 | <arahael> | Yep, so I read the file myself, check for the bom, strip it, then push it through hxt. |
| 2024-03-15 07:07:41 +0100 | <arahael> | (Using hxt's readString) |
| 2024-03-15 07:09:01 +0100 | zetef | (~quassel@95.77.17.251) |
| 2024-03-15 07:14:44 +0100 | <Axman6> | Hmm, two questions: can hxt read from Text values? and can Text handle data with a BOM and appropriately decode it? |
| 2024-03-15 07:15:02 +0100 | iteratee_ | (~kyle@162.218.222.207) |
| 2024-03-15 07:16:06 +0100 | iteratee | (~kyle@162.218.222.207) (Read error: Connection reset by peer) |
| 2024-03-15 07:19:21 +0100 | son0p | (~ff@152.203.102.157) (Ping timeout: 255 seconds) |
| 2024-03-15 07:20:00 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Remote host closed the connection) |
| 2024-03-15 07:20:11 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-03-15 07:25:58 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-03-15 07:27:49 +0100 | fun-safe-math | (~fun-safe-@24.21.106.247) |
| 2024-03-15 07:28:30 +0100 | derpyxdhs | (~Thunderbi@user/derpyxdhs) |
| 2024-03-15 07:33:45 +0100 | danza__ | (~francesco@151.43.242.24) (Ping timeout: 268 seconds) |
| 2024-03-15 07:42:27 +0100 | igemnace | (~ian@user/igemnace) |
| 2024-03-15 07:42:59 +0100 | <dmj`> | @package xml-conduit |
| 2024-03-15 07:42:59 +0100 | <lambdabot> | https://hackage.haskell.org/package/xml-conduit |
| 2024-03-15 07:44:51 +0100 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 2024-03-15 07:47:27 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2024-03-15 07:54:25 +0100 | rainbyte | (~rainbyte@186.22.19.215) (Ping timeout: 264 seconds) |
| 2024-03-15 07:56:14 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-03-15 07:59:19 +0100 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-03-15 08:07:03 +0100 | danse-nr3 | (~danse@151.43.242.24) |
| 2024-03-15 08:07:24 +0100 | danse-nr3 | (~danse@151.43.242.24) (Remote host closed the connection) |
| 2024-03-15 08:07:48 +0100 | danse-nr3 | (~danse@151.43.242.24) |
| 2024-03-15 08:09:21 +0100 | RedNifre | (~RedNifre@dslb-002-206-121-180.002.206.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
| 2024-03-15 08:13:47 +0100 | ht_ | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-03-15 08:14:26 +0100 | CiaoSen | (~Jura@2a05:5800:29d:fb00:e6b9:7aff:fe80:3d03) |
| 2024-03-15 08:14:55 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Ping timeout: 260 seconds) |
| 2024-03-15 08:14:55 +0100 | ht_ | _ht |
| 2024-03-15 08:17:06 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-03-15 08:18:35 +0100 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 264 seconds) |
| 2024-03-15 08:19:34 +0100 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-03-15 08:21:12 +0100 | derpyxdhs | (~Thunderbi@user/derpyxdhs) (Quit: derpyxdhs) |
| 2024-03-15 08:23:16 +0100 | meritamen | (~meritamen@user/meritamen) |
| 2024-03-15 08:25:45 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2024-03-15 08:27:29 +0100 | mmhat | (~mmh@p200300f1c7271787ee086bfffe095315.dip0.t-ipconnect.de) |
| 2024-03-15 08:27:59 +0100 | meritamen | (~meritamen@user/meritamen) (Ping timeout: 260 seconds) |
| 2024-03-15 08:33:48 +0100 | jle` | (~jle`@2603-8001-3b02-84d4-2a01-8827-dae2-515f.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-03-15 08:34:47 +0100 | jle` | (~jle`@2603-8001-3b02-84d4-a4df-d2e6-33cd-3e89.res6.spectrum.com) |
| 2024-03-15 08:35:11 +0100 | mmhat | (~mmh@p200300f1c7271787ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.2.1) |
| 2024-03-15 08:56:49 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-15 09:00:44 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-03-15 09:02:22 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-03-15 09:02:54 +0100 | vpan | (~vpan@212.117.1.172) |
| 2024-03-15 09:04:41 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-03-15 09:13:00 +0100 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Remote host closed the connection) |
| 2024-03-15 09:24:32 +0100 | ft | (~ft@p3e9bce6e.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-03-15 09:24:37 +0100 | acidjnk | (~acidjnk@p200300d6e737e7738008c85cfa684e75.dip0.t-ipconnect.de) |
| 2024-03-15 09:26:16 +0100 | rosco | (~rosco@175.136.155.53) |
| 2024-03-15 09:26:49 +0100 | danse-nr3 | (~danse@151.43.242.24) (Ping timeout: 264 seconds) |
| 2024-03-15 09:27:19 +0100 | danse-nr3 | (~danse@151.43.242.24) |
| 2024-03-15 09:27:38 +0100 | gtdg | (~gtdg@user/gtdg) |
| 2024-03-15 09:27:52 +0100 | kuribas | (~user@2a02:1808:8b:ae3c:d14d:1a1b:9a61:2131) |
| 2024-03-15 09:28:07 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-03-15 09:29:20 +0100 | son0p | (~ff@167.0.168.212) |
| 2024-03-15 09:30:31 +0100 | mei | (~mei@user/mei) |
| 2024-03-15 09:35:51 +0100 | kuribas | (~user@2a02:1808:8b:ae3c:d14d:1a1b:9a61:2131) (Remote host closed the connection) |
| 2024-03-15 09:35:55 +0100 | billchenchina- | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Remote host closed the connection) |
| 2024-03-15 09:36:06 +0100 | kuribas | (~user@2a02:1808:8b:ae3c:b008:630a:afc6:9c7a) |
| 2024-03-15 09:36:35 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2024-03-15 09:36:43 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-03-15 09:40:47 +0100 | kuribas` | (~user@2a02:1808:2:acce:18df:8930:3e0c:3589) |
| 2024-03-15 09:41:18 +0100 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
| 2024-03-15 09:42:01 +0100 | zetef | (~quassel@95.77.17.251) (Ping timeout: 268 seconds) |
| 2024-03-15 09:42:02 +0100 | danse-nr3 | (~danse@151.43.242.24) (Remote host closed the connection) |
| 2024-03-15 09:42:08 +0100 | petrichor | (~znc-user@user/petrichor) |
| 2024-03-15 09:42:39 +0100 | kuribas | (~user@2a02:1808:8b:ae3c:b008:630a:afc6:9c7a) (Ping timeout: 260 seconds) |
| 2024-03-15 09:43:23 +0100 | Ashkan | (~Ashkan@147.161.173.72) |
| 2024-03-15 09:43:45 +0100 | danse-nr3 | (~danse@151.43.242.24) |
| 2024-03-15 09:44:27 +0100 | danse-nr3 | (~danse@151.43.242.24) (Remote host closed the connection) |
| 2024-03-15 09:49:48 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-15 10:01:57 +0100 | danse-nr3 | (~danse@151.43.242.24) |
| 2024-03-15 10:04:01 +0100 | kuribas` | (~user@2a02:1808:2:acce:18df:8930:3e0c:3589) (Ping timeout: 264 seconds) |
| 2024-03-15 10:14:53 +0100 | kuribas` | (~user@2a02:1808:2:acce:89de:3e86:e695:ccf6) |
| 2024-03-15 10:17:35 +0100 | kuribas`` | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-03-15 10:19:38 +0100 | kuribas` | (~user@2a02:1808:2:acce:89de:3e86:e695:ccf6) (Ping timeout: 268 seconds) |
| 2024-03-15 10:32:44 +0100 | __monty__ | (~toonn@user/toonn) |
| 2024-03-15 10:37:52 +0100 | komodo | (~komodo@2406:5a00:c04c:3000:9dcb:78ae:11eb:f0db) |
| 2024-03-15 10:38:23 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 264 seconds) |
| 2024-03-15 10:39:55 +0100 | chele | (~chele@user/chele) |
| 2024-03-15 10:43:20 +0100 | billchenchina- | (~billchenc@183.95.251.31) |
| 2024-03-15 10:44:00 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2024-03-15 10:44:54 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-03-15 10:46:03 +0100 | Ashkan | (~Ashkan@147.161.173.72) (Quit: Client closed) |
| 2024-03-15 10:49:17 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 256 seconds) |
| 2024-03-15 10:49:51 +0100 | billchenchina- | (~billchenc@183.95.251.31) (Ping timeout: 260 seconds) |
| 2024-03-15 10:50:18 +0100 | billchenchina- | (~billchenc@2408:844f:1536:5190:e5b9:14c2:dc85:88e6) |
| 2024-03-15 10:54:32 +0100 | mik3d | (~mik3d@pool-173-61-131-199.cmdnnj.fios.verizon.net) |
| 2024-03-15 10:54:47 +0100 | misterfish | (~misterfis@84.53.85.146) |
| 2024-03-15 10:58:26 +0100 | rosco | (~rosco@175.136.155.53) (Read error: Connection reset by peer) |
| 2024-03-15 10:59:29 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 256 seconds) |
| 2024-03-15 11:03:12 +0100 | danse-nr3 | (~danse@151.43.242.24) (Read error: Connection reset by peer) |
| 2024-03-15 11:04:26 +0100 | danse-nr3 | (~danse@151.37.233.145) |
| 2024-03-15 11:04:26 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-03-15 11:04:26 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-03-15 11:05:17 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-03-15 11:05:35 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-03-15 11:07:29 +0100 | billchenchina- | (~billchenc@2408:844f:1536:5190:e5b9:14c2:dc85:88e6) (Quit: Leaving) |
| 2024-03-15 11:09:06 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-15 11:10:52 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-03-15 11:11:50 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-03-15 11:16:55 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 260 seconds) |
| 2024-03-15 11:18:26 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 260 seconds) |
| 2024-03-15 11:19:48 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 256 seconds) |
| 2024-03-15 11:20:16 +0100 | komodo_ | (~komodo@150.107.174.72) |
| 2024-03-15 11:20:45 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-03-15 11:22:59 +0100 | komodo | (~komodo@2406:5a00:c04c:3000:9dcb:78ae:11eb:f0db) (Ping timeout: 260 seconds) |
| 2024-03-15 11:24:45 +0100 | igemnace | (~ian@user/igemnace) (Read error: Connection reset by peer) |
| 2024-03-15 11:24:56 +0100 | zetef | (~quassel@95.77.17.251) |
| 2024-03-15 11:30:06 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 260 seconds) |
| 2024-03-15 11:30:59 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-03-15 11:31:10 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-03-15 11:33:08 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 252 seconds) |
| 2024-03-15 11:34:45 +0100 | misterfish | (~misterfis@84.53.85.146) |
| 2024-03-15 11:36:04 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-03-15 11:41:18 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-03-15 11:41:47 +0100 | igemnace | (~ian@user/igemnace) |
| 2024-03-15 11:43:44 +0100 | mei | (~mei@user/mei) |
| 2024-03-15 11:49:35 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 260 seconds) |
| 2024-03-15 11:58:06 +0100 | pastly | (~pastly@gateway/tor-sasl/pastly) (Ping timeout: 260 seconds) |
| 2024-03-15 11:59:05 +0100 | pastly | (~pastly@gateway/tor-sasl/pastly) |
| 2024-03-15 11:59:30 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds) |
| 2024-03-15 12:00:06 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-03-15 12:01:22 +0100 | califax | (~califax@user/califx) (Ping timeout: 260 seconds) |
| 2024-03-15 12:03:03 +0100 | califax | (~califax@user/califx) |
| 2024-03-15 12:04:50 +0100 | komodo_ | (~komodo@150.107.174.72) (Quit: Leaving) |
| 2024-03-15 12:07:57 +0100 | CiaoSen | (~Jura@2a05:5800:29d:fb00:e6b9:7aff:fe80:3d03) (Ping timeout: 272 seconds) |
| 2024-03-15 12:09:32 +0100 | <Inst> | @axman6 |
| 2024-03-15 12:09:32 +0100 | <lambdabot> | Unknown command, try @list |
| 2024-03-15 12:09:39 +0100 | zetef | (~quassel@95.77.17.251) (Ping timeout: 260 seconds) |
| 2024-03-15 12:09:42 +0100 | <Inst> | would it be correct to call lens / optics regex for data structures? |
| 2024-03-15 12:10:18 +0100 | <danse-nr3> | Axman6 |
| 2024-03-15 12:11:32 +0100 | <Inst> | well, technically speaking, nested data |
| 2024-03-15 12:12:57 +0100 | <ncf> | why would it be? |
| 2024-03-15 12:14:01 +0100 | <Inst> | insofar as lens / optics are a concise way to accessing and transforming data |
| 2024-03-15 12:14:18 +0100 | <Inst> | but have readability issues |
| 2024-03-15 12:14:42 +0100 | <ncf> | so by correct you mean would it be a good analogy? |
| 2024-03-15 12:14:59 +0100 | sprout_ | (~quassel@2a02-a448-3a80-0-65d6-51e6-21f8-d380.fixed6.kpn.net) |
| 2024-03-15 12:15:01 +0100 | iteratee | (~kyle@162.218.222.207) |
| 2024-03-15 12:15:17 +0100 | <Inst> | yeah |
| 2024-03-15 12:15:45 +0100 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2024-03-15 12:15:59 +0100 | <ncf> | seems quite far-fetched to me |
| 2024-03-15 12:17:01 +0100 | tabemann_ | (~tabemann@2600:1700:7990:24e0:b651:977a:44b1:1ec6) |
| 2024-03-15 12:17:23 +0100 | vpan1 | (~vpan@212.117.1.172) |
| 2024-03-15 12:17:30 +0100 | xff0x | (~xff0x@2405:6580:b080:900:480d:c341:fe03:d988) |
| 2024-03-15 12:17:43 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-03-15 12:18:03 +0100 | son0p | (~ff@167.0.168.212) (Ping timeout: 260 seconds) |
| 2024-03-15 12:18:03 +0100 | euleritian | (~euleritia@dynamic-176-006-177-141.176.6.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2024-03-15 12:18:03 +0100 | Buggys | (Buggys@shelltalk.net) (Ping timeout: 260 seconds) |
| 2024-03-15 12:18:03 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Read error: Connection reset by peer) |
| 2024-03-15 12:18:04 +0100 | vpan | (~vpan@212.117.1.172) (Ping timeout: 260 seconds) |
| 2024-03-15 12:18:04 +0100 | tabemann | (~tabemann@2600:1700:7990:24e0:b651:977a:44b1:1ec6) (Read error: Connection reset by peer) |
| 2024-03-15 12:18:04 +0100 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Read error: Connection reset by peer) |
| 2024-03-15 12:18:04 +0100 | iteratee_ | (~kyle@162.218.222.207) (Ping timeout: 260 seconds) |
| 2024-03-15 12:18:31 +0100 | sprout | (~quassel@2a02-a448-3a80-0-65d6-51e6-21f8-d380.fixed6.kpn.net) (Ping timeout: 260 seconds) |
| 2024-03-15 12:19:20 +0100 | mei | (~mei@user/mei) (Quit: mei) |
| 2024-03-15 12:19:34 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
| 2024-03-15 12:19:44 +0100 | mei | (~mei@user/mei) |
| 2024-03-15 12:20:13 +0100 | <ncf> | if anything data structures themselves are closer to being modelled by regular expressions, since they both have "algebraic" operations like sum and product |
| 2024-03-15 12:21:27 +0100 | <ncf> | and some kind of recursion |
| 2024-03-15 12:21:59 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-03-15 12:28:12 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-03-15 12:29:49 +0100 | Buggys | (Buggys@Buggy.shelltalk.net) |
| 2024-03-15 12:33:47 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-03-15 12:34:44 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-03-15 12:35:41 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-03-15 12:36:54 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-03-15 12:37:04 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-03-15 12:37:16 +0100 | adanwan_ | (~adanwan@gateway/tor-sasl/adanwan) |
| 2024-03-15 12:37:46 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 260 seconds) |
| 2024-03-15 12:38:36 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-03-15 12:50:16 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-03-15 12:57:30 +0100 | rainbyte | (~rainbyte@186.22.19.215) |
| 2024-03-15 13:07:41 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-03-15 13:07:41 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-03-15 13:08:24 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-03-15 13:09:10 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-03-15 13:13:37 +0100 | sprout_ | sprout |
| 2024-03-15 13:17:05 +0100 | danse-nr3 | (~danse@151.37.233.145) (Ping timeout: 252 seconds) |
| 2024-03-15 13:18:53 +0100 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) |
| 2024-03-15 13:23:49 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-03-15 13:24:31 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-03-15 13:33:40 +0100 | danse-nr3 | (~danse@151.35.233.100) |
| 2024-03-15 13:34:02 +0100 | danse-nr3 | (~danse@151.35.233.100) (Remote host closed the connection) |
| 2024-03-15 13:34:26 +0100 | danse-nr3 | (~danse@151.35.233.100) |
| 2024-03-15 13:51:42 +0100 | <Inst> | regex is an edsl for manipulation of string data, optics is closer to a generalization of such to all data |
| 2024-03-15 13:53:48 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-03-15 13:56:48 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-03-15 14:13:04 +0100 | __monty__ | (~toonn@user/toonn) (Ping timeout: 260 seconds) |
| 2024-03-15 14:27:53 +0100 | son0p | (~ff@167.0.168.212) |
| 2024-03-15 15:02:19 +0100 | mik3d | (~mik3d@pool-173-61-131-199.cmdnnj.fios.verizon.net) (Read error: Connection reset by peer) |
| 2024-03-15 15:06:21 +0100 | mik3d | (~mik3d@pool-173-61-131-199.cmdnnj.fios.verizon.net) |
| 2024-03-15 15:09:41 +0100 | tired | (~tired@user/tired) (Quit: /) |
| 2024-03-15 15:10:28 +0100 | mik3d | (~mik3d@pool-173-61-131-199.cmdnnj.fios.verizon.net) (Read error: Connection reset by peer) |
| 2024-03-15 15:11:43 +0100 | ft | (~ft@p3e9bce6e.dip0.t-ipconnect.de) |
| 2024-03-15 15:18:27 +0100 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) |
| 2024-03-15 15:18:48 +0100 | ystael | (~ystael@user/ystael) |
| 2024-03-15 15:24:27 +0100 | TimeLapse | (~TimeLapse@176.254.244.83) (Ping timeout: 255 seconds) |
| 2024-03-15 15:25:24 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-15 15:29:05 +0100 | mik3d | (~mik3d@pool-173-61-131-199.cmdnnj.fios.verizon.net) |
| 2024-03-15 15:42:28 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-03-15 15:46:55 +0100 | danse-nr3 | (~danse@151.35.233.100) (Remote host closed the connection) |
| 2024-03-15 15:47:15 +0100 | danse-nr3 | (~danse@151.35.233.100) |
| 2024-03-15 15:47:52 +0100 | <glguy> | It's more DSL than eDSL |
| 2024-03-15 15:54:35 +0100 | AlexZenon | (~alzenon@178.34.160.143) (Ping timeout: 256 seconds) |
| 2024-03-15 15:55:18 +0100 | phma | (phma@2001:5b0:211c:1ed8:66b6:4ab1:2fac:150a) (Read error: Connection reset by peer) |
| 2024-03-15 16:00:11 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 260 seconds) |
| 2024-03-15 16:01:01 +0100 | phma | (~phma@2001:5b0:210b:b018:f5e4:5fc6:92c7:7a79) |
| 2024-03-15 16:03:47 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-15 16:05:41 +0100 | AlexZenon | (~alzenon@178.34.160.143) |
| 2024-03-15 16:10:12 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-03-15 16:15:40 +0100 | <haskellbridge> | <Jade> I'm trying to decide between hip and JuicyPixels for the image library to use in my project - does anyone have experience with either and can reccomend one? |
| 2024-03-15 16:18:46 +0100 | PoolloverNathan | (~u0_a408@108.145.176.65) |
| 2024-03-15 16:19:00 +0100 | PoolloverNathan | (~u0_a408@108.145.176.65) (Remote host closed the connection) |
| 2024-03-15 16:19:18 +0100 | PoolloverNathan | (~u0_a408@108.145.176.65) |
| 2024-03-15 16:19:37 +0100 | <PoolloverNathan> | is there a way to make patterns like 'h':'e':'l':'l':'o':xs easier to type? |
| 2024-03-15 16:21:17 +0100 | gorignak | (~gorignak@user/gorignak) (Ping timeout: 240 seconds) |
| 2024-03-15 16:22:27 +0100 | <kuribas``> | >let xs = " world" in "hello"++xs |
| 2024-03-15 16:22:31 +0100 | <haskellbridge> | <Jade> `stripPrefix "hello" -> Just xs` with `ViewPatterns` |
| 2024-03-15 16:22:47 +0100 | <haskellbridge> | <Jade> oh in an expression context, sorry |
| 2024-03-15 16:22:55 +0100 | <haskellbridge> | <Jade> I thought you wanted to know how to match on it |
| 2024-03-15 16:23:23 +0100 | <PoolloverNathan> | I do |
| 2024-03-15 16:23:31 +0100 | <PoolloverNathan> | thanks! |
| 2024-03-15 16:25:28 +0100 | <PoolloverNathan> | also, where is this haskellbridge bridging from? |
| 2024-03-15 16:27:22 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
| 2024-03-15 16:28:38 +0100 | <danse-nr3> | matrix |
| 2024-03-15 16:28:51 +0100 | PoolloverNathan | (~u0_a408@108.145.176.65) () |
| 2024-03-15 16:30:05 +0100 | <danse-nr3> | maybe they hate matrix |
| 2024-03-15 16:31:23 +0100 | <danse-nr3> | anyways i have got to go as well. Have a nice weekend haskellers o/ |
| 2024-03-15 16:34:35 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-03-15 16:35:04 +0100 | TimeLapse | (~TimeLapse@176.254.244.83) |
| 2024-03-15 16:35:28 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1) |
| 2024-03-15 16:36:26 +0100 | euleritian | (~euleritia@77.22.252.56) |
| 2024-03-15 16:36:35 +0100 | danse-nr3 | (~danse@151.35.233.100) (Ping timeout: 260 seconds) |
| 2024-03-15 16:37:57 +0100 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2024-03-15 16:38:49 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-03-15 16:50:09 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-15 16:52:31 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-03-15 16:54:33 +0100 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) |
| 2024-03-15 16:58:55 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 268 seconds) |
| 2024-03-15 17:00:52 +0100 | gtdg1 | (~gtdg@user/gtdg) |
| 2024-03-15 17:02:08 +0100 | gtdg1 | (~gtdg@user/gtdg) (Client Quit) |
| 2024-03-15 17:03:48 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-03-15 17:04:25 +0100 | gtdg | (~gtdg@user/gtdg) (Ping timeout: 250 seconds) |
| 2024-03-15 17:05:23 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-03-15 17:09:24 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-03-15 17:10:26 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-15 17:12:02 +0100 | kuribas`` | (~user@ip-188-118-57-242.reverse.destiny.be) (Read error: Connection reset by peer) |
| 2024-03-15 17:13:25 +0100 | kuribas`` | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-03-15 17:13:34 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-03-15 17:17:22 +0100 | phma | (~phma@2001:5b0:210b:b018:f5e4:5fc6:92c7:7a79) (Read error: Connection reset by peer) |
| 2024-03-15 17:17:46 +0100 | phma | (phma@2001:5b0:210b:b018:f5e4:5fc6:92c7:7a79) |
| 2024-03-15 17:18:13 +0100 | paddymahoney | (~paddymaho@cpe883d24bcf597-cmbc4dfb741f80.cpe.net.cable.rogers.com) (Read error: Connection reset by peer) |
| 2024-03-15 17:24:43 +0100 | CiaoSen | (~Jura@2a05:5800:29d:fb00:e6b9:7aff:fe80:3d03) |
| 2024-03-15 17:25:51 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-03-15 17:27:26 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-03-15 17:27:44 +0100 | greenflower | (~greenflow@2405:201:d030:70c1:4cad:52d2:93a7:bc00) |
| 2024-03-15 17:29:21 +0100 | mei | Guest3830 |
| 2024-03-15 17:29:21 +0100 | Guest3830 | (~mei@user/mei) (Killed (molybdenum.libera.chat (Nickname regained by services))) |
| 2024-03-15 17:29:27 +0100 | mei | (~mei@user/mei) |
| 2024-03-15 17:29:48 +0100 | __monty__ | (~toonn@user/toonn) |
| 2024-03-15 17:35:02 +0100 | oneeyedalien | (~oneeyedal@user/oneeyedalien) |
| 2024-03-15 17:35:08 +0100 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Max SendQ exceeded) |
| 2024-03-15 17:36:40 +0100 | oneeyedalien | (~oneeyedal@user/oneeyedalien) |
| 2024-03-15 17:39:35 +0100 | AlexZenon | (~alzenon@178.34.160.143) (Ping timeout: 264 seconds) |
| 2024-03-15 17:43:30 +0100 | mastarija | (~mastarija@141-136-168-40.dsl.iskon.hr) |
| 2024-03-15 17:43:53 +0100 | mastarija | (~mastarija@141-136-168-40.dsl.iskon.hr) (Client Quit) |
| 2024-03-15 17:45:46 +0100 | haskellbridge | (~haskellbr@069-135-003-034.biz.spectrum.com) (Remote host closed the connection) |
| 2024-03-15 17:46:25 +0100 | AlexZenon | (~alzenon@178.34.160.143) |
| 2024-03-15 17:49:31 +0100 | haskellbridge | (~haskellbr@069-135-003-034.biz.spectrum.com) |
| 2024-03-15 17:49:31 +0100 | ChanServ | +v haskellbridge |
| 2024-03-15 17:49:44 +0100 | paddymahoney | (~paddymaho@99.250.26.190) |
| 2024-03-15 17:50:46 +0100 | agrosant | (~agrosant@62.1.175.73.dsl.dyn.forthnet.gr) |
| 2024-03-15 17:51:08 +0100 | PoolloverNathan | (~u0_a408@108.145.177.33) |
| 2024-03-15 17:51:55 +0100 | <PoolloverNathan> | this particular device has failed every time I've tried `cabal update` with “Unexpected "\US"” |
| 2024-03-15 17:52:01 +0100 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) (Read error: Connection reset by peer) |
| 2024-03-15 17:52:11 +0100 | CiaoSen | (~Jura@2a05:5800:29d:fb00:e6b9:7aff:fe80:3d03) (Ping timeout: 260 seconds) |
| 2024-03-15 17:52:35 +0100 | <PoolloverNathan> | other devices work fine, and verbose mode doesn't show anything interesting — it seems like the data is being corrupted in-transit somehow |
| 2024-03-15 17:53:58 +0100 | CiaoSen | (~Jura@2a05:5800:29d:fb00:be24:11ff:fe6b:967b) |
| 2024-03-15 17:54:17 +0100 | <PoolloverNathan> | (GHC 9.2.5, Cabal 3.8.1.0, Android 13 on moto g stylus 5G - 2023) |
| 2024-03-15 17:55:31 +0100 | <haskellbridge> | <sm> can you reproduce any other network weirdness with that device ? Try a similar request with curl ? could it be related to TLS ? |
| 2024-03-15 17:56:54 +0100 | <PoolloverNathan> | what kind of requests should I try? no other observable network weirdness, and I haven't modified anything TLS-related |
| 2024-03-15 17:57:42 +0100 | <haskellbridge> | <sm> the same one cabal update is doing |
| 2024-03-15 17:59:23 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-15 18:08:56 +0100 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) |
| 2024-03-15 18:09:11 +0100 | CiaoSen | (~Jura@2a05:5800:29d:fb00:be24:11ff:fe6b:967b) (Read error: Connection reset by peer) |
| 2024-03-15 18:09:29 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-03-15 18:12:41 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2024-03-15 18:14:15 +0100 | CiaoSen | (~Jura@2a05:5800:29d:fb00:be24:11ff:fe6b:967b) |
| 2024-03-15 18:15:02 +0100 | tired | (~tired@user/tired) |
| 2024-03-15 18:17:34 +0100 | <PoolloverNathan> | sm: I ran the command on both this and (with slight changes) another device. It produces proper JSON on that device, but on this device it produces seemingly-random data with no pattern and less length. |
| 2024-03-15 18:18:05 +0100 | <PoolloverNathan> | (the Curl command ran by Cabal, fetching http://hackage.haskell.org/root.json) |
| 2024-03-15 18:25:16 +0100 | vpan1 | (~vpan@212.117.1.172) (Quit: Leaving.) |
| 2024-03-15 18:25:18 +0100 | igemnace | (~ian@user/igemnace) (Quit: WeeChat 4.2.1) |
| 2024-03-15 18:27:19 +0100 | CiaoSen | (~Jura@2a05:5800:29d:fb00:be24:11ff:fe6b:967b) (Read error: Connection reset by peer) |
| 2024-03-15 18:28:29 +0100 | CiaoSen | (~Jura@2a05:5800:29d:fb00:be24:11ff:fe6b:967b) |
| 2024-03-15 18:29:51 +0100 | <haskellbridge> | <sm> that's progress.. curl has lots of options for troubleshooting |
| 2024-03-15 18:31:44 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-15 18:32:20 +0100 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Quit: Leaving) |
| 2024-03-15 18:32:22 +0100 | shapr | (~user@c-24-218-186-89.hsd1.ma.comcast.net) |
| 2024-03-15 18:41:27 +0100 | <haskellbridge> | <sm> -v, anyway. Any difference between the devices ? Or different path shown by traceroute ? Maybe one is using a VPN, different proxy, or cache server ? Also have you tried turning it off and on (I know but seriously :) |
| 2024-03-15 18:44:49 +0100 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-03-15 18:48:15 +0100 | <PoolloverNathan> | sm: it's been rebooted several times (not for this issue in particular) |
| 2024-03-15 18:48:53 +0100 | <PoolloverNathan> | sm: the (previously-; I broke it somehow) working one is Windows and the failing one is Android |
| 2024-03-15 18:49:43 +0100 | <haskellbridge> | <sm> https://termbin.com/aw8f is what curl -v shows here |
| 2024-03-15 18:50:22 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-03-15 18:53:42 +0100 | CiaoSen | (~Jura@2a05:5800:29d:fb00:be24:11ff:fe6b:967b) (Ping timeout: 256 seconds) |
| 2024-03-15 18:53:47 +0100 | kuribas`` | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 260 seconds) |
| 2024-03-15 18:55:20 +0100 | <PoolloverNathan> | I have a new error now (wsl; ghcup — third ‘machine’ so far): ghc-9.4.8: can't find a package database at /home/nathan/.ghcup/ghc/9.4.8/lib/ghc-9.4.8/lib/package.conf.d |
| 2024-03-15 18:56:45 +0100 | <geekosaur> | that should be instralled by ghcup |
| 2024-03-15 18:59:59 +0100 | <haskellbridge> | <sm> try reinstalling ghc 9.4.8 with ghcup tui |
| 2024-03-15 19:02:06 +0100 | kuribas`` | (~user@2a02:1808:82:efd9:435b:3986:99cc:b2c9) |
| 2024-03-15 19:03:06 +0100 | <haskellbridge> | <sm> TIL the c (changelog) key in ghcup tui. Great feature maerwald |
| 2024-03-15 19:04:20 +0100 | danse-nr3 | (~danse@151.47.224.70) |
| 2024-03-15 19:06:33 +0100 | mik3d | (~mik3d@pool-173-61-131-199.cmdnnj.fios.verizon.net) (Remote host closed the connection) |
| 2024-03-15 19:06:55 +0100 | mik3d | (~mik3d@pool-173-61-131-199.cmdnnj.fios.verizon.net) |
| 2024-03-15 19:08:54 +0100 | <PoolloverNathan> | it's a good feature but seems to break ctrl+c? |
| 2024-03-15 19:10:14 +0100 | <haskellbridge> | <sm> haha you're right, Ctrl-c also shows changelog |
| 2024-03-15 19:13:36 +0100 | <PoolloverNathan> | ah, so it's not my keyboard messing it up (it seems to drop Ctrl modifiers while the moon is waning) |
| 2024-03-15 19:16:34 +0100 | <haskellbridge> | <sm> https://gitlab.haskell.org/haskell/ghcup-hs/-/issues is a good place if you want to report it |
| 2024-03-15 19:19:27 +0100 | Ranhir | (~Ranhir@157.97.53.139) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/) |
| 2024-03-15 19:19:32 +0100 | greenflower | (~greenflow@2405:201:d030:70c1:4cad:52d2:93a7:bc00) (Quit: Client closed) |
| 2024-03-15 19:25:07 +0100 | tired | (~tired@user/tired) (Quit: /) |
| 2024-03-15 19:25:11 +0100 | danse-nr3 | (~danse@151.47.224.70) (Ping timeout: 264 seconds) |
| 2024-03-15 19:34:17 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-15 19:36:59 +0100 | kuribas`` | (~user@2a02:1808:82:efd9:435b:3986:99cc:b2c9) (Ping timeout: 272 seconds) |
| 2024-03-15 19:39:27 +0100 | Ranhir | (~Ranhir@157.97.53.139) |
| 2024-03-15 19:44:07 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3140-7879-0d11-66b8-64cc-d716.rev.sfr.net) |
| 2024-03-15 19:48:27 +0100 | kuribas`` | (~user@2a02:1808:82:efd9:e6f9:413c:1a1a:9d90) |
| 2024-03-15 19:49:44 +0100 | Square | (~Square@user/square) |
| 2024-03-15 19:52:49 +0100 | ania123 | (~ania123@94-43-231-47.dsl.utg.ge) |
| 2024-03-15 19:57:43 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-03-15 19:58:19 +0100 | euleritian | (~euleritia@dynamic-176-006-182-052.176.6.pool.telefonica.de) |
| 2024-03-15 20:00:20 +0100 | euleritian | (~euleritia@dynamic-176-006-182-052.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-03-15 20:00:39 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-03-15 20:00:55 +0100 | <haskellbridge> | <maerwald> https://github.com/haskell/ghcup-hs/issues/875 |
| 2024-03-15 20:01:25 +0100 | <haskellbridge> | <maerwald> that repo is archived |
| 2024-03-15 20:01:34 +0100 | tired | (~tired@user/tired) |
| 2024-03-15 20:02:01 +0100 | zetef | (~quassel@95.77.17.251) |
| 2024-03-15 20:03:16 +0100 | tired | (~tired@user/tired) (Client Quit) |
| 2024-03-15 20:04:03 +0100 | tired | (~tired@user/tired) |
| 2024-03-15 20:06:35 +0100 | zetef | (~quassel@95.77.17.251) (Ping timeout: 260 seconds) |
| 2024-03-15 20:07:33 +0100 | <haskellbridge> | <sm> woah, that is not obvious. I just searched my browser history for "ghcup issues" |
| 2024-03-15 20:20:20 +0100 | tired | (~tired@user/tired) (Quit: /) |
| 2024-03-15 20:20:33 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2024-03-15 20:20:58 +0100 | tired | (~tired@user/tired) |
| 2024-03-15 20:21:49 +0100 | gorignak | (~gorignak@user/gorignak) |
| 2024-03-15 20:28:47 +0100 | agrosant | (~agrosant@62.1.175.73.dsl.dyn.forthnet.gr) (Ping timeout: 264 seconds) |
| 2024-03-15 20:35:24 +0100 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) |
| 2024-03-15 20:37:41 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2024-03-15 20:39:35 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 264 seconds) |
| 2024-03-15 20:44:17 +0100 | agrosant | (~agrosant@188.4.217.106.dsl.dyn.forthnet.gr) |
| 2024-03-15 20:46:15 +0100 | misterfish | (~misterfis@84.53.85.146) |
| 2024-03-15 20:54:14 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-03-15 20:56:42 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3140-7879-0d11-66b8-64cc-d716.rev.sfr.net) (Remote host closed the connection) |
| 2024-03-15 20:56:59 +0100 | Lycurgus | (~georg@user/Lycurgus) |
| 2024-03-15 20:57:48 +0100 | zenstoic | (uid461840@id-461840.hampstead.irccloud.com) |
| 2024-03-15 20:58:47 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-15 21:04:39 +0100 | mechap | (~mechap@user/mechap) |
| 2024-03-15 21:07:18 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-15 21:07:42 +0100 | michalz | (~michalz@185.246.207.205) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-03-15 21:15:29 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-03-15 21:15:49 +0100 | califax | (~califax@user/califx) |
| 2024-03-15 21:17:41 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-15 21:18:50 +0100 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) |
| 2024-03-15 21:25:13 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2024-03-15 21:26:01 +0100 | benjaminl | (~benjaminl@user/benjaminl) |
| 2024-03-15 21:26:16 +0100 | renpose | (~renpose@user/renpose) |
| 2024-03-15 21:26:23 +0100 | mik3d | (~mik3d@pool-173-61-131-199.cmdnnj.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-03-15 21:27:35 +0100 | agrosant | (~agrosant@188.4.217.106.dsl.dyn.forthnet.gr) (Ping timeout: 264 seconds) |
| 2024-03-15 21:29:03 +0100 | kuribas`` | (~user@2a02:1808:82:efd9:e6f9:413c:1a1a:9d90) (Ping timeout: 256 seconds) |
| 2024-03-15 21:35:14 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-15 21:36:26 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-03-15 21:40:26 +0100 | mechap | (~mechap@user/mechap) (Ping timeout: 268 seconds) |
| 2024-03-15 21:42:00 +0100 | mechap | (~mechap@user/mechap) |
| 2024-03-15 21:42:29 +0100 | mechap | (~mechap@user/mechap) (Client Quit) |
| 2024-03-15 21:44:47 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-03-15 21:44:55 +0100 | agrosant | (~agrosant@77.49.34.161.dsl.dyn.forthnet.gr) |
| 2024-03-15 21:48:44 +0100 | mechap | (~mechap@user/mechap) |
| 2024-03-15 21:58:38 +0100 | benjaminl | (~benjaminl@user/benjaminl) (Read error: Connection reset by peer) |
| 2024-03-15 21:58:53 +0100 | benjaminl | (~benjaminl@user/benjaminl) |
| 2024-03-15 22:01:02 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2024-03-15 22:05:43 +0100 | <raehik> | Why may I only create ByteStrings in the IO monad (e.g. create :: Int -> (Ptr Word8 -> IO ()) -> ByteString), even though the underlying code calls newPinnedByteArray#, which permits any state token? |
| 2024-03-15 22:06:46 +0100 | <raehik> | (I'm writing some serialization code and figured it'd be nice to use ST when possible.) |
| 2024-03-15 22:07:19 +0100 | ania123 | (~ania123@94-43-231-47.dsl.utg.ge) (Ping timeout: 250 seconds) |
| 2024-03-15 22:07:42 +0100 | zetef | (~quassel@5.2.182.98) |
| 2024-03-15 22:08:00 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-03-15 22:09:24 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-03-15 22:13:15 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 256 seconds) |
| 2024-03-15 22:15:40 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-15 22:16:48 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-03-15 22:19:18 +0100 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-03-15 22:27:47 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2024-03-15 22:31:18 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-15 22:33:16 +0100 | pavonia | (~user@user/siracusa) |
| 2024-03-15 22:38:15 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2024-03-15 22:42:33 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 272 seconds) |
| 2024-03-15 22:44:51 +0100 | <dmj`> | raehik: create calls mallocBytes |
| 2024-03-15 22:48:43 +0100 | PoolloverNathan | (~u0_a408@108.145.177.33) (Remote host closed the connection) |
| 2024-03-15 22:53:45 +0100 | <raehik> | dmj`: create calls mallocPlainForeignPtrBytes which calls newPinnedByteArray# which isn't bound to RealWorld |
| 2024-03-15 22:54:03 +0100 | <raehik> | (I'm looking at most recent base-4.19.1.0) |
| 2024-03-15 22:54:35 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-03-15 22:55:32 +0100 | euleritian | (~euleritia@dynamic-176-006-197-068.176.6.pool.telefonica.de) |
| 2024-03-15 22:59:34 +0100 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) |
| 2024-03-15 23:02:15 +0100 | mud | (~mud@user/kadoban) |
| 2024-03-15 23:05:48 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2024-03-15 23:18:58 +0100 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 2024-03-15 23:19:23 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-03-15 23:19:24 +0100 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) |
| 2024-03-15 23:24:30 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-03-15 23:29:08 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2024-03-15 23:30:14 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-03-15 23:32:37 +0100 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 2024-03-15 23:32:42 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-15 23:34:14 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-03-15 23:38:41 +0100 | xff0x | (~xff0x@2405:6580:b080:900:480d:c341:fe03:d988) (Ping timeout: 256 seconds) |
| 2024-03-15 23:39:07 +0100 | xff0x | (~xff0x@2405:6580:b080:900:480d:c341:fe03:d988) |
| 2024-03-15 23:53:07 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-15 23:53:41 +0100 | jargon | (~jargon@154.sub-174-205-226.myvzw.com) |
| 2024-03-15 23:55:15 +0100 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 260 seconds) |
| 2024-03-15 23:55:47 +0100 | agrosant | (~agrosant@77.49.34.161.dsl.dyn.forthnet.gr) (Ping timeout: 264 seconds) |
| 2024-03-15 23:59:13 +0100 | <lyxia> | How do you write to Ptr in ST |