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