Logs on 2023-08-18 (liberachat/#haskell)
| 00:00:18 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 00:05:30 | <EvanR> | mauke, can't the empty record object consist of 1 unused word and then pointers to it act normally |
| 00:05:53 | <EvanR> | it has no fields so you couldn't even type code to project anything out of it |
| 00:06:01 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6) |
| 00:06:48 | <EvanR> | that it takes up greater than zero space is unfortunate but not the end of the world |
| 00:09:01 | → | jijibao joins (~jijibao@74.82.60.48) |
| 00:10:01 | × | BigKozlowski quits (~BigKozlow@84.21.165.226) (Read error: Connection reset by peer) |
| 00:10:07 | → | BigKozlo_ joins (~BigKozlow@84.21.165.226) |
| 00:11:14 | → | ulysses4ever joins (~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671) |
| 00:12:27 | × | szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 00:15:33 | → | Ranhir joins (~Ranhir@157.97.53.139) |
| 00:19:28 | × | jijibao quits (~jijibao@74.82.60.48) (Quit: Client closed) |
| 00:19:56 | × | ulysses4ever quits (~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671) (Ping timeout: 248 seconds) |
| 00:25:21 | → | jijibao joins (~jijibao@72.52.87.172) |
| 00:35:20 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 00:39:43 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 00:43:38 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 00:53:57 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Quit: Lost terminal) |
| 00:54:27 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 01:00:32 | × | jijibao quits (~jijibao@72.52.87.172) (Ping timeout: 246 seconds) |
| 01:03:17 | → | ulysses4ever joins (~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671) |
| 01:04:54 | × | smalltalkman quits (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 01:04:56 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 01:04:56 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 01:04:56 | → | wroathe joins (~wroathe@user/wroathe) |
| 01:11:02 | → | razetime joins (~quassel@117.254.37.216) |
| 01:15:41 | → | hsxtrt_ joins (~hsxtrt@14-200-253-168.static.tpgi.com.au) |
| 01:16:12 | × | razetime quits (~quassel@117.254.37.216) (Ping timeout: 245 seconds) |
| 01:16:19 | × | hsxtrt_ quits (~hsxtrt@14-200-253-168.static.tpgi.com.au) (Client Quit) |
| 01:18:16 | × | xff0x quits (~xff0x@ai086045.d.east.v6connect.net) (Ping timeout: 256 seconds) |
| 01:20:07 | → | hyvoid joins (~hyenavoid@222-0-178-69.static.gci.net) |
| 01:20:50 | → | chexum_ joins (~quassel@gateway/tor-sasl/chexum) |
| 01:21:39 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 246 seconds) |
| 01:22:57 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 01:26:17 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds) |
| 01:27:31 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 01:27:54 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 256 seconds) |
| 01:31:23 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 01:33:11 | × | noteness_ quits (~noteness@user/noteness) (Ping timeout: 246 seconds) |
| 01:35:02 | → | arahael joins (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 01:40:51 | × | arahael quits (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 01:44:57 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 01:52:12 | × | ulysses4ever quits (~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671) (Ping timeout: 248 seconds) |
| 01:52:30 | × | zetahah quits (~zetahah@2a02:2a56:4587:0:8a42:314e:c474:482d) (Remote host closed the connection) |
| 01:56:58 | × | econo_ quits (uid147250@2a03:5180:f::2:3f32) (Quit: Connection closed for inactivity) |
| 01:58:15 | × | thegeekinside quits (~thegeekin@189.217.90.224) (Ping timeout: 246 seconds) |
| 01:58:48 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 246 seconds) |
| 01:59:28 | → | thegeekinside joins (~thegeekin@189.217.90.224) |
| 02:00:13 | → | ulysses4ever joins (~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671) |
| 02:04:20 | × | ulysses4ever quits (~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671) (Ping timeout: 246 seconds) |
| 02:04:44 | × | bratwurst quits (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) (Ping timeout: 256 seconds) |
| 02:06:58 | → | ulysses4ever joins (~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671) |
| 02:09:05 | → | xff0x joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 02:09:19 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds) |
| 02:11:22 | × | BigKozlo_ quits (~BigKozlow@84.21.165.226) (Remote host closed the connection) |
| 02:15:12 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Ping timeout: 246 seconds) |
| 02:15:19 | × | Midjak quits (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 02:15:44 | × | yaroot quits (~yaroot@p2805009-ipngn7901souka.saitama.ocn.ne.jp) (Remote host closed the connection) |
| 02:15:46 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 02:16:11 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 02:16:19 | → | yaroot joins (~yaroot@p2805009-ipngn7901souka.saitama.ocn.ne.jp) |
| 02:17:41 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 02:19:13 | → | BigKozlowski joins (~BigKozlow@84.21.165.226) |
| 02:20:07 | → | gastus_ joins (~gastus@5.83.191.16) |
| 02:23:17 | × | gastus quits (~gastus@185.6.123.197) (Ping timeout: 245 seconds) |
| 02:23:25 | × | BigKozlowski quits (~BigKozlow@84.21.165.226) (Ping timeout: 244 seconds) |
| 02:25:50 | → | eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 02:29:25 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 02:31:42 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 02:33:50 | → | danza_ joins (~francesco@151.35.238.52) |
| 02:34:00 | × | danza__ quits (~francesco@151.43.240.93) (Read error: Connection reset by peer) |
| 02:40:26 | × | ddellacosta quits (~ddellacos@146.70.166.136) (Ping timeout: 245 seconds) |
| 02:42:53 | → | ddellacosta joins (~ddellacos@146.70.171.100) |
| 02:44:56 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 02:48:49 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 02:52:44 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 02:52:44 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 02:52:44 | finn_elija | is now known as FinnElija |
| 02:53:42 | × | td_ quits (~td@i53870913.versanet.de) (Ping timeout: 245 seconds) |
| 02:55:42 | → | BigKozlowski joins (~BigKozlow@84.21.165.226) |
| 02:55:49 | → | td_ joins (~td@i53870920.versanet.de) |
| 02:58:12 | → | nek0 joins (~nek0@2a01:4f8:222:2b41::12) |
| 02:59:10 | × | codaraxis quits (~codaraxis@user/codaraxis) (Ping timeout: 258 seconds) |
| 02:59:24 | × | thegeekinside quits (~thegeekin@189.217.90.224) (Ping timeout: 248 seconds) |
| 02:59:42 | → | thegeekinside joins (~thegeekin@189.217.90.224) |
| 02:59:57 | × | BigKozlowski quits (~BigKozlow@84.21.165.226) (Ping timeout: 245 seconds) |
| 03:08:57 | × | shapr quits (~user@2600:1700:c640:3100:280f:ba4:b523:dab2) (Remote host closed the connection) |
| 03:09:11 | → | shapr joins (~user@2600:1700:c640:3100:8a03:ca37:436f:5146) |
| 03:09:18 | → | aforemny joins (~aforemny@2001:9e8:6cd7:8900:b425:74af:bd09:ff1c) |
| 03:10:42 | × | aforemny_ quits (~aforemny@2001:9e8:6cec:dd00:ec3e:fb14:4f76:2fca) (Ping timeout: 260 seconds) |
| 03:13:16 | × | pierrot quits (~pi@user/pierrot) (Ping timeout: 248 seconds) |
| 03:18:58 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 03:19:06 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 03:23:10 | → | BigKozlowski joins (~BigKozlow@84.21.165.226) |
| 03:25:19 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 03:27:35 | × | BigKozlowski quits (~BigKozlow@84.21.165.226) (Ping timeout: 245 seconds) |
| 03:27:36 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 03:37:44 | → | pierrot joins (~pi@user/pierrot) |
| 03:40:10 | phma_ | is now known as phma |
| 03:44:10 | → | codaraxis joins (~codaraxis@user/codaraxis) |
| 03:46:39 | → | codaraxis__ joins (~codaraxis@user/codaraxis) |
| 03:49:00 | × | ulysses4ever quits (~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671) (Ping timeout: 256 seconds) |
| 03:50:07 | × | codaraxis quits (~codaraxis@user/codaraxis) (Ping timeout: 246 seconds) |
| 03:50:13 | → | BigKozlowski joins (~BigKozlow@84.21.165.226) |
| 03:52:58 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 03:54:40 | × | BigKozlowski quits (~BigKozlow@84.21.165.226) (Ping timeout: 250 seconds) |
| 03:58:21 | × | thegeekinside quits (~thegeekin@189.217.90.224) (Ping timeout: 245 seconds) |
| 03:58:48 | → | thegeekinside joins (~thegeekin@189.217.90.224) |
| 04:02:02 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 04:07:31 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 04:08:26 | × | mrmr1 quits (~mrmr@user/mrmr) (Ping timeout: 260 seconds) |
| 04:08:33 | → | BigKozlowski joins (~BigKozlow@84.21.165.226) |
| 04:11:23 | → | dobblego joins (~dibblego@116.255.1.151) |
| 04:11:23 | × | dobblego quits (~dibblego@116.255.1.151) (Changing host) |
| 04:11:23 | → | dobblego joins (~dibblego@haskell/developer/dibblego) |
| 04:11:56 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 248 seconds) |
| 04:12:00 | dobblego | is now known as dibblego |
| 04:12:48 | → | arahael joins (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 04:12:56 | × | BigKozlowski quits (~BigKozlow@84.21.165.226) (Ping timeout: 245 seconds) |
| 04:17:12 | × | arahael quits (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 04:21:14 | → | mrmr1 joins (~mrmr@user/mrmr) |
| 04:26:51 | → | BigKozlowski joins (~BigKozlow@84.21.165.226) |
| 04:31:11 | × | BigKozlowski quits (~BigKozlow@84.21.165.226) (Ping timeout: 260 seconds) |
| 04:33:53 | → | Feuermagier joins (~Feuermagi@user/feuermagier) |
| 04:36:20 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 04:38:21 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 245 seconds) |
| 04:51:40 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 04:53:38 | → | ulysses4ever joins (~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671) |
| 04:59:12 | × | ft quits (~ft@p3e9bc175.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 05:00:58 | → | ft joins (~ft@p3e9bc3a4.dip0.t-ipconnect.de) |
| 05:02:02 | × | hyvoid quits (~hyenavoid@222-0-178-69.static.gci.net) (Quit: WeeChat 4.0.3) |
| 05:08:44 | → | BigKozlowski joins (~BigKozlow@46.164.226.25) |
| 05:10:22 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 05:10:49 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 05:10:56 | × | lottaquestions quits (~nick@2607:fa49:503d:b200:e221:b989:4196:1291) (Ping timeout: 240 seconds) |
| 05:11:06 | → | lottaquestions joins (~nick@2607:fa49:503d:b200:ef5b:a0d5:dc54:1113) |
| 05:12:59 | × | ft quits (~ft@p3e9bc3a4.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 05:13:00 | × | BigKozlowski quits (~BigKozlow@46.164.226.25) (Ping timeout: 245 seconds) |
| 05:13:11 | NewtonTrendy | is now known as voldemort |
| 05:13:51 | voldemort | is now known as NewtonTrendy |
| 05:15:19 | → | ft joins (~ft@79.194.167.251) |
| 05:15:20 | → | simikando joins (~simikando@95.103.254.179) |
| 05:15:44 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 05:19:19 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 05:20:05 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 05:22:49 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 05:24:28 | × | ft quits (~ft@79.194.167.251) (Ping timeout: 248 seconds) |
| 05:25:32 | × | simikando quits (~simikando@95.103.254.179) (Ping timeout: 248 seconds) |
| 05:26:08 | → | ft joins (~ft@p508db7be.dip0.t-ipconnect.de) |
| 05:32:12 | → | arahael joins (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 05:36:11 | → | hsxtrt joins (~hsxtrt@14-200-253-168.static.tpgi.com.au) |
| 05:38:44 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 05:42:35 | × | arahael quits (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 05:43:47 | → | bgs joins (~bgs@212-85-160-171.dynamic.telemach.net) |
| 05:52:28 | → | arahael joins (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 05:53:27 | → | misterfish joins (~misterfis@84-53-85-146.bbserv.nl) |
| 05:55:13 | × | thegeekinside quits (~thegeekin@189.217.90.224) (Remote host closed the connection) |
| 05:58:45 | → | sm joins (~sm@plaintextaccounting/sm) |
| 05:59:53 | × | hsxtrt quits (~hsxtrt@14-200-253-168.static.tpgi.com.au) (Quit: This computer has gone to sleep) |
| 06:01:12 | × | arahael quits (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 06:02:06 | → | titibandit joins (~titibandi@user/titibandit) |
| 06:06:19 | × | sm quits (~sm@plaintextaccounting/sm) (Quit: sm) |
| 06:07:14 | → | sm joins (~sm@plaintextaccounting/sm) |
| 06:08:15 | → | arahael joins (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 06:10:47 | × | ft quits (~ft@p508db7be.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 06:12:31 | × | hpc quits (~juzz@ip98-169-35-163.dc.dc.cox.net) (Ping timeout: 245 seconds) |
| 06:12:32 | → | ft joins (~ft@p508dba97.dip0.t-ipconnect.de) |
| 06:12:56 | × | arahael quits (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 256 seconds) |
| 06:14:40 | → | hpc joins (~juzz@ip98-169-35-163.dc.dc.cox.net) |
| 06:19:32 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 06:20:34 | → | arahael joins (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 06:21:01 | → | califax joins (~califax@user/califx) |
| 06:22:56 | → | simikando joins (~simikando@bband-dyn179.95-103-254.t-com.sk) |
| 06:24:24 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:9e77:e0c5:f6b6:3530) |
| 06:27:08 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 06:29:36 | × | misterfish quits (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 245 seconds) |
| 06:31:27 | × | ft quits (~ft@p508dba97.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 06:32:12 | × | arahael quits (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 256 seconds) |
| 06:33:16 | × | danza_ quits (~francesco@151.35.238.52) (Read error: Connection reset by peer) |
| 06:33:21 | × | shriekingnoise quits (~shrieking@186.137.175.87) (Ping timeout: 245 seconds) |
| 06:33:31 | → | ft joins (~ft@p4fc2a50a.dip0.t-ipconnect.de) |
| 06:33:51 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 246 seconds) |
| 06:34:19 | → | danza_ joins (~francesco@151.47.251.93) |
| 06:35:32 | → | acidjnk joins (~acidjnk@p200300d6e7072f536806321f1c60626a.dip0.t-ipconnect.de) |
| 06:35:39 | × | tcard quits (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 06:36:53 | → | tromp joins (~textual@92.110.219.57) |
| 06:37:23 | → | tcard joins (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 06:44:21 | → | chele joins (~chele@user/chele) |
| 06:46:08 | × | shapr quits (~user@2600:1700:c640:3100:8a03:ca37:436f:5146) (Remote host closed the connection) |
| 06:46:23 | → | shapr joins (~user@2600:1700:c640:3100:f8a1:ab8c:53c8:8f83) |
| 06:51:36 | → | arahael joins (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 06:52:27 | × | flounders quits (~flounders@24.246.133.1) (Ping timeout: 246 seconds) |
| 06:53:46 | → | fendor joins (~fendor@2a02:8388:1640:be00:b586:6c06:a58:19a3) |
| 06:54:15 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 245 seconds) |
| 06:55:51 | × | arahael quits (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 06:58:42 | × | ft quits (~ft@p4fc2a50a.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 07:00:35 | → | ft joins (~ft@p4fc2adfe.dip0.t-ipconnect.de) |
| 07:01:20 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 07:06:04 | × | sm quits (~sm@plaintextaccounting/sm) (Quit: sm) |
| 07:06:47 | → | jonathan_ joins (~jonathan@193.203.13.36) |
| 07:09:05 | × | simikando quits (~simikando@bband-dyn179.95-103-254.t-com.sk) (Quit: Leaving) |
| 07:11:18 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 246 seconds) |
| 07:13:25 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 07:15:23 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 07:20:04 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 250 seconds) |
| 07:25:33 | → | p3n joins (~p3n@217.198.124.246) |
| 07:27:13 | → | simikando joins (~simikando@bband-dyn179.95-103-254.t-com.sk) |
| 07:29:12 | → | vpan joins (~vpan@212.117.1.172) |
| 07:31:46 | × | simikando quits (~simikando@bband-dyn179.95-103-254.t-com.sk) (Ping timeout: 250 seconds) |
| 07:32:43 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds) |
| 07:33:44 | → | gmg joins (~user@user/gehmehgeh) |
| 07:35:13 | → | simikando joins (~simikando@95.103.254.179) |
| 07:35:17 | × | ames quits (~amelia@offtopia/offtopian/amelia) (Read error: Connection reset by peer) |
| 07:36:12 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 248 seconds) |
| 07:37:02 | → | ames joins (~amelia@offtopia/offtopian/amelia) |
| 07:40:43 | × | simikando quits (~simikando@95.103.254.179) (Read error: Connection reset by peer) |
| 07:41:10 | → | simikando joins (~simikando@bband-dyn179.95-103-254.t-com.sk) |
| 07:41:32 | → | misterfish joins (~misterfis@84.53.85.146) |
| 07:46:31 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 07:54:11 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 07:54:50 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 07:56:39 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 07:56:40 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 07:56:40 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 07:58:56 | × | danza_ quits (~francesco@151.47.251.93) (Ping timeout: 258 seconds) |
| 08:01:33 | → | CiaoSen joins (~Jura@2a05:5800:291:ee00:664b:f0ff:fe37:9ef) |
| 08:04:27 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 08:07:34 | → | danse-nr3 joins (~francesco@151.47.251.93) |
| 08:08:12 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 08:14:02 | → | __monty__ joins (~toonn@user/toonn) |
| 08:14:49 | → | Pickchea joins (~private@user/pickchea) |
| 08:17:16 | × | remexre quits (~remexre@user/remexre) (Read error: Connection reset by peer) |
| 08:17:54 | → | remexre joins (~remexre@user/remexre) |
| 08:18:18 | × | simikando quits (~simikando@bband-dyn179.95-103-254.t-com.sk) (Quit: Leaving) |
| 08:27:18 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 08:31:54 | × | __monty__ quits (~toonn@user/toonn) (Ping timeout: 258 seconds) |
| 08:32:03 | → | __monty__ joins (~toonn@user/toonn) |
| 08:34:26 | × | vglfr quits (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Remote host closed the connection) |
| 08:35:07 | → | BigKozlowski joins (~BigKozlow@46.164.226.25) |
| 08:35:31 | → | vglfr joins (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) |
| 08:40:03 | × | ft quits (~ft@p4fc2adfe.dip0.t-ipconnect.de) (Quit: leaving) |
| 08:44:28 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 08:45:18 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 252 seconds) |
| 08:45:44 | → | mima joins (~mmh@net-93-67-213-242.cust.vodafonedsl.it) |
| 08:46:26 | × | koz quits (~koz@121.99.240.58) (Ping timeout: 240 seconds) |
| 08:46:56 | × | flukiluke quits (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (Ping timeout: 240 seconds) |
| 08:47:16 | → | flukiluke joins (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) |
| 08:47:36 | × | Maxdamantus quits (~Maxdamant@user/maxdamantus) (Ping timeout: 246 seconds) |
| 08:48:44 | → | koz joins (~koz@121.99.240.58) |
| 08:49:32 | → | Maxdamantus joins (~Maxdamant@user/maxdamantus) |
| 08:52:10 | × | BigKozlowski quits (~BigKozlow@46.164.226.25) (Remote host closed the connection) |
| 08:57:12 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 08:58:42 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 09:00:58 | → | BigKozlowski joins (~BigKozlow@46.164.226.25) |
| 09:07:28 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 256 seconds) |
| 09:07:34 | × | ulysses4ever quits (~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671) (Ping timeout: 246 seconds) |
| 09:11:41 | × | NewtonTrendy quits (uid282092@user/bopqod) (Quit: Connection closed for inactivity) |
| 09:12:04 | × | BigKozlowski quits (~BigKozlow@46.164.226.25) (Remote host closed the connection) |
| 09:12:47 | → | dobblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 09:12:48 | × | dobblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 09:12:48 | → | dobblego joins (~dibblego@haskell/developer/dibblego) |
| 09:13:21 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 09:13:22 | dobblego | is now known as dibblego |
| 09:14:19 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 09:16:55 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 09:18:23 | <albet70> | f :: IO Data.ByteString -> IO () f rd = do {c <- rd;if (length c) > 0 then let m = parseMultipart bm (Data.Bytestring.Lazy.fromStrict c); f rd; else return ()} why this c isn't same to fromStrict c? |
| 09:19:06 | → | merijn joins (~merijn@83.128.129.88) |
| 09:20:01 | <albet70> | bodyReader return an IO ByteString, and parseMultipart work on Lazy ByteString, if I convert strict to lazy, it cause that problem, how I can avoid ot? |
| 09:21:06 | <ncf> | what's the problem? |
| 09:21:41 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 09:22:06 | <ncf> | c isn't the same as fromStrict c because they have different types |
| 09:22:17 | <albet70> | in the code, that c is changed for three times, and that m changed once then empty |
| 09:23:11 | <ncf> | what does that mean |
| 09:23:20 | <albet70> | I need to use parseMultipart to work on a strict bytestring, but parseMultipart take a lazy bytestring, what's the proper way? |
| 09:23:59 | <ncf> | fromStrict |
| 09:24:35 | × | eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 09:24:52 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 240 seconds) |
| 09:25:18 | <albet70> | let's assume that f is called for three times, the first time bytestring c is 'a' and that m is 'a', the second time c is 'b' and that m is '', the third time c is 'c' and m still '' |
| 09:28:18 | <ncf> | i would assume that you need to call parseMultipart on your entire message, not on chunks |
| 09:31:27 | <albet70> | how to make a function which take lazy bytestring to a function which take strict bytestring? |
| 09:34:32 | → | BigKozlowski joins (~BigKozlow@46.164.226.25) |
| 09:35:50 | <ncf> | (. fromStrict) |
| 09:39:15 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 09:43:08 | × | merijn quits (~merijn@83.128.129.88) (Ping timeout: 248 seconds) |
| 09:43:16 | <albet70> | how to make sure parseMultipart work on entire message not chunk? |
| 09:48:59 | × | BigKozlowski quits (~BigKozlow@46.164.226.25) (Remote host closed the connection) |
| 09:56:30 | <albet70> | let's assume there a strict bytestring "--abc--" and a function f which can only parse on startwith "--" and endwith "--", now turn this strict bytestring to lazy one, and pass it to f, and f can't parse it, because the bytestring turn into "--" "ab" "c--", how to solve this? |
| 09:59:04 | × | driib quits (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 10:00:07 | → | driib joins (~driib@176.57.184.141) |
| 10:01:57 | × | acidjnk quits (~acidjnk@p200300d6e7072f536806321f1c60626a.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 10:03:46 | × | xff0x quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 245 seconds) |
| 10:04:50 | <ncf> | that's not what's happening? you said you were calling f several times. don't do that? |
| 10:07:14 | → | BigKozlowski joins (~BigKozlow@46.164.226.25) |
| 10:07:17 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 10:09:24 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 10:10:42 | → | sm joins (~sm@plaintextaccounting/sm) |
| 10:11:19 | × | BigKozlowski quits (~BigKozlow@46.164.226.25) (Remote host closed the connection) |
| 10:11:34 | × | sm quits (~sm@plaintextaccounting/sm) (Client Quit) |
| 10:12:22 | → | BigKozlowski joins (~BigKozlow@46.164.226.25) |
| 10:12:43 | <albet70> | even I call f several times, how that can be solve? |
| 10:13:03 | → | shelby joins (~thomas_sh@115.96.219.244) |
| 10:14:32 | <shelby> | Hi.. I was working through learn haskell using a blog. had a question.. the author uses html embedded in haskell for creating a blogsite.. why would someone do that ? whats the adv of using EDSL? Is there better security? Its so much of additional work .. or i am not getting something here.. |
| 10:16:13 | → | acidjnk joins (~acidjnk@p200300d6e7072f536806321f1c60626a.dip0.t-ipconnect.de) |
| 10:24:06 | × | BigKozlowski quits (~BigKozlow@46.164.226.25) (Remote host closed the connection) |
| 10:25:03 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:70b5:4f93:e6c2:7ee0) |
| 10:28:56 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: Tschüss) |
| 10:29:35 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:70b5:4f93:e6c2:7ee0) (Ping timeout: 258 seconds) |
| 10:30:39 | × | CiaoSen quits (~Jura@2a05:5800:291:ee00:664b:f0ff:fe37:9ef) (Ping timeout: 246 seconds) |
| 10:32:13 | × | cyphase_eviltwin quits (~cyphase@user/cyphase) (Ping timeout: 248 seconds) |
| 10:32:59 | → | cyphase joins (~cyphase@user/cyphase) |
| 10:34:23 | → | danse-nr3_ joins (~francesco@151.57.253.86) |
| 10:37:00 | × | danse-nr3 quits (~francesco@151.47.251.93) (Ping timeout: 248 seconds) |
| 10:38:04 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 248 seconds) |
| 10:38:50 | × | shapr quits (~user@2600:1700:c640:3100:f8a1:ab8c:53c8:8f83) (Remote host closed the connection) |
| 10:39:04 | → | shapr joins (~user@2600:1700:c640:3100:9ea8:ecc6:abab:f033) |
| 10:43:28 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 10:46:34 | → | sm joins (~sm@plaintextaccounting/sm) |
| 10:47:44 | → | BigKozlowski joins (~BigKozlow@46.164.226.25) |
| 10:55:52 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 10:59:59 | × | danse-nr3_ quits (~francesco@151.57.253.86) (Remote host closed the connection) |
| 11:00:22 | → | danse-nr3_ joins (~francesco@151.57.253.86) |
| 11:04:32 | × | mima quits (~mmh@net-93-67-213-242.cust.vodafonedsl.it) (Ping timeout: 245 seconds) |
| 11:06:44 | × | tromp quits (~textual@92.110.219.57) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 11:10:32 | <danse-nr3_> | shelby, not sure which blog you are following, but probably the author is doing that to teach some concepts, while if you had to develop something you would use a library. Not sure about your question on EDSL. If you want HTML templating in haskell you will need an EDSL, how else could it be done? |
| 11:12:07 | → | cfricke joins (~cfricke@user/cfricke) |
| 11:21:51 | <danse-nr3_> | meh i have got a problem that seems interesting, went through test-driven dev and found once again the solution is going to be trivial |
| 11:22:54 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 11:24:53 | × | sm quits (~sm@plaintextaccounting/sm) (Quit: sm) |
| 11:27:21 | → | leon_on9527 joins (~yoyofreem@47.254.237.126) |
| 11:27:22 | × | BigKozlowski quits (~BigKozlow@46.164.226.25) (Remote host closed the connection) |
| 11:33:40 | × | danse-nr3_ quits (~francesco@151.57.253.86) (Ping timeout: 256 seconds) |
| 11:39:15 | → | danse-nr3_ joins (~francesco@151.57.253.86) |
| 11:40:13 | → | BigKozlowski joins (~BigKozlow@46.164.226.25) |
| 11:44:17 | × | zmt00 quits (~zmt00@user/zmt00) (Ping timeout: 246 seconds) |
| 11:45:47 | × | NinjaTrappeur quits (~ninja@user/ninjatrappeur) (Quit: WeeChat 4.0.1) |
| 11:45:50 | × | BigKozlowski quits (~BigKozlow@46.164.226.25) (Remote host closed the connection) |
| 11:47:01 | → | adeptangel joins (cren@tilde.team) |
| 11:47:43 | <adeptangel> | hi, beginner question here, what does a type definition with several terms in sequence mean like this: style :: Tok.GenLanguageDef T.Text () Identity |
| 11:48:13 | <adeptangel> | (T.Text is Data.Text.Text, Tok.GenLanguageDef is Text.Parsec.Token.GenLanguageDef) |
| 11:48:31 | <adeptangel> | (Identity is Data.Functor.Identity.Identity I think) |
| 11:51:16 | <danse-nr3_> | well i guess that Tok.GenLanguageDef is a parametric type, you can check its definition. So one can choose types to assign to the parameters |
| 11:52:01 | <probie> | It means that `Tok.GenLanguageDef` is a type that takes three parameters, in much the same way that things like `IO` and `Maybe` take one, and `Either` takes two |
| 11:52:59 | <probie> | You can use `:k` in GHCi to ask for the the kind of a type (sort of like a type for types) |
| 11:53:22 | <probie> | :k Either |
| 11:53:23 | <lambdabot> | * -> * -> * |
| 11:56:50 | → | anselmschueler joins (~anselmsch@user/schuelermine) |
| 11:57:59 | → | BigKozlowski joins (~BigKozlow@46.164.226.25) |
| 11:58:17 | <probie> | In this case specifically, it means a `GenLanguageDef` with stream type `T.Text`, with user state type `()` (i.e no additional user state), running in the `Identity` monad. But you have to look at the docs for `GenLanguageDef` (and `ParsecT`) to work that out |
| 12:00:26 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 12:03:31 | <adeptangel> | oh, parameteric types! makes sense thanks |
| 12:04:57 | × | anselmschueler quits (~anselmsch@user/schuelermine) (Ping timeout: 245 seconds) |
| 12:05:21 | → | SegmentationFaul joins (~Segmentat@185.151.84.54) |
| 12:05:31 | × | SegmentationFaul quits (~Segmentat@185.151.84.54) (Write error: Broken pipe) |
| 12:05:37 | → | SegmentationFaul joins (~Segmentat@185.151.84.54) |
| 12:07:08 | → | anselmschueler joins (~anselmsch@user/schuelermine) |
| 12:12:48 | × | BigKozlowski quits (~BigKozlow@46.164.226.25) (Remote host closed the connection) |
| 12:13:34 | → | xff0x joins (~xff0x@ai086045.d.east.v6connect.net) |
| 12:14:05 | × | ddellacosta quits (~ddellacos@146.70.171.100) (Ping timeout: 248 seconds) |
| 12:15:23 | × | leon_on9527 quits (~yoyofreem@47.254.237.126) (Remote host closed the connection) |
| 12:15:24 | × | yoyofreeman quits (~yoyofreem@47.254.237.126) (Remote host closed the connection) |
| 12:15:56 | → | yoyofreeman joins (~yoyofreem@47.254.237.126) |
| 12:22:10 | × | titibandit quits (~titibandi@user/titibandit) (Ping timeout: 246 seconds) |
| 12:22:26 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 12:31:00 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 12:33:10 | × | jero98772 quits (~jero98772@2800:484:1d84:300::2) (Ping timeout: 256 seconds) |
| 12:34:28 | → | fweht joins (uid404746@id-404746.lymington.irccloud.com) |
| 12:34:40 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 12:37:10 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 4.0.1) |
| 12:38:56 | → | ddellacosta joins (~ddellacos@143.244.47.100) |
| 12:43:15 | × | fendor quits (~fendor@2a02:8388:1640:be00:b586:6c06:a58:19a3) (Remote host closed the connection) |
| 12:43:25 | × | anselmschueler quits (~anselmsch@user/schuelermine) (Ping timeout: 244 seconds) |
| 12:44:15 | → | titibandit joins (~titibandi@user/titibandit) |
| 12:44:47 | → | fendor joins (~fendor@2a02:8388:1640:be00:b586:6c06:a58:19a3) |
| 12:46:26 | → | jero98772 joins (~jero98772@2800:484:1d84:300::2) |
| 12:49:03 | → | NinjaTrappeur joins (~ninja@user/ninjatrappeur) |
| 12:53:01 | × | paulpaul1076 quits (~textual@95-26-12-138.broadband.corbina.ru) (Quit: Textual IRC Client: www.textualapp.com) |
| 13:02:09 | → | sm joins (~sm@plaintextaccounting/sm) |
| 13:04:55 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 13:06:20 | × | sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 245 seconds) |
| 13:07:22 | × | danse-nr3_ quits (~francesco@151.57.253.86) (Remote host closed the connection) |
| 13:07:28 | × | hgolden quits (~hgolden@2603:8000:9d00:3ed1:fc05:5499:f77c:fbe5) (Remote host closed the connection) |
| 13:08:40 | → | sm joins (~sm@plaintextaccounting/sm) |
| 13:09:15 | → | hgolden joins (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) |
| 13:11:55 | × | sm quits (~sm@plaintextaccounting/sm) (Client Quit) |
| 13:15:51 | × | yoyofreeman quits (~yoyofreem@47.254.237.126) (Read error: Connection reset by peer) |
| 13:16:44 | → | yoyofreeman joins (~yoyofreem@47.254.237.126) |
| 13:18:05 | → | BigKozlowski joins (~BigKozlow@46.164.226.25) |
| 13:18:25 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 13:18:56 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 13:19:10 | → | smalltalkman joins (uid545680@id-545680.hampstead.irccloud.com) |
| 13:20:22 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 13:20:37 | → | sm joins (~sm@plaintextaccounting/sm) |
| 13:22:52 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 13:25:05 | × | sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 245 seconds) |
| 13:25:32 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 13:25:44 | → | mikoto-chan joins (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) |
| 13:28:39 | × | BigKozlowski quits (~BigKozlow@46.164.226.25) (Remote host closed the connection) |
| 13:33:46 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Quit: Leaving) |
| 13:35:03 | × | shapr quits (~user@2600:1700:c640:3100:9ea8:ecc6:abab:f033) (Remote host closed the connection) |
| 13:35:16 | → | shapr joins (~user@2600:1700:c640:3100:d16a:337f:1d9d:dd79) |
| 13:35:31 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 13:41:45 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 13:42:35 | × | jero98772 quits (~jero98772@2800:484:1d84:300::2) (Ping timeout: 245 seconds) |
| 13:43:07 | → | zmt00 joins (~zmt00@user/zmt00) |
| 13:44:37 | → | sm joins (~sm@plaintextaccounting/sm) |
| 13:47:44 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 13:48:58 | × | sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 246 seconds) |
| 13:49:12 | × | adeptangel quits (cren@tilde.team) (Quit: zzz) |
| 13:52:21 | → | danse-nr3 joins (~francesco@151.57.253.86) |
| 13:54:35 | → | jero98772 joins (~jero98772@2800:484:1d84:300::2) |
| 13:56:47 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 14:01:42 | → | idgaen joins (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 14:03:32 | → | sm joins (~sm@plaintextaccounting/sm) |
| 14:06:46 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 14:07:47 | → | ystael joins (~ystael@user/ystael) |
| 14:07:52 | × | sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 246 seconds) |
| 14:15:45 | × | acidjnk quits (~acidjnk@p200300d6e7072f536806321f1c60626a.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 14:21:37 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: Tschüss) |
| 14:21:49 | × | titibandit quits (~titibandi@user/titibandit) (Remote host closed the connection) |
| 14:22:01 | → | mima joins (~mmh@net-93-148-97-236.cust.dsl.teletu.it) |
| 14:22:40 | → | sm joins (~sm@plaintextaccounting/sm) |
| 14:27:06 | × | sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 246 seconds) |
| 14:27:44 | → | ulysses4ever joins (~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671) |
| 14:28:36 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:70b5:4f93:e6c2:7ee0) |
| 14:30:52 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 260 seconds) |
| 14:31:47 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 14:32:26 | → | simikando joins (~simikando@bband-dyn179.95-103-254.t-com.sk) |
| 14:32:44 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 256 seconds) |
| 14:32:51 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:70b5:4f93:e6c2:7ee0) (Ping timeout: 246 seconds) |
| 14:33:45 | → | __monty__ joins (~toonn@user/toonn) |
| 14:34:01 | → | danse-nr3_ joins (~francesco@151.43.157.1) |
| 14:35:07 | × | remedan quits (~remedan@ip-94-112-0-18.bb.vodafone.cz) (Quit: Bye!) |
| 14:35:57 | → | dibblego joins (~dibblego@116.255.1.151) |
| 14:35:58 | × | dibblego quits (~dibblego@116.255.1.151) (Changing host) |
| 14:35:58 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 14:36:42 | × | danse-nr3 quits (~francesco@151.57.253.86) (Ping timeout: 256 seconds) |
| 14:39:15 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 14:42:18 | → | abrantesasf joins (~abrantesa@179.217.48.72) |
| 14:43:50 | × | simikando quits (~simikando@bband-dyn179.95-103-254.t-com.sk) (Ping timeout: 245 seconds) |
| 14:46:19 | → | remedan joins (~remedan@ip-94-112-0-18.bb.vodafone.cz) |
| 14:46:21 | → | simikando joins (~simikando@95.103.254.179) |
| 14:47:11 | × | yoyofreeman quits (~yoyofreem@47.254.237.126) (Read error: Connection reset by peer) |
| 14:47:52 | → | yoyofreeman joins (~yoyofreem@47.254.237.126) |
| 14:51:22 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:9e77:e0c5:f6b6:3530) (Quit: WeeChat 2.8) |
| 14:52:44 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 14:58:21 | × | yoyofreeman quits (~yoyofreem@47.254.237.126) (Read error: Connection reset by peer) |
| 14:58:36 | → | sm joins (~sm@plaintextaccounting/sm) |
| 14:59:44 | × | SegmentationFaul quits (~Segmentat@185.151.84.54) (Quit: Client closed) |
| 15:01:39 | × | __monty__ quits (~toonn@user/toonn) (Read error: Connection reset by peer) |
| 15:03:00 | × | sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 245 seconds) |
| 15:04:19 | → | shriekingnoise joins (~shrieking@186.137.175.87) |
| 15:05:25 | <danse-nr3_> | % f v = do { putStrLn (show v); pure (Just v) } |
| 15:05:25 | <yahb2> | <no output> |
| 15:05:38 | <danse-nr3_> | % liftM2 (<|>) (f 1) (f 2) |
| 15:05:38 | <yahb2> | <interactive>:13:1: error: ; Variable not in scope: ; liftM2 :: t0 -> IO (Maybe a0) -> IO (Maybe a1) -> t ; ; <interactive>:13:8: error: ; • Variable not in scope: <|> ; • Perhap... |
| 15:05:51 | <danse-nr3_> | % import Control.Monad |
| 15:05:52 | <yahb2> | <no output> |
| 15:05:58 | <danse-nr3_> | % import Control.Applicative |
| 15:05:58 | <yahb2> | <no output> |
| 15:06:01 | <danse-nr3_> | % liftM2 (<|>) (f 1) (f 2) |
| 15:06:01 | <yahb2> | 1 ; 2 ; Just 1 |
| 15:06:15 | × | simikando quits (~simikando@95.103.254.179) (Quit: Leaving) |
| 15:06:42 | <albet70> | I don't understand why parseMultipart apply on a lazy bytestring, which may cause lots of failed parse because of lazy bytestring |
| 15:07:46 | → | __monty__ joins (~toonn@user/toonn) |
| 15:08:10 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 15:08:16 | × | shelby quits (~thomas_sh@115.96.219.244) (Ping timeout: 258 seconds) |
| 15:09:32 | × | Maxdamantus quits (~Maxdamant@user/maxdamantus) (Ping timeout: 245 seconds) |
| 15:11:28 | → | Maxdamantus joins (~Maxdamant@user/maxdamantus) |
| 15:11:58 | <ncf> | lazy or strict is just a matter of representation, it doesn't (shouldn't) matter to the actual results |
| 15:15:19 | <albet70> | there are three bytestring, which are webkitboundary msg, only the first one can be parsed by parseMultipart, and the rest can't, I don't know why |
| 15:15:49 | × | jargon quits (~jargon@174.22.213.62) (Remote host closed the connection) |
| 15:17:29 | <ncf> | but the three bytestrings represent chunks of a single message, right? |
| 15:18:01 | <ncf> | so you should concatenate them into a single bytestring and call parseMultipart on that |
| 15:26:52 | <albet70> | that indicates another question, for example, I upload three files, which make 3 bytestring, but turn that strict string to lazy string, it may be 7 bytestring, and how I can concat them and make parseMultipart apply on right one? |
| 15:29:16 | <ncf> | if you turn 3 strict bytestrings into lazy bytestrings you've got 3 lazy bytestrings |
| 15:30:11 | → | titibandit joins (~titibandi@user/titibandit) |
| 15:32:18 | → | ft joins (~ft@80.141.190.80) |
| 15:32:28 | × | danse-nr3_ quits (~francesco@151.43.157.1) (Remote host closed the connection) |
| 15:32:48 | <albet70> | oh I see |
| 15:32:48 | → | danse-nr3_ joins (~francesco@151.43.157.1) |
| 15:35:49 | × | titibandit quits (~titibandi@user/titibandit) (Remote host closed the connection) |
| 15:38:05 | <probie> | albet70: converting a strict bytestring into a lazy bytestring is a _very_ cheap operation (it doesn't involve any copying of data) and concat-ing lazy bytestrings is also very cheap. |
| 15:38:11 | <albet70> | but I tried it, one chunk like "abc", I turn it into lazy bytestring, and print it, it may not be full "abc", why? |
| 15:38:21 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 248 seconds) |
| 15:38:36 | <probie> | How are you printing it? |
| 15:39:03 | <ncf> | that should not happen |
| 15:39:27 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 15:39:27 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 15:39:27 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 15:40:19 | <albet70> | print $ (Data.ByteString.Char8.unpack . Data.ByteString.Lazy.toStrict) lazystr |
| 15:40:24 | → | flounders joins (~flounders@24.246.133.1) |
| 15:41:15 | <ncf> | that prints lazystr |
| 15:41:44 | <ncf> | if lazystr is not the whole message, you have a logic issue |
| 15:42:26 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 256 seconds) |
| 15:42:37 | <albet70> | ok |
| 15:44:16 | <EvanR> | maybe it's a buffering thing? |
| 15:44:29 | <EvanR> | stdout line buffering vs character vs block |
| 15:46:16 | × | troydm quits (~troydm@user/troydm) (Ping timeout: 245 seconds) |
| 15:47:25 | → | dcoutts joins (~duncan@188.164.224.156) |
| 15:47:55 | <probie> | EvanR: I don't think that's what is going on here - stdout is normally line buffered and print appends a newline |
| 15:48:40 | <probie> | Perhaps there are carriage returns without newlines in the string itself? |
| 15:49:30 | <probie> | actually, that shouldn't come in to play, because it's `print`, not `putStrLn`. |
| 15:50:07 | → | troydm joins (~troydm@user/troydm) |
| 15:50:22 | <geekosaur> | did you verify that lazystr is what you think it is? |
| 15:50:45 | <geekosaur> | say, by looking for some sequence inside it? |
| 15:51:31 | <geekosaur> | (normally I'd say by printing it, but since that's what's "failing" I am *very* suspicious) |
| 15:53:38 | → | kupi joins (uid212005@id-212005.hampstead.irccloud.com) |
| 15:55:14 | <geekosaur> | converting a strict ByteString to a lazy one should basically be wrapping it in a list, possibly with a chunksOf thrown in for long ones |
| 15:56:04 | → | simikando joins (~simikando@bband-dyn179.95-103-254.t-com.sk) |
| 15:57:46 | → | noteness joins (~noteness@user/noteness) |
| 15:57:52 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 15:58:00 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 15:58:11 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:6085:9764:49dd:5dc5) |
| 15:58:58 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 15:59:14 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 244 seconds) |
| 16:01:34 | kupi | is now known as shokey |
| 16:01:36 | <albet70> | bodyReader return strict ByteString as chunked data, but parseMultipart apply on lazy ByteString, I don't why it is designed? |
| 16:01:45 | × | dcoutts quits (~duncan@188.164.224.156) (Ping timeout: 245 seconds) |
| 16:02:06 | <albet70> | so I should get all the chunks then apply parsemultipart? |
| 16:03:01 | <albet70> | but what if that all of chunks are bigger than memory? that would be a problem? |
| 16:05:47 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 16:09:54 | <EvanR> | parsing a lazy ByteString the point of that concern |
| 16:09:59 | <EvanR> | is the point |
| 16:10:36 | <EvanR> | a lazy ByteString has a chance (there's that word again) of not existing in memory all at once |
| 16:11:11 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 16:11:31 | × | shokey quits (uid212005@id-212005.hampstead.irccloud.com) () |
| 16:12:17 | → | kupi joins (uid212005@2a03:5180:f:4::3:3c25) |
| 16:12:17 | <albet70> | but before parse on it, that collect all strict bytestring is not dangerous? |
| 16:14:20 | <EvanR> | collecting a bunch of string bytestrings would defeat that purpose yes |
| 16:14:23 | <ncf> | what library is bodyReader from? |
| 16:15:00 | → | artem joins (~artem@2601:408:c405:6471:f474:e3f8:9806:671) |
| 16:15:06 | × | ulysses4ever quits (~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671) (Read error: Connection reset by peer) |
| 16:15:13 | → | ulysses4ever joins (~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671) |
| 16:15:22 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 16:15:29 | × | ulysses4ever quits (~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671) (Read error: Connection reset by peer) |
| 16:15:41 | → | ulysses4ever joins (~artem@172.58.144.179) |
| 16:16:06 | <albet70> | Web.Scotty |
| 16:16:25 | <EvanR> | for HTTP usually the library has a way to get the body contents incrementally if not as a questionable lazy I/O lazy bytestring |
| 16:16:37 | <mauke> | is https://developer.mozilla.org/ working for you? |
| 16:16:58 | <EvanR> | page loads, dunno about "working" |
| 16:17:56 | <mauke> | seems to fail somewhere in DNS here |
| 16:18:05 | → | sm joins (~sm@plaintextaccounting/sm) |
| 16:18:08 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 16:18:50 | × | artem quits (~artem@2601:408:c405:6471:f474:e3f8:9806:671) (Read error: Connection reset by peer) |
| 16:18:51 | × | ulysses4ever quits (~artem@172.58.144.179) (Read error: Connection reset by peer) |
| 16:18:57 | → | artem joins (~artem@172.58.144.179) |
| 16:19:07 | × | simikando quits (~simikando@bband-dyn179.95-103-254.t-com.sk) (Ping timeout: 246 seconds) |
| 16:19:36 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 16:19:42 | <EvanR> | developer.mozilla.org is an alias for mdn.prod.mdn.prod.webservices.mozgcp.net. |
| 16:19:50 | <EvanR> | mdn.prod.mdn.prod.webservices.mozgcp.net has address 34.111.97.67 |
| 16:20:09 | <ncf> | albet70: body gives you a lazy bytestring |
| 16:20:25 | <mauke> | ;; ->>HEADER<<- opcode: QUERY, status: SERVFAIL, id: 12449 |
| 16:20:42 | <EvanR> | contact your network administrator |
| 16:20:53 | <mauke> | it me |
| 16:20:56 | <EvanR> | lol |
| 16:21:03 | <EvanR> | the worst |
| 16:21:38 | <mauke> | oh, I bet you're being saved by some cache |
| 16:22:02 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 245 seconds) |
| 16:22:16 | <mauke> | e.g. 4.2.2.1 has all the answers |
| 16:22:35 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 16:23:13 | <EvanR> | never trash talk cache when it's actually working |
| 16:23:21 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 16:24:01 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 16:25:40 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 16:25:44 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 16:25:52 | → | BigKozlowski joins (~BigKozlow@84.21.165.226) |
| 16:27:20 | <albet70> | ncf , but I need chunked data for large files upload |
| 16:28:25 | × | sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 245 seconds) |
| 16:31:37 | → | mvk joins (~mvk@2607:fea8:5c9a:a600::1c6d) |
| 16:35:08 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 16:36:04 | <EvanR> | the chunks are chunking behind the scenes probably |
| 16:36:33 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 16:37:04 | <EvanR> | if the upload is presented to you as a lazy I/O lazy ByteString you can just Data.ByteString.Lazy.writeFile it to disk |
| 16:38:16 | <albet70> | EvanR , I need to parseMultipart parse those bytestring to extract file name and data |
| 16:39:20 | <EvanR> | then it's not as simple as I say, but still possible for something to lazily process the body |
| 16:40:39 | × | fendor quits (~fendor@2a02:8388:1640:be00:b586:6c06:a58:19a3) (Remote host closed the connection) |
| 16:41:20 | → | simikando joins (~simikando@bband-dyn179.95-103-254.t-com.sk) |
| 16:41:28 | → | notzmv joins (~zmv@user/notzmv) |
| 16:41:39 | × | danse-nr3_ quits (~francesco@151.43.157.1) (Ping timeout: 246 seconds) |
| 16:41:51 | × | vpan quits (~vpan@212.117.1.172) (Quit: Leaving.) |
| 16:42:15 | → | ripspin joins (~chatzilla@1.145.193.113) |
| 16:42:16 | <EvanR> | is parseMultipart from the multipart package. Because it does just this |
| 16:43:45 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds) |
| 16:48:27 | → | danza joins (~francesco@151.43.157.1) |
| 16:51:21 | <albet70> | yes |
| 16:54:19 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 16:54:28 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 16:56:24 | → | sm joins (~sm@plaintextaccounting/sm) |
| 16:57:46 | → | sm_ joins (~sm@plaintextaccounting/sm) |
| 16:59:41 | → | sm__ joins (~sm@plaintextaccounting/sm) |
| 17:00:55 | × | mima quits (~mmh@net-93-148-97-236.cust.dsl.teletu.it) (Ping timeout: 245 seconds) |
| 17:01:00 | × | sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 248 seconds) |
| 17:01:50 | → | sm joins (~sm@plaintextaccounting/sm) |
| 17:02:09 | × | sm_ quits (~sm@plaintextaccounting/sm) (Ping timeout: 246 seconds) |
| 17:04:12 | × | sm__ quits (~sm@plaintextaccounting/sm) (Ping timeout: 250 seconds) |
| 17:05:14 | × | shapr quits (~user@2600:1700:c640:3100:d16a:337f:1d9d:dd79) (Remote host closed the connection) |
| 17:05:28 | → | shapr joins (~user@2600:1700:c640:3100:e089:a1c4:a31c:b5d7) |
| 17:06:20 | × | mvk quits (~mvk@2607:fea8:5c9a:a600::1c6d) (Ping timeout: 258 seconds) |
| 17:07:32 | → | acidjnk joins (~acidjnk@p200300d6e7072f53e071d7bf0b4b53fa.dip0.t-ipconnect.de) |
| 17:09:27 | × | BigKozlowski quits (~BigKozlow@84.21.165.226) (Remote host closed the connection) |
| 17:12:12 | → | thegeekinside joins (~thegeekin@189.217.90.224) |
| 17:12:24 | × | simikando quits (~simikando@bband-dyn179.95-103-254.t-com.sk) (Quit: Leaving) |
| 17:13:11 | → | BigKozlowski joins (~BigKozlow@84.21.165.226) |
| 17:20:18 | → | nate2 joins (~nate@98.45.169.16) |
| 17:23:23 | → | titibandit joins (~titibandi@user/titibandit) |
| 17:24:28 | × | nate2 quits (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 17:32:10 | → | mvk joins (~mvk@2607:fea8:5c9a:a600::1c6d) |
| 17:38:03 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 17:39:30 | × | titibandit quits (~titibandi@user/titibandit) (Remote host closed the connection) |
| 17:40:44 | → | titibandit joins (~titibandi@user/titibandit) |
| 17:43:19 | × | titibandit quits (~titibandi@user/titibandit) (Remote host closed the connection) |
| 17:45:11 | × | ripspin quits (~chatzilla@1.145.193.113) (Remote host closed the connection) |
| 17:47:27 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 260 seconds) |
| 18:03:25 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 246 seconds) |
| 18:03:31 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 18:04:06 | → | ursa-major joins (~ursa-majo@static-198-44-128-183.cust.tzulo.com) |
| 18:05:50 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 18:08:26 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 18:09:21 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
| 18:09:58 | → | simikando joins (~simikando@bband-dyn179.95-103-254.t-com.sk) |
| 18:10:00 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 18:10:00 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 18:10:00 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 18:17:27 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 245 seconds) |
| 18:18:43 | <stefan-_> | finally managed to get HXT to process my xml, the arrow-based approach seems very nice |
| 18:20:21 | <stefan-_> | took me a while to figure out how to do IO while processing using https://hackage.haskell.org/package/hxt-9.3.1.22/docs/Control-Arrow-ArrowList.html#v:-36--60- |
| 18:22:27 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 260 seconds) |
| 18:30:51 | → | u0_a202 joins (~u0_a202@31.4.180.71) |
| 18:30:56 | u0_a202 | is now known as dom0 |
| 18:33:55 | × | danza quits (~francesco@151.43.157.1) (Read error: Connection reset by peer) |
| 18:34:28 | → | danza joins (~francesco@151.43.236.78) |
| 18:38:04 | × | simikando quits (~simikando@bband-dyn179.95-103-254.t-com.sk) (Quit: Leaving) |
| 18:40:30 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:45:00 | × | jero98772 quits (~jero98772@2800:484:1d84:300::2) (Ping timeout: 248 seconds) |
| 18:55:29 | → | jero98772 joins (~jero98772@2800:484:1d84:300::2) |
| 18:57:44 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 18:59:31 | → | misterfish joins (~misterfis@178.226.69.115) |
| 19:02:26 | → | mima joins (~mmh@93.148.97.236) |
| 19:06:46 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 19:07:24 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 19:08:27 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 19:09:13 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 19:12:06 | × | artem quits (~artem@172.58.144.179) (Ping timeout: 245 seconds) |
| 19:12:50 | → | ulysses4ever joins (~artem@172.58.144.179) |
| 19:15:18 | × | misterfish quits (~misterfis@178.226.69.115) (Ping timeout: 246 seconds) |
| 19:17:56 | × | shapr quits (~user@2600:1700:c640:3100:e089:a1c4:a31c:b5d7) (Remote host closed the connection) |
| 19:18:11 | → | shapr joins (~user@2600:1700:c640:3100:c5ff:3965:4f0:3341) |
| 19:18:49 | × | BigKozlowski quits (~BigKozlow@84.21.165.226) (Remote host closed the connection) |
| 19:19:25 | → | BigKozlowski joins (~BigKozlow@84.21.165.226) |
| 19:19:30 | → | Pickchea joins (~private@user/pickchea) |
| 19:23:16 | <exarkun> | With Network.Connection (via http-client-tls) how do I know the TLS handshake has succeeded? |
| 19:23:25 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 19:24:50 | ← | dom0 parts (~u0_a202@31.4.180.71) (WeeChat 4.0.1) |
| 19:25:09 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 19:29:25 | → | simikando joins (~simikando@bband-dyn179.95-103-254.t-com.sk) |
| 19:31:55 | → | misterfish joins (~misterfis@178.226.69.115) |
| 19:37:14 | × | vglfr quits (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Ping timeout: 252 seconds) |
| 19:37:39 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 19:43:06 | × | fweht quits (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 19:43:18 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 19:47:20 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 19:55:35 | → | Marcel2 joins (~Midjak@82.66.147.146) |
| 19:56:13 | → | notzmv joins (~zmv@user/notzmv) |
| 20:02:52 | × | mima quits (~mmh@93.148.97.236) (Ping timeout: 248 seconds) |
| 20:05:44 | → | dcoutts joins (~duncan@188.164.224.156) |
| 20:08:20 | × | idgaen quits (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 20:14:42 | → | Sgeo_ joins (~Sgeo@user/sgeo) |
| 20:14:58 | × | jonathan_ quits (~jonathan@193.203.13.36) (Remote host closed the connection) |
| 20:15:15 | → | jonathan_ joins (~jonathan@193.203.13.36) |
| 20:15:28 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 20:16:50 | × | dcoutts quits (~duncan@188.164.224.156) (Ping timeout: 252 seconds) |
| 20:17:22 | × | misterfish quits (~misterfis@178.226.69.115) (Ping timeout: 260 seconds) |
| 20:17:22 | × | BigKozlowski quits (~BigKozlow@84.21.165.226) (Read error: Connection reset by peer) |
| 20:17:40 | → | BigKozlowski joins (~BigKozlow@84.21.165.226) |
| 20:18:02 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 20:23:20 | → | caryhartline joins (~caryhartl@168.182.58.169) |
| 20:28:03 | → | mima joins (~mmh@net-93-148-97-236.cust.dsl.teletu.it) |
| 20:36:26 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 20:37:47 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 20:39:48 | → | pavonia joins (~user@user/siracusa) |
| 20:39:57 | × | bliminse quits (~bliminse@user/bliminse) (Ping timeout: 245 seconds) |
| 20:42:48 | × | simikando quits (~simikando@bband-dyn179.95-103-254.t-com.sk) (Quit: Leaving) |
| 20:44:49 | × | bgs quits (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 20:46:37 | × | ulysses4ever quits (~artem@172.58.144.179) (Ping timeout: 245 seconds) |
| 20:47:06 | → | bliminse joins (~bliminse@user/bliminse) |
| 20:51:49 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 20:54:13 | × | caryhartline quits (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 20:59:49 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 21:01:21 | × | kimiamania60 quits (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 21:01:45 | → | kimiamania60 joins (~65804703@user/kimiamania) |
| 21:06:44 | × | jonathan_ quits (~jonathan@193.203.13.36) (Ping timeout: 246 seconds) |
| 21:07:09 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:11:26 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 21:11:48 | → | ulysses4ever joins (~artem@2601:408:c405:5cdb:f474:e3f8:9806:671) |
| 21:13:54 | × | ulysses4ever quits (~artem@2601:408:c405:5cdb:f474:e3f8:9806:671) (Read error: Connection reset by peer) |
| 21:13:55 | → | artem joins (~artem@2601:408:c405:5cdb:f474:e3f8:9806:671) |
| 21:18:58 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 21:20:44 | × | artem quits (~artem@2601:408:c405:5cdb:f474:e3f8:9806:671) (Read error: Connection reset by peer) |
| 21:21:00 | → | Tuplanolla joins (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 21:21:12 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:21:25 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 21:22:36 | → | arahael joins (~arahael@124.170.239.247) |
| 21:24:16 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 21:24:34 | → | vglfr joins (~vglfr@188.239.201.89) |
| 21:26:12 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 21:33:22 | → | caryhartline joins (~caryhartl@168.182.58.169) |
| 21:33:46 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 21:40:37 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:43:21 | × | td_ quits (~td@i53870920.versanet.de) (Ping timeout: 245 seconds) |
| 21:45:31 | → | td_ joins (~td@i5387092B.versanet.de) |
| 21:46:08 | → | tom__ joins (~tom@host86-132-186-152.range86-132.btcentralplus.com) |
| 21:46:14 | × | tom_ quits (~tom@2a00:23c8:970c:4801:5b6a:e81b:79dc:f684) (Remote host closed the connection) |
| 21:52:45 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 21:54:24 | × | acidjnk quits (~acidjnk@p200300d6e7072f53e071d7bf0b4b53fa.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 22:00:55 | <shapr> | stefan-_: Yeah, I made good money with HXT once or twice decades ago |
| 22:02:47 | <EvanR> | XM£ |
| 22:04:57 | × | jero98772 quits (~jero98772@2800:484:1d84:300::2) (Ping timeout: 258 seconds) |
| 22:08:58 | → | NewtonTrendy joins (uid282092@user/bopqod) |
| 22:09:41 | <stefan-_> | shapr, nowadays mostly JSON? |
| 22:10:12 | <stefan-_> | at $work we use "the best technology of the 90s" ;) |
| 22:10:52 | × | mikoto-chan quits (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) (Ping timeout: 240 seconds) |
| 22:12:57 | <geekosaur> | some 90s tech is a vast improvement over its successors… |
| 22:12:58 | → | mikoto-chan joins (~mikoto-ch@85-76-86-24-nat.elisa-mobile.fi) |
| 22:13:00 | × | mvk quits (~mvk@2607:fea8:5c9a:a600::1c6d) (Ping timeout: 245 seconds) |
| 22:13:43 | <darkling> | ... and some is just a less efficient tedious rehash. As always. |
| 22:13:59 | <darkling> | I'm fed up of RPC implementations. :) |
| 22:18:12 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
| 22:18:21 | × | mikoto-chan quits (~mikoto-ch@85-76-86-24-nat.elisa-mobile.fi) (Ping timeout: 245 seconds) |
| 22:21:32 | × | caryhartline quits (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 22:21:47 | × | sm quits (~sm@plaintextaccounting/sm) (Quit: sm) |
| 22:24:45 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 22:24:45 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 22:24:45 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 22:26:18 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 22:27:51 | <shapr> | stefan-_: yeah, nowadays it's mostly JSON and some CBOR |
| 22:34:26 | × | danza quits (~francesco@151.43.236.78) (Read error: Connection reset by peer) |
| 22:34:28 | → | danza_ joins (~francesco@151.37.240.1) |
| 22:34:48 | × | arahael quits (~arahael@124.170.239.247) (Ping timeout: 246 seconds) |
| 22:47:58 | → | caryhartline joins (~caryhartl@168.182.58.169) |
| 22:50:57 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 22:51:04 | → | wroathe joins (~wroathe@96.88.30.181) |
| 22:51:04 | × | wroathe quits (~wroathe@96.88.30.181) (Changing host) |
| 22:51:04 | → | wroathe joins (~wroathe@user/wroathe) |
| 22:54:30 | <wroathe> | Hey guys, I just generated a profile for my program, and while the text file is cool and all do you guys know of any good GUIs that can make the data a little clearer? |
| 22:56:29 | <EvanR> | you can convert the data into a postscript document... with a command... https://downloads.haskell.org/~ghc/7.2.1/docs/html/users_guide/hp2ps.html |
| 22:59:42 | <stefan-_> | wroathe, there are also: https://github.com/portnov/ghcprofview-hs and https://github.com/jaspervdj/profiteur |
| 23:11:45 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 245 seconds) |
| 23:13:06 | → | ulysses4ever joins (~artem@73.145.241.238) |
| 23:13:25 | × | caryhartline quits (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 23:15:41 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 23:16:46 | → | artem joins (~artem@73.145.241.238) |
| 23:16:47 | × | ulysses4ever quits (~artem@73.145.241.238) (Read error: Connection reset by peer) |
| 23:21:21 | → | caryhartline joins (~caryhartl@168.182.58.169) |
| 23:21:26 | × | artem quits (~artem@73.145.241.238) (Ping timeout: 256 seconds) |
| 23:21:47 | <wroathe> | Thanks guys |
| 23:23:56 | × | mud quits (~mud@user/kadoban) (Quit: quit) |
| 23:25:12 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 23:27:08 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
| 23:27:44 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 23:33:27 | × | kupi quits (uid212005@2a03:5180:f:4::3:3c25) (Quit: Connection closed for inactivity) |
| 23:34:32 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 23:36:23 | × | BigKozlowski quits (~BigKozlow@84.21.165.226) (Read error: Connection reset by peer) |
| 23:36:29 | → | BigKozlo_ joins (~BigKozlow@84.21.165.226) |
| 23:41:34 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 250 seconds) |
| 23:42:24 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 23:51:14 | → | bratwurst joins (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) |
| 23:53:14 | → | Guest73 joins (~Guest73@c-73-158-239-55.hsd1.ca.comcast.net) |
| 23:54:25 | <Guest73> | Does anyone know why (fmap . fmap) sum Just [1,2,3] returns 6? My understanding of (fmap . fmap) sum is that the first argument to the resulting function should be a functor within a functor that contains a foldable, yet Just [1,2,3] is a functor within a functor that contains numerical values. |
| 23:55:05 | <hpc> | :t fmap |
| 23:55:06 | <lambdabot> | Functor f => (a -> b) -> f a -> f b |
| 23:55:09 | <hpc> | :t (.) |
| 23:55:10 | <lambdabot> | (b -> c) -> (a -> b) -> a -> c |
| 23:55:28 | <hpc> | so, fmap is in the position of (b -> c) and (a -> b) |
| 23:55:44 | <hpc> | to make that type fit, we can look at it like Functor f => (a -> b) -> (f a -> f b), because currying |
| 23:56:02 | <hpc> | which fits the patatern of some sort of (x -> y) thing |
| 23:56:17 | <hpc> | doing some substitution for a/b/c, we might get |
| 23:56:20 | <hpc> | :t fmap . fmap |
| 23:56:21 | <lambdabot> | (Functor f1, Functor f2) => (a -> b) -> f1 (f2 a) -> f1 (f2 b) |
| 23:56:41 | <hpc> | sum is the (a -> b) |
| 23:57:24 | <hpc> | and then the parens aren't right, so f1 is actually ((a -> Maybe a) -> [Int]) |
| 23:57:50 | <hpc> | er |
| 23:58:04 | <hpc> | :t (fmap . fmap) sum Just [1,2,3] |
| 23:58:05 | <lambdabot> | Num a => Maybe a |
| 23:58:17 | <hpc> | oh, yes |
| 23:58:24 | <hpc> | derp |
| 23:58:30 | <hpc> | f1 is (a ->) |
| 23:58:33 | <hpc> | f2 is Maybe |
| 23:58:45 | <hpc> | because Just :: a -> Maybe a, and that has to fit f1 (f2 a) |
| 23:58:54 | <hpc> | so finally we end up with... |
| 23:58:59 | <hpc> | :t (fmap . fmap) sum |
| 23:59:00 | <lambdabot> | (Functor f1, Functor f2, Foldable t, Num b) => f1 (f2 (t b)) -> f1 (f2 b) |
| 23:59:04 | <hpc> | :t (fmap . fmap) sum Just |
| 23:59:05 | <lambdabot> | (Foldable t, Num b) => t b -> Maybe b |
| 23:59:19 | <hpc> | and that function gets [1, 2, 3] applied to it |
| 23:59:35 | <hpc> | summing the list and Just-ing it |
All times are in UTC on 2023-08-18.