| 2022-04-23 00:03:19 +0000 | acidjnk | (~acidjnk@p200300d0c722df1519a6bfb968fb5bce.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-04-23 00:03:34 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-04-23 00:04:32 +0000 | califax | (~califax@user/califx) |
| 2022-04-23 00:04:36 +0000 | nek0 | (~nek0@nek0.eu) |
| 2022-04-23 00:08:09 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-23 00:08:09 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-23 00:08:09 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-23 00:11:04 +0000 | xff0x_ | (~xff0x@om126194210237.10.openmobile.ne.jp) |
| 2022-04-23 00:11:04 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-23 00:14:30 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-23 00:14:58 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-23 00:15:30 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Ping timeout: 276 seconds) |
| 2022-04-23 00:15:41 +0000 | vysn | (~vysn@user/vysn) |
| 2022-04-23 00:19:06 +0000 | gpncarl_ | (~gpncarl@120.244.221.62) |
| 2022-04-23 00:19:16 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2022-04-23 00:21:00 +0000 | Techcable | (~Techcable@user/Techcable) |
| 2022-04-23 00:22:07 +0000 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-04-23 00:23:37 +0000 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2022-04-23 00:23:57 +0000 | gpncarl_ | (~gpncarl@120.244.221.62) (Ping timeout: 276 seconds) |
| 2022-04-23 00:25:09 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4) |
| 2022-04-23 00:26:22 +0000 | Midjak | (~Midjak@82.66.147.146) (Quit: Leaving) |
| 2022-04-23 00:27:48 +0000 | Midjak | (~Midjak@82.66.147.146) |
| 2022-04-23 00:32:03 +0000 | oxide | (~lambda@user/oxide) |
| 2022-04-23 00:32:19 +0000 | xff0x_ | (~xff0x@om126194210237.10.openmobile.ne.jp) (Ping timeout: 240 seconds) |
| 2022-04-23 00:32:31 +0000 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2022-04-23 00:34:40 +0000 | xff0x_ | (~xff0x@om126194210237.10.openmobile.ne.jp) |
| 2022-04-23 00:38:53 +0000 | Techcable | (~Techcable@user/Techcable) (Remote host closed the connection) |
| 2022-04-23 00:39:38 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-04-23 00:40:19 +0000 | Techcable | (~Techcable@user/Techcable) |
| 2022-04-23 00:41:37 +0000 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-04-23 00:42:14 +0000 | Techcable | (~Techcable@user/Techcable) (Remote host closed the connection) |
| 2022-04-23 00:42:21 +0000 | Techcable | (~Techcable@user/Techcable) |
| 2022-04-23 00:42:22 +0000 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Remote host closed the connection) |
| 2022-04-23 00:43:08 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-04-23 00:46:18 +0000 | laolmtdea^ | (~laolmtdea@96-89-88-129-static.hfc.comcastbusiness.net) |
| 2022-04-23 00:48:40 +0000 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection) |
| 2022-04-23 00:53:36 +0000 | abastro | (~abab9579@220.75.216.63) |
| 2022-04-23 00:55:34 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-04-23 00:56:35 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-04-23 00:57:45 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2022-04-23 01:13:20 +0000 | agrosant | (~agrosant@46.12.126.12.dsl.dyn.forthnet.gr) (Quit: Leaving) |
| 2022-04-23 01:14:00 +0000 | neurocyte8614492 | (~neurocyte@user/neurocyte) (Ping timeout: 276 seconds) |
| 2022-04-23 01:14:27 +0000 | lbseale | (~ep1ctetus@user/ep1ctetus) (Quit: Leaving) |
| 2022-04-23 01:18:24 +0000 | andrey__ | (~andrey@p200300dbcf2d4700b75a627523ede51a.dip0.t-ipconnect.de) |
| 2022-04-23 01:20:56 +0000 | andrey_ | (~andrey@p200300dbcf070c00b5dc7288fe0a9b15.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2022-04-23 01:24:08 +0000 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 248 seconds) |
| 2022-04-23 01:31:56 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2022-04-23 01:43:27 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2022-04-23 01:47:39 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Ping timeout: 240 seconds) |
| 2022-04-23 01:51:38 +0000 | eggplantade | (~Eggplanta@108.201.191.115) |
| 2022-04-23 01:52:37 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2022-04-23 01:58:32 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 250 seconds) |
| 2022-04-23 02:06:17 +0000 | Null_A_ | (~null_a@2601:645:8700:2290:ed24:4c30:909e:37d0) () |
| 2022-04-23 02:24:38 +0000 | deadmarshal_ | (~deadmarsh@95.38.228.198) |
| 2022-04-23 02:26:20 +0000 | AlexNoo_ | (~AlexNoo@178.34.160.91) |
| 2022-04-23 02:26:48 +0000 | jhagborg | (~jhagborg@068-187-237-099.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2022-04-23 02:27:59 +0000 | Alex_test | (~al_test@178.34.161.31) (Ping timeout: 240 seconds) |
| 2022-04-23 02:28:28 +0000 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 272 seconds) |
| 2022-04-23 02:28:45 +0000 | AlexZenon | (~alzenon@178.34.161.31) (Ping timeout: 276 seconds) |
| 2022-04-23 02:29:44 +0000 | deadmarshal_ | (~deadmarsh@95.38.228.198) (Ping timeout: 272 seconds) |
| 2022-04-23 02:30:07 +0000 | AlexNoo | (~AlexNoo@178.34.161.31) (Ping timeout: 256 seconds) |
| 2022-04-23 02:32:20 +0000 | jhagborg | (~jhagborg@068-187-237-099.res.spectrum.com) |
| 2022-04-23 02:32:54 +0000 | Alex_test | (~al_test@178.34.160.91) |
| 2022-04-23 02:33:15 +0000 | AlexZenon | (~alzenon@178.34.160.91) |
| 2022-04-23 02:40:34 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 250 seconds) |
| 2022-04-23 02:40:53 +0000 | td_ | (~td@94.134.91.204) (Ping timeout: 256 seconds) |
| 2022-04-23 02:42:45 +0000 | td_ | (~td@94.134.91.10) |
| 2022-04-23 02:44:44 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-04-23 02:44:49 +0000 | stackdroid18 | (~stackdroi@user/stackdroid) (Quit: hasta la vista... tchau!) |
| 2022-04-23 03:02:53 +0000 | anomal | (~anomal@87.227.196.109) (Remote host closed the connection) |
| 2022-04-23 03:03:57 +0000 | <abastro> | What is inverse of parser combinators? |
| 2022-04-23 03:04:10 +0000 | <abastro> | We have inverse of read, show |
| 2022-04-23 03:04:43 +0000 | <monochrom> | pretty printer |
| 2022-04-23 03:05:11 +0000 | <monochrom> | pretty printer combinators :) |
| 2022-04-23 03:05:34 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-04-23 03:11:15 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-04-23 03:12:04 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-23 03:15:01 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-23 03:15:07 +0000 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-04-23 03:17:49 +0000 | zaquest | (~notzaques@5.130.79.72) |
| 2022-04-23 03:18:59 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-04-23 03:19:24 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Remote host closed the connection) |
| 2022-04-23 03:20:26 +0000 | califax | (~califax@user/califx) |
| 2022-04-23 03:23:10 +0000 | <abastro> | Pretty printer? |
| 2022-04-23 03:24:19 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2022-04-23 03:24:49 +0000 | <abastro> | Which pretty printer do you mean, monochrom? |
| 2022-04-23 03:25:22 +0000 | <monochrom> | That is analogous to "which parser do you mean?". |
| 2022-04-23 03:25:46 +0000 | <monochrom> | And the answer to both is "it shouldn't matter, I'm referring to the concept". |
| 2022-04-23 03:26:11 +0000 | <abastro> | Hmm |
| 2022-04-23 03:26:33 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-23 03:26:33 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-23 03:26:33 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-23 03:26:56 +0000 | <abastro> | Perhaps I am missing something. After my shallow skim, it seems like pretty printers are for colors |
| 2022-04-23 03:29:23 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-04-23 03:30:52 +0000 | deadmarshal_ | (~deadmarsh@95.38.228.198) |
| 2022-04-23 03:31:06 +0000 | <EvanR_> | the opposite of a pretty printer is to dump all information on one line, possibly word wrapped so as to be incomprehensible |
| 2022-04-23 03:31:36 +0000 | <EvanR_> | the analogous concept to parsers is parsing by using regex |
| 2022-04-23 03:32:12 +0000 | EvanR_ | EvanR |
| 2022-04-23 03:48:45 +0000 | xff0x_ | (~xff0x@om126194210237.10.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 2022-04-23 03:52:04 +0000 | jhagborg | (~jhagborg@068-187-237-099.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2022-04-23 03:54:17 +0000 | cdman | (~dcm@27.2.218.206) |
| 2022-04-23 03:54:17 +0000 | cdman | (~dcm@27.2.218.206) (Changing host) |
| 2022-04-23 03:54:17 +0000 | cdman | (~dcm@user/dmc/x-4369397) |
| 2022-04-23 03:55:14 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 272 seconds) |
| 2022-04-23 03:57:44 +0000 | jhagborg | (~jhagborg@068-187-237-099.res.spectrum.com) |
| 2022-04-23 03:57:57 +0000 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2022-04-23 03:58:41 +0000 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) |
| 2022-04-23 04:07:33 +0000 | gpncarl_ | (~gpncarl@120.244.221.62) |
| 2022-04-23 04:12:51 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-04-23 04:13:39 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2022-04-23 04:13:44 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-04-23 04:15:32 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-23 04:15:33 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-23 04:15:33 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-23 04:16:54 +0000 | nate1 | (~nate@12.222.71.83) |
| 2022-04-23 04:17:46 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-23 04:18:36 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 276 seconds) |
| 2022-04-23 04:22:30 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 276 seconds) |
| 2022-04-23 04:23:11 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-23 04:31:57 +0000 | abastro | (~abab9579@220.75.216.63) (Ping timeout: 256 seconds) |
| 2022-04-23 04:33:52 +0000 | deadmarshal_ | (~deadmarsh@95.38.228.198) (Ping timeout: 272 seconds) |
| 2022-04-23 04:37:34 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-23 04:42:48 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-23 04:48:34 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-23 04:51:36 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 272 seconds) |
| 2022-04-23 04:59:16 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-04-23 04:59:35 +0000 | Vajb | (~Vajb@85-76-73-229-nat.elisa-mobile.fi) |
| 2022-04-23 05:05:31 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-04-23 05:13:41 +0000 | deadmarshal_ | (~deadmarsh@95.38.228.198) |
| 2022-04-23 05:15:00 +0000 | benin | (~benin@183.82.204.110) |
| 2022-04-23 05:19:29 +0000 | Vajb | (~Vajb@85-76-73-229-nat.elisa-mobile.fi) (Read error: Connection reset by peer) |
| 2022-04-23 05:19:36 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-04-23 05:28:20 +0000 | gpncarl_ | (~gpncarl@120.244.221.62) (Ping timeout: 272 seconds) |
| 2022-04-23 05:28:58 +0000 | deadmarshal_ | (~deadmarsh@95.38.228.198) (Ping timeout: 272 seconds) |
| 2022-04-23 05:29:36 +0000 | inversed | (~inversed@94.13.111.159) (Ping timeout: 272 seconds) |
| 2022-04-23 05:32:40 +0000 | deadmarshal_ | (~deadmarsh@95.38.228.198) |
| 2022-04-23 05:34:51 +0000 | gpncarl_ | (~gpncarl@120.244.221.62) |
| 2022-04-23 05:35:53 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-04-23 05:36:05 +0000 | Vajb | (~Vajb@2001:999:504:1dda:267d:6860:bdf7:f68b) |
| 2022-04-23 05:36:28 +0000 | coot | (~coot@213.134.190.95) |
| 2022-04-23 05:37:07 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-04-23 05:37:54 +0000 | Pickchea | (~private@user/pickchea) |
| 2022-04-23 05:38:59 +0000 | briandaed | (~briandaed@109.95.142.93.r.toneticgroup.pl) |
| 2022-04-23 05:39:44 +0000 | gpncarl_ | (~gpncarl@120.244.221.62) (Ping timeout: 272 seconds) |
| 2022-04-23 05:48:56 +0000 | Guest84 | (~Guest84@157-131-110-151.fiber.dynamic.sonic.net) |
| 2022-04-23 05:53:03 +0000 | Guest84 | (~Guest84@157-131-110-151.fiber.dynamic.sonic.net) (Client Quit) |
| 2022-04-23 05:57:04 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-04-23 05:59:13 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Ping timeout: 256 seconds) |
| 2022-04-23 06:01:57 +0000 | son0p | (~ff@181.136.122.143) (Ping timeout: 276 seconds) |
| 2022-04-23 06:03:27 +0000 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 240 seconds) |
| 2022-04-23 06:03:27 +0000 | Vajb | (~Vajb@2001:999:504:1dda:267d:6860:bdf7:f68b) (Read error: Connection reset by peer) |
| 2022-04-23 06:03:59 +0000 | Pickchea | (~private@user/pickchea) (Ping timeout: 240 seconds) |
| 2022-04-23 06:04:59 +0000 | nate1 | (~nate@12.222.71.83) (Ping timeout: 240 seconds) |
| 2022-04-23 06:05:35 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-04-23 06:09:07 +0000 | inversed | (~inversed@94.13.111.159) |
| 2022-04-23 06:14:11 +0000 | gpncarl_ | (~gpncarl@120.244.221.62) |
| 2022-04-23 06:20:02 +0000 | chomwitt | (~chomwitt@2a02:587:dc1a:6000:700c:1790:e6ae:d5f7) |
| 2022-04-23 06:20:49 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-04-23 06:25:02 +0000 | chomwitt | (~chomwitt@2a02:587:dc1a:6000:700c:1790:e6ae:d5f7) (Ping timeout: 250 seconds) |
| 2022-04-23 06:25:53 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Quit: leaving) |
| 2022-04-23 06:25:58 +0000 | zyklotomic | (~ethan@res380d-128-61-80-194.res.gatech.edu) (Ping timeout: 272 seconds) |
| 2022-04-23 06:26:11 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-04-23 06:27:44 +0000 | zyklotomic | (~ethan@res380d-128-61-81-225.res.gatech.edu) |
| 2022-04-23 06:28:57 +0000 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2022-04-23 06:33:07 +0000 | AlexZenon_2 | (~alzenon@178.34.160.91) |
| 2022-04-23 06:34:39 +0000 | deadmarshal_ | (~deadmarsh@95.38.228.198) (Ping timeout: 240 seconds) |
| 2022-04-23 06:35:06 +0000 | AlexZenon | (~alzenon@178.34.160.91) (Ping timeout: 276 seconds) |
| 2022-04-23 06:36:19 +0000 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2022-04-23 06:43:53 +0000 | deadmarshal_ | (~deadmarsh@95.38.228.198) |
| 2022-04-23 06:49:58 +0000 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-04-23 06:51:03 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-23 06:55:06 +0000 | phma | (~phma@host-67-44-208-95.hnremote.net) (Read error: Connection reset by peer) |
| 2022-04-23 06:56:14 +0000 | phma | (phma@2001:5b0:211c:2208:de38:aa3a:26f9:1136) |
| 2022-04-23 07:00:11 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 246 seconds) |
| 2022-04-23 07:03:55 +0000 | jhagborg | (~jhagborg@068-187-237-099.res.spectrum.com) (Remote host closed the connection) |
| 2022-04-23 07:04:20 +0000 | jhagborg | (~jhagborg@068-187-237-099.res.spectrum.com) |
| 2022-04-23 07:05:03 +0000 | acidjnk | (~acidjnk@p200300d0c722df15b9e03e6323f1bb69.dip0.t-ipconnect.de) |
| 2022-04-23 07:10:24 +0000 | titibandit | (~titibandi@xdsl-87-78-211-190.nc.de) |
| 2022-04-23 07:10:37 +0000 | hueso | (~root@user/hueso) (Ping timeout: 256 seconds) |
| 2022-04-23 07:14:06 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 276 seconds) |
| 2022-04-23 07:14:07 +0000 | abhixec | (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2022-04-23 07:18:03 +0000 | odnes | (~odnes@5-203-183-0.pat.nym.cosmote.net) |
| 2022-04-23 07:19:57 +0000 | titibandit | (~titibandi@xdsl-87-78-211-190.nc.de) (Remote host closed the connection) |
| 2022-04-23 07:20:06 +0000 | titibandit | (~titibandi@xdsl-87-78-211-190.nc.de) |
| 2022-04-23 07:22:59 +0000 | titibandit | (~titibandi@xdsl-87-78-211-190.nc.de) (Remote host closed the connection) |
| 2022-04-23 07:23:08 +0000 | titibandit | (~titibandi@xdsl-87-78-211-190.nc.de) |
| 2022-04-23 07:25:17 +0000 | anomal | (~anomal@87.227.196.109) |
| 2022-04-23 07:31:05 +0000 | titibandit | (~titibandi@xdsl-87-78-211-190.nc.de) (Remote host closed the connection) |
| 2022-04-23 07:31:15 +0000 | titibandit | (~titibandi@xdsl-87-78-211-190.nc.de) |
| 2022-04-23 07:32:06 +0000 | titibandit | (~titibandi@xdsl-87-78-211-190.nc.de) (Remote host closed the connection) |
| 2022-04-23 07:32:15 +0000 | titibandit | (~titibandi@xdsl-87-78-211-190.nc.de) |
| 2022-04-23 07:34:33 +0000 | titibandit | (~titibandi@xdsl-87-78-211-190.nc.de) (Remote host closed the connection) |
| 2022-04-23 07:34:42 +0000 | titibandit | (~titibandi@xdsl-87-78-211-190.nc.de) |
| 2022-04-23 07:40:06 +0000 | titibandit | (~titibandi@xdsl-87-78-211-190.nc.de) (Ping timeout: 276 seconds) |
| 2022-04-23 07:42:26 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-23 07:44:03 +0000 | b0o | (0e4a0bf4c9@2604:bf00:561:2000::1bf) |
| 2022-04-23 07:46:39 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 240 seconds) |
| 2022-04-23 07:47:17 +0000 | chomwitt | (~chomwitt@2a02:587:dc1a:6000:a03c:1d83:496d:4084) |
| 2022-04-23 07:47:31 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-04-23 07:59:38 +0000 | Midjak | (~Midjak@82.66.147.146) |
| 2022-04-23 08:01:12 +0000 | abastro | (~abab9579@220.75.216.63) |
| 2022-04-23 08:01:36 +0000 | abhixec | (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 272 seconds) |
| 2022-04-23 08:01:51 +0000 | acidjnk_new | (~acidjnk@p200300d0c722df15b9e03e6323f1bb69.dip0.t-ipconnect.de) |
| 2022-04-23 08:02:37 +0000 | oxide | (~lambda@user/oxide) (Quit: oxide) |
| 2022-04-23 08:02:58 +0000 | oxide | (~lambda@user/oxide) |
| 2022-04-23 08:04:16 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2022-04-23 08:05:23 +0000 | acidjnk | (~acidjnk@p200300d0c722df15b9e03e6323f1bb69.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-04-23 08:09:49 +0000 | yauhsien | (~Yau-Hsien@61-231-27-3.dynamic-ip.hinet.net) |
| 2022-04-23 08:09:52 +0000 | son0p | (~ff@181.136.122.143) |
| 2022-04-23 08:10:41 +0000 | dostoevsky | (~5c42c5384@user/dostoevsky) |
| 2022-04-23 08:13:28 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2022-04-23 08:14:25 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-23 08:14:49 +0000 | yauhsien | (~Yau-Hsien@61-231-27-3.dynamic-ip.hinet.net) (Quit: Leaving) |
| 2022-04-23 08:17:06 +0000 | Pickchea | (~private@user/pickchea) |
| 2022-04-23 08:19:20 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 272 seconds) |
| 2022-04-23 08:21:59 +0000 | jhagborg | (~jhagborg@068-187-237-099.res.spectrum.com) (Ping timeout: 240 seconds) |
| 2022-04-23 08:23:31 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-04-23 08:23:43 +0000 | vorpuni | (~pvorp@2001:861:3881:c690:48b:1c3e:9664:889b) |
| 2022-04-23 08:27:04 +0000 | zer0bitz | (~zer0bitz@2001:2003:f444:8f00:7447:c149:bef5:4b2b) |
| 2022-04-23 08:27:34 +0000 | deadmarshal_ | (~deadmarsh@95.38.228.198) (Ping timeout: 272 seconds) |
| 2022-04-23 08:29:23 +0000 | coot | (~coot@213.134.190.95) |
| 2022-04-23 08:34:25 +0000 | jgeerds | (~jgeerds@d53604b0.access.ecotel.net) |
| 2022-04-23 08:34:28 +0000 | <anomal> | Does the brain map well to functional programming? |
| 2022-04-23 08:34:35 +0000 | <anomal> | As in can we have a functional ANN? |
| 2022-04-23 08:34:43 +0000 | <anomal> | I think not |
| 2022-04-23 08:36:50 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-23 08:37:16 +0000 | <tomsmeding> | I think standard dense neural networks are pretty functional |
| 2022-04-23 08:40:44 +0000 | <[Leary]> | There's nothing imperative about NNs---they're all compositions of pure functions. |
| 2022-04-23 08:42:10 +0000 | <tomsmeding> | well you have these weird LSTM things that seem to have memory -- though I could be misunderstanding those |
| 2022-04-23 08:43:03 +0000 | <[Leary]> | So does the state monad. |
| 2022-04-23 08:43:41 +0000 | <tomsmeding> | sure |
| 2022-04-23 08:43:58 +0000 | <dibblego> | https://www.youtube.com/watch?v=tRszt-AlKOc |
| 2022-04-23 08:44:17 +0000 | <tomsmeding> | but it's a question of perspective anyway: a state monad can be seen as 's -> (a, s)' which is purely functional, or a computation returning an 'a' with state, which is not functional |
| 2022-04-23 08:44:30 +0000 | <tomsmeding> | "being functional" is subjective and dependent on perspective |
| 2022-04-23 08:47:47 +0000 | <[Leary]> | ¯\_(ツ)_/¯ |
| 2022-04-23 08:50:37 +0000 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-04-23 08:51:29 +0000 | anomal | (~anomal@87.227.196.109) (Remote host closed the connection) |
| 2022-04-23 08:52:19 +0000 | <tomsmeding> | I think that's precisely the appropriate response :p |
| 2022-04-23 08:52:19 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 240 seconds) |
| 2022-04-23 08:54:04 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2022-04-23 08:55:45 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-04-23 08:57:18 +0000 | laolmtdea^ | (~laolmtdea@96-89-88-129-static.hfc.comcastbusiness.net) (Remote host closed the connection) |
| 2022-04-23 09:00:09 +0000 | charukiewicz[m] | (~charukiew@2001:470:69fc:105::ded4) (Quit: You have been kicked for being idle) |
| 2022-04-23 09:04:30 +0000 | <abastro[m]> | We don't know how true brains are done |
| 2022-04-23 09:04:54 +0000 | <abastro[m]> | Btw what is the result of the video dibblego posted? |
| 2022-04-23 09:05:05 +0000 | abastro | (~abab9579@220.75.216.63) (Ping timeout: 256 seconds) |
| 2022-04-23 09:05:10 +0000 | <abastro[m]> | Don't wanna watch personally |
| 2022-04-23 09:19:29 +0000 | neurocyte8614492 | (~neurocyte@IP-094016064194.dynamic.medianet-world.de) |
| 2022-04-23 09:19:29 +0000 | neurocyte8614492 | (~neurocyte@IP-094016064194.dynamic.medianet-world.de) (Changing host) |
| 2022-04-23 09:19:29 +0000 | neurocyte8614492 | (~neurocyte@user/neurocyte) |
| 2022-04-23 09:20:22 +0000 | hueso | (~root@user/hueso) |
| 2022-04-23 09:20:42 +0000 | dextaa | (~dextaa@user/dextaa) |
| 2022-04-23 09:21:00 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-23 09:21:12 +0000 | titibandit | (~titibandi@xdsl-87-78-211-190.nc.de) |
| 2022-04-23 09:21:18 +0000 | eggplantade | (~Eggplanta@108.201.191.115) (Remote host closed the connection) |
| 2022-04-23 09:21:26 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-04-23 09:26:03 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 276 seconds) |
| 2022-04-23 09:26:10 +0000 | CiaoSen | (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-04-23 09:32:12 +0000 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 2022-04-23 09:33:35 +0000 | acidjnk_new | (~acidjnk@p200300d0c722df15b9e03e6323f1bb69.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-04-23 09:41:08 +0000 | titusg | (~user@2a00:23c6:ab8a:3c00:4d5b:fb1b:c853:9282) |
| 2022-04-23 09:41:57 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-04-23 09:42:18 +0000 | titibandit | (~titibandi@xdsl-87-78-211-190.nc.de) (Ping timeout: 276 seconds) |
| 2022-04-23 09:48:30 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-04-23 09:53:20 +0000 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) |
| 2022-04-23 09:53:38 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-23 09:57:39 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 240 seconds) |
| 2022-04-23 09:58:21 +0000 | oxide | (~lambda@user/oxide) (Ping timeout: 256 seconds) |
| 2022-04-23 10:00:21 +0000 | oxide | (~lambda@user/oxide) |
| 2022-04-23 10:08:14 +0000 | zeenk | (~zeenk@81.196.164.244) |
| 2022-04-23 10:11:40 +0000 | CiaoSen | (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2022-04-23 10:18:39 +0000 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Ping timeout: 240 seconds) |
| 2022-04-23 10:22:29 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-23 10:23:28 +0000 | briandaed | (~briandaed@109.95.142.93.r.toneticgroup.pl) (Ping timeout: 272 seconds) |
| 2022-04-23 10:26:39 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2022-04-23 10:26:55 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-23 10:30:38 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-04-23 10:30:59 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 240 seconds) |
| 2022-04-23 10:36:39 +0000 | vysn | (~vysn@user/vysn) (Ping timeout: 240 seconds) |
| 2022-04-23 10:36:50 +0000 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-04-23 10:36:58 +0000 | razetime | (~quassel@117.254.35.46) |
| 2022-04-23 10:37:20 +0000 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 2022-04-23 10:37:38 +0000 | Vajb | (~Vajb@2001:999:504:1dda:267d:6860:bdf7:f68b) |
| 2022-04-23 10:37:54 +0000 | briandaed | (~briandaed@109.95.142.93.r.toneticgroup.pl) |
| 2022-04-23 10:38:19 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-04-23 10:38:31 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2022-04-23 10:38:35 +0000 | acidjnk_new | (~acidjnk@p200300d0c722df15d1f61e907b975c88.dip0.t-ipconnect.de) |
| 2022-04-23 10:39:06 +0000 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) |
| 2022-04-23 10:39:56 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds) |
| 2022-04-23 10:41:14 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2022-04-23 10:41:18 +0000 | abastro | (~abab9579@220.75.216.63) |
| 2022-04-23 10:42:40 +0000 | chenqisu1 | (~chenqisu1@183.217.200.38) (Quit: Leaving) |
| 2022-04-23 10:43:26 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-23 10:47:39 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-23 10:48:19 +0000 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Ping timeout: 240 seconds) |
| 2022-04-23 10:49:19 +0000 | acidjnk_new | (~acidjnk@p200300d0c722df15d1f61e907b975c88.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-04-23 10:51:36 +0000 | acidjnk | (~acidjnk@dynamic-046-114-170-115.46.114.pool.telefonica.de) |
| 2022-04-23 10:51:43 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-23 10:56:24 +0000 | zyklotomic | (~ethan@res380d-128-61-81-225.res.gatech.edu) (Ping timeout: 272 seconds) |
| 2022-04-23 10:58:16 +0000 | zyklotomic | (~ethan@res380d-128-61-82-178.res.gatech.edu) |
| 2022-04-23 10:59:25 +0000 | acidjnk_new | (~acidjnk@p200300d0c73533234d791baa780baa3f.dip0.t-ipconnect.de) |
| 2022-04-23 11:03:31 +0000 | acidjnk | (~acidjnk@dynamic-046-114-170-115.46.114.pool.telefonica.de) (Ping timeout: 256 seconds) |
| 2022-04-23 11:05:54 +0000 | briandaed | (~briandaed@109.95.142.93.r.toneticgroup.pl) (Ping timeout: 272 seconds) |
| 2022-04-23 11:09:25 +0000 | briandaed | (~briandaed@109.95.142.93.r.toneticgroup.pl) |
| 2022-04-23 11:14:06 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-23 11:15:17 +0000 | xff0x_ | (~xff0x@om126194210237.10.openmobile.ne.jp) |
| 2022-04-23 11:18:49 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-23 11:19:12 +0000 | Pickchea | (~private@user/pickchea) (Ping timeout: 272 seconds) |
| 2022-04-23 11:20:07 +0000 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-04-23 11:21:06 +0000 | neurocyte8614492 | (~neurocyte@user/neurocyte) (Ping timeout: 276 seconds) |
| 2022-04-23 11:21:59 +0000 | odnes | (~odnes@5-203-183-0.pat.nym.cosmote.net) (Ping timeout: 240 seconds) |
| 2022-04-23 11:22:13 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-23 11:23:00 +0000 | xff0x_ | (~xff0x@om126194210237.10.openmobile.ne.jp) (Ping timeout: 272 seconds) |
| 2022-04-23 11:23:07 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-04-23 11:23:14 +0000 | odnes | (~odnes@5-203-183-0.pat.nym.cosmote.net) |
| 2022-04-23 11:23:18 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-23 11:23:51 +0000 | odnes | (~odnes@5-203-183-0.pat.nym.cosmote.net) (Remote host closed the connection) |
| 2022-04-23 11:24:05 +0000 | odnes | (~odnes@5-203-183-0.pat.nym.cosmote.net) |
| 2022-04-23 11:24:33 +0000 | xff0x_ | (~xff0x@om126194210237.10.openmobile.ne.jp) |
| 2022-04-23 11:24:34 +0000 | odnes | (~odnes@5-203-183-0.pat.nym.cosmote.net) (Remote host closed the connection) |
| 2022-04-23 11:24:47 +0000 | odnes | (~odnes@5-203-183-0.pat.nym.cosmote.net) |
| 2022-04-23 11:24:47 +0000 | __monty__ | (~toonn@user/toonn) |
| 2022-04-23 11:26:32 +0000 | michalz | (~michalz@185.246.204.125) |
| 2022-04-23 11:26:53 +0000 | michalz | (~michalz@185.246.204.125) (Remote host closed the connection) |
| 2022-04-23 11:28:15 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 276 seconds) |
| 2022-04-23 11:29:33 +0000 | xff0x_ | (~xff0x@om126194210237.10.openmobile.ne.jp) (Ping timeout: 276 seconds) |
| 2022-04-23 11:29:33 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 276 seconds) |
| 2022-04-23 11:30:50 +0000 | xff0x_ | (~xff0x@om126194210237.10.openmobile.ne.jp) |
| 2022-04-23 11:32:16 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-04-23 11:38:05 +0000 | xff0x_ | (~xff0x@om126194210237.10.openmobile.ne.jp) (Ping timeout: 256 seconds) |
| 2022-04-23 11:39:52 +0000 | michalz | (~michalz@185.246.204.107) |
| 2022-04-23 11:40:28 +0000 | michalz | (~michalz@185.246.204.107) (Remote host closed the connection) |
| 2022-04-23 11:41:26 +0000 | xff0x_ | (~xff0x@om126194210237.10.openmobile.ne.jp) |
| 2022-04-23 11:44:30 +0000 | Core1633_ | (~Core1633@2401:4900:46d5:4d6c:0:29:bbf8:ef01) |
| 2022-04-23 11:44:31 +0000 | Vajb | (~Vajb@2001:999:504:1dda:267d:6860:bdf7:f68b) (Read error: Connection reset by peer) |
| 2022-04-23 11:44:46 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-04-23 11:47:03 +0000 | Core1633 | (~Core1633@106.211.72.183) (Ping timeout: 260 seconds) |
| 2022-04-23 11:47:36 +0000 | acidjnk_new | (~acidjnk@p200300d0c73533234d791baa780baa3f.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2022-04-23 11:47:41 +0000 | deadmarshal_ | (~deadmarsh@95.38.228.198) |
| 2022-04-23 11:47:45 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Ping timeout: 276 seconds) |
| 2022-04-23 11:48:05 +0000 | namkeleser | (~namkelese@124.188.206.148) |
| 2022-04-23 11:52:18 +0000 | xff0x_ | (~xff0x@om126194210237.10.openmobile.ne.jp) (Ping timeout: 276 seconds) |
| 2022-04-23 11:52:44 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-23 11:56:59 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 240 seconds) |
| 2022-04-23 11:57:39 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-04-23 11:58:28 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-04-23 11:59:16 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-23 12:03:34 +0000 | zebrag | (~chris@user/zebrag) |
| 2022-04-23 12:04:10 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 272 seconds) |
| 2022-04-23 12:04:34 +0000 | Hiring | (~Hiring@31.222.238.38) |
| 2022-04-23 12:04:45 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-04-23 12:10:00 +0000 | sprout | (~quassel@2a02-a467-ccd6-1-71e6-fc28-7b5f-489c.fixed6.kpn.net) (Ping timeout: 248 seconds) |
| 2022-04-23 12:10:48 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::c90f) |
| 2022-04-23 12:14:03 +0000 | xff0x_ | (~xff0x@om126158190036.30.openmobile.ne.jp) |
| 2022-04-23 12:14:33 +0000 | zeenk | (~zeenk@81.196.164.244) (Quit: Konversation terminated!) |
| 2022-04-23 12:14:50 +0000 | <Hiring> | HR Manager hiring programmers and certified specialists in readteaming. Interested ppl DM me and we will exchange with our linkedin etc |
| 2022-04-23 12:15:53 +0000 | <__monty__> | What even is readteaming? |
| 2022-04-23 12:15:55 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-04-23 12:16:20 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-04-23 12:17:16 +0000 | <Hiring> | https://en.wikipedia.org/wiki/Red_team |
| 2022-04-23 12:17:48 +0000 | <hpc> | is it haskell-related? |
| 2022-04-23 12:18:03 +0000 | <Hiring> | Yes. |
| 2022-04-23 12:20:11 +0000 | <hpc> | maybe post a link or something, so it's not just a solicitation for PMs |
| 2022-04-23 12:20:27 +0000 | <hpc> | it could be interesting even to people that don't apply, and this is a discussion channel after all :P |
| 2022-04-23 12:22:23 +0000 | kaph | (~kaph@151.35.125.127) |
| 2022-04-23 12:26:51 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-23 12:31:39 +0000 | deadmarshal_ | (~deadmarsh@95.38.228.198) (Ping timeout: 240 seconds) |
| 2022-04-23 12:36:28 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 272 seconds) |
| 2022-04-23 12:36:37 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-23 12:37:20 +0000 | kaph | (~kaph@151.35.125.127) (Read error: Connection reset by peer) |
| 2022-04-23 12:38:32 +0000 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-04-23 12:41:17 +0000 | Guest|48 | (~Guest|48@dynamic-095-114-104-003.95.114.pool.telefonica.de) |
| 2022-04-23 12:44:03 +0000 | sprout | (~quassel@2a02-a45f-f170-1-b4a4-4f2b-ed80-5245.fixed6.kpn.net) |
| 2022-04-23 12:51:35 +0000 | <ManofLetters[m]> | your daily type-level puzzle (both errors are puzzling me): https://paste.tomsmeding.com/W1DfJbNL |
| 2022-04-23 12:51:56 +0000 | AlexZenon_2 | AlexZenon |
| 2022-04-23 12:52:13 +0000 | AlexNoo_ | AlexNoo |
| 2022-04-23 12:53:09 +0000 | <tomsmeding> | ManofLetters[m]: first error is because `f` cannot be called without type applications (because `z` is then always ambiguous) |
| 2022-04-23 12:53:30 +0000 | <tomsmeding> | GHC prevents you from accidentally writing such a type signature, and requires AllowAmbiguousTypes to disable the check |
| 2022-04-23 12:53:34 +0000 | jgeerds | (~jgeerds@d53604b0.access.ecotel.net) (Ping timeout: 272 seconds) |
| 2022-04-23 12:53:59 +0000 | <ManofLetters[m]> | TIL |
| 2022-04-23 12:54:06 +0000 | namkeleser | (~namkelese@124.188.206.148) (Quit: Client closed) |
| 2022-04-23 12:55:21 +0000 | Guest|48 | (~Guest|48@dynamic-095-114-104-003.95.114.pool.telefonica.de) (Quit: Connection closed) |
| 2022-04-23 12:55:26 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Ping timeout: 246 seconds) |
| 2022-04-23 12:56:48 +0000 | <tomsmeding> | ManofLetters[m]: the second I don't know exactly, but I suspect that that is because type class dictionaries are applied implicitly, so `c => a` unifies with `a` unifies with `d => a`, hence `y` in g's type signature is ambiguous |
| 2022-04-23 12:56:50 +0000 | <tomsmeding> | but not sure |
| 2022-04-23 12:58:54 +0000 | <tomsmeding> | in any case it does work if you add a `Proxy x` argument to the argument of `f` and to the type of `g` |
| 2022-04-23 12:59:06 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-04-23 12:59:26 +0000 | <tomsmeding> | ManofLetters[m]: more info about the first error: https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/exts/ambiguous_types.html#extensio… |
| 2022-04-23 13:01:00 +0000 | <ManofLetters[m]> | got it, thank you; Proxies would be so sad ;( |
| 2022-04-23 13:01:24 +0000 | <tomsmeding> | ManofLetters[m]: lol your example is literally there in the docs |
| 2022-04-23 13:01:48 +0000 | <tomsmeding> | (though without explanation about why) |
| 2022-04-23 13:04:03 +0000 | <ManofLetters[m]> | wow, amazing; but it's sad, because it means I need to duplicate the type applications (once per each added proxy); oh well; thank you! |
| 2022-04-23 13:04:17 +0000 | <tomsmeding> | you don't, right? |
| 2022-04-23 13:04:28 +0000 | <tomsmeding> | `forall x. KnownNat x => Proxy x -> ()` |
| 2022-04-23 13:04:34 +0000 | <tomsmeding> | then `f (Proxy @42)` is enough |
| 2022-04-23 13:04:40 +0000 | <tomsmeding> | don't need `f @42 (Proxy @42)` |
| 2022-04-23 13:05:38 +0000 | <ManofLetters[m]> | oh, ok, I thought it's `f (Proxy @42) (g (Proxy @42)) |
| 2022-04-23 13:05:53 +0000 | <ManofLetters[m]> | will try and report |
| 2022-04-23 13:06:01 +0000 | <ManofLetters[m]> | (try in the real life code) |
| 2022-04-23 13:06:07 +0000 | <tomsmeding> | hm, true, though `f` happens to work without proxy in this toy example :p |
| 2022-04-23 13:06:52 +0000 | razetime | (~quassel@117.254.35.46) (Ping timeout: 272 seconds) |
| 2022-04-23 13:07:14 +0000 | xkuru | (~xkuru@user/xkuru) |
| 2022-04-23 13:10:21 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-04-23 13:12:15 +0000 | gpncarl_ | (~gpncarl@120.244.221.62) (Ping timeout: 276 seconds) |
| 2022-04-23 13:12:22 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::c90f) (Ping timeout: 250 seconds) |
| 2022-04-23 13:12:39 +0000 | gpncarl_ | (~gpncarl@120.244.221.62) |
| 2022-04-23 13:14:18 +0000 | razetime | (~quassel@117.254.35.241) |
| 2022-04-23 13:18:33 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-04-23 13:20:59 +0000 | <ManofLetters[m]> | ok, tried out, it's not so bad, no code duplication (which is error-prone), fortunately |
| 2022-04-23 13:21:13 +0000 | <ManofLetters[m]> | `f (Proxy @42) g` is enough |
| 2022-04-23 13:21:20 +0000 | <ManofLetters[m]> | and `f` applies the proxy to `g` |
| 2022-04-23 13:21:59 +0000 | <ManofLetters[m]> | the biggest pain is that all the `g`-like function require (multiple, because there are many type parameters) proxies |
| 2022-04-23 13:22:12 +0000 | <ManofLetters[m]> | ta |
| 2022-04-23 13:24:17 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-04-23 13:24:38 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-04-23 13:25:42 +0000 | <ManofLetters[m]> | tomsmeding: ta |
| 2022-04-23 13:25:55 +0000 | <tomsmeding> | ta? |
| 2022-04-23 13:28:53 +0000 | <ManofLetters[m]> | thank you again :) |
| 2022-04-23 13:28:57 +0000 | <ManofLetters[m]> | thanks again? |
| 2022-04-23 13:29:18 +0000 | <tomsmeding> | ah, didn't know that abbreviation |
| 2022-04-23 13:29:19 +0000 | <tomsmeding> | cheers :) |
| 2022-04-23 13:30:17 +0000 | kb72 | (~kb@2603-8080-c907-34a3-70e6-3f87-1774-4568.res6.spectrum.com) |
| 2022-04-23 13:30:41 +0000 | kb72 | (~kb@2603-8080-c907-34a3-70e6-3f87-1774-4568.res6.spectrum.com) (Client Quit) |
| 2022-04-23 13:34:48 +0000 | gpncarl | (~gpncarl@120.244.221.62) |
| 2022-04-23 13:35:23 +0000 | gpncarl_ | (~gpncarl@120.244.221.62) (Ping timeout: 256 seconds) |
| 2022-04-23 13:35:54 +0000 | namkeleser | (~namkelese@124.188.206.148) |
| 2022-04-23 13:36:55 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-04-23 13:37:07 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-04-23 13:42:29 +0000 | deadmarshal_ | (~deadmarsh@95.38.228.198) |
| 2022-04-23 13:47:08 +0000 | vorpuni | (~pvorp@2001:861:3881:c690:48b:1c3e:9664:889b) (Quit: bye) |
| 2022-04-23 13:50:55 +0000 | CiaoSen | (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-04-23 13:54:37 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-23 13:55:43 +0000 | odnes | (~odnes@5-203-183-0.pat.nym.cosmote.net) (Read error: Connection reset by peer) |
| 2022-04-23 13:55:43 +0000 | odnes_ | (~odnes@5-203-183-0.pat.nym.cosmote.net) |
| 2022-04-23 13:58:39 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2022-04-23 14:01:57 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-04-23 14:03:41 +0000 | deadmarshal_ | (~deadmarsh@95.38.228.198) (Ping timeout: 246 seconds) |
| 2022-04-23 14:10:12 +0000 | gpncarl | (~gpncarl@120.244.221.62) (Ping timeout: 272 seconds) |
| 2022-04-23 14:17:17 +0000 | rekahsoft | (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) |
| 2022-04-23 14:19:00 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-04-23 14:19:34 +0000 | rekahsoft | (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2022-04-23 14:19:57 +0000 | rekahsoft | (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) |
| 2022-04-23 14:20:59 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 240 seconds) |
| 2022-04-23 14:21:19 +0000 | razetime | (~quassel@117.254.35.241) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-04-23 14:26:05 +0000 | CiaoSen | (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Quit: CiaoSen) |
| 2022-04-23 14:32:27 +0000 | namkeleser | (~namkelese@124.188.206.148) (Quit: Client closed) |
| 2022-04-23 14:45:32 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-23 14:48:37 +0000 | cdman | (~dcm@user/dmc/x-4369397) (Quit: Leaving) |
| 2022-04-23 14:52:36 +0000 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2022-04-23 14:55:15 +0000 | nate1 | (~nate@12.222.71.83) |
| 2022-04-23 14:55:52 +0000 | kayprish | (~kayprish@cable-24-135-254-227.dynamic.sbb.rs) |
| 2022-04-23 14:56:35 +0000 | kayprish | (~kayprish@cable-24-135-254-227.dynamic.sbb.rs) (Client Quit) |
| 2022-04-23 14:56:51 +0000 | kayprish | (~kayprish@cable-24-135-254-227.dynamic.sbb.rs) |
| 2022-04-23 14:56:52 +0000 | sammelweis_ | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-04-23 14:57:40 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 250 seconds) |
| 2022-04-23 15:01:22 +0000 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-04-23 15:01:46 +0000 | gpncarl | (~gpncarl@120.244.221.62) |
| 2022-04-23 15:06:54 +0000 | CiaoSen | (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-04-23 15:08:05 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-23 15:10:15 +0000 | dextaa | (~dextaa@user/dextaa) (Remote host closed the connection) |
| 2022-04-23 15:10:56 +0000 | marinelli | (~marinelli@gateway/tor-sasl/marinelli) |
| 2022-04-23 15:13:23 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-23 15:13:47 +0000 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-04-23 15:14:00 +0000 | marinelli | (~marinelli@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2022-04-23 15:14:50 +0000 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2022-04-23 15:16:42 +0000 | nate1 | (~nate@12.222.71.83) (Ping timeout: 272 seconds) |
| 2022-04-23 15:17:00 +0000 | dextaa | (~dextaa@user/dextaa) |
| 2022-04-23 15:19:22 +0000 | jinsun | (~jinsun@user/jinsun) |
| 2022-04-23 15:20:04 +0000 | stackdroid18 | (14094@user/stackdroid) |
| 2022-04-23 15:20:36 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-04-23 15:21:36 +0000 | stefan-_ | (~cri@42dots.de) (Ping timeout: 276 seconds) |
| 2022-04-23 15:22:16 +0000 | dextaa4 | (~dextaa@user/dextaa) |
| 2022-04-23 15:22:17 +0000 | dextaa4 | (~dextaa@user/dextaa) (Remote host closed the connection) |
| 2022-04-23 15:23:02 +0000 | dextaa4 | (~dextaa@user/dextaa) |
| 2022-04-23 15:24:31 +0000 | benin | (~benin@183.82.204.110) (Quit: The Lounge - https://thelounge.chat) |
| 2022-04-23 15:24:51 +0000 | dextaa | (~dextaa@user/dextaa) (Ping timeout: 276 seconds) |
| 2022-04-23 15:25:29 +0000 | stefan-_ | (~cri@42dots.de) |
| 2022-04-23 15:28:38 +0000 | dextaa4 | (~dextaa@user/dextaa) (Remote host closed the connection) |
| 2022-04-23 15:29:38 +0000 | dextaa4 | (~dextaa@user/dextaa) |
| 2022-04-23 15:30:19 +0000 | dextaa4 | (~dextaa@user/dextaa) (Remote host closed the connection) |
| 2022-04-23 15:31:52 +0000 | dextaa4 | (~dextaa@user/dextaa) |
| 2022-04-23 15:32:51 +0000 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2022-04-23 15:39:11 +0000 | dextaa4 | (~dextaa@user/dextaa) (Remote host closed the connection) |
| 2022-04-23 15:39:30 +0000 | <tomsmeding> | maerwald: styling is not yet improved, but the layout using css is much more stable now that I've used css grid (thanks arjun I guess for the suggestion): https://play-haskell.tomsmeding.com/play |
| 2022-04-23 15:40:20 +0000 | <tomsmeding> | you said that working with css is like harvesting asparagus; maybe it's still unpleasant, but css grid does make this particular application a lot more intuitive |
| 2022-04-23 15:40:41 +0000 | dextaa4 | (~dextaa@user/dextaa) |
| 2022-04-23 15:42:40 +0000 | <maerwald> | tomsmeding: nice |
| 2022-04-23 15:45:24 +0000 | <tomsmeding> | maerwald: see also the new button at the top :p |
| 2022-04-23 15:45:50 +0000 | abastro | (~abab9579@220.75.216.63) (Ping timeout: 272 seconds) |
| 2022-04-23 15:45:54 +0000 | <maerwald> | tomsmeding: I'm trying to come up with an example that blows up heap size, but doesn't time out |
| 2022-04-23 15:45:55 +0000 | <maerwald> | any idea? |
| 2022-04-23 15:47:53 +0000 | <tomsmeding> | as in, use lots of memory in little time? |
| 2022-04-23 15:48:09 +0000 | <tomsmeding> | let l = [1..1000000] in sum l + product l + length l |
| 2022-04-23 15:49:00 +0000 | <tomsmeding> | hm |
| 2022-04-23 15:50:13 +0000 | <maerwald> | times out |
| 2022-04-23 15:50:19 +0000 | <tomsmeding> | yeah I noticed :p |
| 2022-04-23 15:50:33 +0000 | <tomsmeding> | ah {-# NOINLINE l #-} |
| 2022-04-23 15:51:08 +0000 | <tomsmeding> | with 100000000 |
| 2022-04-23 15:51:34 +0000 | <tomsmeding> | ghc being too smart again |
| 2022-04-23 15:52:11 +0000 | <tomsmeding> | https://play-haskell.tomsmeding.com/cd85IVb8 |
| 2022-04-23 15:52:47 +0000 | <maerwald> | tomsmeding: https://play-haskell.tomsmeding.com/LdCgMv9k |
| 2022-04-23 15:52:50 +0000 | <maerwald> | doesn't work for me |
| 2022-04-23 15:53:31 +0000 | <maerwald> | yours also times out |
| 2022-04-23 15:53:35 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-23 15:53:56 +0000 | <tomsmeding> | it's on the border then apparently |
| 2022-04-23 15:54:17 +0000 | <tomsmeding> | if I remove '+ length l' and add an 'Int' annotation to l, it gives heap exhausted fairly often, but not always |
| 2022-04-23 15:54:57 +0000 | <[_________]> | what's the time limit ? putStrLn might always reach it if there's a lot of data |
| 2022-04-23 15:54:59 +0000 | <abastro[m]> | Could I get dark mode for the playground |
| 2022-04-23 15:55:09 +0000 | <maerwald> | tomsmeding: 9.2.2 worked |
| 2022-04-23 15:55:40 +0000 | <tomsmeding> | [_________]: timeout is here https://github.com/tomsmeding/pastebin-haskell/blob/play/GHCPool.hs#L37 , print is just an Int here so that's not it |
| 2022-04-23 15:55:54 +0000 | <tomsmeding> | abastro[m]: noted, I would like it too |
| 2022-04-23 15:57:05 +0000 | <abastro[m]> | Thanks!!! |
| 2022-04-23 15:57:20 +0000 | <tomsmeding> | but no promises as to delivery time :p |
| 2022-04-23 15:57:25 +0000 | <maerwald> | tomsmeding: so did you get your bubblewrap line reviewed? |
| 2022-04-23 15:57:35 +0000 | <tomsmeding> | not by a professional |
| 2022-04-23 15:57:45 +0000 | dextaa4 | (~dextaa@user/dextaa) (Remote host closed the connection) |
| 2022-04-23 15:58:03 +0000 | <maerwald> | are there bubblewrap professionals other than the author? |
| 2022-04-23 15:58:12 +0000 | <tomsmeding> | :') |
| 2022-04-23 15:59:29 +0000 | <tomsmeding> | maerwald: this one is much more efficient at exhausting heap https://play-haskell.tomsmeding.com/HrZJmcvi |
| 2022-04-23 16:00:42 +0000 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
| 2022-04-23 16:01:19 +0000 | <maerwald> | you set max heap size to 500mb? |
| 2022-04-23 16:01:30 +0000 | <tomsmeding> | Yes |
| 2022-04-23 16:01:39 +0000 | <tomsmeding> | Is that too small? |
| 2022-04-23 16:01:41 +0000 | <maerwald> | so there's only one worker thread? |
| 2022-04-23 16:01:44 +0000 | <tomsmeding> | 3 |
| 2022-04-23 16:01:46 +0000 | <maerwald> | I was thinking smaller |
| 2022-04-23 16:01:50 +0000 | <maerwald> | hmm |
| 2022-04-23 16:02:02 +0000 | AkechiShiro | (~licht@user/akechishiro) |
| 2022-04-23 16:02:17 +0000 | <tomsmeding> | machine has 3.7G ram according to htop, and 3 cores |
| 2022-04-23 16:02:33 +0000 | <maerwald> | I think I'd set it to 50mb and increase workers |
| 2022-04-23 16:02:46 +0000 | <tomsmeding> | is it useful to have more workers than cores |
| 2022-04-23 16:02:49 +0000 | <maerwald> | write efficient code :p |
| 2022-04-23 16:03:00 +0000 | <tomsmeding> | I already have queueing functionality, if there's more jobs than workers they get queued |
| 2022-04-23 16:03:03 +0000 | <maerwald> | no idea |
| 2022-04-23 16:03:14 +0000 | <tomsmeding> | though the maximum queue length is also 3, no idea what's a good choice there |
| 2022-04-23 16:04:40 +0000 | <tomsmeding> | maerwald: also have this ulimit because it's trivial to System.Cmd.system your way out of the RTS limits https://github.com/tomsmeding/pastebin-haskell/blob/play/bwrap-files/start.sh#L40 |
| 2022-04-23 16:05:31 +0000 | <maerwald> | 3 workers seems a lil small imo... maybe the heap size can be a function of the number of workers |
| 2022-04-23 16:05:35 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-04-23 16:05:46 +0000 | <maerwald> | and the current queue size |
| 2022-04-23 16:05:56 +0000 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Quit: Leaving) |
| 2022-04-23 16:05:58 +0000 | <tomsmeding> | maerwald: I doubt adding more workers than cores is helpful |
| 2022-04-23 16:06:13 +0000 | <maerwald> | why does it have so few cores |
| 2022-04-23 16:06:19 +0000 | <tomsmeding> | Rather run it on a bigger machine, for which I need $ :p |
| 2022-04-23 16:06:24 +0000 | <tomsmeding> | Because I rented a cheap vps |
| 2022-04-23 16:06:28 +0000 | <maerwald> | um |
| 2022-04-23 16:06:37 +0000 | <maerwald> | ping HF |
| 2022-04-23 16:06:46 +0000 | <tomsmeding> | I mean it's not that expensive, but poor phd |
| 2022-04-23 16:06:56 +0000 | <maerwald> | 100$ per month should be cheap for them |
| 2022-04-23 16:07:18 +0000 | <maerwald> | Hecate: can we make this happen? |
| 2022-04-23 16:07:25 +0000 | <Hecate> | hello |
| 2022-04-23 16:07:28 +0000 | AkechiShiro | (~licht@user/akechishiro) (Quit: WeeChat 3.2.1) |
| 2022-04-23 16:07:36 +0000 | <maerwald> | we want a big machine for the haskell playground |
| 2022-04-23 16:07:41 +0000 | <maerwald> | https://play-haskell.tomsmeding.com/play/paste/cd85IVb8/1 |
| 2022-04-23 16:07:45 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 276 seconds) |
| 2022-04-23 16:07:50 +0000 | AkechiShiro | (~licht@user/akechishiro) |
| 2022-04-23 16:07:59 +0000 | AkechiShiro | (~licht@user/akechishiro) (Client Quit) |
| 2022-04-23 16:08:08 +0000 | <Hecate> | maerwald: you should contact haskell.org first I guess? |
| 2022-04-23 16:08:13 +0000 | <Hecate> | they have the infra |
| 2022-04-23 16:08:19 +0000 | AkechiShiro | (~licht@user/akechishiro) |
| 2022-04-23 16:08:42 +0000 | <Hecate> | maerwald: and Tom Ellis is on the board of Haskell.org btw |
| 2022-04-23 16:08:45 +0000 | <maerwald> | this is not hosted on haskell.org |
| 2022-04-23 16:08:48 +0000 | <Hecate> | this should |
| 2022-04-23 16:09:05 +0000 | vicfred | (~vicfred@user/vicfred) |
| 2022-04-23 16:09:07 +0000 | <tomsmeding> | yeah I guess this shouldn't continue to be hosted on my personal domain :p |
| 2022-04-23 16:09:09 +0000 | <maerwald> | not sure, that's up to tomsmeding |
| 2022-04-23 16:09:09 +0000 | <Hecate> | this is too important to be left on someone's personal infra |
| 2022-04-23 16:09:28 +0000 | <Hecate> | I mean, at a private individual's burden and cost |
| 2022-04-23 16:09:28 +0000 | vicfred | (~vicfred@user/vicfred) (Remote host closed the connection) |
| 2022-04-23 16:09:42 +0000 | <Hecate> | this is the kind of stuff that would benefit from mutualising the costs |
| 2022-04-23 16:10:16 +0000 | <tomsmeding> | you guys figure this out, I'm going to make some food :p |
| 2022-04-23 16:10:21 +0000 | <tomsmeding> | be back in a while |
| 2022-04-23 16:10:27 +0000 | <maerwald> | tomsmeding: we can prolly also make the ghc backend a microservice and scale it horizontally? |
| 2022-04-23 16:10:45 +0000 | <mikoto-chan> | is there also a "namespace" for global packages with cabal? |
| 2022-04-23 16:10:54 +0000 | <Hecate> | mikoto-chan: there isn't, and shouldn't |
| 2022-04-23 16:11:10 +0000 | <Hecate> | if you're trying to do what I'm thinking you're trying to do: don't do it |
| 2022-04-23 16:11:19 +0000 | AkechiShiro | (~licht@user/akechishiro) (Client Quit) |
| 2022-04-23 16:11:27 +0000 | <mikoto-chan> | Hecate: so even for a simple hello world that needs an external package I need to create a new project? |
| 2022-04-23 16:11:44 +0000 | AkechiShiro | (~licht@user/akechishiro) |
| 2022-04-23 16:11:51 +0000 | <mikoto-chan> | what happens when I run `cabal install foo` in my home directory? |
| 2022-04-23 16:12:05 +0000 | <Hecate> | mikoto-chan: it created an abomination and we learned our lesson |
| 2022-04-23 16:12:15 +0000 | <maerwald> | mikoto-chan: https://www.haskell.org/ghcup/steps/#an-interactive-environment |
| 2022-04-23 16:12:15 +0000 | <Hecate> | see: The Python ecosystem |
| 2022-04-23 16:12:30 +0000 | <maerwald> | mikoto-chan: this explains how to add dependencies ad-hoc so you can use them in a repl |
| 2022-04-23 16:12:41 +0000 | <mikoto-chan> | Hecate: idk about Python, I have a Go background |
| 2022-04-23 16:12:46 +0000 | <maerwald> | https://www.haskell.org/ghcup/steps/#using-external-packages-in-ghci rather |
| 2022-04-23 16:12:49 +0000 | <mikoto-chan> | maerwald: thanks :) |
| 2022-04-23 16:12:53 +0000 | <geekosaur> | if foo is a library, it installs in cabal's internal package database and does nothing else. you can't access it without e.g. cabal repl --build-depends=foo |
| 2022-04-23 16:12:53 +0000 | <mikoto-chan> | oh |
| 2022-04-23 16:13:10 +0000 | <mikoto-chan> | geekosaur: so cabal has a repl too? |
| 2022-04-23 16:13:13 +0000 | <Hecate> | yes |
| 2022-04-23 16:13:19 +0000 | <geekosaur> | if it's an executable, the executable is installed in ~/.cabal/bin (or windows equivalent) |
| 2022-04-23 16:13:46 +0000 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-04-23 16:14:07 +0000 | <geekosaur> | "cabal repl" runs ghci with youtr dependencies. if you have no current project it uses a fake one, and you can use --build-depends to add packages to that fake one |
| 2022-04-23 16:15:06 +0000 | <mikoto-chan> | thanks, that answers my question |
| 2022-04-23 16:15:21 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2022-04-23 16:16:02 +0000 | <monochrom> | "A simple hello world" would not have any dependency other than what GHC already provides. |
| 2022-04-23 16:16:26 +0000 | <maerwald> | monochrom: it needs 'say' |
| 2022-04-23 16:16:39 +0000 | <maerwald> | https://hackage.haskell.org/package/say-0.1.0.1/docs/Say.html :p |
| 2022-04-23 16:16:50 +0000 | <mikoto-chan> | maerwald: XD |
| 2022-04-23 16:16:51 +0000 | <Hecate> | hahaha |
| 2022-04-23 16:17:46 +0000 | <geekosaur> | I have expected some kind of lambdasay (see cowsay) |
| 2022-04-23 16:17:53 +0000 | <geekosaur> | *half expected |
| 2022-04-23 16:18:12 +0000 | <monochrom> | Ugh the package is not an April 1st joke... |
| 2022-04-23 16:18:17 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-23 16:18:18 +0000 | <albet70> | if a language doesn't support tail call optimization, using fixed point call can avoid the recursive limit? |
| 2022-04-23 16:19:13 +0000 | vysn | (~vysn@user/vysn) |
| 2022-04-23 16:19:42 +0000 | <monochrom> | That depends on what else the language supports and the semantics of "fixed point call" in that language. |
| 2022-04-23 16:20:00 +0000 | CiaoSen | (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2022-04-23 16:20:06 +0000 | <monochrom> | Fully specify the language you have in mind, and then the question can be answered. |
| 2022-04-23 16:20:26 +0000 | <albet70> | "monochrom :Fully specify the language you have in mind, and then the question can be answered.", python or javascript |
| 2022-04-23 16:20:35 +0000 | <monochrom> | Broad "conceptual" "intuitive" vague questions don't work. |
| 2022-04-23 16:21:15 +0000 | xff0x_ | (~xff0x@om126158190036.30.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 2022-04-23 16:21:15 +0000 | <monochrom> | What is "fixed point call" in Python? |
| 2022-04-23 16:21:20 +0000 | <albet70> | fib _fib = _fib, call fib in the last of _fib, could avoid? |
| 2022-04-23 16:21:42 +0000 | <monochrom> | Have you benchmarked that? |
| 2022-04-23 16:21:50 +0000 | <albet70> | not yet |
| 2022-04-23 16:21:55 +0000 | <albet70> | just wondering |
| 2022-04-23 16:22:02 +0000 | <mikoto-chan> | monochrom: can you link me your Haskell writeups again? |
| 2022-04-23 16:22:18 +0000 | <monochrom> | http://www.vex.net/~trebla/haskell/ |
| 2022-04-23 16:22:26 +0000 | <maerwald> | tomsmeding: please also add "access to stackage LTS dependencies" to playground TODO. That shouldn't even be hard to implement via a script. |
| 2022-04-23 16:22:45 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-04-23 16:24:52 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-04-23 16:25:14 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-04-23 16:25:40 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-04-23 16:26:41 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-04-23 16:26:56 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-04-23 16:27:32 +0000 | neurocyte8614492 | (~neurocyte@IP-094016064194.dynamic.medianet-world.de) |
| 2022-04-23 16:27:32 +0000 | neurocyte8614492 | (~neurocyte@IP-094016064194.dynamic.medianet-world.de) (Changing host) |
| 2022-04-23 16:27:32 +0000 | neurocyte8614492 | (~neurocyte@user/neurocyte) |
| 2022-04-23 16:29:00 +0000 | dextaa4 | (~dextaa@user/dextaa) |
| 2022-04-23 16:29:22 +0000 | AkechiShiro | (~licht@user/akechishiro) (Quit: WeeChat 3.2.1) |
| 2022-04-23 16:29:27 +0000 | vysn | (~vysn@user/vysn) (Ping timeout: 240 seconds) |
| 2022-04-23 16:30:00 +0000 | AkechiShiro | (~licht@user/akechishiro) |
| 2022-04-23 16:30:02 +0000 | <albet70> | how to construct a function f by its fixed point _f? if _f is defined |
| 2022-04-23 16:30:09 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-04-23 16:30:24 +0000 | <albet70> | no with the 'const' way |
| 2022-04-23 16:30:46 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-04-23 16:32:45 +0000 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Quit: mikoto-chan) |
| 2022-04-23 16:32:59 +0000 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-04-23 16:33:40 +0000 | kenran | (~kenran@200116b82b09c300fe68b4ac7bae351b.dip.versatel-1u1.de) |
| 2022-04-23 16:33:50 +0000 | kenran | (~kenran@200116b82b09c300fe68b4ac7bae351b.dip.versatel-1u1.de) (Client Quit) |
| 2022-04-23 16:36:54 +0000 | sprout | (~quassel@2a02-a45f-f170-1-b4a4-4f2b-ed80-5245.fixed6.kpn.net) (Ping timeout: 250 seconds) |
| 2022-04-23 16:37:00 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::c90f) |
| 2022-04-23 16:37:04 +0000 | <hpc> | i am not sure that it's possible |
| 2022-04-23 16:37:29 +0000 | <hpc> | try doing it to a specific recursive definition, like the factorial function |
| 2022-04-23 16:37:39 +0000 | gpncarl | (~gpncarl@120.244.221.62) (Ping timeout: 276 seconds) |
| 2022-04-23 16:38:01 +0000 | <monochrom> | You should not even be sure what that question means. It's deranged. |
| 2022-04-23 16:38:25 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-23 16:39:10 +0000 | gpncarl | (~gpncarl@120.244.221.62) |
| 2022-04-23 16:39:16 +0000 | dextaa4 | (~dextaa@user/dextaa) (Remote host closed the connection) |
| 2022-04-23 16:40:24 +0000 | <EvanR> | damn |
| 2022-04-23 16:40:54 +0000 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 276 seconds) |
| 2022-04-23 16:43:39 +0000 | gpncarl | (~gpncarl@120.244.221.62) (Ping timeout: 240 seconds) |
| 2022-04-23 16:44:43 +0000 | gpncarl | (~gpncarl@120.244.221.62) |
| 2022-04-23 16:45:43 +0000 | <EvanR> | in context where optimization doesn't change behavior but only performance, tail call optimization should be called tail call not-brokenation |
| 2022-04-23 16:46:27 +0000 | <EvanR> | TCNB |
| 2022-04-23 16:47:11 +0000 | <albet70> | it's hard to implement? and why so many languages don't support it? |
| 2022-04-23 16:47:25 +0000 | <EvanR> | I think most languages don't think it's important |
| 2022-04-23 16:47:32 +0000 | <albet70> | I only know scheme and haskell support it |
| 2022-04-23 16:47:42 +0000 | <EvanR> | scheme and haskell both support tail call not brokenation |
| 2022-04-23 16:47:58 +0000 | <EvanR> | in wildly different ways |
| 2022-04-23 16:48:19 +0000 | <albet70> | but scheme make it within its standard |
| 2022-04-23 16:48:53 +0000 | gpncarl | (~gpncarl@120.244.221.62) (Ping timeout: 247 seconds) |
| 2022-04-23 16:48:59 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 260 seconds) |
| 2022-04-23 16:49:04 +0000 | <albet70> | despite its so many variants implement |
| 2022-04-23 16:49:06 +0000 | <EvanR> | stuff being not broken is a much more general concept and often not something you even bring up |
| 2022-04-23 16:49:25 +0000 | <EvanR> | like, a lot of people just assume things aren't broken |
| 2022-04-23 16:50:08 +0000 | <EvanR> | but schema and javascript both assume the same background function call strategy, using a call stack |
| 2022-04-23 16:51:27 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 256 seconds) |
| 2022-04-23 16:51:47 +0000 | <EvanR> | haskell's call by name stuff doesn't work that way, it happens recursive tail calling isn't automatically broken, so it awkward to even bring it up |
| 2022-04-23 16:53:50 +0000 | <EvanR> | I guess it's more constructive to say javascript features broken recursion |
| 2022-04-23 16:54:10 +0000 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) |
| 2022-04-23 16:54:32 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-23 16:54:44 +0000 | <albet70> | "call me by your name" |
| 2022-04-23 16:57:18 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-23 16:57:27 +0000 | <EvanR> | tbf writing code in most languages as if it were scheme is probably bad |
| 2022-04-23 16:57:47 +0000 | <EvanR> | your coworkers would revolt |
| 2022-04-23 16:58:27 +0000 | <EvanR> | in haskell it's likely to lead to breakage too |
| 2022-04-23 17:00:19 +0000 | <mikoto-chan> | maerwald: the real question is, why does say operate on the Text set by default and not String like print? |
| 2022-04-23 17:01:19 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2022-04-23 17:01:32 +0000 | <monochrom> | String = [Char] gets old quickly. (One of the few things I agree with Snoyman.) (Yes Snoyman is involved, follow the links to see his post.) |
| 2022-04-23 17:02:28 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 272 seconds) |
| 2022-04-23 17:04:00 +0000 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-04-23 17:04:58 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-23 17:05:02 +0000 | <EvanR> | the next real question might be, why doesn't say operate on the abstract intersection of things it would need from Text or String |
| 2022-04-23 17:05:16 +0000 | <monochrom> | EvanR: Haskell's is s/name/need/. The difference: "(\x -> x*x)(2+2)" do I get two copies of "2+2"? call-by-name: yes. call-by-need: no. |
| 2022-04-23 17:05:41 +0000 | <EvanR> | I was pretty sure I used the wrong call by |
| 2022-04-23 17:06:51 +0000 | <monochrom> | Perhaps there is insufficient interest in the "say" package altogether to advance on that front (or any front). |
| 2022-04-23 17:07:36 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-23 17:08:00 +0000 | <monochrom> | Like, I know the issue, but I have another solution already. Have a service thread dedicated for putStrLn, every other thread has to message it to output to stdout. |
| 2022-04-23 17:08:55 +0000 | <monochrom> | Even putStrLn itself (generally GHC's Handle system) already has some degree of atomicity. |
| 2022-04-23 17:09:00 +0000 | <EvanR> | I guess that improves the random ordering of characters to random ordering of lines |
| 2022-04-23 17:11:13 +0000 | econo | (uid147250@user/econo) |
| 2022-04-23 17:12:19 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 260 seconds) |
| 2022-04-23 17:12:48 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-23 17:14:20 +0000 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Read error: Connection reset by peer) |
| 2022-04-23 17:17:31 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-23 17:18:43 +0000 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-04-23 17:19:34 +0000 | abhixec | (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2022-04-23 17:22:08 +0000 | zmv | (~zmv@2804:431:c7f2:bc76:d25c:c233:e0ba:665f) |
| 2022-04-23 17:22:23 +0000 | zmv | (~zmv@2804:431:c7f2:bc76:d25c:c233:e0ba:665f) (Changing host) |
| 2022-04-23 17:22:23 +0000 | zmv | (~zmv@user/notzmv) |
| 2022-04-23 17:22:33 +0000 | zmv | notzmv |
| 2022-04-23 17:22:38 +0000 | roconnor | (~roconnor@coq/roconnor) |
| 2022-04-23 17:23:11 +0000 | <roconnor> | Is there a varient of Data.Array.! somewhere that returns a Maybe element? |
| 2022-04-23 17:24:54 +0000 | <monochrom> | I think no. vector has it. |
| 2022-04-23 17:25:17 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-23 17:27:04 +0000 | <EvanR> | you can cook one up using Control.Exception, maybe |
| 2022-04-23 17:27:33 +0000 | <geekosaur> | or with bounds |
| 2022-04-23 17:27:58 +0000 | <roconnor> | ya, I've written my own for now. |
| 2022-04-23 17:28:07 +0000 | <monochrom> | Yeah please use "inRange" instead of waiting for an async exception. |
| 2022-04-23 17:28:20 +0000 | <EvanR> | double the bounds checking, since it already has to check bounds to throw an exception xD |
| 2022-04-23 17:28:21 +0000 | <roconnor> | but I'm at the point where I'll need to write my own module just to export it to various places. |
| 2022-04-23 17:28:53 +0000 | <EvanR> | I guess checking bounds combined with unsafe index |
| 2022-04-23 17:29:30 +0000 | <roconnor> | I'm sure Lens has something. |
| 2022-04-23 17:29:33 +0000 | <monochrom> | Yeah it should have been in the standard library. |
| 2022-04-23 17:30:13 +0000 | <monochrom> | Who knows, probably someone proposed this 10 years ago already and the library comittee is still like "the jury is still out on this" haha. |
| 2022-04-23 17:30:46 +0000 | <geekosaur> | I'd thought array already had at :( |
| 2022-04-23 17:31:02 +0000 | <roconnor> | It would obviously be called Data.Array.lookup |
| 2022-04-23 17:31:52 +0000 | <roconnor> | maybe it means I should just use Vector. :') |
| 2022-04-23 17:32:15 +0000 | <monochrom> | Leslie Lamport speaks of "the part-time parliament". You would think that such a parliament would be the worst committee ever. |
| 2022-04-23 17:32:15 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-23 17:32:54 +0000 | <EvanR> | I respect a committee that veers on the side of doing nothing, as opposed to messing everything up regularly |
| 2022-04-23 17:33:12 +0000 | <dolio> | Pretty sure the library committee would say not to use Array. |
| 2022-04-23 17:33:23 +0000 | <roconnor> | dolio: oh really? |
| 2022-04-23 17:33:46 +0000 | sprout | (~quassel@2a02-a467-ccd6-1-1ca0-7883-960c-afa4.fixed6.kpn.net) |
| 2022-04-23 17:33:51 +0000 | <roconnor> | Okay then I will switch to Vector. |
| 2022-04-23 17:34:04 +0000 | <dolio> | Yeah, there's been a replacement for like 15 years. |
| 2022-04-23 17:34:49 +0000 | <dolio> | I think array is only still around for backwards compatibility. |
| 2022-04-23 17:35:33 +0000 | roconnor | opens up GHC to find ... type Array i e = (i,Vector e) j/k |
| 2022-04-23 17:36:10 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2022-04-23 17:36:37 +0000 | <monochrom> | There is a circular-dependency obstacle discouraging that. |
| 2022-04-23 17:37:00 +0000 | <monochrom> | Either that, or "oh so that's why GHC is a 500MB download and a 2GB install" |
| 2022-04-23 17:37:06 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2022-04-23 17:37:07 +0000 | allbery_b | (~geekosaur@xmonad/geekosaur) |
| 2022-04-23 17:37:10 +0000 | allbery_b | geekosaur |
| 2022-04-23 17:37:33 +0000 | anomal | (~anomal@87.227.196.109) |
| 2022-04-23 17:37:38 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-23 17:42:10 +0000 | CiaoSen | (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-04-23 17:45:23 +0000 | <roconnor> | dolio: How about DiffArray :P |
| 2022-04-23 17:45:34 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-04-23 17:46:54 +0000 | <dolio> | I never use it. |
| 2022-04-23 17:49:16 +0000 | alp_ | (~alp@user/alp) |
| 2022-04-23 17:49:28 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-23 17:50:18 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-04-23 17:51:31 +0000 | abhixec | (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2022-04-23 17:53:15 +0000 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Read error: Connection reset by peer) |
| 2022-04-23 17:53:18 +0000 | qy | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-04-23 17:58:49 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-04-23 18:00:57 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-23 18:06:59 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 240 seconds) |
| 2022-04-23 18:09:34 +0000 | abhixec | (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2022-04-23 18:10:40 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-23 18:12:07 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-23 18:13:50 +0000 | michalz | (~michalz@185.246.204.121) |
| 2022-04-23 18:15:48 +0000 | son0p | (~ff@181.136.122.143) (Ping timeout: 276 seconds) |
| 2022-04-23 18:16:27 +0000 | abhixec | (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 276 seconds) |
| 2022-04-23 18:18:13 +0000 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-04-23 18:18:18 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2022-04-23 18:19:22 +0000 | son0p | (~ff@181.136.122.143) |
| 2022-04-23 18:20:22 +0000 | ccntrq | (~Thunderbi@2a01:e34:eccb:b060:317a:9a8d:5793:3644) |
| 2022-04-23 18:21:19 +0000 | AlexNoo_ | (~AlexNoo@178.34.160.91) |
| 2022-04-23 18:21:21 +0000 | AlexNoo | (~AlexNoo@178.34.160.91) (Read error: Connection reset by peer) |
| 2022-04-23 18:21:25 +0000 | notzmv | (~zmv@user/notzmv) (Remote host closed the connection) |
| 2022-04-23 18:22:00 +0000 | zmv | (~zmv@2804:431:c7f2:bc76:b695:507f:43d6:1767) |
| 2022-04-23 18:22:17 +0000 | zmv | (~zmv@2804:431:c7f2:bc76:b695:507f:43d6:1767) (Changing host) |
| 2022-04-23 18:22:17 +0000 | zmv | (~zmv@user/notzmv) |
| 2022-04-23 18:22:27 +0000 | zmv | notzmv |
| 2022-04-23 18:23:03 +0000 | <tomsmeding> | maerwald: horizontally scalable backend sounds like a great idea; stackage added to TODO |
| 2022-04-23 18:25:31 +0000 | acidjnk_new | (~acidjnk@p200300d0c73533234d791baa780baa3f.dip0.t-ipconnect.de) |
| 2022-04-23 18:26:47 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-04-23 18:26:49 +0000 | coot | (~coot@213.134.190.95) |
| 2022-04-23 18:33:36 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-04-23 18:34:05 +0000 | titibandit | (~titibandi@xdsl-89-0-37-242.nc.de) |
| 2022-04-23 18:35:48 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-23 18:35:49 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-23 18:35:49 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-23 18:35:54 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Quit: WeeChat 3.5) |
| 2022-04-23 18:36:10 +0000 | bahamas | (~lucian@37.251.222.126) |
| 2022-04-23 18:36:31 +0000 | alp_ | (~alp@user/alp) (Remote host closed the connection) |
| 2022-04-23 18:37:20 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-04-23 18:37:50 +0000 | alp_ | (~alp@user/alp) |
| 2022-04-23 18:39:50 +0000 | <Brandon_IX> | why does [x | x <- [20..1], 20 `mod` x == 0] give me an empty list? |
| 2022-04-23 18:40:10 +0000 | <tomsmeding> | > ([20..1], [20,19..1]) |
| 2022-04-23 18:40:11 +0000 | <lambdabot> | ([],[20,19,18,17,16,15,14,13,12,11,10,9,8,7,6,5,4,3,2,1]) |
| 2022-04-23 18:40:30 +0000 | <tomsmeding> | the step is +1 by default, unless you explicitly override it |
| 2022-04-23 18:40:45 +0000 | <geekosaur> | the .. syntax is not "smart" and does not realize you want it to count backwards |
| 2022-04-23 18:41:04 +0000 | <Brandon_IX> | perfect tyvm |
| 2022-04-23 18:41:20 +0000 | <monochrom> | But it's smart and realize that [20, 19 .. 1] means the step is 19-20. |
| 2022-04-23 18:42:34 +0000 | bahamas | (~lucian@37.251.222.126) (Quit: leaving) |
| 2022-04-23 18:42:46 +0000 | <monochrom> | As a result if I try to translate BASIC "for i=37 to 3 step -4" I have to think "OK what is 37-4 again?" |
| 2022-04-23 18:42:59 +0000 | <Brandon_IX> | it's probably a naive questions to ask but couldn't the interpreter just check if the first number is greater than the second |
| 2022-04-23 18:43:18 +0000 | <tomsmeding> | the [..] syntax technically also works for types that don't have a (<) operation |
| 2022-04-23 18:43:28 +0000 | <tomsmeding> | :t \x -> [x..x] |
| 2022-04-23 18:43:30 +0000 | <lambdabot> | Enum a => a -> [a] |
| 2022-04-23 18:43:36 +0000 | <tomsmeding> | only has an Enum constraint, not an Ord |
| 2022-04-23 18:44:14 +0000 | <tomsmeding> | though that's a weak argument because Enum also includes a bijection with Int... |
| 2022-04-23 18:44:27 +0000 | <tomsmeding> | so I guess the correct answer is "dunno, it doesn't" |
| 2022-04-23 18:44:38 +0000 | <monochrom> | Because there are times I want [5..4] to be the empty list. |
| 2022-04-23 18:46:12 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Remote host closed the connection) |
| 2022-04-23 18:46:32 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-04-23 18:48:12 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Remote host closed the connection) |
| 2022-04-23 18:48:33 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2022-04-23 18:49:42 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Remote host closed the connection) |
| 2022-04-23 18:51:15 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2022-04-23 18:52:00 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-23 18:52:12 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Remote host closed the connection) |
| 2022-04-23 18:52:31 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2022-04-23 18:53:32 +0000 | sedman | (~sedman@45.40.14.156) |
| 2022-04-23 18:57:30 +0000 | nate1 | (~nate@12.222.71.83) |
| 2022-04-23 18:57:53 +0000 | tzh_ | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2022-04-23 18:57:59 +0000 | sedman | (~sedman@45.40.14.156) () |
| 2022-04-23 18:58:04 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-04-23 18:58:42 +0000 | tzh_ | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Remote host closed the connection) |
| 2022-04-23 18:59:22 +0000 | tzh_ | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-04-23 19:00:26 +0000 | <Hecate> | monochrom: you mean ]4;5[? |
| 2022-04-23 19:00:42 +0000 | tzh_ | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Read error: Connection reset by peer) |
| 2022-04-23 19:00:54 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Ping timeout: 272 seconds) |
| 2022-04-23 19:01:26 +0000 | tzh_ | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-04-23 19:01:39 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-23 19:02:12 +0000 | tzh_ | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Remote host closed the connection) |
| 2022-04-23 19:03:07 +0000 | <hpc> | Hecate: that evaluates to ꙱ |
| 2022-04-23 19:04:04 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 272 seconds) |
| 2022-04-23 19:05:30 +0000 | <monochrom> | I mean [5..4]. |
| 2022-04-23 19:07:42 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2022-04-23 19:07:42 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Remote host closed the connection) |
| 2022-04-23 19:08:09 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-04-23 19:08:41 +0000 | <monochrom> | Consider the mathematical convention of "Sigma i=5 to 7" to mean 3 terms, "i=5 to 5" to mean one term, "i=5 to 4" to mean the empty sum. |
| 2022-04-23 19:09:42 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Remote host closed the connection) |
| 2022-04-23 19:11:54 +0000 | <geekosaur> | also consider the case of [5..x] where x might be 4. sometimes you want to reverse them, sometimes you want it to be empty |
| 2022-04-23 19:12:12 +0000 | <geekosaur> | so has[21:15:33] *** Joins: machinedgod (~machinedg@24.105.81.50) |
| 2022-04-23 19:16:27 +0000 | Dorkside6 | (~dorkside@208.190.197.222) (Ping timeout: 240 seconds) |
| 2022-04-23 19:16:27 +0000 | Dorkside67 | Dorkside6 |
| 2022-04-23 19:23:19 +0000 | oxide | (~lambda@user/oxide) (Ping timeout: 240 seconds) |
| 2022-04-23 19:29:54 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-23 19:32:16 +0000 | thiskappaisgrey | (~user@host-182-24.cagotro2.goleta.ca.us.clients.pavlovmedia.net) |
| 2022-04-23 19:35:59 +0000 | dextaa4 | (~dextaa@user/dextaa) |
| 2022-04-23 19:40:42 +0000 | zeenk | (~zeenk@2a02:2f0e:7713:b01:9f0b:5fe0:531e:9cf6) |
| 2022-04-23 19:41:49 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-23 19:44:15 +0000 | thiskappaisgrey | (~user@host-182-24.cagotro2.goleta.ca.us.clients.pavlovmedia.net) (Quit: ERC 5.4.1 (IRC client for GNU Emacs 29.0.50)) |
| 2022-04-23 19:44:36 +0000 | thiskappaisgrey | (~user@host-182-24.cagotro2.goleta.ca.us.clients.pavlovmedia.net) |
| 2022-04-23 19:49:21 +0000 | pavonia | (~user@user/siracusa) |
| 2022-04-23 19:52:23 +0000 | c_wraith | (~c_wraith@adjoint.us) (Ping timeout: 260 seconds) |
| 2022-04-23 19:53:04 +0000 | c_wraith | (~c_wraith@adjoint.us) |
| 2022-04-23 19:55:35 +0000 | thiskappaisgrey | (~user@host-182-24.cagotro2.goleta.ca.us.clients.pavlovmedia.net) (Quit: ERC 5.4.1 (IRC client for GNU Emacs 29.0.50)) |
| 2022-04-23 19:56:09 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-23 19:56:26 +0000 | Jeanne-Kamikaze | (~Jeanne-Ka@142.147.89.243) |
| 2022-04-23 19:57:01 +0000 | gpncarl | (~gpncarl@120.244.221.62) |
| 2022-04-23 19:57:19 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::c90f) (Ping timeout: 240 seconds) |
| 2022-04-23 19:57:32 +0000 | briandaed | (~briandaed@109.95.142.93.r.toneticgroup.pl) (Ping timeout: 246 seconds) |
| 2022-04-23 20:00:14 +0000 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2022-04-23 20:01:42 +0000 | gpncarl | (~gpncarl@120.244.221.62) (Ping timeout: 272 seconds) |
| 2022-04-23 20:04:28 +0000 | chomwitt | (~chomwitt@2a02:587:dc1a:6000:a03c:1d83:496d:4084) (Ping timeout: 250 seconds) |
| 2022-04-23 20:05:16 +0000 | pie_ | (~pie_bnc@user/pie/x-2818909) () |
| 2022-04-23 20:05:57 +0000 | zincy | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-04-23 20:06:57 +0000 | pie_ | (~pie_bnc@user/pie/x-2818909) |
| 2022-04-23 20:07:17 +0000 | thiskappaisgrey | (~user@host-182-24.cagotro2.goleta.ca.us.clients.pavlovmedia.net) |
| 2022-04-23 20:08:23 +0000 | titibandit | (~titibandi@xdsl-89-0-37-242.nc.de) (Ping timeout: 246 seconds) |
| 2022-04-23 20:08:31 +0000 | thiskappaisgrey | (~user@host-182-24.cagotro2.goleta.ca.us.clients.pavlovmedia.net) (Client Quit) |
| 2022-04-23 20:10:09 +0000 | thiskappaisgrey | (~user@host-182-24.cagotro2.goleta.ca.us.clients.pavlovmedia.net) |
| 2022-04-23 20:10:12 +0000 | nate1 | (~nate@12.222.71.83) (Ping timeout: 276 seconds) |
| 2022-04-23 20:20:57 +0000 | Core1633_ | (~Core1633@2401:4900:46d5:4d6c:0:29:bbf8:ef01) (Remote host closed the connection) |
| 2022-04-23 20:21:10 +0000 | fendor__ | (~fendor@178.115.77.64.wireless.dyn.drei.com) |
| 2022-04-23 20:23:26 +0000 | fendor_ | (~fendor@178.115.59.61.wireless.dyn.drei.com) (Ping timeout: 246 seconds) |
| 2022-04-23 20:26:07 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-23 20:26:27 +0000 | <exarkun> | if I have a record type X that has a value of Y as a field and there is an instance of Z for Y, is there a succinct way to make an instance of Z for X that just uses Y and Y's instance? |
| 2022-04-23 20:28:10 +0000 | <exarkun> | (Alternatively, what should I want in Haskell for cases where I wanted https://github.com/twisted/twisted/blob/trunk/src/twisted/python/components.py#L178 in Python?) |
| 2022-04-23 20:37:35 +0000 | zincy | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 2022-04-23 20:37:41 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-04-23 20:37:56 +0000 | titibandit | (~titibandi@xdsl-89-0-37-242.nc.de) |
| 2022-04-23 20:41:36 +0000 | zeenk | (~zeenk@2a02:2f0e:7713:b01:9f0b:5fe0:531e:9cf6) (Quit: Konversation terminated!) |
| 2022-04-23 20:42:23 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-23 20:43:30 +0000 | dextaa4 | (~dextaa@user/dextaa) (Ping timeout: 272 seconds) |
| 2022-04-23 20:44:26 +0000 | Jeanne-Kamikaze | (~Jeanne-Ka@142.147.89.243) (Quit: Leaving) |
| 2022-04-23 20:46:19 +0000 | jgeerds | (~jgeerds@d53604b0.access.ecotel.net) |
| 2022-04-23 20:47:37 +0000 | zincy | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-04-23 20:52:14 +0000 | michalz | (~michalz@185.246.204.121) (Remote host closed the connection) |
| 2022-04-23 20:52:53 +0000 | odnes_ | (~odnes@5-203-183-0.pat.nym.cosmote.net) (Quit: Leaving) |
| 2022-04-23 20:56:53 +0000 | AlexNoo_ | AlexNoo |
| 2022-04-23 20:59:23 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-04-23 21:00:58 +0000 | <tomsmeding> | exarkun: is that Y the only field of the record? If so, `deriving via` |
| 2022-04-23 21:01:50 +0000 | <tomsmeding> | otherwise, not possible in general; for example, how would that work for Z = Monoid and its mempty method? What should it invent for the other fields of X |
| 2022-04-23 21:02:00 +0000 | <tomsmeding> | or <> from Semigroup, for that matter |
| 2022-04-23 21:02:47 +0000 | renzhi | (~xp@2607:fa49:6500:b100::19a0) (Ping timeout: 240 seconds) |
| 2022-04-23 21:02:49 +0000 | <exarkun> | hm, indeed. |
| 2022-04-23 21:14:39 +0000 | <Sgeo> | With Isos, do I need to think about type changes? s->a and b->t, or is it always s->a and a->s? |
| 2022-04-23 21:15:40 +0000 | renzhi | (~xp@2607:fa49:6500:b100::1d4a) |
| 2022-04-23 21:17:12 +0000 | ystael | (~ystael@user/ystael) (Ping timeout: 248 seconds) |
| 2022-04-23 21:17:13 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-23 21:19:35 +0000 | Guest81 | (~Guest81@172.77.31.247) |
| 2022-04-23 21:20:39 +0000 | <Guest81> | Trying to get into haskell again. Anything you'd recommend besides the learn you a haskell? |
| 2022-04-23 21:21:15 +0000 | <monochrom> | Perhaps my http://www.vex.net/~trebla/haskell/learn-sources.html can help. |
| 2022-04-23 21:21:20 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-23 21:21:20 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-23 21:21:20 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-23 21:21:47 +0000 | <geekosaur> | @where books |
| 2022-04-23 21:21:47 +0000 | <lambdabot> | https://www.extrema.is/articles/haskell-books, see also @where LYAH, RWH, YAHT, SOE, HR, PIH, TFwH, wikibook, PCPH, HPFFP, HTAC, TwT, FoP, PFAD, WYAH, non-haskell-books |
| 2022-04-23 21:22:03 +0000 | <hpc> | https://www.haskell.org/documentation/ |
| 2022-04-23 21:22:03 +0000 | <geekosaur> | also |
| 2022-04-23 21:22:07 +0000 | <geekosaur> | @where cis194 |
| 2022-04-23 21:22:07 +0000 | <lambdabot> | https://www.seas.upenn.edu/~cis194/spring13/lectures.html |
| 2022-04-23 21:22:51 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-23 21:23:06 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-04-23 21:23:49 +0000 | <geekosaur> | @where+ books https://www.extrema.is/articles/haskell-books http://www.vex.net/~trebla/haskell/learn-sources.html, see also @where LYAH, RWH, YAHT, SOE, HR, PIH, TFwH, wikibook, PCPH, HPFFP, HTAC, TwT, FoP, PFAD, WYAH, non-haskell-books |
| 2022-04-23 21:23:49 +0000 | <lambdabot> | Okay. |
| 2022-04-23 21:24:19 +0000 | CiaoSen | (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-04-23 21:24:20 +0000 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-04-23 21:24:48 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-04-23 21:26:02 +0000 | <geekosaur> | @where learn |
| 2022-04-23 21:26:02 +0000 | <lambdabot> | https://wiki.haskell.org/Learning_Haskell |
| 2022-04-23 21:27:03 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-23 21:28:29 +0000 | <Guest81> | Oh thank you all. Seems this community is active and great! Thank you all very much. I'll be back once I get a little under my belt as melas0nos |
| 2022-04-23 21:29:10 +0000 | ystael | (~ystael@user/ystael) |
| 2022-04-23 21:29:44 +0000 | neurocyte8614492 | (~neurocyte@user/neurocyte) (Ping timeout: 272 seconds) |
| 2022-04-23 21:32:14 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-23 21:32:39 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2022-04-23 21:36:12 +0000 | jhagborg | (~jhagborg@068-187-237-099.res.spectrum.com) |
| 2022-04-23 21:38:00 +0000 | zer0bitz | (~zer0bitz@2001:2003:f444:8f00:7447:c149:bef5:4b2b) (Ping timeout: 248 seconds) |
| 2022-04-23 21:44:57 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-04-23 21:46:56 +0000 | zeenk | (~zeenk@2a02:2f0e:7713:b01:9f0b:5fe0:531e:9cf6) |
| 2022-04-23 21:50:28 +0000 | kayprish | (~kayprish@cable-24-135-254-227.dynamic.sbb.rs) (Read error: Connection reset by peer) |
| 2022-04-23 21:50:48 +0000 | acidjnk_new | (~acidjnk@p200300d0c73533234d791baa780baa3f.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2022-04-23 21:50:57 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 276 seconds) |
| 2022-04-23 21:54:07 +0000 | chomwitt | (~chomwitt@2a02:587:dc1a:6000:9ad:a6d1:4aec:2764) |
| 2022-04-23 21:54:20 +0000 | chomwitt | (~chomwitt@2a02:587:dc1a:6000:9ad:a6d1:4aec:2764) (Remote host closed the connection) |
| 2022-04-23 21:56:45 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::c90f) |
| 2022-04-23 21:57:24 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-23 22:01:39 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 240 seconds) |
| 2022-04-23 22:02:56 +0000 | Sgeo_ | (~Sgeo@user/sgeo) |
| 2022-04-23 22:03:16 +0000 | nate1 | (~nate@12.222.71.83) |
| 2022-04-23 22:03:56 +0000 | Sgeo | (~Sgeo@user/sgeo) (Ping timeout: 272 seconds) |
| 2022-04-23 22:04:03 +0000 | deadmarshal_ | (~deadmarsh@95.38.112.91) |
| 2022-04-23 22:06:59 +0000 | Sgeo_ | (~Sgeo@user/sgeo) (Ping timeout: 240 seconds) |
| 2022-04-23 22:08:16 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-04-23 22:08:19 +0000 | deadmarshal_ | (~deadmarsh@95.38.112.91) (Ping timeout: 240 seconds) |
| 2022-04-23 22:08:40 +0000 | zincy | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 2022-04-23 22:11:41 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-23 22:11:54 +0000 | zeenk | (~zeenk@2a02:2f0e:7713:b01:9f0b:5fe0:531e:9cf6) (Quit: Konversation terminated!) |
| 2022-04-23 22:20:02 +0000 | Brandon_IX | (~brandon@178-79-138-117.ip.linodeusercontent.com) (Quit: leaving) |
| 2022-04-23 22:21:48 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-04-23 22:27:27 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-23 22:36:24 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-04-23 22:37:11 +0000 | titibandit | (~titibandi@xdsl-89-0-37-242.nc.de) (Remote host closed the connection) |
| 2022-04-23 22:41:06 +0000 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2022-04-23 22:43:50 +0000 | nate1 | (~nate@12.222.71.83) (Ping timeout: 272 seconds) |
| 2022-04-23 22:44:11 +0000 | fernand81 | (~fernand@177.89.23.224) |
| 2022-04-23 22:45:25 +0000 | fernand | (uid551405@id-551405.tinside.irccloud.com) |
| 2022-04-23 22:49:17 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-04-23 22:49:47 +0000 | fernand81 | (~fernand@177.89.23.224) (Quit: fernand81) |
| 2022-04-23 22:53:53 +0000 | nate1 | (~nate@12.222.71.83) |
| 2022-04-23 22:56:55 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-04-23 22:57:55 +0000 | tommd | (~tommd@97-120-41-123.ptld.qwest.net) |
| 2022-04-23 22:59:17 +0000 | <raehik> | Can I manually quantify type variables in a typeclass method, so I can order them in a nice way for visible type application? |
| 2022-04-23 23:01:29 +0000 | <raehik> | it'd be nice to know in general but in this case I got confused, I'm not introducing any more typevars in the method so no ordering issues |
| 2022-04-23 23:04:39 +0000 | thiskappaisgrey | (~user@host-182-24.cagotro2.goleta.ca.us.clients.pavlovmedia.net) (Ping timeout: 240 seconds) |
| 2022-04-23 23:04:39 +0000 | jargon | (~jargon@174-22-223-120.phnx.qwest.net) |
| 2022-04-23 23:09:52 +0000 | <monochrom> | I think yes. Use ExplicitForall maybe. |
| 2022-04-23 23:12:15 +0000 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 256 seconds) |
| 2022-04-23 23:12:51 +0000 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 276 seconds) |
| 2022-04-23 23:19:03 +0000 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) |
| 2022-04-23 23:20:05 +0000 | <raehik> | thanks monochrom . the users guide indicates it's done per instance |
| 2022-04-23 23:20:44 +0000 | <raehik> | didn't know you could do `instance forall x. C x => D x where ...`! |
| 2022-04-23 23:25:01 +0000 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-04-23 23:25:37 +0000 | xkuru | (~xkuru@user/xkuru) |
| 2022-04-23 23:26:54 +0000 | jhagborg | (~jhagborg@068-187-237-099.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2022-04-23 23:34:14 +0000 | <monochrom> | Hrm. Oh well. |
| 2022-04-23 23:36:20 +0000 | Guest81 | (~Guest81@172.77.31.247) (Ping timeout: 252 seconds) |
| 2022-04-23 23:37:02 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 272 seconds) |
| 2022-04-23 23:37:40 +0000 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 272 seconds) |
| 2022-04-23 23:45:29 +0000 | <abastro[m]> | Having forall explicit by default could have been better for beginners so much |
| 2022-04-23 23:51:04 +0000 | nehsou^ | (~nehsou@50.233.120.162) |
| 2022-04-23 23:57:17 +0000 | maerwald | (~maerwald@user/maerwald) (Ping timeout: 246 seconds) |
| 2022-04-23 23:57:42 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-23 23:59:53 +0000 | <yushyin> | abastro[m]: ExplicitForAll is in GHC2021 which is the default if neither Haskell98 nor Haskell2010 is used |