Logs on 2022-05-03 (liberachat/#haskell)
| 00:01:25 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 260 seconds) |
| 00:07:10 | × | ec quits (~ec@gateway/tor-sasl/ec) (Quit: ec) |
| 00:07:21 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 00:09:04 | → | xff0x_ joins (~xff0x@om126234061065.16.openmobile.ne.jp) |
| 00:10:44 | × | werneta quits (~werneta@137.79.215.173) (Ping timeout: 248 seconds) |
| 00:12:34 | → | segfaultfizzbuzz joins (~segfaultf@135-180-12-202.fiber.dynamic.sonic.net) |
| 00:13:25 | × | zeenk quits (~zeenk@2a02:2f04:a004:9b00:1efc:c1cf:378d:8b3d) (Quit: Konversation terminated!) |
| 00:14:57 | → | tommd joins (~tommd@97-120-41-123.ptld.qwest.net) |
| 00:20:16 | ChanServ | sets mode +o litharge |
| 00:20:17 | litharge | sets mode -bo *!*@id-509081.hampstead.irccloud.com litharge |
| 00:23:21 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 00:23:21 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 00:23:21 | → | wroathe joins (~wroathe@user/wroathe) |
| 00:25:21 | × | ec quits (~ec@gateway/tor-sasl/ec) (Quit: ec) |
| 00:25:36 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 00:26:21 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 00:27:33 | × | segfaultfizzbuzz quits (~segfaultf@135-180-12-202.fiber.dynamic.sonic.net) (Quit: segfaultfizzbuzz) |
| 00:36:20 | × | vicfred quits (~vicfred@user/vicfred) (Quit: Leaving) |
| 00:39:39 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 260 seconds) |
| 00:41:02 | × | ec quits (~ec@gateway/tor-sasl/ec) (Quit: ec) |
| 00:41:15 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 00:45:01 | × | Tuplanolla quits (~Tuplanoll@91-159-68-39.elisa-laajakaista.fi) (Quit: Leaving.) |
| 00:45:04 | → | benin joins (~benin@183.82.178.195) |
| 00:51:16 | × | benin quits (~benin@183.82.178.195) (Ping timeout: 248 seconds) |
| 00:52:20 | × | gurkenglas quits (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) (Ping timeout: 248 seconds) |
| 00:53:15 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 00:54:30 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 246 seconds) |
| 00:59:01 | × | shailangsa quits (~shailangs@host86-186-127-233.range86-186.btcentralplus.com) () |
| 01:10:37 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:11:35 | → | benin joins (~benin@183.82.204.110) |
| 01:12:27 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 01:16:45 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:39:19 | → | andrey_ joins (~andrey@p200300dbcf124f00795a85a8270252ce.dip0.t-ipconnect.de) |
| 01:41:39 | × | andrey__ quits (~andrey@p200300dbcf06ad00ac6ace76fcaf9f34.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 01:43:37 | → | ajb_ joins (~ajb@mimas.whatbox.ca) |
| 01:44:30 | × | Inoperable quits (~PLAYER_1@fancydata.science) (Quit: All your buffer are belong to us!) |
| 01:44:47 | × | tubogram4 quits (~tubogram@user/tubogram) (Quit: See ya later!) |
| 01:44:53 | × | flukiluke quits (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (Remote host closed the connection) |
| 01:45:12 | → | flukiluke joins (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) |
| 01:46:23 | × | ajb quits (~ajb@mimas.whatbox.ca) (Read error: Connection reset by peer) |
| 01:54:00 | → | hsw joins (~hsw@112-104-144-236.adsl.dynamic.seed.net.tw) |
| 01:55:48 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 248 seconds) |
| 01:59:52 | → | tubogram4 joins (~tubogram@user/tubogram) |
| 02:01:36 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 02:04:30 | × | waleee quits (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 260 seconds) |
| 02:08:12 | → | Inoperable joins (~PLAYER_1@fancydata.science) |
| 02:16:00 | → | uncomfy joins (~uncomfy@103.164.146.141) |
| 02:17:19 | × | uncomfy quits (~uncomfy@103.164.146.141) (Client Quit) |
| 02:21:53 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 02:25:28 | → | notzmv joins (~zmv@user/notzmv) |
| 02:28:16 | → | abastro joins (~abab9579@192.249.26.68) |
| 02:31:17 | × | zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 02:31:59 | × | xff0x_ quits (~xff0x@om126234061065.16.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 02:35:19 | × | euandreh quits (~euandreh@2804:14c:33:9fe5:2165:73d6:1630:f174) (Quit: WeeChat 3.5) |
| 02:36:12 | × | TonyStone quits (~TonyStone@2603-7080-8607-c36a-0019-c4db-1431-3cc1.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 02:38:50 | × | Unicorn_Princess quits (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection) |
| 02:44:29 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 02:45:02 | × | inversed quits (~inversed@94.13.111.159) (Ping timeout: 272 seconds) |
| 02:46:47 | → | euandreh joins (~euandreh@2804:14c:33:9fe5:2165:73d6:1630:f174) |
| 02:48:14 | → | inversed joins (~inversed@94.13.111.159) |
| 02:48:23 | × | tommd quits (~tommd@97-120-41-123.ptld.qwest.net) (Ping timeout: 256 seconds) |
| 02:48:25 | → | TonyStone joins (~TonyStone@2603-7080-8607-c36a-5cfe-9b24-23ff-dc6a.res6.spectrum.com) |
| 02:55:01 | → | mvk joins (~mvk@2607:fea8:5ce3:8500::aa1d) |
| 02:56:22 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 02:56:36 | → | king_gs joins (~Thunderbi@2806:103e:29:99f9:ca77:e08e:3816:239e) |
| 02:57:19 | × | td_ quits (~td@94.134.91.43) (Ping timeout: 240 seconds) |
| 02:57:55 | × | king_gs quits (~Thunderbi@2806:103e:29:99f9:ca77:e08e:3816:239e) (Client Quit) |
| 02:59:27 | → | td_ joins (~td@94.134.91.227) |
| 03:03:18 | × | zyklotomic quits (~ethan@res380d-128-61-86-31.res.gatech.edu) (Ping timeout: 246 seconds) |
| 03:05:18 | → | zyklotomic joins (~ethan@res388d-128-61-94-136.res.gatech.edu) |
| 03:08:00 | → | yauhsien joins (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) |
| 03:09:59 | → | gpncarl joins (~gpncarl@120.244.220.74) |
| 03:14:12 | × | gpncarl quits (~gpncarl@120.244.220.74) (Ping timeout: 248 seconds) |
| 03:16:27 | → | frost joins (~frost@user/frost) |
| 03:17:49 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 03:24:39 | → | deadmarshal_ joins (~deadmarsh@95.38.228.138) |
| 03:27:31 | × | anomal quits (~anomal@87.227.196.109) (Remote host closed the connection) |
| 03:28:46 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 03:29:18 | × | deadmarshal_ quits (~deadmarsh@95.38.228.138) (Ping timeout: 276 seconds) |
| 03:30:15 | → | vicfred joins (~vicfred@user/vicfred) |
| 03:30:27 | × | alp_ quits (~alp@user/alp) (Ping timeout: 260 seconds) |
| 03:46:58 | × | stackdroid18 quits (14094@user/stackdroid) (Quit: Lost terminal) |
| 03:54:01 | × | abastro quits (~abab9579@192.249.26.68) (Remote host closed the connection) |
| 03:54:49 | → | sabry joins (~sabry@197.37.205.114) |
| 03:55:35 | → | abastro joins (~abab9579@192.249.26.68) |
| 04:00:08 | → | gpncarl joins (~gpncarl@120.244.220.74) |
| 04:05:59 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 04:11:16 | × | geranim0 quits (~geranim0@modemcable242.171-178-173.mc.videotron.ca) (Quit: Leaving) |
| 04:11:35 | × | Batzy quits (~quassel@user/batzy) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 04:11:58 | → | Batzy joins (~quassel@user/batzy) |
| 04:13:08 | × | Batzy quits (~quassel@user/batzy) (Client Quit) |
| 04:15:27 | × | yauhsien quits (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) (Ping timeout: 276 seconds) |
| 04:15:34 | → | Batzy joins (~quassel@user/batzy) |
| 04:15:34 | × | littlebobeep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 04:23:11 | → | yauhsien joins (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) |
| 04:25:58 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 04:31:10 | → | coot joins (~coot@213.134.190.95) |
| 04:32:36 | × | abastro quits (~abab9579@192.249.26.68) (Ping timeout: 248 seconds) |
| 04:39:16 | × | gpncarl quits (~gpncarl@120.244.220.74) (Read error: Connection reset by peer) |
| 04:39:38 | → | gpncarl joins (~gpncarl@120.244.220.74) |
| 04:42:19 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 04:42:46 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 04:46:16 | × | yauhsien quits (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 04:47:34 | → | yauhsien joins (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) |
| 04:51:27 | × | benin quits (~benin@183.82.204.110) (Ping timeout: 246 seconds) |
| 04:52:20 | × | yauhsien quits (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) (Ping timeout: 248 seconds) |
| 04:52:26 | → | benin joins (~benin@183.82.204.110) |
| 04:53:40 | × | kaph quits (~kaph@net-2-42-128-205.cust.vodafonedsl.it) (Ping timeout: 260 seconds) |
| 04:55:49 | → | razetime joins (~quassel@117.254.35.219) |
| 04:56:36 | × | gpncarl quits (~gpncarl@120.244.220.74) (Ping timeout: 248 seconds) |
| 04:56:59 | → | gpncarl joins (~gpncarl@120.244.220.74) |
| 04:59:36 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 04:59:55 | → | Vajb joins (~Vajb@2001:999:400:aa07:c00:898b:c222:288b) |
| 05:00:35 | → | abastro joins (~abab9579@192.249.26.68) |
| 05:01:26 | → | deadmarshal_ joins (~deadmarsh@95.38.228.138) |
| 05:05:41 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 05:07:07 | → | searemind joins (~searemind@122.161.49.28) |
| 05:12:58 | × | sabry quits (~sabry@197.37.205.114) (Quit: Client closed) |
| 05:21:06 | × | searemind quits (~searemind@122.161.49.28) (Remote host closed the connection) |
| 05:21:08 | × | gpncarl quits (~gpncarl@120.244.220.74) (Ping timeout: 248 seconds) |
| 05:21:11 | × | monochrom quits (trebla@216.138.220.146) (Quit: NO CARRIER) |
| 05:31:01 | × | vicfred quits (~vicfred@user/vicfred) (Ping timeout: 256 seconds) |
| 05:32:11 | → | littlebobeep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 05:32:22 | × | abastro quits (~abab9579@192.249.26.68) (Remote host closed the connection) |
| 05:33:35 | → | abastro joins (~abab9579@192.249.26.68) |
| 05:36:40 | × | mixfix41 quits (~sdenyninn@user/mixfix41) (Ping timeout: 272 seconds) |
| 05:37:02 | × | mvk quits (~mvk@2607:fea8:5ce3:8500::aa1d) (Ping timeout: 250 seconds) |
| 05:39:17 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 05:42:06 | × | abastro quits (~abab9579@192.249.26.68) (Remote host closed the connection) |
| 05:43:51 | → | inversed_ joins (~inversed@94.13.111.159) |
| 05:43:55 | → | monochrom joins (trebla@216.138.220.146) |
| 05:46:48 | × | inversed quits (~inversed@94.13.111.159) (Ping timeout: 272 seconds) |
| 05:52:07 | → | abastro joins (~abab9579@192.249.26.68) |
| 05:52:46 | × | abastro quits (~abab9579@192.249.26.68) (Remote host closed the connection) |
| 05:54:06 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
| 05:56:44 | → | yauhsien joins (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) |
| 06:03:16 | × | deadmarshal_ quits (~deadmarsh@95.38.228.138) (Ping timeout: 248 seconds) |
| 06:11:48 | → | odnes joins (~odnes@5-203-179-167.pat.nym.cosmote.net) |
| 06:15:31 | × | odnes quits (~odnes@5-203-179-167.pat.nym.cosmote.net) (Client Quit) |
| 06:15:50 | → | odnes joins (~odnes@5-203-179-167.pat.nym.cosmote.net) |
| 06:17:42 | → | chele joins (~chele@user/chele) |
| 06:23:00 | × | bontaq quits (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 248 seconds) |
| 06:40:30 | × | jeffz quits (~user@lambda.xen.prgmr.com) (Remote host closed the connection) |
| 06:40:33 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:1abc:4f4:6c72:c056) |
| 06:41:00 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds) |
| 06:41:00 | × | benin quits (~benin@183.82.204.110) (Ping timeout: 260 seconds) |
| 06:43:04 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 240 seconds) |
| 06:43:34 | → | gpncarl joins (~gpncarl@120.244.220.74) |
| 06:45:04 | → | jeffz joins (~user@lambda.xen.prgmr.com) |
| 06:45:40 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 06:48:31 | → | MajorBiscuit joins (~MajorBisc@2a02-a461-129d-1-193d-75d8-745d-e91e.fixed6.kpn.net) |
| 06:50:27 | × | renzhi quits (~xp@2607:fa49:6500:b100::5c83) (Ping timeout: 240 seconds) |
| 06:57:57 | → | abastro joins (~abab9579@192.249.26.68) |
| 06:58:24 | → | jonathanx joins (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 07:01:45 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 07:03:02 | → | cyanide4dinner joins (~cyanide4d@171.61.49.254) |
| 07:03:10 | → | renzhi joins (~xp@2607:fa49:6500:b100::2dea) |
| 07:08:30 | × | littlebobeep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Remote host closed the connection) |
| 07:13:57 | → | littlebobeep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 07:14:54 | → | acidjnk joins (~acidjnk@p200300d0c7094708c86bf60d307833f2.dip0.t-ipconnect.de) |
| 07:16:35 | × | gpncarl quits (~gpncarl@120.244.220.74) (Ping timeout: 260 seconds) |
| 07:24:32 | → | zeenk joins (~zeenk@2a02:2f04:a004:9b00:1efc:c1cf:378d:8b3d) |
| 07:31:27 | → | deadmarshal_ joins (~deadmarsh@95.38.228.138) |
| 07:34:39 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 07:38:19 | → | `2jt joins (~jtomas@175.red-83-36-129.dynamicip.rima-tde.net) |
| 07:38:48 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 07:39:49 | × | deadmarshal_ quits (~deadmarsh@95.38.228.138) (Quit: ZNC 1.8.2 - https://znc.in) |
| 07:44:44 | → | ccntrq joins (~Thunderbi@2a01:e34:eccb:b060:72b2:22fd:bddf:2a4e) |
| 07:45:26 | → | alp_ joins (~alp@user/alp) |
| 07:46:48 | → | gpncarl joins (~gpncarl@120.244.220.74) |
| 07:47:50 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 07:50:48 | → | gurkenglas joins (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) |
| 07:51:32 | × | gpncarl quits (~gpncarl@120.244.220.74) (Ping timeout: 248 seconds) |
| 07:52:21 | → | gpncarl joins (~gpncarl@120.244.220.74) |
| 07:56:50 | × | gpncarl quits (~gpncarl@120.244.220.74) (Ping timeout: 260 seconds) |
| 07:56:57 | × | razetime quits (~quassel@117.254.35.219) (Ping timeout: 246 seconds) |
| 07:58:19 | → | jgeerds joins (~jgeerds@d53604b0.access.ecotel.net) |
| 08:08:48 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 276 seconds) |
| 08:15:14 | → | littlebo1eep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 08:15:34 | × | littlebobeep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 08:17:16 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 08:17:34 | → | razetime joins (~quassel@117.254.35.219) |
| 08:17:37 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 08:18:55 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 08:19:17 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 08:20:45 | × | `2jt quits (~jtomas@175.red-83-36-129.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 08:21:03 | → | `2jt joins (~jtomas@175.red-83-36-129.dynamicip.rima-tde.net) |
| 08:22:43 | × | metabulation quits (~wootehfoo@user/wootehfoot) (Ping timeout: 256 seconds) |
| 08:26:02 | → | Sinbad joins (~Sinbad@user/sinbad) |
| 08:28:03 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 08:28:32 | <Sinbad> | where are package version range/constraints documented, in particular "^>=" ? |
| 08:28:58 | × | shriekingnoise quits (~shrieking@201.231.16.156) (Quit: Quit) |
| 08:31:20 | <maerwald> | Sinbad: in the cabal documentation |
| 08:31:47 | <maerwald> | https://cabal.readthedocs.io/en/3.6/cabal-package.html?highlight=caret%20operator#pkg-field-build-depends |
| 08:32:00 | <maerwald> | it's called the caret operator |
| 08:36:11 | → | cdman joins (~dcm@user/dmc/x-4369397) |
| 08:37:09 | → | CiaoSen joins (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 08:38:00 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 08:41:04 | → | kaph joins (~kaph@net-2-42-128-205.cust.vodafonedsl.it) |
| 08:41:08 | × | alp_ quits (~alp@user/alp) (Ping timeout: 248 seconds) |
| 08:54:55 | <Sinbad> | cheers! don't ask why I could not see it. |
| 08:55:35 | × | hiredman quits (~hiredman@frontier1.downey.family) (Ping timeout: 256 seconds) |
| 08:55:56 | × | elkcl quits (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Remote host closed the connection) |
| 08:56:39 | → | hiredman joins (~hiredman@frontier1.downey.family) |
| 08:57:32 | × | mmaruseacph2 quits (~mihai@198.199.98.239) (Remote host closed the connection) |
| 08:57:48 | → | mmaruseacph2 joins (~mihai@198.199.98.239) |
| 08:57:54 | → | elkcl joins (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 09:00:27 | × | littlebo1eep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Remote host closed the connection) |
| 09:00:55 | × | elkcl quits (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Remote host closed the connection) |
| 09:01:12 | → | teo joins (~teo@user/teo) |
| 09:01:59 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 240 seconds) |
| 09:02:28 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 248 seconds) |
| 09:02:54 | → | elkcl joins (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 09:06:04 | → | mmhat joins (~mmh@2001:4090:a242:802a:ee08:6bff:fe09:5315) |
| 09:10:49 | → | littlebobeep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 09:12:55 | → | __monty__ joins (~toonn@user/toonn) |
| 09:16:50 | × | Sinbad quits (~Sinbad@user/sinbad) (Quit: WeeChat 3.5) |
| 09:17:57 | × | cyanide4dinner quits (~cyanide4d@171.61.49.254) (Quit: cyanide4dinner) |
| 09:26:35 | → | adeldude13 joins (~adeldude1@46.244.84.163) |
| 09:28:16 | × | elkcl quits (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Remote host closed the connection) |
| 09:28:41 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 09:30:21 | → | elkcl joins (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 09:33:03 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 09:33:13 | × | elkcl quits (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Remote host closed the connection) |
| 09:33:14 | → | EvanR_ joins (~EvanR@user/evanr) |
| 09:33:48 | × | EvanR quits (~EvanR@user/evanr) (Ping timeout: 240 seconds) |
| 09:35:10 | → | elkcl joins (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 09:38:12 | × | cyphase quits (~cyphase@user/cyphase) (Ping timeout: 260 seconds) |
| 09:38:51 | → | alp_ joins (~alp@user/alp) |
| 09:39:42 | × | abastro quits (~abab9579@192.249.26.68) (Ping timeout: 250 seconds) |
| 09:42:11 | → | nut joins (~haskellfi@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 09:42:39 | → | cyphase joins (~cyphase@user/cyphase) |
| 09:44:09 | × | yauhsien quits (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 09:44:47 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 09:44:55 | → | ubert joins (~Thunderbi@2a02:8109:9880:303c:8a15:36bd:1624:adf9) |
| 09:45:21 | → | yauhsien joins (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) |
| 09:45:34 | × | sudden quits (~cat@user/sudden) (Ping timeout: 272 seconds) |
| 09:47:59 | × | alp_ quits (~alp@user/alp) (Ping timeout: 240 seconds) |
| 09:50:06 | × | yauhsien quits (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) (Ping timeout: 250 seconds) |
| 09:51:50 | → | Simon44 joins (~Simon@2001:4ca0:0:f237:b511:c770:87a:b93a) |
| 09:52:03 | <Simon44> | Dear Haskellers, |
| 09:52:03 | <Simon44> | Why doesnt that work? allegleich a b c = (a==b==c) |
| 09:52:31 | <Simon44> | Precedence parsing error |
| 09:52:31 | <Simon44> | cannot mix `==' [infix 4] and `==' [infix 4] in the same infix expression |
| 09:53:15 | <raehik> | Simon44: Haskell can't tell if you mean (a == b) == c or a == (b == c) |
| 09:53:56 | <Simon44> | allegleichX a b c = (a==b)==c worked, thanks |
| 09:53:58 | <Simon44> | however |
| 09:54:01 | <raehik> | though the result *should* be the same, it may not be, and it doesn't want to assume a default to resolve the ambiguity |
| 09:54:05 | <Simon44> | why doesnt that work? |
| 09:54:05 | <Simon44> | allegleichX 1 2 3 |
| 09:54:56 | × | `2jt quits (~jtomas@175.red-83-36-129.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 09:55:06 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 09:55:39 | <raehik> | > 1 == 2 |
| 09:55:40 | <lambdabot> | False |
| 09:55:49 | <raehik> | :t 1 == 2 |
| 09:55:50 | <lambdabot> | Bool |
| 09:56:01 | <raehik> | Because you're trying to do (False == 3) |
| 09:56:09 | <Simon44> | Ohhh |
| 09:56:13 | <maerwald> | hey, in javascript that works :D |
| 09:56:32 | <raehik> | maerwald: ""works"" :) |
| 10:01:17 | × | gehmehgeh quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 10:01:18 | <int-e> | Well, what we want is a == b && b == c |
| 10:01:54 | <Simon44> | True |
| 10:01:55 | <int-e> | in *Python* it would work |
| 10:01:57 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 10:02:25 | → | yauhsien joins (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) |
| 10:02:46 | <int-e> | (There must be other languages that support chained comparisons as well...) |
| 10:04:24 | <Simon44> | Whats the difference between => and ->? |
| 10:08:22 | <jackdk> | You put a thing of kind `Constraint` (e.g., a fully-applied typeclass) on the LHS of => |
| 10:10:25 | × | CiaoSen quits (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 10:14:39 | <adeldude13> | Hello |
| 10:14:48 | <adeldude13> | where can i find a list of haskell functions |
| 10:14:53 | → | abrantesasf joins (~abrantesa@189.115.192.139) |
| 10:17:10 | <jackdk> | That is a very broad question. What are you trying to do? https://hoogle.haskell.org/ is a good place if you have some idea of what type signature you might want |
| 10:18:01 | <adeldude13> | damn this is the best |
| 10:18:18 | <adeldude13> | thank you very much i did not know somthing like this existed |
| 10:18:41 | <abastro[m]> | Interesting |
| 10:19:21 | <jackdk> | Otherwise I would go to the haddocks for the package you're working with on https://hackage.haskell.org, or use `:browse` in GHCi to list the contents of a module |
| 10:21:41 | <adeldude13> | what if i wanted to search for a specific function functionality but i did not know the name of the function |
| 10:22:12 | <adeldude13> | as an example if i wanted a function to give me the first element from a tuple but i wasnt sure about the function name |
| 10:22:50 | <lyiriyah[m]> | adeldude13: If you have an idea of the type you can put that into hoogle |
| 10:23:12 | <adeldude13> | i can search by type too |
| 10:23:22 | <adeldude13> | ooof this is a life savior |
| 10:23:58 | <lyiriyah[m]> | So for your example you'd type in `(a, b) -> a` and it would come up with the `fst` function |
| 10:24:36 | <adeldude13> | thank you very much |
| 10:26:28 | <lyiriyah[m]> | np |
| 10:27:48 | × | zyklotomic quits (~ethan@res388d-128-61-94-136.res.gatech.edu) (Ping timeout: 248 seconds) |
| 10:29:54 | → | zyklotomic joins (~ethan@r4-128-61-88-221.res.gatech.edu) |
| 10:40:23 | → | sudden joins (~cat@user/sudden) |
| 10:40:48 | × | cyphase quits (~cyphase@user/cyphase) (Ping timeout: 250 seconds) |
| 10:42:58 | → | CiaoSen joins (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 10:43:30 | → | dknite joins (~dknite@2405:201:800b:481f:2d78:14ee:ceb:931) |
| 10:43:57 | <dknite> | ? |
| 10:44:04 | × | dknite quits (~dknite@2405:201:800b:481f:2d78:14ee:ceb:931) (Quit: WeeChat 3.5) |
| 10:45:10 | → | dknite joins (~dknite@2405:201:800b:481f:2d78:14ee:ceb:931) |
| 10:45:51 | → | cyphase joins (~cyphase@user/cyphase) |
| 10:45:57 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 10:46:25 | × | dknite quits (~dknite@2405:201:800b:481f:2d78:14ee:ceb:931) (Client Quit) |
| 10:46:28 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 10:47:15 | Lord_of_Life_ | is now known as Lord_of_Life |
| 10:49:42 | <Bulby[m]> | with the lens lib, how would I make a lens that targets two points of a tuple? |
| 10:50:51 | <Bulby[m]> | ah, alongside? |
| 10:53:37 | <Bulby[m]> | not very clear (ignore the documentation) |
| 10:54:00 | → | shailangsa joins (~shailangs@host86-186-127-233.range86-186.btcentralplus.com) |
| 10:56:39 | × | MajorBiscuit quits (~MajorBisc@2a02-a461-129d-1-193d-75d8-745d-e91e.fixed6.kpn.net) (Ping timeout: 240 seconds) |
| 10:57:40 | → | alp_ joins (~alp@user/alp) |
| 11:06:02 | <Bulby[m]> | I got it - I only needed 1 point modified |
| 11:08:23 | → | anomal joins (~anomal@87.227.196.109) |
| 11:10:04 | × | littlebobeep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 11:10:17 | → | littlebobeep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 11:12:56 | × | raym quits (~raym@user/raym) (Quit: nvidia driver update, rebooting...) |
| 11:12:59 | → | notzmv joins (~zmv@user/notzmv) |
| 11:15:16 | → | raym joins (~raym@user/raym) |
| 11:15:23 | × | elkcl quits (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Remote host closed the connection) |
| 11:16:41 | × | razetime quits (~quassel@117.254.35.219) (Ping timeout: 256 seconds) |
| 11:17:20 | → | elkcl joins (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 11:17:30 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 11:23:04 | → | sammelweis_ joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 11:24:03 | <Bulby[m]> | > (True ||) <$> (putStrLn "hi" *> pure True) |
| 11:24:05 | <lambdabot> | <IO Bool> |
| 11:24:06 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Read error: Connection reset by peer) |
| 11:24:12 | <Bulby[m]> | ? |
| 11:24:32 | <Bulby[m]> | > foo <- (True ||) <$> (putStrLn "hi" *> pure True) |
| 11:24:32 | <Bulby[m]> | > foo |
| 11:24:33 | <lambdabot> | <no location info>: error: |
| 11:24:34 | <lambdabot> | not an expression: ‘foo <- (True ||) <$> (putStrLn "hi" *> pure True)’ |
| 11:24:34 | <lambdabot> | error: |
| 11:24:34 | <lambdabot> | • Variable not in scope: foo |
| 11:24:34 | <lambdabot> | • Perhaps you meant ‘for’ (imported from Data.Traversable) |
| 11:24:38 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 11:24:43 | <Bulby[m]> | what |
| 11:25:16 | <hpc> | lambdabot isn't a ghci session |
| 11:25:23 | Bulby[m] | sent a code block: https://libera.ems.host/_matrix/media/r0/download/libera.chat/ed3cb1c2291ddc3e591765a4ca4a01d47cfb4c24 |
| 11:25:24 | <hpc> | it forgets everything between every command |
| 11:25:54 | <Bulby[m]> | why does `(True ||)` not short circut here |
| 11:26:52 | <hpc> | it does, just not how you are thinking |
| 11:27:06 | <hpc> | the outermost thing here is (<$>) |
| 11:27:26 | <hpc> | what you have is putStrLn "hi" *> pure (True || True) |
| 11:27:26 | <Bulby[m]> | so how would I make it short circuit the way I want |
| 11:27:49 | <hpc> | use if-then-else |
| 11:27:53 | <hpc> | :t guard -- or this |
| 11:27:54 | <lambdabot> | Alternative f => Bool -> f () |
| 11:28:31 | <hpc> | guard depends on what you're doing though |
| 11:29:17 | <Bulby[m]> | `muted <- (volumeZero ||) . (==ExitSuccess) . view _1 <$> readProcessWithExitCode "pamixer" ["--get-mute"] []` |
| 11:29:31 | <hpc> | for IO it'll just crash |
| 11:29:38 | <Bulby[m]> | WHAT |
| 11:30:33 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 11:30:57 | × | TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Ping timeout: 276 seconds) |
| 11:35:00 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds) |
| 11:37:36 | × | Simon44 quits (~Simon@2001:4ca0:0:f237:b511:c770:87a:b93a) (Quit: Client closed) |
| 11:40:15 | → | xkuru joins (~xkuru@user/xkuru) |
| 11:41:46 | → | razetime joins (~quassel@117.254.35.219) |
| 11:45:15 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 11:45:27 | × | acidjnk quits (~acidjnk@p200300d0c7094708c86bf60d307833f2.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 11:46:44 | × | razetime quits (~quassel@117.254.35.219) (Ping timeout: 248 seconds) |
| 11:46:46 | <abastro[m]> | Surprised? |
| 11:46:50 | <abastro[m]> | Well, that is how guard is supposed to work |
| 11:47:19 | <abastro[m]> | <|> with IO is also interesting |
| 11:47:38 | <Bulby[m]> | i considered using that but wasn't convinced IO would play nice |
| 11:48:12 | → | hp77 joins (~hp77@160.202.10.50) |
| 11:48:32 | <abastro[m]> | IIRC it catches exceptions and the next operation is run on the exceptional cases |
| 11:48:46 | × | lbseale quits (~quassel@user/ep1ctetus) (Remote host closed the connection) |
| 11:50:15 | × | hp77 quits (~hp77@160.202.10.50) (Client Quit) |
| 11:50:54 | → | hp77 joins (~hp77@157.119.207.150) |
| 11:51:48 | → | MajorBiscuit joins (~MajorBisc@wlan-145-94-232-218.wlan.tudelft.nl) |
| 11:52:05 | × | ormaaj quits (~ormaaj@user/ormaaj) (Killed (NickServ (GHOST command used by ormaaj254!~ormaaj2@user/ormaaj))) |
| 11:52:44 | → | ormaaj joins (~ormaaj@user/ormaaj) |
| 11:52:59 | × | raym quits (~raym@user/raym) (Ping timeout: 240 seconds) |
| 11:53:45 | × | ormaaj quits (~ormaaj@user/ormaaj) (Client Quit) |
| 11:54:09 | → | raym joins (~raym@user/raym) |
| 11:54:30 | → | ormaaj joins (~ormaaj@user/ormaaj) |
| 11:58:30 | → | TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker) |
| 11:59:25 | × | abrantesasf quits (~abrantesa@189.115.192.139) (Remote host closed the connection) |
| 12:02:20 | × | coot quits (~coot@213.134.190.95) (Quit: coot) |
| 12:02:44 | × | jgeerds quits (~jgeerds@d53604b0.access.ecotel.net) (Ping timeout: 248 seconds) |
| 12:08:46 | × | TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Ping timeout: 250 seconds) |
| 12:08:49 | × | yauhsien quits (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 12:10:46 | → | Midjak joins (~Midjak@82.66.147.146) |
| 12:11:01 | → | TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker) |
| 12:13:58 | → | yauhsien joins (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) |
| 12:20:28 | × | nut quits (~haskellfi@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 250 seconds) |
| 12:23:22 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 12:24:39 | → | oxide joins (~lambda@user/oxide) |
| 12:25:54 | → | sagax joins (~sagax_nb@user/sagax) |
| 12:30:28 | → | razetime joins (~quassel@117.254.35.219) |
| 12:30:47 | → | Unicorn_Princess joins (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 12:32:55 | × | ccntrq quits (~Thunderbi@2a01:e34:eccb:b060:72b2:22fd:bddf:2a4e) (Remote host closed the connection) |
| 12:33:30 | → | acidjnk joins (~acidjnk@p200300d0c7094708c86bf60d307833f2.dip0.t-ipconnect.de) |
| 12:36:38 | → | arjun joins (~arjun@user/arjun) |
| 12:40:29 | → | mikoto-chan joins (~mikoto-ch@213.177.151.239) |
| 12:44:29 | × | hp77 quits (~hp77@157.119.207.150) (Quit: Client closed) |
| 12:44:30 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 12:44:46 | → | lbseale joins (~quassel@user/ep1ctetus) |
| 12:49:41 | → | abrantesasf joins (~abrantesa@179.217.49.34) |
| 12:51:28 | → | Polo joins (~Polo@user/polo) |
| 12:56:08 | × | arjun quits (~arjun@user/arjun) (Quit: Leaving) |
| 12:56:09 | → | Topsi joins (~Tobias@dyndsl-091-249-082-163.ewe-ip-backbone.de) |
| 12:57:31 | × | brettgilio quits (~brettgili@x-node.gq) (Quit: The Lounge - https://thelounge.chat) |
| 12:57:40 | → | xff0x_ joins (~xff0x@om126167070083.29.openmobile.ne.jp) |
| 12:58:08 | → | brettgilio joins (~brettgili@x-node.gq) |
| 13:01:19 | × | acidjnk quits (~acidjnk@p200300d0c7094708c86bf60d307833f2.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 13:05:31 | → | Pickchea joins (~private@user/pickchea) |
| 13:06:24 | → | srk- joins (~sorki@user/srk) |
| 13:06:25 | → | bontaq joins (~user@ool-45779fe5.dyn.optonline.net) |
| 13:07:37 | → | alx741 joins (~alx741@host-181-198-243-150.netlife.ec) |
| 13:09:09 | × | MajorBiscuit quits (~MajorBisc@wlan-145-94-232-218.wlan.tudelft.nl) (Ping timeout: 246 seconds) |
| 13:09:45 | × | srk quits (~sorki@user/srk) (Ping timeout: 276 seconds) |
| 13:09:45 | srk- | is now known as srk |
| 13:12:35 | → | srk- joins (~sorki@user/srk) |
| 13:13:09 | → | srk| joins (~sorki@user/srk) |
| 13:16:09 | → | nut joins (~haskellfi@2a04:cec0:109a:1d23:17c9:eb10:bb40:e38) |
| 13:16:15 | → | srk^ joins (~sorki@user/srk) |
| 13:16:20 | × | srk quits (~sorki@user/srk) (Ping timeout: 248 seconds) |
| 13:17:33 | × | srk- quits (~sorki@user/srk) (Ping timeout: 276 seconds) |
| 13:18:12 | × | srk| quits (~sorki@user/srk) (Ping timeout: 276 seconds) |
| 13:19:12 | srk^ | is now known as srk |
| 13:19:18 | × | frost quits (~frost@user/frost) (Quit: Client closed) |
| 13:20:04 | × | alx741 quits (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 248 seconds) |
| 13:21:12 | → | MajorBiscuit joins (~MajorBisc@wlan-145-94-232-218.wlan.tudelft.nl) |
| 13:21:54 | → | mbuf joins (~Shakthi@171.61.169.210) |
| 13:22:34 | → | alx741 joins (~alx741@host-181-198-243-150.netlife.ec) |
| 13:23:44 | → | szkl joins (uid110435@id-110435.uxbridge.irccloud.com) |
| 13:28:07 | → | bahamas joins (~lucian@84.232.141.55) |
| 13:28:45 | × | kaph quits (~kaph@net-2-42-128-205.cust.vodafonedsl.it) (Ping timeout: 260 seconds) |
| 13:29:15 | × | alx741 quits (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 276 seconds) |
| 13:31:26 | → | alx741 joins (~alx741@host-181-198-243-150.netlife.ec) |
| 13:32:36 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 13:32:36 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 13:32:36 | → | wroathe joins (~wroathe@user/wroathe) |
| 13:34:22 | × | Polo quits (~Polo@user/polo) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 13:34:42 | × | littlebobeep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Remote host closed the connection) |
| 13:35:08 | → | littlebobeep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 13:36:55 | × | alx741 quits (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 260 seconds) |
| 13:39:25 | → | alx741 joins (~alx741@host-181-198-243-150.netlife.ec) |
| 13:45:05 | × | alx741 quits (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 260 seconds) |
| 13:55:25 | → | adeldude_13 joins (~adeldude1@46.43.105.164) |
| 13:57:37 | → | alx741 joins (~alx741@host-181-198-243-150.netlife.ec) |
| 13:57:40 | × | adeldude13 quits (~adeldude1@46.244.84.163) (Ping timeout: 260 seconds) |
| 13:58:30 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 13:58:31 | → | vicfred joins (~vicfred@user/vicfred) |
| 14:00:54 | × | alx741 quits (~alx741@host-181-198-243-150.netlife.ec) (Client Quit) |
| 14:02:49 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 14:03:04 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 14:03:33 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 14:05:14 | × | inversed_ quits (~inversed@94.13.111.159) (Ping timeout: 272 seconds) |
| 14:05:15 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 14:06:01 | → | seydar joins (~seydar@154-27-113-252.starry-inc.net) |
| 14:06:44 | <seydar> | I'm trying to combine 8-bit R, G, and B values into a single 24-bit RGB. Is there a better way to do this besides Data.Bits and bitshifting? |
| 14:19:30 | × | bahamas quits (~lucian@84.232.141.55) (Ping timeout: 246 seconds) |
| 14:19:34 | × | littlebobeep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 14:19:40 | × | dsrt^ quits (~dsrt@50.227.69.228) (Remote host closed the connection) |
| 14:23:24 | → | metabulation joins (~wootehfoo@user/wootehfoot) |
| 14:25:54 | × | Topsi quits (~Tobias@dyndsl-091-249-082-163.ewe-ip-backbone.de) (Quit: Leaving.) |
| 14:26:35 | → | Topsi joins (~Topsi@dyndsl-091-249-082-163.ewe-ip-backbone.de) |
| 14:29:33 | × | hololeap quits (~hololeap@user/hololeap) (Remote host closed the connection) |
| 14:29:42 | × | metabulation quits (~wootehfoo@user/wootehfoot) (Ping timeout: 276 seconds) |
| 14:33:02 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 14:34:57 | → | hololeap joins (~hololeap@user/hololeap) |
| 14:34:59 | <anomal> | How does lazy eval work when there's a branch |
| 14:35:49 | × | seydar quits (~seydar@154-27-113-252.starry-inc.net) (Quit: leaving) |
| 14:36:02 | <anomal> | How can an expression take a branch when it didn't eval |
| 14:36:03 | <int-e> | . o O ( there are no branches, there's only pattern matching ) |
| 14:36:12 | <anomal> | Same for patterns |
| 14:36:17 | <anomal> | It's branching :P |
| 14:36:25 | <geekosaur> | patterns are the main way of forcing evaluation |
| 14:36:29 | <anomal> | Sure |
| 14:36:37 | <anomal> | So how do we match something that hasn't evaluated |
| 14:36:47 | <int-e> | you evaluate it first |
| 14:36:48 | <geekosaur> | that's the point: it gets evaluated there |
| 14:36:52 | <anomal> | There? |
| 14:37:06 | <anomal> | So we roll all branches into the thunk during the lazy part? |
| 14:37:13 | <geekosaur> | if the language were completely lazy, nothing would ever happen. instead. patterns force evaluation |
| 14:37:21 | <anomal> | Oh wait, they do? |
| 14:37:31 | <anomal> | Wait, do they literally do? |
| 14:37:41 | <geekosaur> | yes |
| 14:37:45 | <anomal> | Huh |
| 14:37:58 | <anomal> | Why was... |
| 14:38:02 | <anomal> | I unaware of this |
| 14:38:09 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 276 seconds) |
| 14:38:22 | <geekosaur> | specifically they force enough evaluation to match the pattern, which usually doesn't mean full evaluation but evaluation to the first constructor (weak head normal form) |
| 14:40:09 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 14:40:11 | → | shriekingnoise joins (~shrieking@201.231.16.156) |
| 14:41:32 | × | MajorBiscuit quits (~MajorBisc@wlan-145-94-232-218.wlan.tudelft.nl) (Ping timeout: 260 seconds) |
| 14:42:11 | <geekosaur> | sometimes you need part of a pattern to be lazy, though, so there's a pattern metacharacter that makes a pattern or subpattern lazy: precede it with ~ |
| 14:42:36 | → | inversed joins (~inversed@176.248.27.211) |
| 14:42:45 | <geekosaur> | you won't see this happen much though |
| 14:44:28 | <anomal> | geekosaur: so patterns can be lazy too, but I suppose it produces complex thunks |
| 14:44:35 | <anomal> | geekosaur: so you reduce there to pick a branch |
| 14:44:38 | → | seydar joins (~seydar@154-27-113-252.starry-inc.net) |
| 14:45:00 | <seydar> | How do I convert a Double to a Word8? I'd like to ultimately do some bitshifting on them. |
| 14:45:03 | <geekosaur> | the Report provides the exact translation, it just expands to a lambda that will do the match when the lambda's value is required |
| 14:45:23 | <int-e> | anomal: yes, it produces thunks. case xs of ~(a:b) -> ... gets desugared into something more like let a = head xs; b = tail xs in ... |
| 14:45:50 | <anomal> | geekosaur: if every operation returns a "result" type of record, you know maybe with error/result, does that mean each such call is a branch and we eval there |
| 14:46:10 | <int-e> | (where head and tail are readable names for (\(a:b) -> a) and (\(a:b) -> b)) |
| 14:46:46 | → | sabry joins (~sabry@197.37.205.114) |
| 14:47:29 | <geekosaur> | anomal, I'm not sure I understand the question. the call itself is not a pattern match usually, but doing a case on the result would be |
| 14:47:42 | <int-e> | anomal: in GHC's core language (a kind of minimal Haskell), the distinction is pretty clearn: `let` creates thunks; `case` forces evaluation of the first constructor and matches that. |
| 14:48:30 | <int-e> | In Haskell, patterns are more flexible, so the split isn't as clean. |
| 14:50:34 | <anomal> | int-e: this clarifies a lot |
| 14:53:49 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 14:55:37 | <seydar> | I'm having trouble doing numeric conversions. I'm dealing with compiler errors. Here's my repro: https://paste.tomsmeding.com/X7gatcqd. Does anyone have any advice for moving between Double and Word8? |
| 14:55:50 | → | MajorBiscuit joins (~MajorBisc@wlan-145-94-232-218.wlan.tudelft.nl) |
| 14:56:17 | <int-e> | :t round |
| 14:56:18 | <lambdabot> | (RealFrac a, Integral b) => a -> b |
| 14:57:32 | <seydar> | int-e: wow, that made everything work perfectly (i put it in lines 7-9) |
| 14:57:40 | <int-e> | round, floor, and ceiling are the usual functions for converting floating point numbers to integers |
| 14:59:22 | <int-e> | seydar: Beware of 256; it's often necessary to do some clamping to esnure everything stays in range [0..255] |
| 15:00:51 | × | anomal quits (~anomal@87.227.196.109) (Remote host closed the connection) |
| 15:01:10 | → | anomal joins (~anomal@87.227.196.109) |
| 15:01:32 | × | anomal quits (~anomal@87.227.196.109) (Remote host closed the connection) |
| 15:02:13 | × | xff0x_ quits (~xff0x@om126167070083.29.openmobile.ne.jp) (Ping timeout: 256 seconds) |
| 15:05:00 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
| 15:07:07 | → | dibblego joins (~dibblego@122-199-1-30.ip4.superloop.com) |
| 15:07:07 | × | dibblego quits (~dibblego@122-199-1-30.ip4.superloop.com) (Changing host) |
| 15:07:07 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 15:08:10 | × | nut quits (~haskellfi@2a04:cec0:109a:1d23:17c9:eb10:bb40:e38) (Ping timeout: 250 seconds) |
| 15:09:59 | → | nut joins (~haskellfi@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 15:10:49 | × | cdman quits (~dcm@user/dmc/x-4369397) (Quit: Leaving) |
| 15:11:07 | × | sabry quits (~sabry@197.37.205.114) (Quit: Client closed) |
| 15:13:17 | → | kuribas joins (~user@ptr-17d51enslzcmd9f0npv.18120a2.ip6.access.telenet.be) |
| 15:17:25 | × | ec quits (~ec@gateway/tor-sasl/ec) (Quit: ec) |
| 15:17:26 | × | Vajb quits (~Vajb@2001:999:400:aa07:c00:898b:c222:288b) (Read error: Connection reset by peer) |
| 15:17:44 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 15:18:04 | × | hololeap quits (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 15:18:36 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 15:22:40 | → | hololeap joins (~hololeap@user/hololeap) |
| 15:24:36 | × | alp_ quits (~alp@user/alp) (Ping timeout: 240 seconds) |
| 15:25:43 | × | seydar quits (~seydar@154-27-113-252.starry-inc.net) (Quit: leaving) |
| 15:28:54 | → | dcoutts__ joins (~duncan@host81-156-211-196.range81-156.btcentralplus.com) |
| 15:29:27 | × | vicfred quits (~vicfred@user/vicfred) (Quit: Leaving) |
| 15:29:50 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:1abc:4f4:6c72:c056) (Quit: WeeChat 2.8) |
| 15:31:24 | → | _ht joins (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 15:36:38 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4) |
| 15:39:40 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 15:41:53 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 256 seconds) |
| 15:42:19 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 15:42:24 | × | CiaoSen quits (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 15:45:14 | → | jgeerds joins (~jgeerds@d53604b0.access.ecotel.net) |
| 15:45:55 | × | ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 15:46:17 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 15:47:03 | → | xff0x joins (~xff0x@om126167070083.29.openmobile.ne.jp) |
| 15:49:15 | EvanR_ | is now known as EvanR |
| 15:50:27 | × | adeldude_13 quits (~adeldude1@46.43.105.164) (Remote host closed the connection) |
| 15:50:47 | → | adeldude_13 joins (~adeldude1@46.43.105.164) |
| 15:51:28 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 15:53:13 | × | szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 15:53:16 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Remote host closed the connection) |
| 15:55:25 | → | econo joins (uid147250@user/econo) |
| 15:55:33 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 15:57:24 | × | odnes quits (~odnes@5-203-179-167.pat.nym.cosmote.net) (Ping timeout: 248 seconds) |
| 15:58:45 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Remote host closed the connection) |
| 15:58:51 | → | bahamas joins (~lucian@84.232.141.55) |
| 16:00:46 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 16:02:08 | <tomgus1> | I was wondering if this was a good place to ask about a problem I'm trying to solve with showing the next prime values of an input integer. I'm very new to Haskell and hitting a wall. |
| 16:03:16 | × | bahamas quits (~lucian@84.232.141.55) (Ping timeout: 248 seconds) |
| 16:03:31 | <tomgus1> | E.g. `eitherSide 64 = [61, 67]` |
| 16:04:48 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Remote host closed the connection) |
| 16:05:05 | → | bahamas joins (~lucian@84.232.141.55) |
| 16:05:59 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 16:06:06 | → | zebrag joins (~chris@user/zebrag) |
| 16:07:22 | × | xff0x quits (~xff0x@om126167070083.29.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 16:07:44 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Client Quit) |
| 16:08:04 | × | mikoto-chan quits (~mikoto-ch@213.177.151.239) (Ping timeout: 248 seconds) |
| 16:09:10 | × | teo quits (~teo@user/teo) (Ping timeout: 260 seconds) |
| 16:09:39 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 16:09:45 | × | bahamas quits (~lucian@84.232.141.55) (Ping timeout: 246 seconds) |
| 16:13:08 | <EvanR> | what method are you trying to use |
| 16:16:02 | → | mikoto-chan joins (~mikoto-ch@213.177.151.239) |
| 16:16:18 | × | hololeap quits (~hololeap@user/hololeap) (Read error: Connection reset by peer) |
| 16:18:09 | × | MajorBiscuit quits (~MajorBisc@wlan-145-94-232-218.wlan.tudelft.nl) (Ping timeout: 256 seconds) |
| 16:20:12 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 16:20:27 | <tomgus1> | My given method was https://pastebin.mozilla.org/iouc6nab |
| 16:20:49 | → | hololeap joins (~hololeap@user/hololeap) |
| 16:21:02 | <Andrew> | Does anyone know some examples of using pipe-async? |
| 16:23:38 | × | yauhsien quits (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 16:24:30 | <EvanR> | hmm 99 seems kind of magical |
| 16:24:34 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 16:24:50 | → | yauhsien joins (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) |
| 16:24:53 | <EvanR> | but there's not much of a plan as of yet, it seems |
| 16:25:03 | × | mikoto-chan quits (~mikoto-ch@213.177.151.239) (Read error: Connection reset by peer) |
| 16:25:16 | <EvanR> | maybe try to do a basic search and a basic prime test |
| 16:25:27 | → | mikoto-chan joins (~mikoto-ch@213.177.151.239) |
| 16:25:56 | × | ec quits (~ec@gateway/tor-sasl/ec) (Quit: ec) |
| 16:26:46 | <tomgus1> | I have been trying this to get my next prime which will work |
| 16:26:46 | <tomgus1> | nextPrimes :: Int -> [Int] |
| 16:26:46 | <tomgus1> | nextPrimes n = let sq = fromIntegral . ceiling . sqrt $ fromIntegral n |
| 16:26:46 | <tomgus1> | pri k = (k,and [ k`mod`x/=0 | x <- [2..sq]]) |
| 16:26:46 | <tomgus1> | in take 1 . map fst . filter snd $ map pri [n..] |
| 16:26:59 | <tomgus1> | My bad |
| 16:27:04 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 16:27:29 | <tomgus1> | https://pastebin.mozilla.org/JJJxvV10 |
| 16:27:29 | <EvanR> | try starting by writing a prime test |
| 16:27:51 | <tomgus1> | I'll do that |
| 16:29:24 | × | yauhsien quits (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) (Ping timeout: 248 seconds) |
| 16:32:30 | × | Stotteren quits (~Stotteren@pool-108-20-79-41.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 16:33:07 | × | ubert quits (~Thunderbi@2a02:8109:9880:303c:8a15:36bd:1624:adf9) (Remote host closed the connection) |
| 16:40:55 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 16:45:51 | → | yauhsien joins (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) |
| 16:49:20 | → | yauhsien_ joins (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) |
| 16:50:19 | × | yauhsien quits (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) (Ping timeout: 260 seconds) |
| 16:54:35 | → | king_gs joins (~Thunderbi@2806:103e:29:99f9:ca77:e08e:3816:239e) |
| 16:56:17 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 17:00:10 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 17:02:34 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 17:03:26 | × | mjs2600 quits (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 17:04:58 | × | razetime quits (~quassel@117.254.35.219) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 17:05:24 | → | coot joins (~coot@213.134.190.95) |
| 17:05:25 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 17:09:39 | → | alp_ joins (~alp@user/alp) |
| 17:11:13 | → | CiaoSen joins (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 17:11:54 | → | mjs2600 joins (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 17:15:06 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:16:24 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 17:16:24 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 17:16:24 | → | wroathe joins (~wroathe@user/wroathe) |
| 17:20:06 | × | mjs2600 quits (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 17:20:58 | × | julian quits (~julian@20.83.116.49) (Killed (NickServ (GHOST command used by tos9_!~tos9@python/site-packages/Julian))) |
| 17:23:51 | → | jao joins (~jao@211.68.17.95.dynamic.jazztel.es) |
| 17:29:30 | → | phma_ joins (~phma@2001:5b0:211f:67e8:28ee:b8ea:db61:4883) |
| 17:31:26 | × | mbuf quits (~Shakthi@171.61.169.210) (Quit: Leaving) |
| 17:31:36 | × | phma quits (~phma@2001:5b0:211f:ee08:b696:84bd:7df8:f65) (Ping timeout: 248 seconds) |
| 17:32:03 | × | Feuermagier quits (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 17:32:20 | → | Feuermagier joins (~Feuermagi@user/feuermagier) |
| 17:33:03 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
| 17:35:43 | × | Athas quits (athas@sigkill.dk) (Quit: ZNC 1.8.2 - https://znc.in) |
| 17:36:24 | × | jao quits (~jao@211.68.17.95.dynamic.jazztel.es) (Remote host closed the connection) |
| 17:37:17 | → | jao joins (~jao@211.68.17.95.dynamic.jazztel.es) |
| 17:40:26 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 17:40:48 | → | Athas joins (athas@sigkill.dk) |
| 17:41:24 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 240 seconds) |
| 17:43:03 | phma_ | is now known as phma |
| 17:44:38 | → | mjs2600 joins (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 17:45:08 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds) |
| 17:46:14 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 17:51:43 | → | acidjnk joins (~acidjnk@p200300d0c70947084d467d0b2a9d23f8.dip0.t-ipconnect.de) |
| 17:52:48 | × | bitmapper quits (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 17:53:20 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 17:56:04 | × | hololeap quits (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 17:58:27 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 17:58:49 | → | hololeap joins (~hololeap@user/hololeap) |
| 18:02:36 | → | stackdroid18 joins (14094@user/stackdroid) |
| 18:06:51 | → | geranim0 joins (~geranim0@modemcable242.171-178-173.mc.videotron.ca) |
| 18:08:24 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:10:52 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 18:12:09 | × | alp_ quits (~alp@user/alp) (Ping timeout: 248 seconds) |
| 18:12:57 | → | littlebobeep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 18:14:51 | × | king_gs quits (~Thunderbi@2806:103e:29:99f9:ca77:e08e:3816:239e) (Remote host closed the connection) |
| 18:15:09 | → | king_gs joins (~Thunderbi@2806:103e:29:99f9:ca77:e08e:3816:239e) |
| 18:16:07 | → | adeldude13 joins (~adeldude1@46.244.82.225) |
| 18:16:25 | × | CiaoSen quits (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 18:17:48 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 18:18:24 | × | adeldude_13 quits (~adeldude1@46.43.105.164) (Ping timeout: 250 seconds) |
| 18:19:04 | × | hololeap quits (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 18:20:49 | → | szkl joins (uid110435@id-110435.uxbridge.irccloud.com) |
| 18:23:50 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 18:24:14 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 18:28:48 | × | myme quits (~myme@2a01:799:d5a:cd00:39b8:863a:6d20:cd9e) (Ping timeout: 250 seconds) |
| 18:29:32 | × | hgolden quits (~hgolden2@cpe-172-251-233-141.socal.res.rr.com) (Remote host closed the connection) |
| 18:29:40 | → | myme joins (~myme@2a01:799:d5a:cd00:8120:ecfa:c999:5176) |
| 18:29:56 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 18:29:57 | → | hgolden joins (~hgolden2@cpe-172-251-233-141.socal.res.rr.com) |
| 18:31:03 | → | hololeap joins (~hololeap@user/hololeap) |
| 18:31:04 | × | littlebobeep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 18:31:18 | → | julian joins (~julian@20.83.116.49) |
| 18:32:57 | × | stackdroid18 quits (14094@user/stackdroid) (Quit: Lost terminal) |
| 18:37:44 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:37:59 | → | gpncarl joins (~gpncarl@120.244.220.74) |
| 18:38:04 | × | hololeap quits (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 18:40:23 | → | littlebobeep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 18:40:50 | → | hololeap joins (~hololeap@user/hololeap) |
| 18:47:14 | → | stackdroid18 joins (~stackdroi@user/stackdroid) |
| 18:47:55 | × | Topsi quits (~Topsi@dyndsl-091-249-082-163.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 18:49:45 | → | littlebo1eep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 18:49:54 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 18:50:45 | × | gpncarl quits (~gpncarl@120.244.220.74) (Ping timeout: 260 seconds) |
| 18:52:24 | × | yauhsien_ quits (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 18:52:36 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4) |
| 18:53:34 | × | littlebobeep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 18:53:37 | → | yauhsien joins (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) |
| 18:57:34 | × | littlebo1eep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 18:58:49 | × | kimjetwav quits (~user@2607:fea8:2362:b400:6a2:6a50:da38:4a87) (Quit: ERC 5.4.1 (IRC client for GNU Emacs 29.0.50)) |
| 18:58:55 | × | yauhsien quits (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) (Ping timeout: 260 seconds) |
| 19:02:11 | → | littlebobeep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 19:04:52 | → | anomal joins (~anomal@87.227.196.109) |
| 19:06:48 | → | sweater joins (~sweater@206.81.18.26) |
| 19:07:22 | × | king_gs quits (~Thunderbi@2806:103e:29:99f9:ca77:e08e:3816:239e) (Remote host closed the connection) |
| 19:08:10 | × | sweater2 quits (~sweater@206.81.18.26) (Read error: Connection reset by peer) |
| 19:08:41 | → | king_gs joins (~Thunderbi@2806:103e:29:99f9:ca77:e08e:3816:239e) |
| 19:09:16 | × | abrantesasf quits (~abrantesa@179.217.49.34) (Remote host closed the connection) |
| 19:09:25 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 19:09:53 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 19:09:53 | → | Tuplanolla joins (~Tuplanoll@91-159-68-39.elisa-laajakaista.fi) |
| 19:14:33 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 19:14:34 | × | littlebobeep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 19:15:29 | → | littlebobeep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 19:15:45 | → | kaph joins (~kaph@net-2-42-128-205.cust.vodafonedsl.it) |
| 19:18:50 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 19:20:38 | × | kilolympus quits (~kilolympu@31.205.200.235) (Ping timeout: 272 seconds) |
| 19:22:33 | → | Guest27 joins (~Guest27@2601:281:d47f:1590::bc8f) |
| 19:23:56 | → | vicfred joins (~vicfred@user/vicfred) |
| 19:24:25 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 19:24:35 | → | CiaoSen joins (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 19:25:46 | → | michalz joins (~michalz@185.246.204.121) |
| 19:27:32 | × | mikoto-chan quits (~mikoto-ch@213.177.151.239) (Ping timeout: 248 seconds) |
| 19:29:15 | × | king_gs quits (~Thunderbi@2806:103e:29:99f9:ca77:e08e:3816:239e) (Ping timeout: 260 seconds) |
| 19:29:34 | × | littlebobeep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 19:29:41 | → | mikoto-chan joins (~mikoto-ch@213.177.151.239) |
| 19:29:50 | × | dcoutts__ quits (~duncan@host81-156-211-196.range81-156.btcentralplus.com) (Ping timeout: 260 seconds) |
| 19:31:04 | → | bitmapper joins (uid464869@id-464869.lymington.irccloud.com) |
| 19:31:34 | × | hololeap quits (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 19:31:58 | → | king_gs joins (~Thunderbi@187.201.220.53) |
| 19:32:02 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 19:33:27 | → | littlebobeep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 19:35:50 | → | hololeap joins (~hololeap@user/hololeap) |
| 19:36:00 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 19:36:08 | → | bahamas joins (~lucian@84.232.141.55) |
| 19:36:26 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 19:39:17 | → | vorpuni joins (~pvorp@2001:861:3881:c690:f24:a42f:ac80:ca58) |
| 19:41:04 | × | hololeap quits (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 19:42:34 | × | littlebobeep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 19:45:07 | → | hololeap joins (~hololeap@user/hololeap) |
| 19:45:57 | × | vicfred quits (~vicfred@user/vicfred) (Quit: Leaving) |
| 19:47:22 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 19:50:04 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 19:51:33 | × | king_gs quits (~Thunderbi@187.201.220.53) (Read error: Connection reset by peer) |
| 19:53:20 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 19:53:35 | → | x_kuru joins (~xkuru@user/xkuru) |
| 19:54:23 | → | king_gs joins (~Thunderbi@187.201.220.53) |
| 19:54:48 | × | king_gs quits (~Thunderbi@187.201.220.53) (Client Quit) |
| 19:56:00 | × | xkuru quits (~xkuru@user/xkuru) (Ping timeout: 276 seconds) |
| 19:56:57 | → | littlebobeep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 19:59:47 | × | asm quits (~alexander@burner.asm89.io) (Changing host) |
| 19:59:47 | → | asm joins (~alexander@user/asm) |
| 20:00:04 | × | hololeap quits (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 20:02:13 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 20:03:30 | → | hololeap joins (~hololeap@user/hololeap) |
| 20:05:41 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 20:07:00 | × | bahamas quits (~lucian@84.232.141.55) (Ping timeout: 248 seconds) |
| 20:07:32 | × | _ht quits (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 20:08:17 | → | cigsender joins (~cigsender@cpe5c7d7db831c8-cm5c7d7db831c6.cpe.net.cable.rogers.com) |
| 20:09:04 | × | littlebobeep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 20:12:06 | → | littlebobeep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 20:13:08 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 20:25:05 | → | tiferrei joins (~tiferrei@user/tiferrei) |
| 20:25:43 | ← | tiferrei parts (~tiferrei@user/tiferrei) () |
| 20:27:04 | × | hololeap quits (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 20:29:01 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 20:29:11 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 20:29:54 | → | hololeap joins (~hololeap@user/hololeap) |
| 20:32:46 | → | Guest9776 joins (~Polo@user/polo) |
| 20:33:32 | Guest9776 | is now known as Polo |
| 20:37:04 | × | hololeap quits (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 20:40:12 | → | hololeap joins (~hololeap@user/hololeap) |
| 20:42:31 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 20:45:04 | × | hololeap quits (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 20:48:24 | → | hololeap joins (~hololeap@user/hololeap) |
| 20:48:31 | → | odnes joins (~odnes@5-203-216-158.pat.nym.cosmote.net) |
| 20:51:49 | × | tomgus1 quits (~tomgus1@90.218.25.145) (Remote host closed the connection) |
| 20:52:53 | → | tomgus1 joins (~tomgus1@2a02:c7e:4229:d900:dea6:32ff:fe3d:d1a3) |
| 20:52:57 | → | alp_ joins (~alp@user/alp) |
| 20:53:18 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 20:59:58 | × | odnes quits (~odnes@5-203-216-158.pat.nym.cosmote.net) (Quit: Leaving) |
| 21:03:24 | × | mikoto-chan quits (~mikoto-ch@213.177.151.239) (Ping timeout: 246 seconds) |
| 21:03:39 | × | nut quits (~haskellfi@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 21:06:04 | × | hololeap quits (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 21:08:59 | → | hololeap joins (~hololeap@user/hololeap) |
| 21:10:09 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: pillow time) |
| 21:10:19 | × | szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 21:10:30 | × | michalz quits (~michalz@185.246.204.121) (Remote host closed the connection) |
| 21:11:30 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 21:12:37 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 21:21:26 | → | nut joins (~haskellfi@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 21:22:56 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 21:24:32 | × | vorpuni quits (~pvorp@2001:861:3881:c690:f24:a42f:ac80:ca58) (Remote host closed the connection) |
| 21:29:20 | → | dcoutts__ joins (~duncan@host81-156-211-196.range81-156.btcentralplus.com) |
| 21:29:48 | × | adeldude13 quits (~adeldude1@46.244.82.225) (Remote host closed the connection) |
| 21:32:04 | × | hololeap quits (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 21:32:53 | → | yauhsien joins (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) |
| 21:33:44 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 21:36:01 | → | hololeap joins (~hololeap@user/hololeap) |
| 21:37:00 | × | yauhsien quits (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) (Ping timeout: 246 seconds) |
| 21:43:00 | × | CiaoSen quits (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 21:44:28 | → | odnes joins (~odnes@5-203-216-158.pat.nym.cosmote.net) |
| 21:48:41 | × | oxide quits (~lambda@user/oxide) (Quit: oxide) |
| 21:52:19 | → | yauhsien joins (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) |
| 21:52:45 | × | acidjnk quits (~acidjnk@p200300d0c70947084d467d0b2a9d23f8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 21:53:00 | × | coot quits (~coot@213.134.190.95) (Quit: coot) |
| 21:54:39 | × | jgeerds quits (~jgeerds@d53604b0.access.ecotel.net) (Ping timeout: 240 seconds) |
| 21:55:24 | × | Tuplanolla quits (~Tuplanoll@91-159-68-39.elisa-laajakaista.fi) (Quit: Leaving.) |
| 21:56:31 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 22:00:16 | → | dut joins (~dut@user/dut) |
| 22:01:12 | × | yauhsien quits (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 22:01:47 | → | yauhsien joins (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) |
| 22:03:41 | × | xsarnik quits (xsarnik@lounge.fi.muni.cz) (Quit: Ping timeout (120 seconds)) |
| 22:07:13 | × | yauhsien quits (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 22:10:04 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 22:11:18 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Ping timeout: 246 seconds) |
| 22:11:25 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 22:11:28 | allbery_b | is now known as geekosaur |
| 22:12:26 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 22:15:04 | × | littlebobeep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 22:18:33 | × | Midjak quits (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 22:18:55 | × | cigsender quits (~cigsender@cpe5c7d7db831c8-cm5c7d7db831c6.cpe.net.cable.rogers.com) (Quit: Client closed) |
| 22:19:50 | → | xsarnik joins (xsarnik@lounge.fi.muni.cz) |
| 22:23:05 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 260 seconds) |
| 22:32:00 | × | nut quits (~haskellfi@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 276 seconds) |
| 22:32:29 | × | cheater quits (~Username@user/cheater) (Read error: Connection reset by peer) |
| 22:34:59 | → | yauhsien joins (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) |
| 22:35:55 | → | cheater joins (~Username@user/cheater) |
| 22:37:05 | × | kaph quits (~kaph@net-2-42-128-205.cust.vodafonedsl.it) (Ping timeout: 260 seconds) |
| 22:39:56 | × | zeenk quits (~zeenk@2a02:2f04:a004:9b00:1efc:c1cf:378d:8b3d) (Quit: Konversation terminated!) |
| 22:41:04 | × | Guest27 quits (~Guest27@2601:281:d47f:1590::bc8f) (Ping timeout: 252 seconds) |
| 22:42:59 | psydroid | is now known as psydroid[m] |
| 22:43:33 | psydroid[m] | is now known as psydroid |
| 22:45:46 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 22:49:55 | × | dut quits (~dut@user/dut) (Ping timeout: 260 seconds) |
| 22:57:06 | → | waleee joins (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 23:01:58 | × | yauhsien quits (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 23:04:25 | → | yauhsien joins (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) |
| 23:05:47 | → | gehmehgeh_ joins (~user@user/gehmehgeh) |
| 23:07:34 | × | gehmehgeh quits (~user@user/gehmehgeh) (Ping timeout: 240 seconds) |
| 23:09:34 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 23:09:42 | × | yauhsien quits (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) (Ping timeout: 276 seconds) |
| 23:11:48 | × | dolio quits (~dolio@130.44.130.54) (Read error: Connection reset by peer) |
| 23:11:54 | → | codolio joins (~dolio@130.44.130.54) |
| 23:12:42 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 23:17:39 | × | machinedgod quits (~machinedg@24.105.81.50) (Remote host closed the connection) |
| 23:18:05 | → | Pickchea joins (~private@user/pickchea) |
| 23:18:46 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 23:27:44 | × | odnes quits (~odnes@5-203-216-158.pat.nym.cosmote.net) (Quit: Leaving) |
| 23:28:50 | × | mmhat quits (~mmh@2001:4090:a242:802a:ee08:6bff:fe09:5315) (Quit: WeeChat 3.5) |
| 23:29:01 | × | machinedgod quits (~machinedg@24.105.81.50) (Read error: Connection reset by peer) |
| 23:29:25 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 23:30:13 | × | alp_ quits (~alp@user/alp) (Ping timeout: 260 seconds) |
| 23:31:42 | × | gehmehgeh_ quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 23:37:39 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 240 seconds) |
| 23:38:44 | × | sammelweis_ quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 248 seconds) |
| 23:47:18 | × | haskl quits (~haskl@user/haskl) (Remote host closed the connection) |
| 23:47:46 | → | haskl joins (~haskl@user/haskl) |
| 23:49:18 | → | yauhsien joins (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) |
| 23:53:39 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 23:55:21 | → | seydar joins (~seydar@154-27-113-252.starry-inc.net) |
All times are in UTC on 2022-05-03.