| 2024-03-15 00:00:11 +0000 | Poollove1Nathan | (~u0_a408@108.145.176.65) |
| 2024-03-15 00:11:18 +0000 | mik3d | (~mik3d@pool-173-61-131-199.cmdnnj.fios.verizon.net) (Read error: Connection reset by peer) |
| 2024-03-15 00:16:39 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 255 seconds) |
| 2024-03-15 00:40:33 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-03-15 00:46:03 +0000 | Poollove1Nathan | (~u0_a408@108.145.176.65) (Quit: Lost terminal) |
| 2024-03-15 00:49:35 +0000 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-03-15 01:03:33 +0000 | misterfish | (~misterfis@84.53.85.146) |
| 2024-03-15 01:07:45 +0000 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-03-15 01:10:09 +0000 | mei | (~mei@user/mei) |
| 2024-03-15 01:16:27 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 256 seconds) |
| 2024-03-15 01:37:59 +0000 | sprout_ | (~quassel@2a02-a448-3a80-0-90b-214e-863f-1b72.fixed6.kpn.net) (Ping timeout: 256 seconds) |
| 2024-03-15 01:39:41 +0000 | xff0x | (~xff0x@ai082039.d.east.v6connect.net) (Ping timeout: 256 seconds) |
| 2024-03-15 01:40:36 +0000 | sprout | (~quassel@2a02-a448-3a80-0-65d6-51e6-21f8-d380.fixed6.kpn.net) |
| 2024-03-15 01:54:54 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2024-03-15 02:04:06 +0000 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-03-15 02:04:56 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2024-03-15 02:05:43 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-03-15 02:06:05 +0000 | mmhat | (~mmh@p200300f1c70b8558ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2024-03-15 02:09:09 +0000 | tinwood | (~tinwood@canonical/tinwood) (Ping timeout: 255 seconds) |
| 2024-03-15 02:12:06 +0000 | tinwood | (~tinwood@general.default.akavanagh.uk0.bigv.io) |
| 2024-03-15 02:12:06 +0000 | tinwood | (~tinwood@general.default.akavanagh.uk0.bigv.io) (Changing host) |
| 2024-03-15 02:12:06 +0000 | tinwood | (~tinwood@canonical/tinwood) |
| 2024-03-15 02:20:24 +0000 | mmhat | (~mmh@p200300f1c7271787ee086bfffe095315.dip0.t-ipconnect.de) |
| 2024-03-15 02:20:53 +0000 | raym | (~ray@user/raym) (Ping timeout: 252 seconds) |
| 2024-03-15 02:21:52 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-03-15 02:37:15 +0000 | otto_s | (~user@p4ff27a8e.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2024-03-15 02:38:34 +0000 | otto_s | (~user@p5b0443a3.dip0.t-ipconnect.de) |
| 2024-03-15 02:40:07 +0000 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 246 seconds) |
| 2024-03-15 02:47:20 +0000 | mmhat | (~mmh@p200300f1c7271787ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.2.1) |
| 2024-03-15 02:52:25 +0000 | raym | (~ray@user/raym) |
| 2024-03-15 02:52:35 +0000 | shapr | (~user@c-24-218-186-89.hsd1.ma.comcast.net) (Quit: sleeptime) |
| 2024-03-15 02:53:38 +0000 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2024-03-15 02:58:08 +0000 | raym | (~ray@user/raym) (Remote host closed the connection) |
| 2024-03-15 02:58:22 +0000 | raym | (~ray@user/raym) |
| 2024-03-15 03:25:44 +0000 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Quit: Ping timeout (120 seconds)) |
| 2024-03-15 03:26:06 +0000 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) |
| 2024-03-15 03:26:43 +0000 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-03-15 03:42:54 +0000 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-03-15 03:53:22 +0000 | td_ | (~td@i5387090D.versanet.de) (Ping timeout: 264 seconds) |
| 2024-03-15 03:55:08 +0000 | td_ | (~td@i53870934.versanet.de) |
| 2024-03-15 04:10:27 +0000 | rosco | (~rosco@175.136.155.53) |
| 2024-03-15 04:18:05 +0000 | aforemny_ | (~aforemny@i59F516D9.versanet.de) |
| 2024-03-15 04:19:12 +0000 | aforemny | (~aforemny@2001:9e8:6cc0:500:8ad4:2df4:a1a4:191a) (Ping timeout: 255 seconds) |
| 2024-03-15 04:23:50 +0000 | <jackdk> | We'll just put everything into base and that won't be a problem any more |
| 2024-03-15 04:26:22 +0000 | jargon | (~jargon@174.sub-174-205-227.myvzw.com) (Remote host closed the connection) |
| 2024-03-15 04:27:29 +0000 | <c_wraith> | don't say that. Poor geekosaur has been working to go the other direction! |
| 2024-03-15 04:33:32 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-03-15 04:34:22 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2024-03-15 04:35:25 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-03-15 04:39:23 +0000 | <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 04:44:49 +0000 | <monochrom> | Put Kan extensions, ends, coends, limits, and colimits in base. >:) |
| 2024-03-15 04:48:51 +0000 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-03-15 04:50:15 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 2024-03-15 05:19:32 +0000 | danza_ | (~francesco@151.47.239.183) |
| 2024-03-15 05:28:20 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-03-15 05:29:16 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-03-15 05:30:28 +0000 | michalz | (~michalz@185.246.207.205) |
| 2024-03-15 05:33:48 +0000 | <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 05:33:59 +0000 | <arahael> | (Ie, it does not seem to read the first line, "<?xml..." |
| 2024-03-15 05:35:14 +0000 | komikat_ | (~akshitkr@218.185.248.66) (Read error: Connection reset by peer) |
| 2024-03-15 05:35:21 +0000 | komikat | (~akshitkr@218.185.248.66) |
| 2024-03-15 05:39:58 +0000 | <arahael> | Ah, correction: It's the wack BOM windows puts on unicode files. |
| 2024-03-15 05:40:06 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2024-03-15 05:41:14 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-03-15 05:43:10 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-03-15 05:45:20 +0000 | euleritian | (~euleritia@dynamic-176-006-177-141.176.6.pool.telefonica.de) |
| 2024-03-15 05:48:21 +0000 | monochrom | (trebla@216.138.220.146) (Read error: Connection reset by peer) |
| 2024-03-15 05:49:39 +0000 | monochrom | (~trebla@216.138.220.146) |
| 2024-03-15 05:50:46 +0000 | <Axman6> | :') |
| 2024-03-15 05:56:08 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-03-15 06:02:07 +0000 | rosco | (~rosco@175.136.155.53) (Ping timeout: 260 seconds) |
| 2024-03-15 06:02:19 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-03-15 06:03:03 +0000 | danza__ | (~francesco@151.43.242.24) |
| 2024-03-15 06:03:11 +0000 | danza_ | (~francesco@151.47.239.183) (Read error: Connection reset by peer) |
| 2024-03-15 06:03:13 +0000 | euphores | (~SASL_euph@user/euphores) |
| 2024-03-15 06:03:37 +0000 | mulk | (~mulk@p5b2dc4d7.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2024-03-15 06:05:11 +0000 | mulk | (~mulk@p5b112d0c.dip0.t-ipconnect.de) |
| 2024-03-15 06:07:31 +0000 | <arahael> | Yep, so I read the file myself, check for the bom, strip it, then push it through hxt. |
| 2024-03-15 06:07:41 +0000 | <arahael> | (Using hxt's readString) |
| 2024-03-15 06:09:01 +0000 | zetef | (~quassel@95.77.17.251) |
| 2024-03-15 06:14:44 +0000 | <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 06:15:02 +0000 | iteratee_ | (~kyle@162.218.222.207) |
| 2024-03-15 06:16:06 +0000 | iteratee | (~kyle@162.218.222.207) (Read error: Connection reset by peer) |
| 2024-03-15 06:19:21 +0000 | son0p | (~ff@152.203.102.157) (Ping timeout: 255 seconds) |
| 2024-03-15 06:20:00 +0000 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Remote host closed the connection) |
| 2024-03-15 06:20:11 +0000 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-03-15 06:25:58 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-03-15 06:27:49 +0000 | fun-safe-math | (~fun-safe-@24.21.106.247) |
| 2024-03-15 06:28:30 +0000 | derpyxdhs | (~Thunderbi@user/derpyxdhs) |
| 2024-03-15 06:33:45 +0000 | danza__ | (~francesco@151.43.242.24) (Ping timeout: 268 seconds) |
| 2024-03-15 06:42:27 +0000 | igemnace | (~ian@user/igemnace) |
| 2024-03-15 06:42:59 +0000 | <dmj`> | @package xml-conduit |
| 2024-03-15 06:42:59 +0000 | <lambdabot> | https://hackage.haskell.org/package/xml-conduit |
| 2024-03-15 06:44:51 +0000 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 2024-03-15 06:47:27 +0000 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2024-03-15 06:54:25 +0000 | rainbyte | (~rainbyte@186.22.19.215) (Ping timeout: 264 seconds) |
| 2024-03-15 06:56:14 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-03-15 06:59:19 +0000 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-03-15 07:07:03 +0000 | danse-nr3 | (~danse@151.43.242.24) |
| 2024-03-15 07:07:24 +0000 | danse-nr3 | (~danse@151.43.242.24) (Remote host closed the connection) |
| 2024-03-15 07:07:48 +0000 | danse-nr3 | (~danse@151.43.242.24) |
| 2024-03-15 07:09:21 +0000 | RedNifre | (~RedNifre@dslb-002-206-121-180.002.206.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
| 2024-03-15 07:13:47 +0000 | ht_ | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-03-15 07:14:26 +0000 | CiaoSen | (~Jura@2a05:5800:29d:fb00:e6b9:7aff:fe80:3d03) |
| 2024-03-15 07:14:55 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Ping timeout: 260 seconds) |
| 2024-03-15 07:14:55 +0000 | ht_ | _ht |
| 2024-03-15 07:17:06 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-03-15 07:18:35 +0000 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 264 seconds) |
| 2024-03-15 07:19:34 +0000 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-03-15 07:21:12 +0000 | derpyxdhs | (~Thunderbi@user/derpyxdhs) (Quit: derpyxdhs) |
| 2024-03-15 07:23:16 +0000 | meritamen | (~meritamen@user/meritamen) |
| 2024-03-15 07:25:45 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2024-03-15 07:27:29 +0000 | mmhat | (~mmh@p200300f1c7271787ee086bfffe095315.dip0.t-ipconnect.de) |
| 2024-03-15 07:27:59 +0000 | meritamen | (~meritamen@user/meritamen) (Ping timeout: 260 seconds) |
| 2024-03-15 07:33:48 +0000 | jle` | (~jle`@2603-8001-3b02-84d4-2a01-8827-dae2-515f.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-03-15 07:34:47 +0000 | jle` | (~jle`@2603-8001-3b02-84d4-a4df-d2e6-33cd-3e89.res6.spectrum.com) |
| 2024-03-15 07:35:11 +0000 | mmhat | (~mmh@p200300f1c7271787ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.2.1) |
| 2024-03-15 07:56:49 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-15 08:00:44 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-03-15 08:02:22 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-03-15 08:02:54 +0000 | vpan | (~vpan@212.117.1.172) |
| 2024-03-15 08:04:41 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-03-15 08:13:00 +0000 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Remote host closed the connection) |
| 2024-03-15 08:24:32 +0000 | ft | (~ft@p3e9bce6e.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-03-15 08:24:37 +0000 | acidjnk | (~acidjnk@p200300d6e737e7738008c85cfa684e75.dip0.t-ipconnect.de) |
| 2024-03-15 08:26:16 +0000 | rosco | (~rosco@175.136.155.53) |
| 2024-03-15 08:26:49 +0000 | danse-nr3 | (~danse@151.43.242.24) (Ping timeout: 264 seconds) |
| 2024-03-15 08:27:19 +0000 | danse-nr3 | (~danse@151.43.242.24) |
| 2024-03-15 08:27:38 +0000 | gtdg | (~gtdg@user/gtdg) |
| 2024-03-15 08:27:52 +0000 | kuribas | (~user@2a02:1808:8b:ae3c:d14d:1a1b:9a61:2131) |
| 2024-03-15 08:28:07 +0000 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-03-15 08:29:20 +0000 | son0p | (~ff@167.0.168.212) |
| 2024-03-15 08:30:31 +0000 | mei | (~mei@user/mei) |
| 2024-03-15 08:35:51 +0000 | kuribas | (~user@2a02:1808:8b:ae3c:d14d:1a1b:9a61:2131) (Remote host closed the connection) |
| 2024-03-15 08:35:55 +0000 | billchenchina- | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Remote host closed the connection) |
| 2024-03-15 08:36:06 +0000 | kuribas | (~user@2a02:1808:8b:ae3c:b008:630a:afc6:9c7a) |
| 2024-03-15 08:36:35 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2024-03-15 08:36:43 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-03-15 08:40:47 +0000 | kuribas` | (~user@2a02:1808:2:acce:18df:8930:3e0c:3589) |
| 2024-03-15 08:41:18 +0000 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
| 2024-03-15 08:42:01 +0000 | zetef | (~quassel@95.77.17.251) (Ping timeout: 268 seconds) |
| 2024-03-15 08:42:02 +0000 | danse-nr3 | (~danse@151.43.242.24) (Remote host closed the connection) |
| 2024-03-15 08:42:08 +0000 | petrichor | (~znc-user@user/petrichor) |
| 2024-03-15 08:42:39 +0000 | kuribas | (~user@2a02:1808:8b:ae3c:b008:630a:afc6:9c7a) (Ping timeout: 260 seconds) |
| 2024-03-15 08:43:23 +0000 | Ashkan | (~Ashkan@147.161.173.72) |
| 2024-03-15 08:43:45 +0000 | danse-nr3 | (~danse@151.43.242.24) |
| 2024-03-15 08:44:27 +0000 | danse-nr3 | (~danse@151.43.242.24) (Remote host closed the connection) |
| 2024-03-15 08:49:48 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-15 09:01:57 +0000 | danse-nr3 | (~danse@151.43.242.24) |
| 2024-03-15 09:04:01 +0000 | kuribas` | (~user@2a02:1808:2:acce:18df:8930:3e0c:3589) (Ping timeout: 264 seconds) |
| 2024-03-15 09:14:53 +0000 | kuribas` | (~user@2a02:1808:2:acce:89de:3e86:e695:ccf6) |
| 2024-03-15 09:17:35 +0000 | kuribas`` | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-03-15 09:19:38 +0000 | kuribas` | (~user@2a02:1808:2:acce:89de:3e86:e695:ccf6) (Ping timeout: 268 seconds) |
| 2024-03-15 09:32:44 +0000 | __monty__ | (~toonn@user/toonn) |
| 2024-03-15 09:37:52 +0000 | komodo | (~komodo@2406:5a00:c04c:3000:9dcb:78ae:11eb:f0db) |
| 2024-03-15 09:38:23 +0000 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 264 seconds) |
| 2024-03-15 09:39:55 +0000 | chele | (~chele@user/chele) |
| 2024-03-15 09:43:20 +0000 | billchenchina- | (~billchenc@183.95.251.31) |
| 2024-03-15 09:44:00 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2024-03-15 09:44:54 +0000 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-03-15 09:46:03 +0000 | Ashkan | (~Ashkan@147.161.173.72) (Quit: Client closed) |
| 2024-03-15 09:49:17 +0000 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 256 seconds) |
| 2024-03-15 09:49:51 +0000 | billchenchina- | (~billchenc@183.95.251.31) (Ping timeout: 260 seconds) |
| 2024-03-15 09:50:18 +0000 | billchenchina- | (~billchenc@2408:844f:1536:5190:e5b9:14c2:dc85:88e6) |
| 2024-03-15 09:54:32 +0000 | mik3d | (~mik3d@pool-173-61-131-199.cmdnnj.fios.verizon.net) |
| 2024-03-15 09:54:47 +0000 | misterfish | (~misterfis@84.53.85.146) |
| 2024-03-15 09:58:26 +0000 | rosco | (~rosco@175.136.155.53) (Read error: Connection reset by peer) |
| 2024-03-15 09:59:29 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 256 seconds) |
| 2024-03-15 10:03:12 +0000 | danse-nr3 | (~danse@151.43.242.24) (Read error: Connection reset by peer) |
| 2024-03-15 10:04:26 +0000 | danse-nr3 | (~danse@151.37.233.145) |
| 2024-03-15 10:04:26 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-03-15 10:04:26 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-03-15 10:05:17 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-03-15 10:05:35 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-03-15 10:07:29 +0000 | billchenchina- | (~billchenc@2408:844f:1536:5190:e5b9:14c2:dc85:88e6) (Quit: Leaving) |
| 2024-03-15 10:09:06 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-15 10:10:52 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-03-15 10:11:50 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-03-15 10:16:55 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 260 seconds) |
| 2024-03-15 10:18:26 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 260 seconds) |
| 2024-03-15 10:19:48 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 256 seconds) |
| 2024-03-15 10:20:16 +0000 | komodo_ | (~komodo@150.107.174.72) |
| 2024-03-15 10:20:45 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-03-15 10:22:59 +0000 | komodo | (~komodo@2406:5a00:c04c:3000:9dcb:78ae:11eb:f0db) (Ping timeout: 260 seconds) |
| 2024-03-15 10:24:45 +0000 | igemnace | (~ian@user/igemnace) (Read error: Connection reset by peer) |
| 2024-03-15 10:24:56 +0000 | zetef | (~quassel@95.77.17.251) |
| 2024-03-15 10:30:06 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 260 seconds) |
| 2024-03-15 10:30:59 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-03-15 10:31:10 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-03-15 10:33:08 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 252 seconds) |
| 2024-03-15 10:34:45 +0000 | misterfish | (~misterfis@84.53.85.146) |
| 2024-03-15 10:36:04 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-03-15 10:41:18 +0000 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-03-15 10:41:47 +0000 | igemnace | (~ian@user/igemnace) |
| 2024-03-15 10:43:44 +0000 | mei | (~mei@user/mei) |
| 2024-03-15 10:49:35 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 260 seconds) |
| 2024-03-15 10:58:06 +0000 | pastly | (~pastly@gateway/tor-sasl/pastly) (Ping timeout: 260 seconds) |
| 2024-03-15 10:59:05 +0000 | pastly | (~pastly@gateway/tor-sasl/pastly) |
| 2024-03-15 10:59:30 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds) |
| 2024-03-15 11:00:06 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-03-15 11:01:22 +0000 | califax | (~califax@user/califx) (Ping timeout: 260 seconds) |
| 2024-03-15 11:03:03 +0000 | califax | (~califax@user/califx) |
| 2024-03-15 11:04:50 +0000 | komodo_ | (~komodo@150.107.174.72) (Quit: Leaving) |
| 2024-03-15 11:07:57 +0000 | CiaoSen | (~Jura@2a05:5800:29d:fb00:e6b9:7aff:fe80:3d03) (Ping timeout: 272 seconds) |
| 2024-03-15 11:09:32 +0000 | <Inst> | @axman6 |
| 2024-03-15 11:09:32 +0000 | <lambdabot> | Unknown command, try @list |
| 2024-03-15 11:09:39 +0000 | zetef | (~quassel@95.77.17.251) (Ping timeout: 260 seconds) |
| 2024-03-15 11:09:42 +0000 | <Inst> | would it be correct to call lens / optics regex for data structures? |
| 2024-03-15 11:10:18 +0000 | <danse-nr3> | Axman6 |
| 2024-03-15 11:11:32 +0000 | <Inst> | well, technically speaking, nested data |
| 2024-03-15 11:12:57 +0000 | <ncf> | why would it be? |
| 2024-03-15 11:14:01 +0000 | <Inst> | insofar as lens / optics are a concise way to accessing and transforming data |
| 2024-03-15 11:14:18 +0000 | <Inst> | but have readability issues |
| 2024-03-15 11:14:42 +0000 | <ncf> | so by correct you mean would it be a good analogy? |
| 2024-03-15 11:14:59 +0000 | sprout_ | (~quassel@2a02-a448-3a80-0-65d6-51e6-21f8-d380.fixed6.kpn.net) |
| 2024-03-15 11:15:01 +0000 | iteratee | (~kyle@162.218.222.207) |
| 2024-03-15 11:15:17 +0000 | <Inst> | yeah |
| 2024-03-15 11:15:45 +0000 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2024-03-15 11:15:59 +0000 | <ncf> | seems quite far-fetched to me |
| 2024-03-15 11:17:01 +0000 | tabemann_ | (~tabemann@2600:1700:7990:24e0:b651:977a:44b1:1ec6) |
| 2024-03-15 11:17:23 +0000 | vpan1 | (~vpan@212.117.1.172) |
| 2024-03-15 11:17:30 +0000 | xff0x | (~xff0x@2405:6580:b080:900:480d:c341:fe03:d988) |
| 2024-03-15 11:17:43 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-03-15 11:18:03 +0000 | son0p | (~ff@167.0.168.212) (Ping timeout: 260 seconds) |
| 2024-03-15 11:18:03 +0000 | euleritian | (~euleritia@dynamic-176-006-177-141.176.6.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2024-03-15 11:18:03 +0000 | Buggys | (Buggys@shelltalk.net) (Ping timeout: 260 seconds) |
| 2024-03-15 11:18:03 +0000 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Read error: Connection reset by peer) |
| 2024-03-15 11:18:04 +0000 | vpan | (~vpan@212.117.1.172) (Ping timeout: 260 seconds) |
| 2024-03-15 11:18:04 +0000 | tabemann | (~tabemann@2600:1700:7990:24e0:b651:977a:44b1:1ec6) (Read error: Connection reset by peer) |
| 2024-03-15 11:18:04 +0000 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Read error: Connection reset by peer) |
| 2024-03-15 11:18:04 +0000 | iteratee_ | (~kyle@162.218.222.207) (Ping timeout: 260 seconds) |
| 2024-03-15 11:18:31 +0000 | sprout | (~quassel@2a02-a448-3a80-0-65d6-51e6-21f8-d380.fixed6.kpn.net) (Ping timeout: 260 seconds) |
| 2024-03-15 11:19:20 +0000 | mei | (~mei@user/mei) (Quit: mei) |
| 2024-03-15 11:19:34 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
| 2024-03-15 11:19:44 +0000 | mei | (~mei@user/mei) |
| 2024-03-15 11:20:13 +0000 | <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 11:21:27 +0000 | <ncf> | and some kind of recursion |
| 2024-03-15 11:21:59 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-03-15 11:28:12 +0000 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-03-15 11:29:49 +0000 | Buggys | (Buggys@Buggy.shelltalk.net) |
| 2024-03-15 11:33:47 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-03-15 11:34:44 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-03-15 11:35:41 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-03-15 11:36:54 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-03-15 11:37:04 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-03-15 11:37:16 +0000 | adanwan_ | (~adanwan@gateway/tor-sasl/adanwan) |
| 2024-03-15 11:37:46 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 260 seconds) |
| 2024-03-15 11:38:36 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-03-15 11:50:16 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-03-15 11:57:30 +0000 | rainbyte | (~rainbyte@186.22.19.215) |
| 2024-03-15 12:07:41 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-03-15 12:07:41 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-03-15 12:08:24 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-03-15 12:09:10 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-03-15 12:13:37 +0000 | sprout_ | sprout |
| 2024-03-15 12:17:05 +0000 | danse-nr3 | (~danse@151.37.233.145) (Ping timeout: 252 seconds) |
| 2024-03-15 12:18:53 +0000 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) |
| 2024-03-15 12:23:49 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-03-15 12:24:31 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-03-15 12:33:40 +0000 | danse-nr3 | (~danse@151.35.233.100) |
| 2024-03-15 12:34:02 +0000 | danse-nr3 | (~danse@151.35.233.100) (Remote host closed the connection) |
| 2024-03-15 12:34:26 +0000 | danse-nr3 | (~danse@151.35.233.100) |
| 2024-03-15 12:51:42 +0000 | <Inst> | regex is an edsl for manipulation of string data, optics is closer to a generalization of such to all data |
| 2024-03-15 12:53:48 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-03-15 12:56:48 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-03-15 13:13:04 +0000 | __monty__ | (~toonn@user/toonn) (Ping timeout: 260 seconds) |
| 2024-03-15 13:27:53 +0000 | son0p | (~ff@167.0.168.212) |
| 2024-03-15 14:02:19 +0000 | mik3d | (~mik3d@pool-173-61-131-199.cmdnnj.fios.verizon.net) (Read error: Connection reset by peer) |
| 2024-03-15 14:06:21 +0000 | mik3d | (~mik3d@pool-173-61-131-199.cmdnnj.fios.verizon.net) |
| 2024-03-15 14:09:41 +0000 | tired | (~tired@user/tired) (Quit: /) |
| 2024-03-15 14:10:28 +0000 | mik3d | (~mik3d@pool-173-61-131-199.cmdnnj.fios.verizon.net) (Read error: Connection reset by peer) |
| 2024-03-15 14:11:43 +0000 | ft | (~ft@p3e9bce6e.dip0.t-ipconnect.de) |
| 2024-03-15 14:18:27 +0000 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) |
| 2024-03-15 14:18:48 +0000 | ystael | (~ystael@user/ystael) |
| 2024-03-15 14:24:27 +0000 | TimeLapse | (~TimeLapse@176.254.244.83) (Ping timeout: 255 seconds) |
| 2024-03-15 14:25:24 +0000 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-15 14:29:05 +0000 | mik3d | (~mik3d@pool-173-61-131-199.cmdnnj.fios.verizon.net) |
| 2024-03-15 14:42:28 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-03-15 14:46:55 +0000 | danse-nr3 | (~danse@151.35.233.100) (Remote host closed the connection) |
| 2024-03-15 14:47:15 +0000 | danse-nr3 | (~danse@151.35.233.100) |
| 2024-03-15 14:47:52 +0000 | <glguy> | It's more DSL than eDSL |
| 2024-03-15 14:54:35 +0000 | AlexZenon | (~alzenon@178.34.160.143) (Ping timeout: 256 seconds) |
| 2024-03-15 14:55:18 +0000 | phma | (phma@2001:5b0:211c:1ed8:66b6:4ab1:2fac:150a) (Read error: Connection reset by peer) |
| 2024-03-15 15:00:11 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 260 seconds) |
| 2024-03-15 15:01:01 +0000 | phma | (~phma@2001:5b0:210b:b018:f5e4:5fc6:92c7:7a79) |
| 2024-03-15 15:03:47 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-15 15:05:41 +0000 | AlexZenon | (~alzenon@178.34.160.143) |
| 2024-03-15 15:10:12 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-03-15 15:15:40 +0000 | <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 15:18:46 +0000 | PoolloverNathan | (~u0_a408@108.145.176.65) |
| 2024-03-15 15:19:00 +0000 | PoolloverNathan | (~u0_a408@108.145.176.65) (Remote host closed the connection) |
| 2024-03-15 15:19:18 +0000 | PoolloverNathan | (~u0_a408@108.145.176.65) |
| 2024-03-15 15:19:37 +0000 | <PoolloverNathan> | is there a way to make patterns like 'h':'e':'l':'l':'o':xs easier to type? |
| 2024-03-15 15:21:17 +0000 | gorignak | (~gorignak@user/gorignak) (Ping timeout: 240 seconds) |
| 2024-03-15 15:22:27 +0000 | <kuribas``> | >let xs = " world" in "hello"++xs |
| 2024-03-15 15:22:31 +0000 | <haskellbridge> | <Jade> `stripPrefix "hello" -> Just xs` with `ViewPatterns` |
| 2024-03-15 15:22:47 +0000 | <haskellbridge> | <Jade> oh in an expression context, sorry |
| 2024-03-15 15:22:55 +0000 | <haskellbridge> | <Jade> I thought you wanted to know how to match on it |
| 2024-03-15 15:23:23 +0000 | <PoolloverNathan> | I do |
| 2024-03-15 15:23:31 +0000 | <PoolloverNathan> | thanks! |
| 2024-03-15 15:25:28 +0000 | <PoolloverNathan> | also, where is this haskellbridge bridging from? |
| 2024-03-15 15:27:22 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
| 2024-03-15 15:28:38 +0000 | <danse-nr3> | matrix |
| 2024-03-15 15:28:51 +0000 | PoolloverNathan | (~u0_a408@108.145.176.65) () |
| 2024-03-15 15:30:05 +0000 | <danse-nr3> | maybe they hate matrix |
| 2024-03-15 15:31:23 +0000 | <danse-nr3> | anyways i have got to go as well. Have a nice weekend haskellers o/ |
| 2024-03-15 15:34:35 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-03-15 15:35:04 +0000 | TimeLapse | (~TimeLapse@176.254.244.83) |
| 2024-03-15 15:35:28 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1) |
| 2024-03-15 15:36:26 +0000 | euleritian | (~euleritia@77.22.252.56) |
| 2024-03-15 15:36:35 +0000 | danse-nr3 | (~danse@151.35.233.100) (Ping timeout: 260 seconds) |
| 2024-03-15 15:37:57 +0000 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2024-03-15 15:38:49 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-03-15 15:50:09 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-15 15:52:31 +0000 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-03-15 15:54:33 +0000 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) |
| 2024-03-15 15:58:55 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 268 seconds) |
| 2024-03-15 16:00:52 +0000 | gtdg1 | (~gtdg@user/gtdg) |
| 2024-03-15 16:02:08 +0000 | gtdg1 | (~gtdg@user/gtdg) (Client Quit) |
| 2024-03-15 16:03:48 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-03-15 16:04:25 +0000 | gtdg | (~gtdg@user/gtdg) (Ping timeout: 250 seconds) |
| 2024-03-15 16:05:23 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-03-15 16:09:24 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-03-15 16:10:26 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-15 16:12:02 +0000 | kuribas`` | (~user@ip-188-118-57-242.reverse.destiny.be) (Read error: Connection reset by peer) |
| 2024-03-15 16:13:25 +0000 | kuribas`` | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-03-15 16:13:34 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-03-15 16:17:22 +0000 | phma | (~phma@2001:5b0:210b:b018:f5e4:5fc6:92c7:7a79) (Read error: Connection reset by peer) |
| 2024-03-15 16:17:46 +0000 | phma | (phma@2001:5b0:210b:b018:f5e4:5fc6:92c7:7a79) |
| 2024-03-15 16:18:13 +0000 | paddymahoney | (~paddymaho@cpe883d24bcf597-cmbc4dfb741f80.cpe.net.cable.rogers.com) (Read error: Connection reset by peer) |
| 2024-03-15 16:24:43 +0000 | CiaoSen | (~Jura@2a05:5800:29d:fb00:e6b9:7aff:fe80:3d03) |
| 2024-03-15 16:25:51 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-03-15 16:27:26 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-03-15 16:27:44 +0000 | greenflower | (~greenflow@2405:201:d030:70c1:4cad:52d2:93a7:bc00) |
| 2024-03-15 16:29:21 +0000 | mei | Guest3830 |
| 2024-03-15 16:29:21 +0000 | Guest3830 | (~mei@user/mei) (Killed (molybdenum.libera.chat (Nickname regained by services))) |
| 2024-03-15 16:29:27 +0000 | mei | (~mei@user/mei) |
| 2024-03-15 16:29:48 +0000 | __monty__ | (~toonn@user/toonn) |
| 2024-03-15 16:35:02 +0000 | oneeyedalien | (~oneeyedal@user/oneeyedalien) |
| 2024-03-15 16:35:08 +0000 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Max SendQ exceeded) |
| 2024-03-15 16:36:40 +0000 | oneeyedalien | (~oneeyedal@user/oneeyedalien) |
| 2024-03-15 16:39:35 +0000 | AlexZenon | (~alzenon@178.34.160.143) (Ping timeout: 264 seconds) |
| 2024-03-15 16:43:30 +0000 | mastarija | (~mastarija@141-136-168-40.dsl.iskon.hr) |
| 2024-03-15 16:43:53 +0000 | mastarija | (~mastarija@141-136-168-40.dsl.iskon.hr) (Client Quit) |
| 2024-03-15 16:45:46 +0000 | haskellbridge | (~haskellbr@069-135-003-034.biz.spectrum.com) (Remote host closed the connection) |
| 2024-03-15 16:46:25 +0000 | AlexZenon | (~alzenon@178.34.160.143) |
| 2024-03-15 16:49:31 +0000 | haskellbridge | (~haskellbr@069-135-003-034.biz.spectrum.com) |
| 2024-03-15 16:49:31 +0000 | ChanServ | +v haskellbridge |
| 2024-03-15 16:49:44 +0000 | paddymahoney | (~paddymaho@99.250.26.190) |
| 2024-03-15 16:50:46 +0000 | agrosant | (~agrosant@62.1.175.73.dsl.dyn.forthnet.gr) |
| 2024-03-15 16:51:08 +0000 | PoolloverNathan | (~u0_a408@108.145.177.33) |
| 2024-03-15 16:51:55 +0000 | <PoolloverNathan> | this particular device has failed every time I've tried `cabal update` with “Unexpected "\US"” |
| 2024-03-15 16:52:01 +0000 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) (Read error: Connection reset by peer) |
| 2024-03-15 16:52:11 +0000 | CiaoSen | (~Jura@2a05:5800:29d:fb00:e6b9:7aff:fe80:3d03) (Ping timeout: 260 seconds) |
| 2024-03-15 16:52:35 +0000 | <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 16:53:58 +0000 | CiaoSen | (~Jura@2a05:5800:29d:fb00:be24:11ff:fe6b:967b) |
| 2024-03-15 16:54:17 +0000 | <PoolloverNathan> | (GHC 9.2.5, Cabal 3.8.1.0, Android 13 on moto g stylus 5G - 2023) |
| 2024-03-15 16:55:31 +0000 | <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 16:56:54 +0000 | <PoolloverNathan> | what kind of requests should I try? no other observable network weirdness, and I haven't modified anything TLS-related |
| 2024-03-15 16:57:42 +0000 | <haskellbridge> | <sm> the same one cabal update is doing |
| 2024-03-15 16:59:23 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-15 17:08:56 +0000 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) |
| 2024-03-15 17:09:11 +0000 | CiaoSen | (~Jura@2a05:5800:29d:fb00:be24:11ff:fe6b:967b) (Read error: Connection reset by peer) |
| 2024-03-15 17:09:29 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-03-15 17:12:41 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2024-03-15 17:14:15 +0000 | CiaoSen | (~Jura@2a05:5800:29d:fb00:be24:11ff:fe6b:967b) |
| 2024-03-15 17:15:02 +0000 | tired | (~tired@user/tired) |
| 2024-03-15 17:17:34 +0000 | <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 17:18:05 +0000 | <PoolloverNathan> | (the Curl command ran by Cabal, fetching http://hackage.haskell.org/root.json) |
| 2024-03-15 17:25:16 +0000 | vpan1 | (~vpan@212.117.1.172) (Quit: Leaving.) |
| 2024-03-15 17:25:18 +0000 | igemnace | (~ian@user/igemnace) (Quit: WeeChat 4.2.1) |
| 2024-03-15 17:27:19 +0000 | CiaoSen | (~Jura@2a05:5800:29d:fb00:be24:11ff:fe6b:967b) (Read error: Connection reset by peer) |
| 2024-03-15 17:28:29 +0000 | CiaoSen | (~Jura@2a05:5800:29d:fb00:be24:11ff:fe6b:967b) |
| 2024-03-15 17:29:51 +0000 | <haskellbridge> | <sm> that's progress.. curl has lots of options for troubleshooting |
| 2024-03-15 17:31:44 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-15 17:32:20 +0000 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Quit: Leaving) |
| 2024-03-15 17:32:22 +0000 | shapr | (~user@c-24-218-186-89.hsd1.ma.comcast.net) |
| 2024-03-15 17:41:27 +0000 | <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 17:44:49 +0000 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-03-15 17:48:15 +0000 | <PoolloverNathan> | sm: it's been rebooted several times (not for this issue in particular) |
| 2024-03-15 17:48:53 +0000 | <PoolloverNathan> | sm: the (previously-; I broke it somehow) working one is Windows and the failing one is Android |
| 2024-03-15 17:49:43 +0000 | <haskellbridge> | <sm> https://termbin.com/aw8f is what curl -v shows here |
| 2024-03-15 17:50:22 +0000 | rvalue | (~rvalue@user/rvalue) |
| 2024-03-15 17:53:42 +0000 | CiaoSen | (~Jura@2a05:5800:29d:fb00:be24:11ff:fe6b:967b) (Ping timeout: 256 seconds) |
| 2024-03-15 17:53:47 +0000 | kuribas`` | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 260 seconds) |
| 2024-03-15 17:55:20 +0000 | <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 17:56:45 +0000 | <geekosaur> | that should be instralled by ghcup |
| 2024-03-15 17:59:59 +0000 | <haskellbridge> | <sm> try reinstalling ghc 9.4.8 with ghcup tui |
| 2024-03-15 18:02:06 +0000 | kuribas`` | (~user@2a02:1808:82:efd9:435b:3986:99cc:b2c9) |
| 2024-03-15 18:03:06 +0000 | <haskellbridge> | <sm> TIL the c (changelog) key in ghcup tui. Great feature maerwald |
| 2024-03-15 18:04:20 +0000 | danse-nr3 | (~danse@151.47.224.70) |
| 2024-03-15 18:06:33 +0000 | mik3d | (~mik3d@pool-173-61-131-199.cmdnnj.fios.verizon.net) (Remote host closed the connection) |
| 2024-03-15 18:06:55 +0000 | mik3d | (~mik3d@pool-173-61-131-199.cmdnnj.fios.verizon.net) |
| 2024-03-15 18:08:54 +0000 | <PoolloverNathan> | it's a good feature but seems to break ctrl+c? |
| 2024-03-15 18:10:14 +0000 | <haskellbridge> | <sm> haha you're right, Ctrl-c also shows changelog |
| 2024-03-15 18:13:36 +0000 | <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 18:16:34 +0000 | <haskellbridge> | <sm> https://gitlab.haskell.org/haskell/ghcup-hs/-/issues is a good place if you want to report it |
| 2024-03-15 18:19:27 +0000 | Ranhir | (~Ranhir@157.97.53.139) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/) |
| 2024-03-15 18:19:32 +0000 | greenflower | (~greenflow@2405:201:d030:70c1:4cad:52d2:93a7:bc00) (Quit: Client closed) |
| 2024-03-15 18:25:07 +0000 | tired | (~tired@user/tired) (Quit: /) |
| 2024-03-15 18:25:11 +0000 | danse-nr3 | (~danse@151.47.224.70) (Ping timeout: 264 seconds) |
| 2024-03-15 18:34:17 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-15 18:36:59 +0000 | kuribas`` | (~user@2a02:1808:82:efd9:435b:3986:99cc:b2c9) (Ping timeout: 272 seconds) |
| 2024-03-15 18:39:27 +0000 | Ranhir | (~Ranhir@157.97.53.139) |
| 2024-03-15 18:44:07 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3140-7879-0d11-66b8-64cc-d716.rev.sfr.net) |
| 2024-03-15 18:48:27 +0000 | kuribas`` | (~user@2a02:1808:82:efd9:e6f9:413c:1a1a:9d90) |
| 2024-03-15 18:49:44 +0000 | Square | (~Square@user/square) |
| 2024-03-15 18:52:49 +0000 | ania123 | (~ania123@94-43-231-47.dsl.utg.ge) |
| 2024-03-15 18:57:43 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-03-15 18:58:19 +0000 | euleritian | (~euleritia@dynamic-176-006-182-052.176.6.pool.telefonica.de) |
| 2024-03-15 19:00:20 +0000 | euleritian | (~euleritia@dynamic-176-006-182-052.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-03-15 19:00:39 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-03-15 19:00:55 +0000 | <haskellbridge> | <maerwald> https://github.com/haskell/ghcup-hs/issues/875 |
| 2024-03-15 19:01:25 +0000 | <haskellbridge> | <maerwald> that repo is archived |
| 2024-03-15 19:01:34 +0000 | tired | (~tired@user/tired) |
| 2024-03-15 19:02:01 +0000 | zetef | (~quassel@95.77.17.251) |
| 2024-03-15 19:03:16 +0000 | tired | (~tired@user/tired) (Client Quit) |
| 2024-03-15 19:04:03 +0000 | tired | (~tired@user/tired) |
| 2024-03-15 19:06:35 +0000 | zetef | (~quassel@95.77.17.251) (Ping timeout: 260 seconds) |
| 2024-03-15 19:07:33 +0000 | <haskellbridge> | <sm> woah, that is not obvious. I just searched my browser history for "ghcup issues" |
| 2024-03-15 19:20:20 +0000 | tired | (~tired@user/tired) (Quit: /) |
| 2024-03-15 19:20:33 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2024-03-15 19:20:58 +0000 | tired | (~tired@user/tired) |
| 2024-03-15 19:21:49 +0000 | gorignak | (~gorignak@user/gorignak) |
| 2024-03-15 19:28:47 +0000 | agrosant | (~agrosant@62.1.175.73.dsl.dyn.forthnet.gr) (Ping timeout: 264 seconds) |
| 2024-03-15 19:35:24 +0000 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) |
| 2024-03-15 19:37:41 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2024-03-15 19:39:35 +0000 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 264 seconds) |
| 2024-03-15 19:44:17 +0000 | agrosant | (~agrosant@188.4.217.106.dsl.dyn.forthnet.gr) |
| 2024-03-15 19:46:15 +0000 | misterfish | (~misterfis@84.53.85.146) |
| 2024-03-15 19:54:14 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-03-15 19:56:42 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3140-7879-0d11-66b8-64cc-d716.rev.sfr.net) (Remote host closed the connection) |
| 2024-03-15 19:56:59 +0000 | Lycurgus | (~georg@user/Lycurgus) |
| 2024-03-15 19:57:48 +0000 | zenstoic | (uid461840@id-461840.hampstead.irccloud.com) |
| 2024-03-15 19:58:47 +0000 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-15 20:04:39 +0000 | mechap | (~mechap@user/mechap) |
| 2024-03-15 20:07:18 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-15 20:07:42 +0000 | michalz | (~michalz@185.246.207.205) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-03-15 20:15:29 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-03-15 20:15:49 +0000 | califax | (~califax@user/califx) |
| 2024-03-15 20:17:41 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-15 20:18:50 +0000 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) |
| 2024-03-15 20:25:13 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2024-03-15 20:26:01 +0000 | benjaminl | (~benjaminl@user/benjaminl) |
| 2024-03-15 20:26:16 +0000 | renpose | (~renpose@user/renpose) |
| 2024-03-15 20:26:23 +0000 | mik3d | (~mik3d@pool-173-61-131-199.cmdnnj.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-03-15 20:27:35 +0000 | agrosant | (~agrosant@188.4.217.106.dsl.dyn.forthnet.gr) (Ping timeout: 264 seconds) |
| 2024-03-15 20:29:03 +0000 | kuribas`` | (~user@2a02:1808:82:efd9:e6f9:413c:1a1a:9d90) (Ping timeout: 256 seconds) |
| 2024-03-15 20:35:14 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-15 20:36:26 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-03-15 20:40:26 +0000 | mechap | (~mechap@user/mechap) (Ping timeout: 268 seconds) |
| 2024-03-15 20:42:00 +0000 | mechap | (~mechap@user/mechap) |
| 2024-03-15 20:42:29 +0000 | mechap | (~mechap@user/mechap) (Client Quit) |
| 2024-03-15 20:44:47 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-03-15 20:44:55 +0000 | agrosant | (~agrosant@77.49.34.161.dsl.dyn.forthnet.gr) |
| 2024-03-15 20:48:44 +0000 | mechap | (~mechap@user/mechap) |
| 2024-03-15 20:58:38 +0000 | benjaminl | (~benjaminl@user/benjaminl) (Read error: Connection reset by peer) |
| 2024-03-15 20:58:53 +0000 | benjaminl | (~benjaminl@user/benjaminl) |
| 2024-03-15 21:01:02 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2024-03-15 21:05:43 +0000 | <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 21:06:46 +0000 | <raehik> | (I'm writing some serialization code and figured it'd be nice to use ST when possible.) |
| 2024-03-15 21:07:19 +0000 | ania123 | (~ania123@94-43-231-47.dsl.utg.ge) (Ping timeout: 250 seconds) |
| 2024-03-15 21:07:42 +0000 | zetef | (~quassel@5.2.182.98) |
| 2024-03-15 21:08:00 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-03-15 21:09:24 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-03-15 21:13:15 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 256 seconds) |
| 2024-03-15 21:15:40 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-15 21:16:48 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-03-15 21:19:18 +0000 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-03-15 21:27:47 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2024-03-15 21:31:18 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-15 21:33:16 +0000 | pavonia | (~user@user/siracusa) |
| 2024-03-15 21:38:15 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2024-03-15 21:42:33 +0000 | ystael | (~ystael@user/ystael) (Ping timeout: 272 seconds) |
| 2024-03-15 21:44:51 +0000 | <dmj`> | raehik: create calls mallocBytes |
| 2024-03-15 21:48:43 +0000 | PoolloverNathan | (~u0_a408@108.145.177.33) (Remote host closed the connection) |
| 2024-03-15 21:53:45 +0000 | <raehik> | dmj`: create calls mallocPlainForeignPtrBytes which calls newPinnedByteArray# which isn't bound to RealWorld |
| 2024-03-15 21:54:03 +0000 | <raehik> | (I'm looking at most recent base-4.19.1.0) |
| 2024-03-15 21:54:35 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-03-15 21:55:32 +0000 | euleritian | (~euleritia@dynamic-176-006-197-068.176.6.pool.telefonica.de) |
| 2024-03-15 21:59:34 +0000 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) |
| 2024-03-15 22:02:15 +0000 | mud | (~mud@user/kadoban) |
| 2024-03-15 22:05:48 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2024-03-15 22:18:58 +0000 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 2024-03-15 22:19:23 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-03-15 22:19:24 +0000 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) |
| 2024-03-15 22:24:30 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-03-15 22:29:08 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2024-03-15 22:30:14 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-03-15 22:32:37 +0000 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 2024-03-15 22:32:42 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-15 22:34:14 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-03-15 22:38:41 +0000 | xff0x | (~xff0x@2405:6580:b080:900:480d:c341:fe03:d988) (Ping timeout: 256 seconds) |
| 2024-03-15 22:39:07 +0000 | xff0x | (~xff0x@2405:6580:b080:900:480d:c341:fe03:d988) |
| 2024-03-15 22:53:07 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-15 22:53:41 +0000 | jargon | (~jargon@154.sub-174-205-226.myvzw.com) |
| 2024-03-15 22:55:15 +0000 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 260 seconds) |
| 2024-03-15 22:55:47 +0000 | agrosant | (~agrosant@77.49.34.161.dsl.dyn.forthnet.gr) (Ping timeout: 264 seconds) |
| 2024-03-15 22:59:13 +0000 | <lyxia> | How do you write to Ptr in ST |
| 2024-03-15 23:00:00 +0000 | <int-e> | unsafeIOtoST presumably |
| 2024-03-15 23:00:02 +0000 | <lyxia> | also it's an internal function, the primary use case is to implement the public pure API |
| 2024-03-15 23:00:16 +0000 | <c_wraith> | well. More relevantly, with a "safely" involved. |
| 2024-03-15 23:00:55 +0000 | <lyxia> | Yeah that was a rethorical question to raehik |
| 2024-03-15 23:01:16 +0000 | <int-e> | oh |
| 2024-03-15 23:02:00 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-15 23:02:08 +0000 | <int-e> | stToIO is safe, but yeah you'll have trouble actually using it. |
| 2024-03-15 23:02:31 +0000 | <c_wraith> | oh, huh. ByteString changed its internal representation at last. |
| 2024-03-15 23:04:22 +0000 | <geekosaur> | latest release I think? |
| 2024-03-15 23:05:15 +0000 | <int-e> | wait, no more offsets? |
| 2024-03-15 23:05:45 +0000 | <c_wraith> | raehik: if you want to create ByteStrings efficiently without poking pointers over and over, isn't that what builders are for? |
| 2024-03-15 23:06:38 +0000 | <c_wraith> | int-e: the backing store is on the foreign heap now! |
| 2024-03-15 23:10:33 +0000 | Square | (~Square@user/square) (Ping timeout: 256 seconds) |
| 2024-03-15 23:14:47 +0000 | <int-e> | Wasn't that always the case, hmm. |
| 2024-03-15 23:15:20 +0000 | <int-e> | But `Foreign.ForenPtr.plusForeignPtr` was only added in 2017, and that's why the offset is no longer needed. |
| 2024-03-15 23:17:10 +0000 | <int-e> | Hmm. |
| 2024-03-15 23:18:48 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-03-15 23:18:53 +0000 | <int-e> | Actually I don't know what you mean. Allocation uses https://hackage.haskell.org/package/base-4.19.1.0/docs/GHC-ForeignPtr.html#v:mallocPlainForeignPtr |
| 2024-03-15 23:20:36 +0000 | <int-e> | (that means pinned bytearrays) |
| 2024-03-15 23:21:25 +0000 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection) |
| 2024-03-15 23:21:37 +0000 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2024-03-15 23:22:46 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-03-15 23:24:27 +0000 | petrichor | (~znc-user@user/petrichor) (Ping timeout: 255 seconds) |
| 2024-03-15 23:29:33 +0000 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) |
| 2024-03-15 23:31:44 +0000 | <c_wraith> | oh. I meant it doesn't necessarily *need* to be on the heap. |
| 2024-03-15 23:32:00 +0000 | <c_wraith> | Or was that also true |
| 2024-03-15 23:32:21 +0000 | <int-e> | that was also true |
| 2024-03-15 23:39:09 +0000 | <int-e> | It was ForeignPtr-based all along, as far as I can remember. The tricky part was to get it to allocate from the heap (avoiding finalizers, which is a win). |
| 2024-03-15 23:47:53 +0000 | shapr` | (~user@c-24-218-186-89.hsd1.ma.comcast.net) |
| 2024-03-15 23:49:51 +0000 | shapr | (~user@c-24-218-186-89.hsd1.ma.comcast.net) (Ping timeout: 260 seconds) |
| 2024-03-15 23:50:54 +0000 | myxos | (~myxos@065-028-251-121.inf.spectrum.com) (Remote host closed the connection) |
| 2024-03-15 23:52:20 +0000 | Ptival | (~Ptival@2601:1c0:4580:7650:cdf6:fe66:cfea:400d) |
| 2024-03-15 23:53:17 +0000 | stanrifkin | (~stanrifki@p200300dbcf3c3000008223fe5b49b811.dip0.t-ipconnect.de) |
| 2024-03-15 23:54:36 +0000 | <Ptival> | hi, is there a way to pass a data constructor as an argument to a type family? I'm contemplating hacking together some TH that would give me a tuple type for the payload of a data constructor. |
| 2024-03-15 23:56:14 +0000 | <Ptival> | This may exist already, so a pointer to something similar would also be useful. Essentially, for `data Foo = A Int Bool | B Float`, I'd like a "type family"-like `PayloadOf` s.t. `PayloadOf 'A` would reduce to `(Int, Bool)`. |
| 2024-03-15 23:58:37 +0000 | <Ptival> | I guess I'd be willing to settle down for `PayloadOf Foo 1` if passing `A` is too spicy |
| 2024-03-15 23:58:55 +0000 | myxos | (~myxos@065-028-251-121.inf.spectrum.com) |