2021-07-02 00:01:10 +0200 | Ariakenom | (~Ariakenom@c83-255-154-140.bredband.tele2.se) (Quit: Leaving) |
2021-07-02 00:02:02 +0200 | <monochrom> | That golden ratio trick is nice. |
2021-07-02 00:02:50 +0200 | <monochrom> | And Fibonacci is behind it. |
2021-07-02 00:03:08 +0200 | <monochrom> | https://twitter.com/sigfpe/status/776420034419658752 |
2021-07-02 00:03:15 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-07-02 00:04:05 +0200 | <safinaskar> | geekosaur: are you prematurely optimizing, or just using a non-Haskelly API for some reason?" - i already have non-optimized version, and now i want to optimize it. in fact code i want to optimize is here: https://hackage.haskell.org/package/check-cfg-ambiguity-0.0.0.1/docs/src/CheckCFGAmbiguity.html#lo… . it uses "STRef s [a]" |
2021-07-02 00:04:05 +0200 | <safinaskar> | and i want to replace it with my vector |
2021-07-02 00:05:07 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2021-07-02 00:05:27 +0200 | <davean> | tomsmeding: Its mroe efficient with one STRef, and I believe two refernces to the same vector |
2021-07-02 00:09:20 +0200 | cuz | (~user@2601:182:cc02:8b0:480:5e00:5c91:f4b2) |
2021-07-02 00:09:49 +0200 | chisui | (~chisui@200116b866be75009cc16d86abb76e8b.dip.versatel-1u1.de) (Ping timeout: 246 seconds) |
2021-07-02 00:13:11 +0200 | Kaipi | (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection) |
2021-07-02 00:14:07 +0200 | Kaipi | (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
2021-07-02 00:19:20 +0200 | Kaipi | (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection) |
2021-07-02 00:19:31 +0200 | Kaipi | (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
2021-07-02 00:23:29 +0200 | Merfont | (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
2021-07-02 00:24:09 +0200 | Kaipi | (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection) |
2021-07-02 00:24:28 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
2021-07-02 00:24:56 +0200 | chris_ | (~chris@81.96.113.213) (Remote host closed the connection) |
2021-07-02 00:25:33 +0200 | chris_ | (~chris@81.96.113.213) |
2021-07-02 00:27:05 +0200 | Merfont | (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection) |
2021-07-02 00:27:52 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Ping timeout: 265 seconds) |
2021-07-02 00:29:06 +0200 | chomwitt | (~Pitsikoko@2a02:587:dc0b:0:d8f7:cdfe:4658:bec4) (Ping timeout: 240 seconds) |
2021-07-02 00:29:34 +0200 | jonatan | (~nate@h77-53-70-163.cust.a3fiber.se) (Ping timeout: 268 seconds) |
2021-07-02 00:30:02 +0200 | chris_ | (~chris@81.96.113.213) (Ping timeout: 272 seconds) |
2021-07-02 00:31:09 +0200 | Lycurgus | (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
2021-07-02 00:31:14 +0200 | hsiktas[m] | (~hsiktasma@2001:470:69fc:105::30d4) |
2021-07-02 00:32:39 +0200 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
2021-07-02 00:32:54 +0200 | <ph88> | is there any way to get the name of the compiled binary with either stack or cabal ? i need to know the name for a command line tool |
2021-07-02 00:37:45 +0200 | dunj3 | (~dunj3@p200300f61714a66193d8ecf822b563af.dip0.t-ipconnect.de) (Quit: Leaving) |
2021-07-02 00:38:16 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
2021-07-02 00:39:05 +0200 | fendor | (~fendor@77.119.218.107.wireless.dyn.drei.com) (Read error: Connection reset by peer) |
2021-07-02 00:41:39 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
2021-07-02 00:42:13 +0200 | <geekosaur> | https://downloads.haskell.org/ghc/latest/docs/html/libraries/base-4.15.0.0/System-Environment.html… |
2021-07-02 00:42:54 +0200 | acidjnk_new | (~acidjnk@p200300d0c72b9504558b1d2f6b7134fe.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
2021-07-02 00:46:17 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 256 seconds) |
2021-07-02 00:47:05 +0200 | <ph88> | geekosaur, i think that is the name of the program as it was executed (in case the user renamed the program) .. i would like the name from the cabal file how it was compiled |
2021-07-02 00:47:12 +0200 | <Lycurgus> | yeah |
2021-07-02 00:47:23 +0200 | <Lycurgus> | just look in the damn fs |
2021-07-02 00:48:05 +0200 | <Lycurgus> | it's usually pretty clear if you look at the tree or .local/bin , ~/.stack whatever |
2021-07-02 00:48:25 +0200 | jakalx | (~jakalx@base.jakalx.net) |
2021-07-02 00:48:44 +0200 | <Clint> | ph88: you want the equivalent of `grep -i executable *.cabal`? |
2021-07-02 00:49:28 +0200 | <Lycurgus> | if you mean prior the instantiation of any project, you'll need the look at the particular pkg (stack, flavors of cabal, etc) |
2021-07-02 00:49:37 +0200 | <Lycurgus> | *need to look |
2021-07-02 00:50:56 +0200 | oxide | (~lambda@user/oxide) |
2021-07-02 00:51:30 +0200 | <geekosaur> | that seems to be the best you'll do; it's not for example part of the Paths_ module |
2021-07-02 00:51:42 +0200 | <ph88> | Clint, yes. I thought there might be a clean way to do this without using grep |
2021-07-02 00:51:54 +0200 | pbrisbin | (~patrick@pool-173-49-147-28.phlapa.fios.verizon.net) (Ping timeout: 240 seconds) |
2021-07-02 00:52:38 +0200 | <Clint> | i'm sure you could parse the cabal file and output the list of executables |
2021-07-02 00:52:58 +0200 | <geekosaur> | I'm not so sure of that, parsing the cabal file is known to be painful |
2021-07-02 00:53:10 +0200 | <geekosaur> | I just used grep when I needed that |
2021-07-02 00:53:23 +0200 | <monochrom> | How automatic do you really need this to be? |
2021-07-02 00:54:53 +0200 | <ph88> | for a CI configuration file that i want to use for multiple projects |
2021-07-02 00:55:06 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 240 seconds) |
2021-07-02 00:55:24 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
2021-07-02 00:58:01 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
2021-07-02 00:59:44 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2021-07-02 01:00:32 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
2021-07-02 01:02:58 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-07-02 01:02:58 +0200 | Lycurgus | (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
2021-07-02 01:03:09 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
2021-07-02 01:03:40 +0200 | <Clint> | ph88: you can grab them out of https://downloads.haskell.org/ghc/8.2.1/docs/html/libraries/Cabal-2.0.0.2/Distribution-Types-Packa… |
2021-07-02 01:03:52 +0200 | chris_ | (~chris@81.96.113.213) |
2021-07-02 01:03:52 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
2021-07-02 01:04:20 +0200 | <ph88> | ye ok i could build a cli tool to do just that |
2021-07-02 01:05:00 +0200 | Gurkenglas | (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
2021-07-02 01:05:00 +0200 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
2021-07-02 01:05:43 +0200 | gentauro | (~gentauro@user/gentauro) |
2021-07-02 01:09:07 +0200 | <monochrom> | If cabal build is successful, you can expect dist-newstyle/build/<arch>/ghc-<version>/<pkg>-<version>/x to have subdirectories, one per executable. |
2021-07-02 01:09:38 +0200 | <monochrom> | Now I have reduced the problem to "how to compute <arch>, ghc version number, etc". >:) |
2021-07-02 01:10:12 +0200 | <monochrom> | But perhaps you can play fast and loose and just say "whatever directory I find at that place I'll go for it, I don't care" |
2021-07-02 01:13:18 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 265 seconds) |
2021-07-02 01:13:35 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
2021-07-02 01:14:59 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.0.1) |
2021-07-02 01:19:53 +0200 | zeenk | (~zeenk@2a02:2f04:a106:9600:82fb:aed9:ca9:38d3) (Quit: Konversation terminated!) |
2021-07-02 01:23:52 +0200 | amahl | (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Remote host closed the connection) |
2021-07-02 01:24:42 +0200 | <dsal> | I'm going to see if I can convert one of my projects to cabal again... |
2021-07-02 01:25:58 +0200 | mud | (~mud@user/kadoban) (Ping timeout: 256 seconds) |
2021-07-02 01:31:45 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
2021-07-02 01:32:53 +0200 | <jackdk> | What is a good random number generator that performs well in a multithreaded environment (ideally supported by `random-source`, since that's what the project I'm refactoring uses). /dev/urandom seems to suffer contention, if this blog post I found from 2014 is still accurate |
2021-07-02 01:34:33 +0200 | <dsal> | For what purpose? |
2021-07-02 01:34:46 +0200 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2021-07-02 01:35:42 +0200 | <jackdk> | good question. Simulation, not cryptography |
2021-07-02 01:36:01 +0200 | stefan-_ | (~cri@42dots.de) (Ping timeout: 265 seconds) |
2021-07-02 01:36:18 +0200 | <monochrom> | If just statistically random, use /dev/urandom or equivalent to seed, then use any splittable generator, e.g., random-1.2. Every time you fork, you split. |
2021-07-02 01:38:20 +0200 | <jackdk> | random-source includes support for StdGen. I did try splitting the stdgen before each fork, but was still pegging one core at runtime (as seen by htop). Perhaps I was doing something else wrong. At least I know that the overall idea there was correct |
2021-07-02 01:40:11 +0200 | stefan-_ | (~cri@42dots.de) |
2021-07-02 01:40:58 +0200 | lavaman | (~lavaman@98.38.249.169) |
2021-07-02 01:44:06 +0200 | cuz | (~user@2601:182:cc02:8b0:480:5e00:5c91:f4b2) (Ping timeout: 256 seconds) |
2021-07-02 01:44:42 +0200 | shapr | (~user@pool-108-28-144-11.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
2021-07-02 01:47:12 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2021-07-02 01:57:48 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 252 seconds) |
2021-07-02 02:02:04 +0200 | mud | (~mud@user/kadoban) |
2021-07-02 02:03:56 +0200 | <c_wraith> | that sounds like a strictness issue |
2021-07-02 02:04:18 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
2021-07-02 02:05:45 +0200 | <dsal> | Yeah, MT in Haskell does mean you need to actually force computation in the threads you spawn if you want them to be useful. :) |
2021-07-02 02:05:56 +0200 | <ephemient> | rdrand would be pretty fast but it is broken on a number of configurations |
2021-07-02 02:11:53 +0200 | <ephemient> | ... or not, looking at intel docs it only provides random values at 100Hz and is shared between cores |
2021-07-02 02:12:50 +0200 | Morrow | (~MorrowM_@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 252 seconds) |
2021-07-02 02:17:37 +0200 | <c_wraith> | rdrand is intended to feed entropy pools like should be behind /dev/urandom |
2021-07-02 02:18:11 +0200 | <c_wraith> | for which 100Hz is actually pretty good, if there's any entropy in the output of rdrand at all |
2021-07-02 02:30:21 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2021-07-02 02:31:46 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 258 seconds) |
2021-07-02 02:33:54 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-07-02 02:34:38 +0200 | hegstal | (~hegstal@2a02:c7f:7604:8a00:8d05:aaa6:8a87:6441) (Remote host closed the connection) |
2021-07-02 02:37:02 +0200 | zaquest | (~notzaques@5.128.210.178) (Remote host closed the connection) |
2021-07-02 02:37:33 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.2) |
2021-07-02 02:38:00 +0200 | zaquest | (~notzaques@5.128.210.178) |
2021-07-02 02:39:24 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2021-07-02 02:40:18 +0200 | shutdown_-h_now | (~arjan@82-75-187-100.cable.dynamic.v4.ziggo.nl) (Ping timeout: 268 seconds) |
2021-07-02 02:43:16 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
2021-07-02 02:46:24 +0200 | mnrmnaugh | hflotmnaugh |
2021-07-02 02:47:40 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 252 seconds) |
2021-07-02 02:51:46 +0200 | <jackdk> | Hum. I am currently generating my generators before forking (`gens <- replicateM n $ newStdGen >>= newIORef`) and then the main part of the job should be `forConcurrently jobs $ force $ ...`, where `jobs :: [(OtherStuff, IORef StdGen)]` |
2021-07-02 02:52:42 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 240 seconds) |
2021-07-02 02:55:36 +0200 | anandprabhu | (~anandprab@94.202.243.198) |
2021-07-02 02:57:05 +0200 | shutdown_-h_now | (~arjan@82-75-187-100.cable.dynamic.v4.ziggo.nl) |
2021-07-02 02:58:15 +0200 | <jackdk> | (`forConcurrently` is from `unliftio`, but it is still pegging 1/16 cores |
2021-07-02 02:58:44 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
2021-07-02 03:01:32 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
2021-07-02 03:04:28 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
2021-07-02 03:04:44 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
2021-07-02 03:04:58 +0200 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 268 seconds) |
2021-07-02 03:06:29 +0200 | gaze__ | (sid387101@id-387101.brockwell.irccloud.com) |
2021-07-02 03:06:36 +0200 | <davean> | jackdk: dumb question, but you compiled with threading, right? |
2021-07-02 03:06:45 +0200 | Erutuon | (~Erutuon@user/erutuon) |
2021-07-02 03:06:46 +0200 | <c_wraith> | jackdk: yes, that's a typical example of getting laziness wrong |
2021-07-02 03:06:55 +0200 | safinaskar | (~safinaska@109.252.90.89) (Ping timeout: 246 seconds) |
2021-07-02 03:07:03 +0200 | <c_wraith> | jackdk: force doesn't do what you think it does |
2021-07-02 03:07:38 +0200 | <jackdk> | davean: `ghc-options: -threaded -rtsopts -with-rtsopts=-N`; c_wraith: I see the same behaviour with/without `force` - what does it actually do? |
2021-07-02 03:07:56 +0200 | <davean> | jackdk: force makes it so you can't look past force without everything inside being computed (sorta) |
2021-07-02 03:08:05 +0200 | <davean> | you probably want sometihng like seq more |
2021-07-02 03:08:09 +0200 | <davean> | or deepseq |
2021-07-02 03:08:12 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
2021-07-02 03:08:12 +0200 | <gaze__> | Where does jaspervdj usually hang out/what’s his handle? I’m curious if there’s any way to use his web sockets library over SSL/TLS |
2021-07-02 03:08:17 +0200 | <c_wraith> | nah, you want evaluate |
2021-07-02 03:08:17 +0200 | cuz | (~user@2601:182:cc02:8b0:bcb0:835d:1ce3:e86e) |
2021-07-02 03:08:21 +0200 | <c_wraith> | maybe with or without force |
2021-07-02 03:08:44 +0200 | <c_wraith> | But they key is that you want something that causes a pure computation to run when an IO action is executed |
2021-07-02 03:08:47 +0200 | learner-monad | (~ehanneken@user/learner-monad) (Quit: WeeChat 3.2) |
2021-07-02 03:08:49 +0200 | <c_wraith> | and that's what evaluate does |
2021-07-02 03:08:57 +0200 | <davean> | evaluate is limited to IO |
2021-07-02 03:09:09 +0200 | <davean> | unlike seq for example |
2021-07-02 03:09:40 +0200 | <c_wraith> | So when calling forConcurrently, evaluate is the right choice |
2021-07-02 03:10:15 +0200 | <c_wraith> | It's not polymorphic in that parameter. It's always IO |
2021-07-02 03:10:16 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 272 seconds) |
2021-07-02 03:10:33 +0200 | cheater | (~Username@user/cheater) |
2021-07-02 03:10:38 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:dc49:b28b:5485:3e7e) (Remote host closed the connection) |
2021-07-02 03:11:13 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
2021-07-02 03:11:46 +0200 | <davean> | c_wraith: why would you chose evaluate over seq here? |
2021-07-02 03:12:21 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
2021-07-02 03:12:28 +0200 | <c_wraith> | because its semantics are an exact match for what's desired: when the IO computation is executed, evaluate the value |
2021-07-02 03:13:31 +0200 | <c_wraith> | could you use seq? sure, the docs for evaluate say how to implement it in terms of seq. But why not use the function that already exists and does exactly what you want, instead of reimplementing it? |
2021-07-02 03:13:38 +0200 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 256 seconds) |
2021-07-02 03:14:27 +0200 | <jackdk> | force x = deepseq x x; force's haddock specifically calls out `evaluate $ force $ ...` as a way to force deep evaluation relative to other IO |
2021-07-02 03:14:36 +0200 | Cajun | (~Cajun@ip98-163-211-112.no.no.cox.net) |
2021-07-02 03:15:47 +0200 | <jackdk> | so I have `jobs :: [(RVar x, IORef StdGen)]` and I try `forConcurrently jobs $ evaluate . force <=< uncurry runRVar`, but I still seem to only peg one core. Is there something else obvious that I'm likely missing? |
2021-07-02 03:16:17 +0200 | <c_wraith> | well, running with +RTS -N |
2021-07-02 03:16:50 +0200 | <jackdk> | Doesn't `-with-rtsopts=-N` give that? |
2021-07-02 03:17:02 +0200 | xff0x | (~xff0x@2001:1a81:5237:1000:bd6:e736:a4f:c278) (Ping timeout: 256 seconds) |
2021-07-02 03:17:19 +0200 | <jackdk> | Currently running with `+RTS -H10G -N -p`, anyway |
2021-07-02 03:18:11 +0200 | <c_wraith> | the other potential way for it to all end up on one core is if there's a data dependency on the inputs that makes evaluating them linear |
2021-07-02 03:18:33 +0200 | <Cajun> | does running with `+RTS -s` mention using -N[your number of cores]? |
2021-07-02 03:18:41 +0200 | xff0x | (~xff0x@2001:1a81:5272:cb00:9b5b:dd13:e926:61a1) |
2021-07-02 03:19:03 +0200 | <Cajun> | it should, cant see any reason why it wouldnt |
2021-07-02 03:19:21 +0200 | anandprabhu | (~anandprab@94.202.243.198) (Quit: Leaving) |
2021-07-02 03:20:33 +0200 | <c_wraith> | like... if runRVar is fast but generating each RVar depends on the previous one, you can end up in a situation where waiting for the input to become available blocks all the threads |
2021-07-02 03:21:22 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:5bf:4bd7:7b8b:fdcf) |
2021-07-02 03:21:49 +0200 | <c_wraith> | Or heck. If runRVar is fast and there's no data dependency, you might just be blocking in the repeated calls to newStdGen |
2021-07-02 03:21:55 +0200 | <c_wraith> | I don't know if it's actually fast |
2021-07-02 03:22:29 +0200 | <c_wraith> | (ie, make sure you're actually measuring the concurrent portion of the program) |
2021-07-02 03:22:44 +0200 | <jackdk> | c_wraith: I see what you're saying. I've flinched away from that hypothesis because `let jobs = zip (repeat (calculateFoo :: RVar x)) gens` and because it requires more thinking |
2021-07-02 03:23:38 +0200 | <c_wraith> | huh. you're repeating the same RVar? |
2021-07-02 03:23:49 +0200 | <c_wraith> | well that's *definitely* a data dependency between them :) |
2021-07-02 03:24:10 +0200 | <jackdk> | yes, I suppose it is >_< |
2021-07-02 03:24:36 +0200 | <c_wraith> | If evaluating calculateFoo takes a significant chunk of time, every thread but one will be blocked waiting for the lazy evaluation to finish |
2021-07-02 03:25:04 +0200 | <jackdk> | yeah, I see what you're saying. |
2021-07-02 03:25:32 +0200 | <jackdk> | and then when that's finally done, going through and rolling the dice on the actual random samples is reasonably quick but I've been hammering the wrong thing |
2021-07-02 03:26:02 +0200 | <c_wraith> | that's very easy to have happen with complex conditional probability expressions |
2021-07-02 03:26:40 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 256 seconds) |
2021-07-02 03:28:40 +0200 | Morrow | (~MorrowM_@bzq-110-168-31-106.red.bezeqint.net) |
2021-07-02 03:34:41 +0200 | <koz> | What's the standard way of generating a fresh name in the Q monad? |
2021-07-02 03:35:16 +0200 | norias | (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
2021-07-02 03:36:13 +0200 | <geekosaur> | https://downloads.haskell.org/ghc/latest/docs/html/libraries/template-haskell-2.17.0.0/Language-Ha… ? |
2021-07-02 03:36:33 +0200 | <koz> | geekosaur: Thanks! |
2021-07-02 03:36:44 +0200 | <koz> | Why does it take a String then? |
2021-07-02 03:37:07 +0200 | <c_wraith> | it uses it as the base for the name. |
2021-07-02 03:37:15 +0200 | <c_wraith> | it might add numbers to it to prevent collisions |
2021-07-02 03:37:27 +0200 | <c_wraith> | like the a, a1, a2 stuff inference does sometimes |
2021-07-02 03:39:35 +0200 | <geekosaur> | there are some examples right after it showing what it does and how it differs from mkName |
2021-07-02 03:50:35 +0200 | neurocyte40 | (~neurocyte@45.131.36.91) |
2021-07-02 03:50:35 +0200 | neurocyte40 | (~neurocyte@45.131.36.91) (Changing host) |
2021-07-02 03:50:35 +0200 | neurocyte40 | (~neurocyte@user/neurocyte) |
2021-07-02 03:51:04 +0200 | xlei | (znc@pool-68-129-84-118.nycmny.fios.verizon.net) (Read error: Connection reset by peer) |
2021-07-02 03:51:23 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
2021-07-02 03:53:04 +0200 | neurocyte4 | (~neurocyte@user/neurocyte) (Ping timeout: 268 seconds) |
2021-07-02 03:53:04 +0200 | neurocyte40 | neurocyte4 |
2021-07-02 03:54:11 +0200 | xlei | (znc@pool-68-129-84-118.nycmny.fios.verizon.net) |
2021-07-02 03:56:23 +0200 | notzmv | (~zmv@user/notzmv) |
2021-07-02 03:57:29 +0200 | Deide | (~Deide@user/deide) (Quit: Seeee yaaaa) |
2021-07-02 04:00:13 +0200 | alx741 | (~alx741@186.178.108.157) (Quit: alx741) |
2021-07-02 04:01:14 +0200 | <qrpnxz> | id = id |
2021-07-02 04:01:54 +0200 | cuz | (~user@2601:182:cc02:8b0:bcb0:835d:1ce3:e86e) (Ping timeout: 240 seconds) |
2021-07-02 04:03:21 +0200 | bitmapper | (uid464869@id-464869.tooting.irccloud.com) |
2021-07-02 04:08:33 +0200 | Chobbes | (~Chobbes@user/chobbes) (Ping timeout: 272 seconds) |
2021-07-02 04:13:17 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
2021-07-02 04:13:18 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
2021-07-02 04:15:38 +0200 | jneira_ | (~jneira_@217.red-81-39-172.dynamicip.rima-tde.net) (Quit: Ping timeout (120 seconds)) |
2021-07-02 04:17:58 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
2021-07-02 04:21:56 +0200 | elf_fortrez | (~elf_fortr@adsl-72-50-4-55.prtc.net) |
2021-07-02 04:22:02 +0200 | img | (~img@user/img) |
2021-07-02 04:27:51 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
2021-07-02 04:27:51 +0200 | FinnElija | Guest4774 |
2021-07-02 04:27:51 +0200 | Guest4774 | (~finn_elij@user/finn-elija/x-0085643) (Killed (tin.libera.chat (Nickname regained by services))) |
2021-07-02 04:27:51 +0200 | finn_elija | FinnElija |
2021-07-02 04:30:30 +0200 | td_ | (~td@94.134.91.214) (Ping timeout: 265 seconds) |
2021-07-02 04:31:35 +0200 | wei2912 | (~wei2912@112.199.250.21) |
2021-07-02 04:31:57 +0200 | td_ | (~td@94.134.91.19) |
2021-07-02 04:31:58 +0200 | machinedgod | (~machinedg@24.105.81.50) |
2021-07-02 04:36:48 +0200 | shapr | (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
2021-07-02 04:37:47 +0200 | shapr | (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Remote host closed the connection) |
2021-07-02 04:39:47 +0200 | MasseR | (~MasseR@51.15.143.128) (Quit: Ping timeout (120 seconds)) |
2021-07-02 04:40:08 +0200 | MasseR | (~MasseR@51.15.143.128) |
2021-07-02 04:40:16 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
2021-07-02 04:40:32 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
2021-07-02 04:44:34 +0200 | hpc | (~juzz@ip98-169-35-13.dc.dc.cox.net) (Read error: Connection reset by peer) |
2021-07-02 04:48:10 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
2021-07-02 04:48:32 +0200 | hpc | (~juzz@ip98-169-35-13.dc.dc.cox.net) |
2021-07-02 04:49:00 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 258 seconds) |
2021-07-02 04:52:42 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
2021-07-02 04:54:44 +0200 | spirgel | (spirgel@gateway/vpn/protonvpn/spirgel) |
2021-07-02 04:55:48 +0200 | jonatan | (~nate@h77-53-70-163.cust.a3fiber.se) |
2021-07-02 04:58:34 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 272 seconds) |
2021-07-02 04:59:27 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-07-02 05:00:22 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
2021-07-02 05:04:35 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-07-02 05:04:46 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
2021-07-02 05:06:45 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
2021-07-02 05:09:19 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 258 seconds) |
2021-07-02 05:10:51 +0200 | RohitGoswami[m] | (~rgoswamim@2001:470:69fc:105::16cc) (Read error: Connection reset by peer) |
2021-07-02 05:10:51 +0200 | wallymathieu[m] | (~wallymath@2001:470:69fc:105::16ae) (Read error: Connection reset by peer) |
2021-07-02 05:10:51 +0200 | maerwald[m] | (~maerwaldm@2001:470:69fc:105::1ee) (Read error: Connection reset by peer) |
2021-07-02 05:10:51 +0200 | dminuoso[m] | (~dminuosom@2001:470:69fc:105::33bb) (Read error: Connection reset by peer) |
2021-07-02 05:10:51 +0200 | ixlun | (~ixlun@2001:470:69fc:105::41b3) (Read error: Connection reset by peer) |
2021-07-02 05:10:51 +0200 | Soft | (~soft-matr@2001:470:69fc:105::c75) (Read error: Connection reset by peer) |
2021-07-02 05:10:51 +0200 | adziahel[m] | (~adziahelm@2001:470:69fc:105::b4d) (Read error: Connection reset by peer) |
2021-07-02 05:10:51 +0200 | dualinverter[m] | (~dualinver@2001:470:69fc:105::16a7) (Read error: Connection reset by peer) |
2021-07-02 05:10:51 +0200 | autrim64[m] | (~autrim64m@2001:470:69fc:105::16a1) (Read error: Connection reset by peer) |
2021-07-02 05:10:51 +0200 | ericson2314 | (~ericson23@2001:470:69fc:105::70c) (Write error: Connection reset by peer) |
2021-07-02 05:10:51 +0200 | sridonhiatus[m] | (~sridmatri@2001:470:69fc:105::1c2) (Remote host closed the connection) |
2021-07-02 05:10:52 +0200 | vaibhavsagar[m] | (~vaibhavsa@2001:470:69fc:105::ffe) (Read error: Connection reset by peer) |
2021-07-02 05:10:52 +0200 | amesgen[m] | (~amesgenm]@2001:470:69fc:105::82b) (Read error: Connection reset by peer) |
2021-07-02 05:10:52 +0200 | lwe[m] | (~dendrumat@2001:470:69fc:105::2f9b) (Read error: Connection reset by peer) |
2021-07-02 05:10:52 +0200 | ac | (~aloiscoch@2001:470:69fc:105::65) (Read error: Connection reset by peer) |
2021-07-02 05:10:52 +0200 | Aleci[m] | (~alecilibr@2001:470:69fc:105::32e7) (Write error: Connection reset by peer) |
2021-07-02 05:10:52 +0200 | Morrow[m] | (~morrowmma@2001:470:69fc:105::1d0) (Read error: Connection reset by peer) |
2021-07-02 05:10:52 +0200 | Drezil | (~drezilkif@2001:470:69fc:105::7f8) (Read error: Connection reset by peer) |
2021-07-02 05:10:53 +0200 | carmysilna | (~brightly-@2001:470:69fc:105::2190) (Read error: Connection reset by peer) |
2021-07-02 05:10:53 +0200 | kadoban | (~kadoban@user/kadoban) (Read error: Connection reset by peer) |
2021-07-02 05:10:53 +0200 | fabfianda[m] | (~fabfianda@2001:470:69fc:105::6db) (Read error: Connection reset by peer) |
2021-07-02 05:10:53 +0200 | sm[m] | (~sm@plaintextaccounting/sm) (Remote host closed the connection) |
2021-07-02 05:10:53 +0200 | octeep[m]1 | (~octeepmoc@2001:470:69fc:105::695e) (Remote host closed the connection) |
2021-07-02 05:10:53 +0200 | jaror[m] | (~jaror@2001:470:69fc:105::265) (Read error: Connection reset by peer) |
2021-07-02 05:10:53 +0200 | psydroid | (~psydroid@user/psydroid) (Write error: Connection reset by peer) |
2021-07-02 05:10:53 +0200 | Deewiant | (~deewiant@2001:470:69fc:105::2fd3) (Write error: Connection reset by peer) |
2021-07-02 05:10:53 +0200 | bb010g | (~bb010g@2001:470:69fc:105::9a5) (Write error: Connection reset by peer) |
2021-07-02 05:10:54 +0200 | jakefromstatefar | (~jakefroms@2001:470:69fc:105::15ef) (Read error: Connection reset by peer) |
2021-07-02 05:10:54 +0200 | Las[m] | (~lasmatrix@2001:470:69fc:105::74e) (Read error: Connection reset by peer) |
2021-07-02 05:10:54 +0200 | the-coot[m] | (~the-cootm@2001:470:69fc:105::95f) (Read error: Connection reset by peer) |
2021-07-02 05:10:54 +0200 | cdepillabout[m] | (~cdepillab@2001:470:69fc:105::3d3) (Read error: Connection reset by peer) |
2021-07-02 05:10:54 +0200 | unclechu | (~unclechu@2001:470:69fc:105::354) (Write error: Connection reset by peer) |
2021-07-02 05:10:55 +0200 | justosophy[m] | (~justosoph@2001:470:69fc:105::572f) (Read error: Connection reset by peer) |
2021-07-02 05:10:55 +0200 | jellz[m] | (~jellzmatr@2001:470:69fc:105::2daa) (Read error: Connection reset by peer) |
2021-07-02 05:10:55 +0200 | Guest3990 | (~sylveonma@2001:470:69fc:105::2d95) (Read error: Connection reset by peer) |
2021-07-02 05:10:55 +0200 | Ollie[m] | (~ollieocha@2001:470:69fc:105::41a5) (Read error: Connection reset by peer) |
2021-07-02 05:10:55 +0200 | kosmikus[m] | (~andresloe@2001:470:69fc:105::95d) (Read error: Connection reset by peer) |
2021-07-02 05:10:55 +0200 | ormaaj | (~ormaaj@user/ormaaj) (Write error: Connection reset by peer) |
2021-07-02 05:10:55 +0200 | unrooted | (~unrooted@2001:470:69fc:105::a4a) (Remote host closed the connection) |
2021-07-02 05:10:55 +0200 | peddie | (~peddie@2001:470:69fc:105::25d) (Read error: Connection reset by peer) |
2021-07-02 05:10:55 +0200 | fgaz | (~fgaz@2001:470:69fc:105::842) (Remote host closed the connection) |
2021-07-02 05:10:55 +0200 | bryan[m] | (~bchreekat@2001:470:69fc:105::16b5) (Read error: Connection reset by peer) |
2021-07-02 05:10:55 +0200 | vbeatrice[m] | (~vbeatrice@2001:470:69fc:105::3ebf) (Read error: Connection reset by peer) |
2021-07-02 05:10:56 +0200 | maralorn | (~maralorn@2001:470:69fc:105::251) (Read error: Connection reset by peer) |
2021-07-02 05:10:56 +0200 | ServerStatsDisco | (~serversta@2001:470:69fc:105::1a) (Read error: Connection reset by peer) |
2021-07-02 05:10:56 +0200 | cdsmith | (~cdsmithma@2001:470:69fc:105::284) (Read error: Connection reset by peer) |
2021-07-02 05:10:56 +0200 | gxt | (~gxt@2001:470:69fc:105::3513) (Read error: Connection reset by peer) |
2021-07-02 05:10:56 +0200 | Orbstheorem | (~orbstheor@2001:470:69fc:105::a56) (Read error: Connection reset by peer) |
2021-07-02 05:10:56 +0200 | oak- | (~oakuniver@2001:470:69fc:105::fcd) (Read error: Connection reset by peer) |
2021-07-02 05:11:03 +0200 | aveltras[m] | (~aveltrasm@2001:470:69fc:105::3ef9) (Read error: Connection reset by peer) |
2021-07-02 05:11:04 +0200 | ecameron[m] | (~ecameronm@2001:470:69fc:105::35df) (Read error: Connection reset by peer) |
2021-07-02 05:11:04 +0200 | MatrixTravelerbo | (~voyagert2@2001:470:69fc:105::22) (Max SendQ exceeded) |
2021-07-02 05:11:04 +0200 | hsiktas[m] | (~hsiktasma@2001:470:69fc:105::30d4) (Write error: Connection reset by peer) |
2021-07-02 05:11:04 +0200 | marinelli[m] | (~marinelli@2001:470:69fc:105::2d8) (Write error: Connection reset by peer) |
2021-07-02 05:11:04 +0200 | jophish | (~jophish@2001:470:69fc:105::670) (Write error: Connection reset by peer) |
2021-07-02 05:11:04 +0200 | Artem[m] | (~artemtype@2001:470:69fc:105::75b) (Read error: Connection reset by peer) |
2021-07-02 05:11:05 +0200 | ru0mad[m] | (~ru0madmat@2001:470:69fc:105::9b2) (Write error: Broken pipe) |
2021-07-02 05:11:05 +0200 | reza[m] | (~rezaphone@2001:470:69fc:105::3eda) (Read error: Connection reset by peer) |
2021-07-02 05:11:05 +0200 | siraben | (~siraben@user/siraben) (Write error: Connection reset by peer) |
2021-07-02 05:11:06 +0200 | hjulle[m] | (~hjullemat@2001:470:69fc:105::1dd) (Write error: Connection reset by peer) |
2021-07-02 05:11:28 +0200 | yin[m] | (~zwromatri@2001:470:69fc:105::1d4) (Read error: Connection reset by peer) |
2021-07-02 05:11:31 +0200 | thedward[m] | (~thedwardm@2001:470:69fc:105::f79) (Remote host closed the connection) |
2021-07-02 05:11:31 +0200 | inkbottle[m] | (~inkbottle@2001:470:69fc:105::2ff5) (Write error: Connection reset by peer) |
2021-07-02 05:11:32 +0200 | bitonic | (~bitonic@2001:470:69fc:105::1812) (Write error: Connection reset by peer) |
2021-07-02 05:11:32 +0200 | zfnmxt | (~zfnmxtzfn@2001:470:69fc:105::2b32) (Write error: Connection reset by peer) |
2021-07-02 05:11:33 +0200 | boxscape | (~boxscape@user/boxscape) (Write error: Connection reset by peer) |
2021-07-02 05:12:33 +0200 | thedward[m] | (~thedwardm@2001:470:69fc:105::f79) |
2021-07-02 05:13:37 +0200 | elf_fortrez | (~elf_fortr@adsl-72-50-4-55.prtc.net) (Ping timeout: 246 seconds) |
2021-07-02 05:22:18 +0200 | mpt | (~tom@p57a56d37.dip0.t-ipconnect.de) |
2021-07-02 05:23:49 +0200 | ac | (~aloiscoch@2001:470:69fc:105::65) |
2021-07-02 05:23:49 +0200 | psydroid | (~psydroid@user/psydroid) |
2021-07-02 05:23:49 +0200 | sm[m] | (~sm@plaintextaccounting/sm) |
2021-07-02 05:23:49 +0200 | hjulle[m] | (~hjullemat@2001:470:69fc:105::1dd) |
2021-07-02 05:23:49 +0200 | MatrixTravelerbo | (~voyagert2@2001:470:69fc:105::22) |
2021-07-02 05:23:49 +0200 | jaror[m] | (~jaror@2001:470:69fc:105::265) |
2021-07-02 05:23:49 +0200 | fgaz | (~fgaz@2001:470:69fc:105::842) |
2021-07-02 05:23:49 +0200 | peddie | (~peddie@2001:470:69fc:105::25d) |
2021-07-02 05:23:49 +0200 | cdsmith | (~cdsmithma@2001:470:69fc:105::284) |
2021-07-02 05:23:49 +0200 | ru0mad[m] | (~ru0madmat@2001:470:69fc:105::9b2) |
2021-07-02 05:23:49 +0200 | fabfianda[m] | (~fabfianda@2001:470:69fc:105::6db) |
2021-07-02 05:23:49 +0200 | bb010g | (~bb010g@2001:470:69fc:105::9a5) |
2021-07-02 05:23:50 +0200 | Las[m] | (~lasmatrix@2001:470:69fc:105::74e) |
2021-07-02 05:23:50 +0200 | Artem[m] | (~artemtype@2001:470:69fc:105::75b) |
2021-07-02 05:23:50 +0200 | ServerStatsDisco | (~serversta@2001:470:69fc:105::1a) |
2021-07-02 05:23:50 +0200 | amesgen[m] | (~amesgenm]@2001:470:69fc:105::82b) |
2021-07-02 05:23:50 +0200 | cdepillabout[m] | (~cdepillab@2001:470:69fc:105::3d3) |
2021-07-02 05:23:50 +0200 | the-coot[m] | (~the-cootm@2001:470:69fc:105::95f) |
2021-07-02 05:23:50 +0200 | vaibhavsagar[m] | (~vaibhavsa@2001:470:69fc:105::ffe) |
2021-07-02 05:23:50 +0200 | zfnmxt | (~zfnmxtzfn@2001:470:69fc:105::2b32) |
2021-07-02 05:23:50 +0200 | kadoban | (~kadoban@user/kadoban) |
2021-07-02 05:23:50 +0200 | bitonic | (~bitonic@2001:470:69fc:105::1812) |
2021-07-02 05:23:50 +0200 | jophish | (~jophish@2001:470:69fc:105::670) |
2021-07-02 05:23:50 +0200 | carmysilna | (~brightly-@2001:470:69fc:105::2190) |
2021-07-02 05:23:50 +0200 | ericson2314 | (~ericson23@2001:470:69fc:105::70c) |
2021-07-02 05:23:50 +0200 | bryan[m] | (~bchreekat@2001:470:69fc:105::16b5) |
2021-07-02 05:23:50 +0200 | siraben | (~siraben@user/siraben) |
2021-07-02 05:23:50 +0200 | unclechu | (~unclechu@2001:470:69fc:105::354) |
2021-07-02 05:23:50 +0200 | Deewiant | (~deewiant@2001:470:69fc:105::2fd3) |
2021-07-02 05:23:50 +0200 | unrooted | (~unrooted@2001:470:69fc:105::a4a) |
2021-07-02 05:23:50 +0200 | Aleci[m] | (~alecilibr@2001:470:69fc:105::32e7) |
2021-07-02 05:23:51 +0200 | jakefromstatefar | (~jakefroms@2001:470:69fc:105::15ef) |
2021-07-02 05:23:51 +0200 | maralorn | (~maralorn@2001:470:69fc:105::251) |
2021-07-02 05:23:51 +0200 | lwe[m] | (~dendrumat@2001:470:69fc:105::2f9b) |
2021-07-02 05:23:51 +0200 | reza[m] | (~rezaphone@2001:470:69fc:105::3eda) |
2021-07-02 05:23:51 +0200 | inkbottle[m] | (~inkbottle@2001:470:69fc:105::2ff5) |
2021-07-02 05:23:51 +0200 | gxt | (~gxt@2001:470:69fc:105::3513) |
2021-07-02 05:23:51 +0200 | marinelli[m] | (~marinelli@2001:470:69fc:105::2d8) |
2021-07-02 05:23:51 +0200 | hsiktas[m] | (~hsiktasma@2001:470:69fc:105::30d4) |
2021-07-02 05:23:51 +0200 | boxscape | (~boxscape@user/boxscape) |
2021-07-02 05:23:51 +0200 | vbeatrice[m] | (~vbeatrice@2001:470:69fc:105::3ebf) |
2021-07-02 05:23:51 +0200 | ormaaj | (~ormaaj@user/ormaaj) |
2021-07-02 05:23:51 +0200 | Orbstheorem | (~orbstheor@2001:470:69fc:105::a56) |
2021-07-02 05:23:51 +0200 | sridonhiatus[m] | (~sridmatri@2001:470:69fc:105::1c2) |
2021-07-02 05:24:01 +0200 | dualinverter[m] | (~dualinver@2001:470:69fc:105::16a7) |
2021-07-02 05:24:01 +0200 | Drezil | (~drezilkif@2001:470:69fc:105::7f8) |
2021-07-02 05:24:02 +0200 | maerwald[m] | (~maerwaldm@2001:470:69fc:105::1ee) |
2021-07-02 05:24:02 +0200 | adziahel[m] | (~adziahelm@2001:470:69fc:105::b4d) |
2021-07-02 05:24:02 +0200 | Soft | (~soft-matr@2001:470:69fc:105::c75) |
2021-07-02 05:24:02 +0200 | RohitGoswami[m] | (~rgoswamim@2001:470:69fc:105::16cc) |
2021-07-02 05:24:02 +0200 | jellz[m] | (~jellzmatr@2001:470:69fc:105::2daa) |
2021-07-02 05:24:02 +0200 | ecameron[m] | (~ecameronm@2001:470:69fc:105::35df) |
2021-07-02 05:24:02 +0200 | autrim64[m] | (~autrim64m@2001:470:69fc:105::16a1) |
2021-07-02 05:24:02 +0200 | yin[m] | (~zwromatri@2001:470:69fc:105::1d4) |
2021-07-02 05:24:02 +0200 | dminuoso[m] | (~dminuosom@2001:470:69fc:105::33bb) |
2021-07-02 05:24:03 +0200 | Morrow[m] | (~morrowmma@2001:470:69fc:105::1d0) |
2021-07-02 05:24:03 +0200 | wallymathieu[m] | (~wallymath@2001:470:69fc:105::16ae) |
2021-07-02 05:24:03 +0200 | kosmikus[m] | (~andresloe@2001:470:69fc:105::95d) |
2021-07-02 05:24:03 +0200 | Ollie[m] | (~ollieocha@2001:470:69fc:105::41a5) |
2021-07-02 05:24:03 +0200 | aveltras[m] | (~aveltrasm@2001:470:69fc:105::3ef9) |
2021-07-02 05:24:03 +0200 | oak- | (~oakuniver@2001:470:69fc:105::fcd) |
2021-07-02 05:24:03 +0200 | octeep[m]1 | (~octeepmoc@2001:470:69fc:105::695e) |
2021-07-02 05:24:04 +0200 | justosophy[m] | (~justosoph@2001:470:69fc:105::572f) |
2021-07-02 05:24:04 +0200 | Sylveon | (~sylveonma@2001:470:69fc:105::2d95) |
2021-07-02 05:24:04 +0200 | ixlun | (~ixlun@2001:470:69fc:105::41b3) |
2021-07-02 05:24:26 +0200 | Sylveon | Guest7418 |
2021-07-02 05:32:46 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 272 seconds) |
2021-07-02 05:32:54 +0200 | MatrixTravelerbo | (~voyagert2@2001:470:69fc:105::22) (Quit: node-irc says goodbye) |
2021-07-02 05:32:56 +0200 | Aleci[m] | (~alecilibr@2001:470:69fc:105::32e7) (Quit: node-irc says goodbye) |
2021-07-02 05:32:57 +0200 | ServerStatsDisco | (~serversta@2001:470:69fc:105::1a) (Quit: node-irc says goodbye) |
2021-07-02 05:33:01 +0200 | ac | (~aloiscoch@2001:470:69fc:105::65) (Quit: node-irc says goodbye) |
2021-07-02 05:33:03 +0200 | siraben | (~siraben@user/siraben) (Quit: node-irc says goodbye) |
2021-07-02 05:33:08 +0200 | carmysilna | (~brightly-@2001:470:69fc:105::2190) (Quit: node-irc says goodbye) |
2021-07-02 05:33:08 +0200 | kadoban | (~kadoban@user/kadoban) (Quit: node-irc says goodbye) |
2021-07-02 05:33:11 +0200 | peddie | (~peddie@2001:470:69fc:105::25d) (Quit: node-irc says goodbye) |
2021-07-02 05:33:13 +0200 | fgaz | (~fgaz@2001:470:69fc:105::842) (Quit: node-irc says goodbye) |
2021-07-02 05:33:25 +0200 | sm[m] | (~sm@plaintextaccounting/sm) (Quit: node-irc says goodbye) |
2021-07-02 05:33:35 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
2021-07-02 05:33:38 +0200 | cdsmith | (~cdsmithma@2001:470:69fc:105::284) (Quit: node-irc says goodbye) |
2021-07-02 05:33:38 +0200 | hsiktas[m] | (~hsiktasma@2001:470:69fc:105::30d4) (Quit: node-irc says goodbye) |
2021-07-02 05:33:58 +0200 | psydroid | (~psydroid@user/psydroid) (Quit: node-irc says goodbye) |
2021-07-02 05:34:08 +0200 | lwe[m] | (~dendrumat@2001:470:69fc:105::2f9b) (Quit: node-irc says goodbye) |
2021-07-02 05:34:13 +0200 | the-coot[m] | (~the-cootm@2001:470:69fc:105::95f) (Quit: node-irc says goodbye) |
2021-07-02 05:34:23 +0200 | inkbottle[m] | (~inkbottle@2001:470:69fc:105::2ff5) (Quit: node-irc says goodbye) |
2021-07-02 05:34:38 +0200 | ericson2314 | (~ericson23@2001:470:69fc:105::70c) (Quit: node-irc says goodbye) |
2021-07-02 05:34:41 +0200 | jophish | (~jophish@2001:470:69fc:105::670) (Quit: node-irc says goodbye) |
2021-07-02 05:34:42 +0200 | fabfianda[m] | (~fabfianda@2001:470:69fc:105::6db) (Quit: node-irc says goodbye) |
2021-07-02 05:35:04 +0200 | Las[m] | (~lasmatrix@2001:470:69fc:105::74e) (Quit: node-irc says goodbye) |
2021-07-02 05:35:19 +0200 | boxscape | (~boxscape@user/boxscape) (Quit: node-irc says goodbye) |
2021-07-02 05:35:29 +0200 | maralorn | (~maralorn@2001:470:69fc:105::251) (Quit: node-irc says goodbye) |
2021-07-02 05:35:31 +0200 | vaibhavsagar[m] | (~vaibhavsa@2001:470:69fc:105::ffe) (Quit: node-irc says goodbye) |
2021-07-02 05:35:32 +0200 | thedward[m] | (~thedwardm@2001:470:69fc:105::f79) (Quit: node-irc says goodbye) |
2021-07-02 05:35:35 +0200 | bryan[m] | (~bchreekat@2001:470:69fc:105::16b5) (Quit: node-irc says goodbye) |
2021-07-02 05:35:39 +0200 | jaror[m] | (~jaror@2001:470:69fc:105::265) (Quit: node-irc says goodbye) |
2021-07-02 05:35:55 +0200 | zfnmxt | (~zfnmxtzfn@2001:470:69fc:105::2b32) (Quit: node-irc says goodbye) |
2021-07-02 05:35:57 +0200 | ph88 | (~ph88@ip5f5af6fd.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2021-07-02 05:36:20 +0200 | ph88 | (~ph88@2a02:8109:9e00:7e5c:60eb:9cdc:e9d8:37e4) |
2021-07-02 05:36:31 +0200 | pavonia_ | (~user@user/siracusa) |
2021-07-02 05:36:36 +0200 | hjulle[m] | (~hjullemat@2001:470:69fc:105::1dd) (Quit: node-irc says goodbye) |
2021-07-02 05:36:36 +0200 | Artem[m] | (~artemtype@2001:470:69fc:105::75b) (Quit: node-irc says goodbye) |
2021-07-02 05:36:36 +0200 | cdepillabout[m] | (~cdepillab@2001:470:69fc:105::3d3) (Quit: node-irc says goodbye) |
2021-07-02 05:36:39 +0200 | marinelli[m] | (~marinelli@2001:470:69fc:105::2d8) (Quit: node-irc says goodbye) |
2021-07-02 05:36:57 +0200 | ru0mad[m] | (~ru0madmat@2001:470:69fc:105::9b2) (Quit: node-irc says goodbye) |
2021-07-02 05:37:00 +0200 | unclechu | (~unclechu@2001:470:69fc:105::354) (Quit: node-irc says goodbye) |
2021-07-02 05:37:00 +0200 | bitonic | (~bitonic@2001:470:69fc:105::1812) (Quit: node-irc says goodbye) |
2021-07-02 05:37:34 +0200 | Deewiant | (~deewiant@2001:470:69fc:105::2fd3) (Quit: node-irc says goodbye) |
2021-07-02 05:37:36 +0200 | pavonia | (~user@user/siracusa) (Read error: Connection reset by peer) |
2021-07-02 05:37:37 +0200 | Orbstheorem | (~orbstheor@2001:470:69fc:105::a56) (Quit: node-irc says goodbye) |
2021-07-02 05:37:38 +0200 | pavonia_ | pavonia |
2021-07-02 05:37:41 +0200 | slack1256 | (~slack1256@181.203.95.42) |
2021-07-02 05:38:23 +0200 | unrooted | (~unrooted@2001:470:69fc:105::a4a) (Quit: node-irc says goodbye) |
2021-07-02 05:38:31 +0200 | gxt | (~gxt@2001:470:69fc:105::3513) (Quit: node-irc says goodbye) |
2021-07-02 05:38:33 +0200 | sridonhiatus[m] | (~sridmatri@2001:470:69fc:105::1c2) (Quit: node-irc says goodbye) |
2021-07-02 05:38:50 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
2021-07-02 05:39:01 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-07-02 05:39:16 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 256 seconds) |
2021-07-02 05:40:10 +0200 | bb010g | (~bb010g@2001:470:69fc:105::9a5) (Quit: node-irc says goodbye) |
2021-07-02 05:40:12 +0200 | vbeatrice[m] | (~vbeatrice@2001:470:69fc:105::3ebf) (Quit: node-irc says goodbye) |
2021-07-02 05:40:36 +0200 | amesgen[m] | (~amesgenm]@2001:470:69fc:105::82b) (Quit: node-irc says goodbye) |
2021-07-02 05:42:56 +0200 | reza[m] | (~rezaphone@2001:470:69fc:105::3eda) (Quit: node-irc says goodbye) |
2021-07-02 05:43:22 +0200 | TranquilEcho | (~grom@user/tranquilecho) (Quit: WeeChat 2.8) |
2021-07-02 05:43:35 +0200 | jakefromstatefar | (~jakefroms@2001:470:69fc:105::15ef) (Quit: node-irc says goodbye) |
2021-07-02 05:43:38 +0200 | TranquilEcho | (~grom@user/tranquilecho) |
2021-07-02 05:45:06 +0200 | hammock | (~Hammock@2600:1700:19a1:3330::625) (Ping timeout: 240 seconds) |
2021-07-02 05:45:42 +0200 | TranquilEcho | (~grom@user/tranquilecho) (Client Quit) |
2021-07-02 05:45:58 +0200 | TranquilEcho | (~grom@user/tranquilecho) |
2021-07-02 05:49:06 +0200 | ormaaj | (~ormaaj@user/ormaaj) (Quit: node-irc says goodbye) |
2021-07-02 05:49:09 +0200 | dualinverter[m] | (~dualinver@2001:470:69fc:105::16a7) (Quit: node-irc says goodbye) |
2021-07-02 05:49:09 +0200 | Drezil | (~drezilkif@2001:470:69fc:105::7f8) (Quit: node-irc says goodbye) |
2021-07-02 05:49:09 +0200 | maerwald[m] | (~maerwaldm@2001:470:69fc:105::1ee) (Quit: node-irc says goodbye) |
2021-07-02 05:49:09 +0200 | Morrow[m] | (~morrowmma@2001:470:69fc:105::1d0) (Quit: node-irc says goodbye) |
2021-07-02 05:49:10 +0200 | kosmikus[m] | (~andresloe@2001:470:69fc:105::95d) (Quit: node-irc says goodbye) |
2021-07-02 05:49:10 +0200 | Ollie[m] | (~ollieocha@2001:470:69fc:105::41a5) (Quit: node-irc says goodbye) |
2021-07-02 05:49:10 +0200 | wallymathieu[m] | (~wallymath@2001:470:69fc:105::16ae) (Quit: node-irc says goodbye) |
2021-07-02 05:49:10 +0200 | yin[m] | (~zwromatri@2001:470:69fc:105::1d4) (Quit: node-irc says goodbye) |
2021-07-02 05:49:10 +0200 | autrim64[m] | (~autrim64m@2001:470:69fc:105::16a1) (Quit: node-irc says goodbye) |
2021-07-02 05:49:10 +0200 | ecameron[m] | (~ecameronm@2001:470:69fc:105::35df) (Quit: node-irc says goodbye) |
2021-07-02 05:49:10 +0200 | dminuoso[m] | (~dminuosom@2001:470:69fc:105::33bb) (Quit: node-irc says goodbye) |
2021-07-02 05:49:10 +0200 | adziahel[m] | (~adziahelm@2001:470:69fc:105::b4d) (Quit: node-irc says goodbye) |
2021-07-02 05:49:10 +0200 | Soft | (~soft-matr@2001:470:69fc:105::c75) (Quit: node-irc says goodbye) |
2021-07-02 05:49:10 +0200 | RohitGoswami[m] | (~rgoswamim@2001:470:69fc:105::16cc) (Quit: node-irc says goodbye) |
2021-07-02 05:49:10 +0200 | jellz[m] | (~jellzmatr@2001:470:69fc:105::2daa) (Quit: node-irc says goodbye) |
2021-07-02 05:49:10 +0200 | aveltras[m] | (~aveltrasm@2001:470:69fc:105::3ef9) (Quit: node-irc says goodbye) |
2021-07-02 05:49:10 +0200 | octeep[m]1 | (~octeepmoc@2001:470:69fc:105::695e) (Quit: node-irc says goodbye) |
2021-07-02 05:49:10 +0200 | justosophy[m] | (~justosoph@2001:470:69fc:105::572f) (Quit: node-irc says goodbye) |
2021-07-02 05:49:12 +0200 | oak- | (~oakuniver@2001:470:69fc:105::fcd) (Quit: node-irc says goodbye) |
2021-07-02 05:49:12 +0200 | Guest7418 | (~sylveonma@2001:470:69fc:105::2d95) (Quit: node-irc says goodbye) |
2021-07-02 05:49:12 +0200 | ixlun | (~ixlun@2001:470:69fc:105::41b3) (Quit: node-irc says goodbye) |
2021-07-02 05:51:46 +0200 | mpt | (~tom@p57a56d37.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
2021-07-02 05:55:30 +0200 | dunkeln_ | (~dunkeln@188.70.10.165) |
2021-07-02 05:56:52 +0200 | mpt | (~tom@p57a56d37.dip0.t-ipconnect.de) |
2021-07-02 06:02:44 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
2021-07-02 06:07:37 +0200 | GIANTWORLDKEEPER | (~pjetcetal@128-71-13-182.broadband.corbina.ru) |
2021-07-02 06:08:43 +0200 | v01d4lph4 | (~v01d4lph4@user/v01d4lph4) |
2021-07-02 06:10:37 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-07-02 06:13:29 +0200 | Gurkenglas | (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
2021-07-02 06:15:32 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
2021-07-02 06:25:47 +0200 | TranquilEcho | (~grom@user/tranquilecho) (Quit: WeeChat 2.8) |
2021-07-02 06:30:29 +0200 | <Axman6> | What options exist for creating new haskell projects? I've used stack new in the past but am looking for something more cabal friendly. I've used summoner too, and it works well but isn't compatible with ghc-8.10 (I could probably do --allow-newer though). Any other options? cabal init doesn't seem to cut it, unless things have changed in the last while |
2021-07-02 06:31:40 +0200 | anandprabhu | (~anandprab@94.202.243.198) |
2021-07-02 06:32:27 +0200 | Kesleta | (Username@c-76-106-28-215.hsd1.md.comcast.net) |
2021-07-02 06:34:23 +0200 | <Axman6> | What options exist for creating new haskell projects? I've used stack new in the past but am looking for something more cabal friendly. I've used summoner too, and it works well but isn't compatible with ghc-8.10 (I could probably do --allow-newer though). Any other options? cabal init doesn't seem to cut it, unless things have changed in the last while |
2021-07-02 06:34:28 +0200 | <Axman6> | uh |
2021-07-02 06:34:33 +0200 | <Axman6> | (Looks like cabal new-install summoner-tui --allow-newer might work, but still interested to know if there are up to date tools) |
2021-07-02 06:35:37 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
2021-07-02 06:35:40 +0200 | <sclv> | what do you want out of cabal init that it doesn't give? a full scaffolding?? |
2021-07-02 06:35:55 +0200 | <slack1256> | Maybe you mean the template projects that stack ships with? |
2021-07-02 06:36:01 +0200 | <sclv> | personally i've never wanted much more |
2021-07-02 06:36:27 +0200 | <sclv> | also summoner is 8.10 compat: https://matrix.hackage.haskell.org/#/package/summoner |
2021-07-02 06:36:42 +0200 | <sclv> | as is tui? https://matrix.hackage.haskell.org/#/package/summoner-tui |
2021-07-02 06:36:49 +0200 | <Axman6> | yeah just a scaffold. oh looks like I've got 9.0.1 active |
2021-07-02 06:37:43 +0200 | anandprabhu | (~anandprab@94.202.243.198) (Ping timeout: 268 seconds) |
2021-07-02 06:37:56 +0200 | <sclv> | honestly i'm particular enough about my projects i've always been fine with just initing a basic cabal file |
2021-07-02 06:38:42 +0200 | <sclv> | but then i've never paid much attention to setting up like CI integrations, which is where this stuff seems handiest, or maybe with doctests or the like... my packages are very straightforward by comparison |
2021-07-02 06:38:43 +0200 | Kesleta | (Username@c-76-106-28-215.hsd1.md.comcast.net) (Quit: Going offline, see ya! (www.adiirc.com)) |
2021-07-02 06:41:32 +0200 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2021-07-02 06:41:46 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
2021-07-02 06:46:14 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 272 seconds) |
2021-07-02 06:48:58 +0200 | <Axman6> | urgh, ok, I can't install summoner-tui using ghc 8.10, it can't find a build plan without --allow-newer, and then it imports things which are no longer exported |
2021-07-02 06:50:02 +0200 | img | (~img@user/img) |
2021-07-02 06:51:09 +0200 | bitmapper | (uid464869@id-464869.tooting.irccloud.com) (Quit: Connection closed for inactivity) |
2021-07-02 06:54:21 +0200 | peterhil | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 258 seconds) |
2021-07-02 06:55:46 +0200 | derelict | (~derelict@user/derelict) (Ping timeout: 256 seconds) |
2021-07-02 06:58:56 +0200 | derelict | (~derelict@user/derelict) |
2021-07-02 07:01:45 +0200 | jr23 | (~jr@1.38.44.128) |
2021-07-02 07:02:37 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
2021-07-02 07:03:14 +0200 | mpt | (~tom@p57a56d37.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
2021-07-02 07:04:53 +0200 | <jr23> | hi all |
2021-07-02 07:05:07 +0200 | <jr23> | I am trying to build eta lang from source |
2021-07-02 07:05:26 +0200 | <jr23> | couple of time build failed with messages like this |
2021-07-02 07:05:31 +0200 | <jr23> | ListLike > Registering ListLike-4.2.1... |
2021-07-02 07:05:32 +0200 | <jr23> | HttpExceptionRequest Request { |
2021-07-02 07:05:32 +0200 | <jr23> | host = "casa.fpcomplete.com" |
2021-07-02 07:05:33 +0200 | <jr23> | port = 443 |
2021-07-02 07:05:33 +0200 | <jr23> | secure = True |
2021-07-02 07:05:34 +0200 | <jr23> | requestHeaders = [] |
2021-07-02 07:05:34 +0200 | <jr23> | path = "/v1/pull" |
2021-07-02 07:05:35 +0200 | <jr23> | queryString = "" |
2021-07-02 07:05:35 +0200 | <jr23> | method = "POST" |
2021-07-02 07:05:36 +0200 | <jr23> | proxy = Nothing |
2021-07-02 07:05:36 +0200 | <jr23> | rawBody = False |
2021-07-02 07:05:37 +0200 | <jr23> | redirectCount = 10 |
2021-07-02 07:05:37 +0200 | <jr23> | responseTimeout = ResponseTimeoutDefault |
2021-07-02 07:05:38 +0200 | <jr23> | requestVersion = HTTP/1.1 |
2021-07-02 07:05:38 +0200 | <jr23> | } |
2021-07-02 07:05:39 +0200 | <jr23> | ConnectionTimeout |
2021-07-02 07:05:43 +0200 | <Axman6> | @where paste |
2021-07-02 07:05:43 +0200 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
2021-07-02 07:06:14 +0200 | <jr23> | any one know why this packages sending request for regist |
2021-07-02 07:06:21 +0200 | <jr23> | *registration |
2021-07-02 07:06:52 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
2021-07-02 07:06:54 +0200 | <jr23> | https://paste.tomsmeding.com/WGY3qeLE |
2021-07-02 07:07:16 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
2021-07-02 07:07:54 +0200 | derelict | (~derelict@user/derelict) (Ping timeout: 240 seconds) |
2021-07-02 07:08:09 +0200 | Sunny | (~Sunny@49.36.43.171) |
2021-07-02 07:08:23 +0200 | qbt | (~edun@user/edun) |
2021-07-02 07:09:24 +0200 | Sunny | (~Sunny@49.36.43.171) () |
2021-07-02 07:10:49 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
2021-07-02 07:15:26 +0200 | thornAvery | (~thorn@121.220.33.124) (Ping timeout: 258 seconds) |
2021-07-02 07:19:13 +0200 | jneira | (~jneira@212.8.115.226) |
2021-07-02 07:27:17 +0200 | chris_ | (~chris@81.96.113.213) (Remote host closed the connection) |
2021-07-02 07:27:59 +0200 | chris_ | (~chris@81.96.113.213) |
2021-07-02 07:30:47 +0200 | slack1256 | (~slack1256@181.203.95.42) (Ping timeout: 265 seconds) |
2021-07-02 07:32:28 +0200 | chris_ | (~chris@81.96.113.213) (Ping timeout: 272 seconds) |
2021-07-02 07:33:44 +0200 | son0p | (~ff@181.136.122.143) (Ping timeout: 272 seconds) |
2021-07-02 07:35:10 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-07-02 07:41:59 +0200 | lbseale | (~lbseale@user/ep1ctetus) (Read error: Connection reset by peer) |
2021-07-02 07:44:15 +0200 | alphabeta | (~kilolympu@cpc92710-cmbg20-2-0-cust265.5-4.cable.virginm.net) |
2021-07-02 07:46:47 +0200 | fef | (~thedawn@user/thedawn) |
2021-07-02 07:47:14 +0200 | kilolympus | (~kilolympu@cpc92710-cmbg20-2-0-cust265.5-4.cable.virginm.net) (Ping timeout: 252 seconds) |
2021-07-02 07:53:37 +0200 | _ht | (~quassel@82-169-194-8.biz.kpn.net) |
2021-07-02 07:59:30 +0200 | norias | (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Ping timeout: 240 seconds) |
2021-07-02 08:00:38 +0200 | shredder | (~user@user/shredder) (Quit: quitting) |
2021-07-02 08:03:28 +0200 | shredder | (~user@user/shredder) |
2021-07-02 08:09:36 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
2021-07-02 08:21:11 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2021-07-02 08:22:41 +0200 | michalz | (~michalz@185.246.204.122) |
2021-07-02 08:26:31 +0200 | lavaman | (~lavaman@98.38.249.169) |
2021-07-02 08:27:10 +0200 | jr23 | (~jr@1.38.44.128) (Ping timeout: 246 seconds) |
2021-07-02 08:27:54 +0200 | dunkeln_ | (~dunkeln@188.70.10.165) (Ping timeout: 240 seconds) |
2021-07-02 08:29:39 +0200 | vire | (~vire@136.185.211.83) |
2021-07-02 08:29:55 +0200 | vire | (~vire@136.185.211.83) (Read error: Connection reset by peer) |
2021-07-02 08:31:12 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 265 seconds) |
2021-07-02 08:31:20 +0200 | vire | (~vire@136.185.211.83) |
2021-07-02 08:35:17 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2021-07-02 08:38:11 +0200 | vire | (~vire@136.185.211.83) (Good Bye) |
2021-07-02 08:42:48 +0200 | jr65 | (~jr@1.38.44.128) |
2021-07-02 08:47:15 +0200 | spirgel_ | (spirgel@gateway/vpn/protonvpn/spirgel) |
2021-07-02 08:50:07 +0200 | spirgel | (spirgel@gateway/vpn/protonvpn/spirgel) (Ping timeout: 258 seconds) |
2021-07-02 08:50:18 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
2021-07-02 08:51:45 +0200 | mikoto-chan | (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) |
2021-07-02 08:54:32 +0200 | jr65 | ajar |
2021-07-02 08:56:12 +0200 | dunkeln_ | (~dunkeln@188.70.10.165) |
2021-07-02 09:00:12 +0200 | <Cajun> | is there a good way to get a more precise Double? im trying to do ProjectEuler problem 26, but 1/17 is too long/its decimal representation is too long and gets chopped prematurely and my floydCycle algorithm errors out (index too large) |
2021-07-02 09:01:16 +0200 | <shachaf> | I suspect you're not supposed to be solving that with floating point. |
2021-07-02 09:02:20 +0200 | <Cajun> | that would make sense, but im wondering how else i could represent it, considering the 2-10 example all shows floating point; any suggestions? |
2021-07-02 09:03:22 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
2021-07-02 09:03:36 +0200 | <shachaf> | No, none of the examples show floating point. |
2021-07-02 09:04:14 +0200 | <Cajun> | well i mean it shows 1/7 as 0.(142857), which is a decimal representation, so i went ahead and used floating point |
2021-07-02 09:04:29 +0200 | dunkeln_ | (~dunkeln@188.70.10.165) (Ping timeout: 268 seconds) |
2021-07-02 09:05:00 +0200 | <shachaf> | But floating point of any precision won't tell you what the cycles are. |
2021-07-02 09:05:26 +0200 | amahl | (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
2021-07-02 09:06:10 +0200 | <Cajun> | wdym? the way im going about it is converting to a string and chopping off the 0. and all following 0s. thats likely the issue, but how else can i get the decimal portion of fractional division? |
2021-07-02 09:07:13 +0200 | <shachaf> | The decimal portion is infinite, so you certainly won't get it like that. |
2021-07-02 09:07:47 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
2021-07-02 09:10:00 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
2021-07-02 09:11:20 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
2021-07-02 09:11:51 +0200 | <Ferdirand> | Cajun: try to write some equation that captures the idea of the repeating decimal fraction |
2021-07-02 09:12:07 +0200 | fef | (~thedawn@user/thedawn) (Ping timeout: 244 seconds) |
2021-07-02 09:12:45 +0200 | ajar | jaravan |
2021-07-02 09:13:15 +0200 | v01d4lph4 | (~v01d4lph4@user/v01d4lph4) (Ping timeout: 265 seconds) |
2021-07-02 09:14:04 +0200 | jaravan | ajar |
2021-07-02 09:15:26 +0200 | chele | (~chele@user/chele) |
2021-07-02 09:15:44 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 256 seconds) |
2021-07-02 09:19:05 +0200 | <sshine> | Cajun, Rational? |
2021-07-02 09:19:37 +0200 | <Cajun> | ive found a different approach and am reading up on it, but i did look at that; dont think that would help considering i was using string representation |
2021-07-02 09:20:08 +0200 | v01d4lph4 | (~v01d4lph4@122.160.65.250) |
2021-07-02 09:20:08 +0200 | v01d4lph4 | (~v01d4lph4@122.160.65.250) (Changing host) |
2021-07-02 09:20:08 +0200 | v01d4lph4 | (~v01d4lph4@user/v01d4lph4) |
2021-07-02 09:21:06 +0200 | <sshine> | Cajun, ah, didn't look into the actual problem. I also don't think you'd actually want floats here. |
2021-07-02 09:22:12 +0200 | <sshine> | Cajun, I think whether or not the decimal representation of a ratio is finite or not has to do with divisibility of the number base... |
2021-07-02 09:22:23 +0200 | <sshine> | at least for natural number bases. |
2021-07-02 09:24:27 +0200 | neurocyte4 | (~neurocyte@user/neurocyte) (Quit: The Lounge - https://thelounge.chat) |
2021-07-02 09:26:01 +0200 | thedward[m] | (~thedwardm@2001:470:69fc:105::f79) |
2021-07-02 09:26:17 +0200 | chomwitt | (~Pitsikoko@2a02:587:dc0b:0:d8f7:cdfe:4658:bec4) |
2021-07-02 09:29:24 +0200 | neurocyte40 | (~neurocyte@45.131.36.91) |
2021-07-02 09:29:24 +0200 | neurocyte40 | (~neurocyte@45.131.36.91) (Changing host) |
2021-07-02 09:29:24 +0200 | neurocyte40 | (~neurocyte@user/neurocyte) |
2021-07-02 09:32:06 +0200 | amahl | (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Ping timeout: 265 seconds) |
2021-07-02 09:35:30 +0200 | ac | (~aloiscoch@2001:470:69fc:105::65) |
2021-07-02 09:35:30 +0200 | psydroid | (~psydroid@user/psydroid) |
2021-07-02 09:35:30 +0200 | sm[m] | (~sm@plaintextaccounting/sm) |
2021-07-02 09:35:30 +0200 | hjulle[m] | (~hjullemat@2001:470:69fc:105::1dd) |
2021-07-02 09:35:30 +0200 | jaror[m] | (~jaror@2001:470:69fc:105::265) |
2021-07-02 09:35:30 +0200 | fgaz | (~fgaz@2001:470:69fc:105::842) |
2021-07-02 09:35:30 +0200 | MatrixTravelerbo | (~voyagert2@2001:470:69fc:105::22) |
2021-07-02 09:35:30 +0200 | peddie | (~peddie@2001:470:69fc:105::25d) |
2021-07-02 09:35:30 +0200 | cdsmith | (~cdsmithma@2001:470:69fc:105::284) |
2021-07-02 09:35:30 +0200 | ru0mad[m] | (~ru0madmat@2001:470:69fc:105::9b2) |
2021-07-02 09:35:31 +0200 | bb010g | (~bb010g@2001:470:69fc:105::9a5) |
2021-07-02 09:35:31 +0200 | fabfianda[m] | (~fabfianda@2001:470:69fc:105::6db) |
2021-07-02 09:35:31 +0200 | Las[m] | (~lasmatrix@2001:470:69fc:105::74e) |
2021-07-02 09:35:31 +0200 | Artem[m] | (~artemtype@2001:470:69fc:105::75b) |
2021-07-02 09:35:31 +0200 | cdepillabout[m] | (~cdepillab@2001:470:69fc:105::3d3) |
2021-07-02 09:35:31 +0200 | amesgen[m] | (~amesgenm]@2001:470:69fc:105::82b) |
2021-07-02 09:35:31 +0200 | the-coot[m] | (~the-cootm@2001:470:69fc:105::95f) |
2021-07-02 09:35:31 +0200 | vaibhavsagar[m] | (~vaibhavsa@2001:470:69fc:105::ffe) |
2021-07-02 09:35:31 +0200 | zfnmxt | (~zfnmxtzfn@2001:470:69fc:105::2b32) |
2021-07-02 09:35:31 +0200 | kadoban | (~kadoban@user/kadoban) |
2021-07-02 09:35:31 +0200 | bitonic | (~bitonic@2001:470:69fc:105::1812) |
2021-07-02 09:35:31 +0200 | carmysilna | (~brightly-@2001:470:69fc:105::2190) |
2021-07-02 09:35:31 +0200 | jophish | (~jophish@2001:470:69fc:105::670) |
2021-07-02 09:35:31 +0200 | ericson2314 | (~ericson23@2001:470:69fc:105::70c) |
2021-07-02 09:35:31 +0200 | siraben | (~siraben@user/siraben) |
2021-07-02 09:35:31 +0200 | unclechu | (~unclechu@2001:470:69fc:105::354) |
2021-07-02 09:35:31 +0200 | Deewiant | (~deewiant@2001:470:69fc:105::2fd3) |
2021-07-02 09:35:31 +0200 | bryan[m] | (~bchreekat@2001:470:69fc:105::16b5) |
2021-07-02 09:35:31 +0200 | Aleci[m] | (~alecilibr@2001:470:69fc:105::32e7) |
2021-07-02 09:35:31 +0200 | unrooted | (~unrooted@2001:470:69fc:105::a4a) |
2021-07-02 09:35:31 +0200 | ServerStatsDisco | (~serversta@2001:470:69fc:105::1a) |
2021-07-02 09:35:31 +0200 | maralorn | (~maralorn@2001:470:69fc:105::251) |
2021-07-02 09:35:31 +0200 | jakefromstatefar | (~jakefroms@2001:470:69fc:105::15ef) |
2021-07-02 09:35:31 +0200 | inkbottle[m] | (~inkbottle@2001:470:69fc:105::2ff5) |
2021-07-02 09:35:31 +0200 | lwe[m] | (~dendrumat@2001:470:69fc:105::2f9b) |
2021-07-02 09:35:31 +0200 | reza[m] | (~rezaphone@2001:470:69fc:105::3eda) |
2021-07-02 09:35:31 +0200 | gxt | (~gxt@2001:470:69fc:105::3513) |
2021-07-02 09:35:32 +0200 | marinelli[m] | (~marinelli@2001:470:69fc:105::2d8) |
2021-07-02 09:35:32 +0200 | hsiktas[m] | (~hsiktasma@2001:470:69fc:105::30d4) |
2021-07-02 09:35:32 +0200 | boxscape | (~boxscape@user/boxscape) |
2021-07-02 09:35:32 +0200 | vbeatrice[m] | (~vbeatrice@2001:470:69fc:105::3ebf) |
2021-07-02 09:35:32 +0200 | ormaaj | (~ormaaj@user/ormaaj) |
2021-07-02 09:35:32 +0200 | Orbstheorem | (~orbstheor@2001:470:69fc:105::a56) |
2021-07-02 09:35:32 +0200 | sridonhiatus[m] | (~sridmatri@2001:470:69fc:105::1c2) |
2021-07-02 09:35:42 +0200 | wallymathieu[m] | (~wallymath@2001:470:69fc:105::16ae) |
2021-07-02 09:35:42 +0200 | maerwald[m] | (~maerwaldm@2001:470:69fc:105::1ee) |
2021-07-02 09:35:42 +0200 | Drezil | (~drezilkif@2001:470:69fc:105::7f8) |
2021-07-02 09:35:43 +0200 | autrim64[m] | (~autrim64m@2001:470:69fc:105::16a1) |
2021-07-02 09:35:43 +0200 | ecameron[m] | (~ecameronm@2001:470:69fc:105::35df) |
2021-07-02 09:35:43 +0200 | aveltras[m] | (~aveltrasm@2001:470:69fc:105::3ef9) |
2021-07-02 09:35:43 +0200 | Soft | (~soft-matr@2001:470:69fc:105::c75) |
2021-07-02 09:35:43 +0200 | yin[m] | (~zwromatri@2001:470:69fc:105::1d4) |
2021-07-02 09:35:43 +0200 | kosmikus[m] | (~andresloe@2001:470:69fc:105::95d) |
2021-07-02 09:35:43 +0200 | Ollie[m] | (~ollieocha@2001:470:69fc:105::41a5) |
2021-07-02 09:35:43 +0200 | RohitGoswami[m] | (~rgoswamim@2001:470:69fc:105::16cc) |
2021-07-02 09:35:43 +0200 | jellz[m] | (~jellzmatr@2001:470:69fc:105::2daa) |
2021-07-02 09:35:44 +0200 | adziahel[m] | (~adziahelm@2001:470:69fc:105::b4d) |
2021-07-02 09:35:44 +0200 | octeep[m]1 | (~octeepmoc@2001:470:69fc:105::695e) |
2021-07-02 09:35:44 +0200 | Morrow[m] | (~morrowmma@2001:470:69fc:105::1d0) |
2021-07-02 09:35:44 +0200 | dualinverter[m] | (~dualinver@2001:470:69fc:105::16a7) |
2021-07-02 09:35:45 +0200 | dminuoso[m] | (~dminuosom@2001:470:69fc:105::33bb) |
2021-07-02 09:35:45 +0200 | justosophy[m] | (~justosoph@2001:470:69fc:105::572f) |
2021-07-02 09:35:46 +0200 | Sylveon | (~sylveonma@2001:470:69fc:105::2d95) |
2021-07-02 09:35:46 +0200 | oak- | (~oakuniver@2001:470:69fc:105::fcd) |
2021-07-02 09:35:46 +0200 | ixlun | (~ixlun@2001:470:69fc:105::41b3) |
2021-07-02 09:36:09 +0200 | Sylveon | Guest7930 |
2021-07-02 09:38:59 +0200 | kuribas | (~user@ptr-25vy0i8i8tlkx2f5u74.18120a2.ip6.access.telenet.be) |
2021-07-02 09:39:14 +0200 | mpt | (~tom@p57a56d37.dip0.t-ipconnect.de) |
2021-07-02 09:39:26 +0200 | dunkeln | (~dunkeln@188.70.10.165) |
2021-07-02 09:40:46 +0200 | slowButPresent | (~slowButPr@user/slowbutpresent) (Quit: leaving) |
2021-07-02 09:41:35 +0200 | <Cajun> | shachaf Ferdirand: thanks, that worked! |
2021-07-02 09:42:04 +0200 | ajar | (~jr@1.38.44.128) (Ping timeout: 246 seconds) |
2021-07-02 09:43:22 +0200 | <shachaf> | Most of the puzzles on that website are more mathsy than programmingy, I think. |
2021-07-02 09:43:35 +0200 | <shachaf> | So you should be prepared to math it up. |
2021-07-02 09:43:53 +0200 | <Cajun> | yup, but expressing math in programming is still a great practice. so far brute force has been possible, but thats absolutely not the case moving forward |
2021-07-02 09:44:19 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
2021-07-02 09:45:20 +0200 | <Cajun> | i guess ill start looking in a more mathsy lens moving forward, its been fun so far |
2021-07-02 09:45:30 +0200 | MatrixTravelerbo | (~voyagert2@2001:470:69fc:105::22) (Quit: Client limit exceeded: 20000) |
2021-07-02 09:45:43 +0200 | siraben | (~siraben@user/siraben) (Quit: Client limit exceeded: 20000) |
2021-07-02 09:45:49 +0200 | Aleci[m] | (~alecilibr@2001:470:69fc:105::32e7) (Quit: Client limit exceeded: 20000) |
2021-07-02 09:45:50 +0200 | ServerStatsDisco | (~serversta@2001:470:69fc:105::1a) (Quit: Client limit exceeded: 20000) |
2021-07-02 09:45:51 +0200 | ac | (~aloiscoch@2001:470:69fc:105::65) (Quit: Client limit exceeded: 20000) |
2021-07-02 09:45:59 +0200 | kadoban | (~kadoban@user/kadoban) (Quit: Client limit exceeded: 20000) |
2021-07-02 09:46:00 +0200 | carmysilna | (~brightly-@2001:470:69fc:105::2190) (Quit: Client limit exceeded: 20000) |
2021-07-02 09:46:00 +0200 | fgaz | (~fgaz@2001:470:69fc:105::842) (Quit: Client limit exceeded: 20000) |
2021-07-02 09:46:03 +0200 | peddie | (~peddie@2001:470:69fc:105::25d) (Quit: Client limit exceeded: 20000) |
2021-07-02 09:46:07 +0200 | mpt | (~tom@p57a56d37.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
2021-07-02 09:46:17 +0200 | sm[m] | (~sm@plaintextaccounting/sm) (Quit: Client limit exceeded: 20000) |
2021-07-02 09:46:21 +0200 | dunkeln | (~dunkeln@188.70.10.165) (Ping timeout: 250 seconds) |
2021-07-02 09:46:22 +0200 | psydroid | (~psydroid@user/psydroid) (Quit: Client limit exceeded: 20000) |
2021-07-02 09:46:42 +0200 | cdsmith | (~cdsmithma@2001:470:69fc:105::284) (Quit: Client limit exceeded: 20000) |
2021-07-02 09:46:46 +0200 | hsiktas[m] | (~hsiktasma@2001:470:69fc:105::30d4) (Quit: Client limit exceeded: 20000) |
2021-07-02 09:46:59 +0200 | acidjnk_new | (~acidjnk@p200300d0c72b9504558b1d2f6b7134fe.dip0.t-ipconnect.de) |
2021-07-02 09:47:21 +0200 | lwe[m] | (~dendrumat@2001:470:69fc:105::2f9b) (Quit: Client limit exceeded: 20000) |
2021-07-02 09:47:29 +0200 | ericson2314 | (~ericson23@2001:470:69fc:105::70c) (Quit: Client limit exceeded: 20000) |
2021-07-02 09:47:30 +0200 | the-coot[m] | (~the-cootm@2001:470:69fc:105::95f) (Quit: Client limit exceeded: 20000) |
2021-07-02 09:47:49 +0200 | jophish | (~jophish@2001:470:69fc:105::670) (Quit: Client limit exceeded: 20000) |
2021-07-02 09:47:51 +0200 | inkbottle[m] | (~inkbottle@2001:470:69fc:105::2ff5) (Quit: Client limit exceeded: 20000) |
2021-07-02 09:47:55 +0200 | ormaaj | (~ormaaj@user/ormaaj) (Quit: Client limit exceeded: 20000) |
2021-07-02 09:48:19 +0200 | fabfianda[m] | (~fabfianda@2001:470:69fc:105::6db) (Quit: Client limit exceeded: 20000) |
2021-07-02 09:48:20 +0200 | boxscape | (~boxscape@user/boxscape) (Quit: Client limit exceeded: 20000) |
2021-07-02 09:48:40 +0200 | Las[m] | (~lasmatrix@2001:470:69fc:105::74e) (Quit: Client limit exceeded: 20000) |
2021-07-02 09:48:53 +0200 | vaibhavsagar[m] | (~vaibhavsa@2001:470:69fc:105::ffe) (Quit: Client limit exceeded: 20000) |
2021-07-02 09:49:02 +0200 | maralorn | (~maralorn@2001:470:69fc:105::251) (Quit: Client limit exceeded: 20000) |
2021-07-02 09:49:25 +0200 | bryan[m] | (~bchreekat@2001:470:69fc:105::16b5) (Quit: Client limit exceeded: 20000) |
2021-07-02 09:49:25 +0200 | zfnmxt | (~zfnmxtzfn@2001:470:69fc:105::2b32) (Quit: Client limit exceeded: 20000) |
2021-07-02 09:49:27 +0200 | thedward[m] | (~thedwardm@2001:470:69fc:105::f79) (Quit: Client limit exceeded: 20000) |
2021-07-02 09:49:38 +0200 | hnOsmium0001 | (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
2021-07-02 09:50:57 +0200 | marinelli[m] | (~marinelli@2001:470:69fc:105::2d8) (Quit: Client limit exceeded: 20000) |
2021-07-02 09:50:58 +0200 | hjulle[m] | (~hjullemat@2001:470:69fc:105::1dd) (Quit: Client limit exceeded: 20000) |
2021-07-02 09:50:58 +0200 | cdepillabout[m] | (~cdepillab@2001:470:69fc:105::3d3) (Quit: Client limit exceeded: 20000) |
2021-07-02 09:50:58 +0200 | jaror[m] | (~jaror@2001:470:69fc:105::265) (Quit: Client limit exceeded: 20000) |
2021-07-02 09:50:59 +0200 | Artem[m] | (~artemtype@2001:470:69fc:105::75b) (Quit: Client limit exceeded: 20000) |
2021-07-02 09:50:59 +0200 | ru0mad[m] | (~ru0madmat@2001:470:69fc:105::9b2) (Quit: Client limit exceeded: 20000) |
2021-07-02 09:50:59 +0200 | bitonic | (~bitonic@2001:470:69fc:105::1812) (Quit: Client limit exceeded: 20000) |
2021-07-02 09:51:01 +0200 | Orbstheorem | (~orbstheor@2001:470:69fc:105::a56) (Quit: Client limit exceeded: 20000) |
2021-07-02 09:51:53 +0200 | Deewiant | (~deewiant@2001:470:69fc:105::2fd3) (Quit: Client limit exceeded: 20000) |
2021-07-02 09:53:04 +0200 | unrooted | (~unrooted@2001:470:69fc:105::a4a) (Quit: Client limit exceeded: 20000) |
2021-07-02 09:53:05 +0200 | unclechu | (~unclechu@2001:470:69fc:105::354) (Quit: Client limit exceeded: 20000) |
2021-07-02 09:53:06 +0200 | gxt | (~gxt@2001:470:69fc:105::3513) (Quit: Client limit exceeded: 20000) |
2021-07-02 09:53:07 +0200 | sridonhiatus[m] | (~sridmatri@2001:470:69fc:105::1c2) (Quit: Client limit exceeded: 20000) |
2021-07-02 09:54:02 +0200 | mpt | (~tom@p57a56d37.dip0.t-ipconnect.de) |
2021-07-02 09:58:41 +0200 | kosmikus[m] | (~andresloe@2001:470:69fc:105::95d) (Remote host closed the connection) |
2021-07-02 09:58:42 +0200 | Soft | (~soft-matr@2001:470:69fc:105::c75) (Remote host closed the connection) |
2021-07-02 09:58:42 +0200 | maerwald[m] | (~maerwaldm@2001:470:69fc:105::1ee) (Remote host closed the connection) |
2021-07-02 09:58:42 +0200 | wallymathieu[m] | (~wallymath@2001:470:69fc:105::16ae) (Remote host closed the connection) |
2021-07-02 09:58:43 +0200 | Guest7930 | (~sylveonma@2001:470:69fc:105::2d95) (Remote host closed the connection) |
2021-07-02 09:58:43 +0200 | dminuoso[m] | (~dminuosom@2001:470:69fc:105::33bb) (Remote host closed the connection) |
2021-07-02 09:58:44 +0200 | vbeatrice[m] | (~vbeatrice@2001:470:69fc:105::3ebf) (Remote host closed the connection) |
2021-07-02 09:58:44 +0200 | adziahel[m] | (~adziahelm@2001:470:69fc:105::b4d) (Remote host closed the connection) |
2021-07-02 09:58:46 +0200 | bb010g | (~bb010g@2001:470:69fc:105::9a5) (Write error: Connection reset by peer) |
2021-07-02 09:58:47 +0200 | Drezil | (~drezilkif@2001:470:69fc:105::7f8) (Remote host closed the connection) |
2021-07-02 09:58:47 +0200 | Ollie[m] | (~ollieocha@2001:470:69fc:105::41a5) (Remote host closed the connection) |
2021-07-02 09:58:47 +0200 | RohitGoswami[m] | (~rgoswamim@2001:470:69fc:105::16cc) (Remote host closed the connection) |
2021-07-02 09:58:47 +0200 | jellz[m] | (~jellzmatr@2001:470:69fc:105::2daa) (Remote host closed the connection) |
2021-07-02 09:58:47 +0200 | yin[m] | (~zwromatri@2001:470:69fc:105::1d4) (Remote host closed the connection) |
2021-07-02 09:58:55 +0200 | reza[m] | (~rezaphone@2001:470:69fc:105::3eda) (Remote host closed the connection) |
2021-07-02 09:58:55 +0200 | jakefromstatefar | (~jakefroms@2001:470:69fc:105::15ef) (Remote host closed the connection) |
2021-07-02 09:58:55 +0200 | Morrow[m] | (~morrowmma@2001:470:69fc:105::1d0) (Remote host closed the connection) |
2021-07-02 09:58:55 +0200 | dualinverter[m] | (~dualinver@2001:470:69fc:105::16a7) (Remote host closed the connection) |
2021-07-02 09:58:55 +0200 | ixlun | (~ixlun@2001:470:69fc:105::41b3) (Write error: Connection reset by peer) |
2021-07-02 09:58:55 +0200 | oak- | (~oakuniver@2001:470:69fc:105::fcd) (Remote host closed the connection) |
2021-07-02 09:58:55 +0200 | justosophy[m] | (~justosoph@2001:470:69fc:105::572f) (Remote host closed the connection) |
2021-07-02 09:58:55 +0200 | octeep[m]1 | (~octeepmoc@2001:470:69fc:105::695e) (Remote host closed the connection) |
2021-07-02 09:58:57 +0200 | autrim64[m] | (~autrim64m@2001:470:69fc:105::16a1) (Remote host closed the connection) |
2021-07-02 09:59:28 +0200 | amesgen[m] | (~amesgenm]@2001:470:69fc:105::82b) (Remote host closed the connection) |
2021-07-02 09:59:28 +0200 | ecameron[m] | (~ecameronm@2001:470:69fc:105::35df) (Remote host closed the connection) |
2021-07-02 09:59:28 +0200 | aveltras[m] | (~aveltrasm@2001:470:69fc:105::3ef9) (Remote host closed the connection) |
2021-07-02 10:00:09 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-07-02 10:00:34 +0200 | thedward[m] | (~thedwardm@2001:470:69fc:105::f79) |
2021-07-02 10:03:51 +0200 | dunkeln | (~dunkeln@188.70.10.165) |
2021-07-02 10:06:31 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:5bf:4bd7:7b8b:fdcf) (Remote host closed the connection) |
2021-07-02 10:06:39 +0200 | hendursa1 | (~weechat@user/hendursaga) |
2021-07-02 10:06:56 +0200 | fabfianda | (~fabfianda@37.183.255.57) (Ping timeout: 252 seconds) |
2021-07-02 10:07:00 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:5bf:4bd7:7b8b:fdcf) |
2021-07-02 10:07:13 +0200 | fabfianda | (~fabfianda@mob-5-90-251-42.net.vodafone.it) |
2021-07-02 10:08:57 +0200 | hendursaga | (~weechat@user/hendursaga) (Ping timeout: 244 seconds) |
2021-07-02 10:09:14 +0200 | chele | (~chele@user/chele) (Ping timeout: 268 seconds) |
2021-07-02 10:11:20 +0200 | ubert | (~Thunderbi@p2e5a50e5.dip0.t-ipconnect.de) (Remote host closed the connection) |
2021-07-02 10:11:29 +0200 | ac | (~aloiscoch@2001:470:69fc:105::65) |
2021-07-02 10:11:29 +0200 | sm[m] | (~sm@plaintextaccounting/sm) |
2021-07-02 10:11:29 +0200 | psydroid | (~psydroid@user/psydroid) |
2021-07-02 10:11:29 +0200 | hjulle[m] | (~hjullemat@2001:470:69fc:105::1dd) |
2021-07-02 10:11:29 +0200 | fgaz | (~fgaz@2001:470:69fc:105::842) |
2021-07-02 10:11:29 +0200 | jaror[m] | (~jaror@2001:470:69fc:105::265) |
2021-07-02 10:11:29 +0200 | peddie | (~peddie@2001:470:69fc:105::25d) |
2021-07-02 10:11:29 +0200 | cdsmith | (~cdsmithma@2001:470:69fc:105::284) |
2021-07-02 10:11:29 +0200 | ru0mad[m] | (~ru0madmat@2001:470:69fc:105::9b2) |
2021-07-02 10:11:29 +0200 | bb010g | (~bb010g@2001:470:69fc:105::9a5) |
2021-07-02 10:11:29 +0200 | fabfianda[m] | (~fabfianda@2001:470:69fc:105::6db) |
2021-07-02 10:11:29 +0200 | Las[m] | (~lasmatrix@2001:470:69fc:105::74e) |
2021-07-02 10:11:29 +0200 | Artem[m] | (~artemtype@2001:470:69fc:105::75b) |
2021-07-02 10:11:29 +0200 | cdepillabout[m] | (~cdepillab@2001:470:69fc:105::3d3) |
2021-07-02 10:11:29 +0200 | amesgen[m] | (~amesgenm]@2001:470:69fc:105::82b) |
2021-07-02 10:11:29 +0200 | the-coot[m] | (~the-cootm@2001:470:69fc:105::95f) |
2021-07-02 10:11:29 +0200 | vaibhavsagar[m] | (~vaibhavsa@2001:470:69fc:105::ffe) |
2021-07-02 10:11:29 +0200 | zfnmxt | (~zfnmxtzfn@2001:470:69fc:105::2b32) |
2021-07-02 10:11:29 +0200 | MatrixTravelerbo | (~voyagert2@2001:470:69fc:105::22) |
2021-07-02 10:11:30 +0200 | ServerStatsDisco | (~serversta@2001:470:69fc:105::1a) |
2021-07-02 10:11:30 +0200 | kadoban | (~kadoban@user/kadoban) |
2021-07-02 10:11:30 +0200 | carmysilna | (~brightly-@2001:470:69fc:105::2190) |
2021-07-02 10:11:30 +0200 | ericson2314 | (~ericson23@2001:470:69fc:105::70c) |
2021-07-02 10:11:30 +0200 | jophish | (~jophish@2001:470:69fc:105::670) |
2021-07-02 10:11:30 +0200 | siraben | (~siraben@user/siraben) |
2021-07-02 10:11:30 +0200 | Deewiant | (~deewiant@2001:470:69fc:105::2fd3) |
2021-07-02 10:11:30 +0200 | unclechu | (~unclechu@2001:470:69fc:105::354) |
2021-07-02 10:11:30 +0200 | unrooted | (~unrooted@2001:470:69fc:105::a4a) |
2021-07-02 10:11:30 +0200 | bryan[m] | (~bchreekat@2001:470:69fc:105::16b5) |
2021-07-02 10:11:30 +0200 | bitonic | (~bitonic@2001:470:69fc:105::1812) |
2021-07-02 10:11:30 +0200 | Aleci[m] | (~alecilibr@2001:470:69fc:105::32e7) |
2021-07-02 10:11:30 +0200 | maralorn | (~maralorn@2001:470:69fc:105::251) |
2021-07-02 10:11:30 +0200 | jakefromstatefar | (~jakefroms@2001:470:69fc:105::15ef) |
2021-07-02 10:11:30 +0200 | lwe[m] | (~dendrumat@2001:470:69fc:105::2f9b) |
2021-07-02 10:11:30 +0200 | inkbottle[m] | (~inkbottle@2001:470:69fc:105::2ff5) |
2021-07-02 10:11:30 +0200 | reza[m] | (~rezaphone@2001:470:69fc:105::3eda) |
2021-07-02 10:11:30 +0200 | gxt | (~gxt@2001:470:69fc:105::3513) |
2021-07-02 10:11:30 +0200 | marinelli[m] | (~marinelli@2001:470:69fc:105::2d8) |
2021-07-02 10:11:30 +0200 | hsiktas[m] | (~hsiktasma@2001:470:69fc:105::30d4) |
2021-07-02 10:11:30 +0200 | boxscape | (~boxscape@user/boxscape) |
2021-07-02 10:11:30 +0200 | vbeatrice[m] | (~vbeatrice@2001:470:69fc:105::3ebf) |
2021-07-02 10:11:30 +0200 | ormaaj | (~ormaaj@user/ormaaj) |
2021-07-02 10:11:30 +0200 | sridonhiatus[m] | (~sridmatri@2001:470:69fc:105::1c2) |
2021-07-02 10:11:30 +0200 | Orbstheorem | (~orbstheor@2001:470:69fc:105::a56) |
2021-07-02 10:11:35 +0200 | zeenk | (~zeenk@2a02:2f04:a106:9600:82fb:aed9:ca9:38d3) |
2021-07-02 10:11:41 +0200 | maerwald[m] | (~maerwaldm@2001:470:69fc:105::1ee) |
2021-07-02 10:11:41 +0200 | kosmikus[m] | (~andresloe@2001:470:69fc:105::95d) |
2021-07-02 10:11:41 +0200 | Soft | (~soft-matr@2001:470:69fc:105::c75) |
2021-07-02 10:11:41 +0200 | Morrow[m] | (~morrowmma@2001:470:69fc:105::1d0) |
2021-07-02 10:11:41 +0200 | Drezil | (~drezilkif@2001:470:69fc:105::7f8) |
2021-07-02 10:11:41 +0200 | dualinverter[m] | (~dualinver@2001:470:69fc:105::16a7) |
2021-07-02 10:11:42 +0200 | adziahel[m] | (~adziahelm@2001:470:69fc:105::b4d) |
2021-07-02 10:11:42 +0200 | Ollie[m] | (~ollieocha@2001:470:69fc:105::41a5) |
2021-07-02 10:11:42 +0200 | wallymathieu[m] | (~wallymath@2001:470:69fc:105::16ae) |
2021-07-02 10:11:42 +0200 | justosophy[m] | (~justosoph@2001:470:69fc:105::572f) |
2021-07-02 10:11:42 +0200 | octeep[m]1 | (~octeepmoc@2001:470:69fc:105::695e) |
2021-07-02 10:11:42 +0200 | jellz[m] | (~jellzmatr@2001:470:69fc:105::2daa) |
2021-07-02 10:11:42 +0200 | dminuoso[m] | (~dminuosom@2001:470:69fc:105::33bb) |
2021-07-02 10:11:42 +0200 | aveltras[m] | (~aveltrasm@2001:470:69fc:105::3ef9) |
2021-07-02 10:11:42 +0200 | ecameron[m] | (~ecameronm@2001:470:69fc:105::35df) |
2021-07-02 10:11:42 +0200 | autrim64[m] | (~autrim64m@2001:470:69fc:105::16a1) |
2021-07-02 10:11:43 +0200 | yin[m] | (~zwromatri@2001:470:69fc:105::1d4) |
2021-07-02 10:11:43 +0200 | RohitGoswami[m] | (~rgoswamim@2001:470:69fc:105::16cc) |
2021-07-02 10:11:43 +0200 | ixlun | (~ixlun@2001:470:69fc:105::41b3) |
2021-07-02 10:11:43 +0200 | oak- | (~oakuniver@2001:470:69fc:105::fcd) |
2021-07-02 10:11:45 +0200 | Sylveon | (~sylveonma@2001:470:69fc:105::2d95) |
2021-07-02 10:11:50 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:5bf:4bd7:7b8b:fdcf) (Ping timeout: 256 seconds) |
2021-07-02 10:11:52 +0200 | alphabeta | (~kilolympu@cpc92710-cmbg20-2-0-cust265.5-4.cable.virginm.net) (Quit: Quitting IRC :() |
2021-07-02 10:12:08 +0200 | Sylveon | Guest6895 |
2021-07-02 10:12:11 +0200 | kilolympus | (~kilolympu@cpc92710-cmbg20-2-0-cust265.5-4.cable.virginm.net) |
2021-07-02 10:13:32 +0200 | chele | (~chele@user/chele) |
2021-07-02 10:13:39 +0200 | hegstal | (~hegstal@2a02:c7f:7604:8a00:f7c8:886a:a9a5:ff17) |
2021-07-02 10:16:36 +0200 | thornAvery | (~thorn@121.220.33.124) |
2021-07-02 10:17:26 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
2021-07-02 10:17:52 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
2021-07-02 10:18:16 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
2021-07-02 10:19:03 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 258 seconds) |
2021-07-02 10:19:31 +0200 | Lord_of_Life_ | Lord_of_Life |
2021-07-02 10:19:42 +0200 | ph88^ | (~ph88@2a02:8109:9e00:7e5c:60eb:9cdc:e9d8:37e4) |
2021-07-02 10:19:56 +0200 | MatrixTravelerbo | (~voyagert2@2001:470:69fc:105::22) (Quit: Client limit exceeded: 20000) |
2021-07-02 10:20:05 +0200 | siraben | (~siraben@user/siraben) (Quit: Client limit exceeded: 20000) |
2021-07-02 10:20:06 +0200 | ac | (~aloiscoch@2001:470:69fc:105::65) (Quit: Client limit exceeded: 20000) |
2021-07-02 10:20:16 +0200 | ServerStatsDisco | (~serversta@2001:470:69fc:105::1a) (Quit: Client limit exceeded: 20000) |
2021-07-02 10:20:17 +0200 | Aleci[m] | (~alecilibr@2001:470:69fc:105::32e7) (Quit: Client limit exceeded: 20000) |
2021-07-02 10:20:22 +0200 | peddie | (~peddie@2001:470:69fc:105::25d) (Quit: Client limit exceeded: 20000) |
2021-07-02 10:20:23 +0200 | kadoban | (~kadoban@user/kadoban) (Quit: Client limit exceeded: 20000) |
2021-07-02 10:20:23 +0200 | carmysilna | (~brightly-@2001:470:69fc:105::2190) (Quit: Client limit exceeded: 20000) |
2021-07-02 10:20:25 +0200 | fgaz | (~fgaz@2001:470:69fc:105::842) (Quit: Client limit exceeded: 20000) |
2021-07-02 10:20:33 +0200 | sm[m] | (~sm@plaintextaccounting/sm) (Quit: Client limit exceeded: 20000) |
2021-07-02 10:20:47 +0200 | psydroid | (~psydroid@user/psydroid) (Quit: Client limit exceeded: 20000) |
2021-07-02 10:20:57 +0200 | cdsmith | (~cdsmithma@2001:470:69fc:105::284) (Quit: Client limit exceeded: 20000) |
2021-07-02 10:21:11 +0200 | hsiktas[m] | (~hsiktasma@2001:470:69fc:105::30d4) (Quit: Client limit exceeded: 20000) |
2021-07-02 10:21:40 +0200 | lwe[m] | (~dendrumat@2001:470:69fc:105::2f9b) (Quit: Client limit exceeded: 20000) |
2021-07-02 10:21:49 +0200 | ericson2314 | (~ericson23@2001:470:69fc:105::70c) (Quit: Client limit exceeded: 20000) |
2021-07-02 10:21:50 +0200 | the-coot[m] | (~the-cootm@2001:470:69fc:105::95f) (Quit: Client limit exceeded: 20000) |
2021-07-02 10:21:58 +0200 | jophish | (~jophish@2001:470:69fc:105::670) (Quit: Client limit exceeded: 20000) |
2021-07-02 10:21:58 +0200 | inkbottle[m] | (~inkbottle@2001:470:69fc:105::2ff5) (Quit: Client limit exceeded: 20000) |
2021-07-02 10:22:18 +0200 | ph88 | (~ph88@2a02:8109:9e00:7e5c:60eb:9cdc:e9d8:37e4) (Ping timeout: 240 seconds) |
2021-07-02 10:22:20 +0200 | ormaaj | (~ormaaj@user/ormaaj) (Quit: Client limit exceeded: 20000) |
2021-07-02 10:22:41 +0200 | boxscape | (~boxscape@user/boxscape) (Quit: Client limit exceeded: 20000) |
2021-07-02 10:22:45 +0200 | Las[m] | (~lasmatrix@2001:470:69fc:105::74e) (Quit: Client limit exceeded: 20000) |
2021-07-02 10:23:11 +0200 | maralorn | (~maralorn@2001:470:69fc:105::251) (Quit: Client limit exceeded: 20000) |
2021-07-02 10:23:16 +0200 | vaibhavsagar[m] | (~vaibhavsa@2001:470:69fc:105::ffe) (Quit: Client limit exceeded: 20000) |
2021-07-02 10:23:33 +0200 | zfnmxt | (~zfnmxtzfn@2001:470:69fc:105::2b32) (Quit: Client limit exceeded: 20000) |
2021-07-02 10:23:33 +0200 | thedward[m] | (~thedwardm@2001:470:69fc:105::f79) (Quit: Client limit exceeded: 20000) |
2021-07-02 10:23:34 +0200 | bryan[m] | (~bchreekat@2001:470:69fc:105::16b5) (Quit: Client limit exceeded: 20000) |
2021-07-02 10:24:39 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2021-07-02 10:25:05 +0200 | marinelli[m] | (~marinelli@2001:470:69fc:105::2d8) (Quit: Client limit exceeded: 20000) |
2021-07-02 10:25:06 +0200 | hjulle[m] | (~hjullemat@2001:470:69fc:105::1dd) (Quit: Client limit exceeded: 20000) |
2021-07-02 10:25:13 +0200 | fabfianda[m] | (~fabfianda@2001:470:69fc:105::6db) (Quit: Client limit exceeded: 20000) |
2021-07-02 10:25:13 +0200 | Artem[m] | (~artemtype@2001:470:69fc:105::75b) (Quit: Client limit exceeded: 20000) |
2021-07-02 10:25:13 +0200 | cdepillabout[m] | (~cdepillab@2001:470:69fc:105::3d3) (Quit: Client limit exceeded: 20000) |
2021-07-02 10:25:13 +0200 | jaror[m] | (~jaror@2001:470:69fc:105::265) (Quit: Client limit exceeded: 20000) |
2021-07-02 10:25:15 +0200 | bitonic | (~bitonic@2001:470:69fc:105::1812) (Quit: Client limit exceeded: 20000) |
2021-07-02 10:25:15 +0200 | ru0mad[m] | (~ru0madmat@2001:470:69fc:105::9b2) (Quit: Client limit exceeded: 20000) |
2021-07-02 10:25:24 +0200 | Orbstheorem | (~orbstheor@2001:470:69fc:105::a56) (Quit: Client limit exceeded: 20000) |
2021-07-02 10:25:59 +0200 | Deewiant | (~deewiant@2001:470:69fc:105::2fd3) (Quit: Client limit exceeded: 20000) |
2021-07-02 10:26:37 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
2021-07-02 10:28:08 +0200 | unrooted | (~unrooted@2001:470:69fc:105::a4a) (Quit: Client limit exceeded: 20000) |
2021-07-02 10:28:09 +0200 | unclechu | (~unclechu@2001:470:69fc:105::354) (Quit: Client limit exceeded: 20000) |
2021-07-02 10:28:10 +0200 | gxt | (~gxt@2001:470:69fc:105::3513) (Quit: Client limit exceeded: 20000) |
2021-07-02 10:28:56 +0200 | sridonhiatus[m] | (~sridmatri@2001:470:69fc:105::1c2) (Quit: Client limit exceeded: 20000) |
2021-07-02 10:29:14 +0200 | arjun | (~user@user/arjun) |
2021-07-02 10:30:18 +0200 | dunkeln | (~dunkeln@188.70.10.165) (Ping timeout: 240 seconds) |
2021-07-02 10:32:00 +0200 | RohitGoswami[m] | (~rgoswamim@2001:470:69fc:105::16cc) (Remote host closed the connection) |
2021-07-02 10:32:01 +0200 | adziahel[m] | (~adziahelm@2001:470:69fc:105::b4d) (Remote host closed the connection) |
2021-07-02 10:32:01 +0200 | yin[m] | (~zwromatri@2001:470:69fc:105::1d4) (Remote host closed the connection) |
2021-07-02 10:32:01 +0200 | dualinverter[m] | (~dualinver@2001:470:69fc:105::16a7) (Remote host closed the connection) |
2021-07-02 10:32:01 +0200 | autrim64[m] | (~autrim64m@2001:470:69fc:105::16a1) (Remote host closed the connection) |
2021-07-02 10:32:02 +0200 | bb010g | (~bb010g@2001:470:69fc:105::9a5) (Write error: Connection reset by peer) |
2021-07-02 10:32:02 +0200 | Ollie[m] | (~ollieocha@2001:470:69fc:105::41a5) (Remote host closed the connection) |
2021-07-02 10:32:02 +0200 | wallymathieu[m] | (~wallymath@2001:470:69fc:105::16ae) (Remote host closed the connection) |
2021-07-02 10:32:03 +0200 | jakefromstatefar | (~jakefroms@2001:470:69fc:105::15ef) (Read error: Connection reset by peer) |
2021-07-02 10:32:03 +0200 | oak- | (~oakuniver@2001:470:69fc:105::fcd) (Remote host closed the connection) |
2021-07-02 10:32:03 +0200 | ecameron[m] | (~ecameronm@2001:470:69fc:105::35df) (Remote host closed the connection) |
2021-07-02 10:32:04 +0200 | aveltras[m] | (~aveltrasm@2001:470:69fc:105::3ef9) (Remote host closed the connection) |
2021-07-02 10:32:04 +0200 | Drezil | (~drezilkif@2001:470:69fc:105::7f8) (Remote host closed the connection) |
2021-07-02 10:32:04 +0200 | octeep[m]1 | (~octeepmoc@2001:470:69fc:105::695e) (Remote host closed the connection) |
2021-07-02 10:32:04 +0200 | dminuoso[m] | (~dminuosom@2001:470:69fc:105::33bb) (Remote host closed the connection) |
2021-07-02 10:32:04 +0200 | jellz[m] | (~jellzmatr@2001:470:69fc:105::2daa) (Remote host closed the connection) |
2021-07-02 10:32:07 +0200 | ixlun | (~ixlun@2001:470:69fc:105::41b3) (Write error: Connection reset by peer) |
2021-07-02 10:32:07 +0200 | reza[m] | (~rezaphone@2001:470:69fc:105::3eda) (Read error: Connection reset by peer) |
2021-07-02 10:32:13 +0200 | justosophy[m] | (~justosoph@2001:470:69fc:105::572f) (Remote host closed the connection) |
2021-07-02 10:32:13 +0200 | Soft | (~soft-matr@2001:470:69fc:105::c75) (Remote host closed the connection) |
2021-07-02 10:32:13 +0200 | kosmikus[m] | (~andresloe@2001:470:69fc:105::95d) (Remote host closed the connection) |
2021-07-02 10:32:13 +0200 | maerwald[m] | (~maerwaldm@2001:470:69fc:105::1ee) (Remote host closed the connection) |
2021-07-02 10:32:22 +0200 | Morrow[m] | (~morrowmma@2001:470:69fc:105::1d0) (Remote host closed the connection) |
2021-07-02 10:32:39 +0200 | vbeatrice[m] | (~vbeatrice@2001:470:69fc:105::3ebf) (Read error: Connection reset by peer) |
2021-07-02 10:32:39 +0200 | amesgen[m] | (~amesgenm]@2001:470:69fc:105::82b) (Read error: Connection reset by peer) |
2021-07-02 10:32:39 +0200 | Guest6895 | (~sylveonma@2001:470:69fc:105::2d95) (Remote host closed the connection) |
2021-07-02 10:33:51 +0200 | thedward[m] | (~thedwardm@2001:470:69fc:105::f79) |
2021-07-02 10:37:44 +0200 | ubert | (~Thunderbi@2a02:8109:9880:303c:e6b3:18ff:fe83:8f33) |
2021-07-02 10:37:56 +0200 | dunkeln_ | (~dunkeln@188.70.10.165) |
2021-07-02 10:40:27 +0200 | thedward[m] | (~thedwardm@2001:470:69fc:105::f79) (Remote host closed the connection) |
2021-07-02 10:40:58 +0200 | haykam1 | (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
2021-07-02 10:41:12 +0200 | haykam1 | (~haykam@static.100.2.21.65.clients.your-server.de) |
2021-07-02 10:41:14 +0200 | haykam1 | (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
2021-07-02 10:41:26 +0200 | haykam1 | (~haykam@static.100.2.21.65.clients.your-server.de) |
2021-07-02 10:41:28 +0200 | haykam1 | (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
2021-07-02 10:41:41 +0200 | haykam1 | (~haykam@static.100.2.21.65.clients.your-server.de) |
2021-07-02 10:42:49 +0200 | arjun | (~user@user/arjun) (Remote host closed the connection) |
2021-07-02 10:43:09 +0200 | thornAvery | (~thorn@121.220.33.124) (Ping timeout: 265 seconds) |
2021-07-02 10:45:28 +0200 | ph88_ | (~ph88@2a02:8109:9e00:7e5c:6036:8c69:37b7:47cf) |
2021-07-02 10:46:10 +0200 | mpt | (~tom@p57a56d37.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2021-07-02 10:46:32 +0200 | azeem | (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Ping timeout: 265 seconds) |
2021-07-02 10:46:38 +0200 | <juhp> | If I change a function of String to one of IsString s => s, does that break PVP or not? |
2021-07-02 10:47:03 +0200 | <Rembane> | What's PVP in this context? |
2021-07-02 10:47:16 +0200 | vpan | (~vilius@212.117.1.172) |
2021-07-02 10:47:23 +0200 | <juhp> | Sorry I mean that count as breaking API? |
2021-07-02 10:47:28 +0200 | <juhp> | does *, ugh |
2021-07-02 10:47:36 +0200 | azeem | (~azeem@176.201.21.236) |
2021-07-02 10:48:27 +0200 | <Rembane> | It makes the function take arguments of more types, so I say it doesn't break API, but you could have a differing opinion and still be correct. :) |
2021-07-02 10:48:42 +0200 | ph88^ | (~ph88@2a02:8109:9e00:7e5c:60eb:9cdc:e9d8:37e4) (Ping timeout: 240 seconds) |
2021-07-02 10:48:48 +0200 | <juhp> | Right, my thinking too |
2021-07-02 10:49:07 +0200 | <juhp> | So it might not require a major version bump perhaps |
2021-07-02 10:49:18 +0200 | <Taneb> | juhp: it can break downstream code in some circumstances |
2021-07-02 10:49:32 +0200 | <juhp> | Aha |
2021-07-02 10:49:49 +0200 | <juhp> | That was what I was wondering or worrying about |
2021-07-02 10:50:07 +0200 | fendor | (~fendor@77.119.218.107.wireless.dyn.drei.com) |
2021-07-02 10:50:18 +0200 | <Rembane> | How can it break downstream code? |
2021-07-02 10:51:02 +0200 | <Taneb> | I think that without ExtendedDefaultRules it'd break something like "foldMap (Sum . fromEnum) foo" |
2021-07-02 10:51:35 +0200 | <Taneb> | It'd need to find (Foldable f, Enum c, IsString (f c)) |
2021-07-02 10:51:37 +0200 | dunj3 | (~dunj3@p200300f61714a66193d8ecf822b563af.dip0.t-ipconnect.de) |
2021-07-02 10:51:51 +0200 | <Rembane> | Got it, I didn't expect that. |
2021-07-02 10:51:54 +0200 | <Taneb> | I don't think it'd always manage to default that to String |
2021-07-02 10:52:17 +0200 | <Taneb> | (It does in GHCi, I think due to ExtendedDefaultRules or whatever it's called) |
2021-07-02 10:52:52 +0200 | thornAvery | (~thorn@121.220.33.124) |
2021-07-02 10:53:18 +0200 | <juhp> | In my immediate case the context is optparse-applicative string option parsing |
2021-07-02 10:54:14 +0200 | <Taneb> | strOption :: IsString s => Mod OptionFields s -> Parser s |
2021-07-02 10:54:19 +0200 | <juhp> | But yeah there more chance of ambiguity with a type class of course |
2021-07-02 10:54:24 +0200 | <juhp> | Right |
2021-07-02 10:54:26 +0200 | <Taneb> | That could cause problems, depending on how you use the Parser later on |
2021-07-02 10:54:32 +0200 | <juhp> | Okay |
2021-07-02 10:54:54 +0200 | <Rembane> | You could make your own strOption' that has a stricter type |
2021-07-02 10:55:04 +0200 | jr44 | (~jr@1.38.44.128) |
2021-07-02 10:55:08 +0200 | <juhp> | Well sounds like major version bump might be safer |
2021-07-02 10:55:21 +0200 | jr44 | ajar |
2021-07-02 10:55:29 +0200 | ubert | (~Thunderbi@2a02:8109:9880:303c:e6b3:18ff:fe83:8f33) (Remote host closed the connection) |
2021-07-02 10:55:38 +0200 | <juhp> | Rembane: well the thing is I am actually going the other way |
2021-07-02 10:55:56 +0200 | <juhp> | That is what I currently have |
2021-07-02 10:56:06 +0200 | <Rembane> | juhp: Got it. |
2021-07-02 10:56:45 +0200 | <juhp> | Thanks for the help :-) |
2021-07-02 10:56:53 +0200 | johnw | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) |
2021-07-02 10:57:36 +0200 | ubert | (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) |
2021-07-02 10:58:01 +0200 | Pickchea | (~private@user/pickchea) |
2021-07-02 10:58:32 +0200 | <Rembane> | np! Good luck! :) |
2021-07-02 10:59:24 +0200 | MoC | (~moc@user/moc) |
2021-07-02 10:59:30 +0200 | fabfianda | (~fabfianda@mob-5-90-251-42.net.vodafone.it) (Ping timeout: 240 seconds) |
2021-07-02 10:59:49 +0200 | fabfianda | (~fabfianda@37.183.255.57) |
2021-07-02 11:02:14 +0200 | cfricke | (~cfricke@user/cfricke) |
2021-07-02 11:02:29 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
2021-07-02 11:03:54 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
2021-07-02 11:05:52 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
2021-07-02 11:06:34 +0200 | thedward[m] | (~thedwardm@2001:470:69fc:105::f79) |
2021-07-02 11:10:12 +0200 | dunkeln_ | (~dunkeln@188.70.10.165) (Ping timeout: 256 seconds) |
2021-07-02 11:10:31 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds) |
2021-07-02 11:10:58 +0200 | qbt | (~edun@user/edun) (Ping timeout: 272 seconds) |
2021-07-02 11:11:50 +0200 | azeem | (~azeem@176.201.21.236) (Ping timeout: 268 seconds) |
2021-07-02 11:12:08 +0200 | azeem | (~azeem@176.201.21.236) |
2021-07-02 11:12:32 +0200 | juhp | (~juhp@128.106.188.66) (Quit: juhp) |
2021-07-02 11:12:46 +0200 | juhp | (~juhp@128.106.188.66) |
2021-07-02 11:14:54 +0200 | ac | (~aloiscoch@2001:470:69fc:105::65) |
2021-07-02 11:14:54 +0200 | sm[m] | (~sm@plaintextaccounting/sm) |
2021-07-02 11:14:54 +0200 | hjulle[m] | (~hjullemat@2001:470:69fc:105::1dd) |
2021-07-02 11:14:54 +0200 | jaror[m] | (~jaror@2001:470:69fc:105::265) |
2021-07-02 11:14:54 +0200 | fgaz | (~fgaz@2001:470:69fc:105::842) |
2021-07-02 11:14:54 +0200 | cdsmith | (~cdsmithma@2001:470:69fc:105::284) |
2021-07-02 11:14:54 +0200 | peddie | (~peddie@2001:470:69fc:105::25d) |
2021-07-02 11:14:54 +0200 | ru0mad[m] | (~ru0madmat@2001:470:69fc:105::9b2) |
2021-07-02 11:14:54 +0200 | fabfianda[m] | (~fabfianda@2001:470:69fc:105::6db) |
2021-07-02 11:14:54 +0200 | bb010g | (~bb010g@2001:470:69fc:105::9a5) |
2021-07-02 11:14:55 +0200 | Las[m] | (~lasmatrix@2001:470:69fc:105::74e) |
2021-07-02 11:14:55 +0200 | Artem[m] | (~artemtype@2001:470:69fc:105::75b) |
2021-07-02 11:14:55 +0200 | cdepillabout[m] | (~cdepillab@2001:470:69fc:105::3d3) |
2021-07-02 11:14:55 +0200 | the-coot[m] | (~the-cootm@2001:470:69fc:105::95f) |
2021-07-02 11:14:55 +0200 | vaibhavsagar[m] | (~vaibhavsa@2001:470:69fc:105::ffe) |
2021-07-02 11:14:55 +0200 | amesgen[m] | (~amesgenm]@2001:470:69fc:105::82b) |
2021-07-02 11:14:55 +0200 | MatrixTravelerbo | (~voyagert2@2001:470:69fc:105::22) |
2021-07-02 11:14:55 +0200 | zfnmxt | (~zfnmxtzfn@2001:470:69fc:105::2b32) |
2021-07-02 11:14:55 +0200 | kadoban | (~kadoban@user/kadoban) |
2021-07-02 11:14:55 +0200 | psydroid | (~psydroid@user/psydroid) |
2021-07-02 11:14:55 +0200 | bitonic | (~bitonic@2001:470:69fc:105::1812) |
2021-07-02 11:14:55 +0200 | carmysilna | (~brightly-@2001:470:69fc:105::2190) |
2021-07-02 11:14:55 +0200 | ericson2314 | (~ericson23@2001:470:69fc:105::70c) |
2021-07-02 11:14:55 +0200 | jophish | (~jophish@2001:470:69fc:105::670) |
2021-07-02 11:14:55 +0200 | siraben | (~siraben@user/siraben) |
2021-07-02 11:14:55 +0200 | ServerStatsDisco | (~serversta@2001:470:69fc:105::1a) |
2021-07-02 11:14:55 +0200 | Deewiant | (~deewiant@2001:470:69fc:105::2fd3) |
2021-07-02 11:14:55 +0200 | unclechu | (~unclechu@2001:470:69fc:105::354) |
2021-07-02 11:14:55 +0200 | bryan[m] | (~bchreekat@2001:470:69fc:105::16b5) |
2021-07-02 11:14:55 +0200 | unrooted | (~unrooted@2001:470:69fc:105::a4a) |
2021-07-02 11:14:55 +0200 | Aleci[m] | (~alecilibr@2001:470:69fc:105::32e7) |
2021-07-02 11:14:55 +0200 | maralorn | (~maralorn@2001:470:69fc:105::251) |
2021-07-02 11:14:55 +0200 | jakefromstatefar | (~jakefroms@2001:470:69fc:105::15ef) |
2021-07-02 11:14:55 +0200 | lwe[m] | (~dendrumat@2001:470:69fc:105::2f9b) |
2021-07-02 11:14:55 +0200 | inkbottle[m] | (~inkbottle@2001:470:69fc:105::2ff5) |
2021-07-02 11:14:55 +0200 | gxt | (~gxt@2001:470:69fc:105::3513) |
2021-07-02 11:14:55 +0200 | reza[m] | (~rezaphone@2001:470:69fc:105::3eda) |
2021-07-02 11:14:56 +0200 | marinelli[m] | (~marinelli@2001:470:69fc:105::2d8) |
2021-07-02 11:14:56 +0200 | hsiktas[m] | (~hsiktasma@2001:470:69fc:105::30d4) |
2021-07-02 11:14:56 +0200 | boxscape | (~boxscape@user/boxscape) |
2021-07-02 11:14:56 +0200 | vbeatrice[m] | (~vbeatrice@2001:470:69fc:105::3ebf) |
2021-07-02 11:14:56 +0200 | Orbstheorem | (~orbstheor@2001:470:69fc:105::a56) |
2021-07-02 11:14:56 +0200 | ormaaj | (~ormaaj@user/ormaaj) |
2021-07-02 11:14:56 +0200 | sridonhiatus[m] | (~sridmatri@2001:470:69fc:105::1c2) |
2021-07-02 11:15:06 +0200 | maerwald[m] | (~maerwaldm@2001:470:69fc:105::1ee) |
2021-07-02 11:15:06 +0200 | dualinverter[m] | (~dualinver@2001:470:69fc:105::16a7) |
2021-07-02 11:15:06 +0200 | Morrow[m] | (~morrowmma@2001:470:69fc:105::1d0) |
2021-07-02 11:15:06 +0200 | Drezil | (~drezilkif@2001:470:69fc:105::7f8) |
2021-07-02 11:15:07 +0200 | wallymathieu[m] | (~wallymath@2001:470:69fc:105::16ae) |
2021-07-02 11:15:07 +0200 | kosmikus[m] | (~andresloe@2001:470:69fc:105::95d) |
2021-07-02 11:15:07 +0200 | adziahel[m] | (~adziahelm@2001:470:69fc:105::b4d) |
2021-07-02 11:15:07 +0200 | yin[m] | (~zwromatri@2001:470:69fc:105::1d4) |
2021-07-02 11:15:07 +0200 | RohitGoswami[m] | (~rgoswamim@2001:470:69fc:105::16cc) |
2021-07-02 11:15:07 +0200 | autrim64[m] | (~autrim64m@2001:470:69fc:105::16a1) |
2021-07-02 11:15:07 +0200 | ecameron[m] | (~ecameronm@2001:470:69fc:105::35df) |
2021-07-02 11:15:07 +0200 | octeep[m]1 | (~octeepmoc@2001:470:69fc:105::695e) |
2021-07-02 11:15:07 +0200 | Soft | (~soft-matr@2001:470:69fc:105::c75) |
2021-07-02 11:15:08 +0200 | jellz[m] | (~jellzmatr@2001:470:69fc:105::2daa) |
2021-07-02 11:15:08 +0200 | dminuoso[m] | (~dminuosom@2001:470:69fc:105::33bb) |
2021-07-02 11:15:08 +0200 | Ollie[m] | (~ollieocha@2001:470:69fc:105::41a5) |
2021-07-02 11:15:08 +0200 | aveltras[m] | (~aveltrasm@2001:470:69fc:105::3ef9) |
2021-07-02 11:15:09 +0200 | justosophy[m] | (~justosoph@2001:470:69fc:105::572f) |
2021-07-02 11:15:09 +0200 | Sylveon | (~sylveonma@2001:470:69fc:105::2d95) |
2021-07-02 11:15:09 +0200 | ixlun | (~ixlun@2001:470:69fc:105::41b3) |
2021-07-02 11:15:10 +0200 | oak- | (~oakuniver@2001:470:69fc:105::fcd) |
2021-07-02 11:15:32 +0200 | Sylveon | Guest1752 |
2021-07-02 11:17:21 +0200 | fabfianda | (~fabfianda@37.183.255.57) (Ping timeout: 250 seconds) |
2021-07-02 11:17:35 +0200 | fabfianda | (~fabfianda@mob-5-90-248-65.net.vodafone.it) |
2021-07-02 11:20:00 +0200 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 258 seconds) |
2021-07-02 11:26:38 +0200 | azeem | (~azeem@176.201.21.236) (Ping timeout: 268 seconds) |
2021-07-02 11:26:46 +0200 | azeem | (~azeem@176.201.21.236) |
2021-07-02 11:33:25 +0200 | azeem | (~azeem@176.201.21.236) (Ping timeout: 258 seconds) |
2021-07-02 11:34:22 +0200 | azeem | (~azeem@176.201.21.236) |
2021-07-02 11:34:24 +0200 | peterhil | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
2021-07-02 11:37:43 +0200 | dunkeln_ | (~dunkeln@188.70.10.165) |
2021-07-02 11:37:44 +0200 | thornAvery | (~thorn@121.220.33.124) (Ping timeout: 268 seconds) |
2021-07-02 11:41:22 +0200 | Gurkenglas | (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
2021-07-02 11:43:06 +0200 | azeem | (~azeem@176.201.21.236) (Ping timeout: 240 seconds) |
2021-07-02 11:46:47 +0200 | azeem | (~azeem@176.201.21.236) |
2021-07-02 11:51:46 +0200 | berberman_ | berberman |
2021-07-02 12:00:58 +0200 | azeem | (~azeem@176.201.21.236) (Ping timeout: 265 seconds) |
2021-07-02 12:01:54 +0200 | azeem | (~azeem@176.201.21.236) |
2021-07-02 12:05:19 +0200 | dunkeln_ | (~dunkeln@188.70.10.165) (Ping timeout: 265 seconds) |
2021-07-02 12:06:07 +0200 | sus | (thelounge@user/zeromomentum) (Quit: the lounge - https://webirc.envs.net) |
2021-07-02 12:06:32 +0200 | sus | (thelounge@user/zeromomentum) |
2021-07-02 12:06:42 +0200 | azeem | (~azeem@176.201.21.236) (Ping timeout: 272 seconds) |
2021-07-02 12:07:12 +0200 | xsperry | (~as@user/xsperry) (Remote host closed the connection) |
2021-07-02 12:07:27 +0200 | berberman_ | (~berberman@user/berberman) |
2021-07-02 12:08:26 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:5bf:4bd7:7b8b:fdcf) |
2021-07-02 12:08:34 +0200 | berberman | (~berberman@user/berberman) (Ping timeout: 256 seconds) |
2021-07-02 12:11:31 +0200 | dunj4 | (~dunj3@p200300f61714a6748e87ed091f47e421.dip0.t-ipconnect.de) |
2021-07-02 12:12:01 +0200 | azeem | (~azeem@176.201.21.236) |
2021-07-02 12:12:09 +0200 | MidAutumnMoon | (~MidAutumn@user/midautumnmoon) (Quit: Leaving for a break - theLounge) |
2021-07-02 12:12:42 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:5bf:4bd7:7b8b:fdcf) (Ping timeout: 240 seconds) |
2021-07-02 12:12:46 +0200 | MidAutumnMoon | (~MidAutumn@user/midautumnmoon) |
2021-07-02 12:14:07 +0200 | dunj3 | (~dunj3@p200300f61714a66193d8ecf822b563af.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
2021-07-02 12:19:54 +0200 | xff0x | (~xff0x@2001:1a81:5272:cb00:9b5b:dd13:e926:61a1) (Ping timeout: 256 seconds) |
2021-07-02 12:20:46 +0200 | azeem | (~azeem@176.201.21.236) (Ping timeout: 252 seconds) |
2021-07-02 12:21:30 +0200 | xff0x | (~xff0x@2001:1a81:5272:cb00:309c:3c58:ff4a:6c98) |
2021-07-02 12:22:49 +0200 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection) |
2021-07-02 12:23:39 +0200 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
2021-07-02 12:25:12 +0200 | azeem | (~azeem@176.201.21.236) |
2021-07-02 12:27:47 +0200 | lavaman | (~lavaman@98.38.249.169) |
2021-07-02 12:29:50 +0200 | azeem | (~azeem@176.201.21.236) (Ping timeout: 268 seconds) |
2021-07-02 12:30:40 +0200 | azeem | (~azeem@176.201.21.236) |
2021-07-02 12:32:18 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 268 seconds) |
2021-07-02 12:34:00 +0200 | dunj4 | dunj3 |
2021-07-02 12:37:57 +0200 | pfurla | (~pfurla@ool-182ed2e2.dyn.optonline.net) (Quit: gone to sleep. ZZZzzz…) |
2021-07-02 12:38:10 +0200 | vpan | (~vilius@212.117.1.172) (Quit: Leaving.) |
2021-07-02 12:40:16 +0200 | azeem | (~azeem@176.201.21.236) (Ping timeout: 272 seconds) |
2021-07-02 12:41:51 +0200 | ajar | (~jr@1.38.44.128) (Quit: Client closed) |
2021-07-02 12:43:11 +0200 | oxide | (~lambda@user/oxide) (Ping timeout: 258 seconds) |
2021-07-02 12:44:11 +0200 | oxide | (~lambda@user/oxide) |
2021-07-02 12:47:28 +0200 | dunkeln_ | (~dunkeln@188.70.10.165) |
2021-07-02 12:47:46 +0200 | azeem | (~azeem@176.201.21.236) |
2021-07-02 12:53:29 +0200 | pie_bnc | pie_ |
2021-07-02 12:54:48 +0200 | chris_ | (~chris@81.96.113.213) |
2021-07-02 12:54:52 +0200 | chris_ | (~chris@81.96.113.213) (Read error: Connection reset by peer) |
2021-07-02 12:55:04 +0200 | chris_ | (~chris@81.96.113.213) |
2021-07-02 12:56:07 +0200 | qbt | (~edun@user/edun) |
2021-07-02 13:00:17 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-07-02 13:01:52 +0200 | azeem | (~azeem@176.201.21.236) (Ping timeout: 265 seconds) |
2021-07-02 13:03:18 +0200 | azeem | (~azeem@176.201.21.236) |
2021-07-02 13:03:43 +0200 | spirgel | (spirgel@gateway/vpn/protonvpn/spirgel) |
2021-07-02 13:06:18 +0200 | spirgel_ | (spirgel@gateway/vpn/protonvpn/spirgel) (Ping timeout: 240 seconds) |
2021-07-02 13:06:35 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
2021-07-02 13:08:53 +0200 | xsperry | (~as@user/xsperry) |
2021-07-02 13:11:28 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
2021-07-02 13:13:06 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
2021-07-02 13:15:44 +0200 | azeem | (~azeem@176.201.21.236) (Ping timeout: 272 seconds) |
2021-07-02 13:18:16 +0200 | dunkeln_ | (~dunkeln@188.70.10.165) (Ping timeout: 256 seconds) |
2021-07-02 13:18:16 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 272 seconds) |
2021-07-02 13:18:32 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2021-07-02 13:18:44 +0200 | mei | (~mei@user/mei) (Quit: Client closed) |
2021-07-02 13:18:58 +0200 | mei | (~mei@user/mei) |
2021-07-02 13:19:00 +0200 | azeem | (~azeem@176.201.7.53) |
2021-07-02 13:22:18 +0200 | wei2912 | (~wei2912@112.199.250.21) (Quit: Lost terminal) |
2021-07-02 13:25:09 +0200 | lortabac | (~lortabac@95.138.56.124) |
2021-07-02 13:29:06 +0200 | qbt | (~edun@user/edun) (Ping timeout: 240 seconds) |
2021-07-02 13:29:58 +0200 | dunkeln | (~dunkeln@188.70.10.165) |
2021-07-02 13:30:10 +0200 | azeem | (~azeem@176.201.7.53) (Ping timeout: 256 seconds) |
2021-07-02 13:30:35 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 268 seconds) |
2021-07-02 13:34:33 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
2021-07-02 13:35:37 +0200 | azeem | (~azeem@176.201.7.53) |
2021-07-02 13:35:42 +0200 | jippiedoe | (~david@2a02-a44c-e14e-1-1f8d-f529-7b23-33b1.fixed6.kpn.net) |
2021-07-02 13:39:06 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 240 seconds) |
2021-07-02 13:39:34 +0200 | dunkeln | (~dunkeln@188.70.10.165) (Ping timeout: 265 seconds) |
2021-07-02 13:43:31 +0200 | Torro | (Torro@gateway/vpn/protonvpn/torro) |
2021-07-02 13:46:24 +0200 | dunj3 | (~dunj3@p200300f61714a6748e87ed091f47e421.dip0.t-ipconnect.de) (Remote host closed the connection) |
2021-07-02 13:48:31 +0200 | phma_ | (phma@2001:5b0:211f:42c8:39c2:9ea1:f2e8:75b1) |
2021-07-02 13:49:07 +0200 | phma | (phma@2001:5b0:211f:fff8:cd25:f96a:65d:6896) (Read error: Connection reset by peer) |
2021-07-02 13:53:15 +0200 | favonia | (~favonia@user/favonia) |
2021-07-02 13:53:40 +0200 | haykam1 | (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
2021-07-02 13:53:52 +0200 | haykam1 | (~haykam@static.100.2.21.65.clients.your-server.de) |
2021-07-02 13:57:54 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 240 seconds) |
2021-07-02 13:58:41 +0200 | favonia | (~favonia@user/favonia) |
2021-07-02 14:01:14 +0200 | TheRAt | (~TheRAt@user/therat) |
2021-07-02 14:03:16 +0200 | yaroot | (~yaroot@6.3.30.125.dy.iij4u.or.jp) (Quit: The Lounge - https://thelounge.chat) |
2021-07-02 14:04:08 +0200 | yaroot | (~yaroot@6.3.30.125.dy.iij4u.or.jp) |
2021-07-02 14:05:46 +0200 | pieguy128 | (~pieguy128@bras-base-mtrlpq5031w-grc-57-65-92-163-194.dsl.bell.ca) (Ping timeout: 272 seconds) |
2021-07-02 14:06:17 +0200 | pieguy128 | (~pieguy128@bas1-montreal02-65-92-163-194.dsl.bell.ca) |
2021-07-02 14:07:02 +0200 | cross | (~cross@spitfire.i.gajendra.net) (Ping timeout: 272 seconds) |
2021-07-02 14:07:27 +0200 | tose | (~tose@ip-85-160-2-70.eurotel.cz) |
2021-07-02 14:07:40 +0200 | mjrosenb | (~mrosenbe@104.225.243.2) (Ping timeout: 272 seconds) |
2021-07-02 14:07:40 +0200 | davean | (~davean@davean.sciesnet.net) (Ping timeout: 272 seconds) |
2021-07-02 14:07:53 +0200 | waleee | (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) |
2021-07-02 14:08:12 +0200 | dunkeln | (~dunkeln@188.70.10.165) |
2021-07-02 14:08:32 +0200 | cross | (~cross@spitfire.i.gajendra.net) |
2021-07-02 14:08:40 +0200 | mjrosenb | (~mrosenbe@nyc.schrodinger.com) |
2021-07-02 14:09:55 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:5bf:4bd7:7b8b:fdcf) |
2021-07-02 14:10:03 +0200 | davean | (~davean@davean.sciesnet.net) |
2021-07-02 14:12:03 +0200 | hammock | (~Hammock@2600:1700:19a1:3330::625) |
2021-07-02 14:14:18 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:5bf:4bd7:7b8b:fdcf) (Ping timeout: 240 seconds) |
2021-07-02 14:14:58 +0200 | spirgel | (spirgel@gateway/vpn/protonvpn/spirgel) () |
2021-07-02 14:17:38 +0200 | cheater1__ | (~Username@user/cheater) |
2021-07-02 14:18:38 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 258 seconds) |
2021-07-02 14:18:40 +0200 | cheater1__ | cheater |
2021-07-02 14:28:58 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2021-07-02 14:29:16 +0200 | Pickchea | (~private@user/pickchea) |
2021-07-02 14:29:47 +0200 | <dminuoso> | I can also see this breaking in subtle cases of MMR |
2021-07-02 14:29:57 +0200 | Gurkenglas | (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
2021-07-02 14:30:31 +0200 | azeem | (~azeem@176.201.7.53) (Ping timeout: 258 seconds) |
2021-07-02 14:31:05 +0200 | <dminuoso> | Though no, if I follow this thought it goes into the same ballpark that Taneb does. |
2021-07-02 14:32:10 +0200 | <Taneb> | MMR? |
2021-07-02 14:34:32 +0200 | azeem | (~azeem@176.201.7.53) |
2021-07-02 14:34:33 +0200 | <dminuoso> | % f = (g "foo", g (Identity "bar")) where g = fromString |
2021-07-02 14:34:34 +0200 | <yahb> | dminuoso: ; <interactive>:124:18: error:; * Couldn't match type: Identity String; with: [Char]; Expected: String; Actual: Identity String; * In the first argument of `g', namely `(Identity "bar")'; In the expression: g (Identity "bar"); In the expression: (g "foo", g (Identity "bar")) |
2021-07-02 14:34:57 +0200 | <dminuoso> | Im still trying to construct a backwards breaking chance here |
2021-07-02 14:35:24 +0200 | <dminuoso> | Think Im going into a wrong direction |
2021-07-02 14:39:54 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
2021-07-02 14:45:40 +0200 | lavaman | (~lavaman@98.38.249.169) |
2021-07-02 14:51:57 +0200 | chisui | (~chisui@200116b8667639009cc16d86abb76e8b.dip.versatel-1u1.de) |
2021-07-02 14:53:27 +0200 | jneira | (~jneira@212.8.115.226) (Quit: Client closed) |
2021-07-02 14:57:19 +0200 | jolly | (~jolly@208.180.97.158) |
2021-07-02 14:57:49 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
2021-07-02 15:01:10 +0200 | alx741 | (~alx741@186.178.108.157) |
2021-07-02 15:03:54 +0200 | jippiedoe | (~david@2a02-a44c-e14e-1-1f8d-f529-7b23-33b1.fixed6.kpn.net) (Ping timeout: 240 seconds) |
2021-07-02 15:06:08 +0200 | fabfianda | (~fabfianda@mob-5-90-248-65.net.vodafone.it) (Ping timeout: 252 seconds) |
2021-07-02 15:06:37 +0200 | fabfianda | (~fabfianda@37.183.255.57) |
2021-07-02 15:07:20 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
2021-07-02 15:07:29 +0200 | jippiedoe | (~david@2a02-a44c-e14e-1-956e-4fa9-1c2d-bd56.fixed6.kpn.net) |
2021-07-02 15:09:08 +0200 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) |
2021-07-02 15:13:09 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2021-07-02 15:13:54 +0200 | jippiedoe | (~david@2a02-a44c-e14e-1-956e-4fa9-1c2d-bd56.fixed6.kpn.net) (Quit: Leaving) |
2021-07-02 15:15:14 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
2021-07-02 15:19:08 +0200 | shapr | (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
2021-07-02 15:20:06 +0200 | azeem | (~azeem@176.201.7.53) (Ping timeout: 265 seconds) |
2021-07-02 15:21:16 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
2021-07-02 15:21:27 +0200 | azeem | (~azeem@176.201.7.53) |
2021-07-02 15:21:32 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
2021-07-02 15:25:47 +0200 | emergence | (~emergence@vm0.max-p.me) (Quit: Ping timeout (120 seconds)) |
2021-07-02 15:25:58 +0200 | emergence | (~emergence@vm0.max-p.me) |
2021-07-02 15:26:31 +0200 | <ph88_> | how can i run stack in a windows based container image so i can build windows binaries ? I saw microsoft released "nano server" very compact docker image |
2021-07-02 15:26:51 +0200 | NinjaTrappeur | (~ninja@user/ninjatrappeur) |
2021-07-02 15:30:53 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-07-02 15:34:18 +0200 | pfurla | (~pfurla@ool-182ed2e2.dyn.optonline.net) |
2021-07-02 15:34:55 +0200 | dunkeln | (~dunkeln@188.70.10.165) (Ping timeout: 258 seconds) |
2021-07-02 15:39:31 +0200 | azeem | (~azeem@176.201.7.53) (Ping timeout: 258 seconds) |
2021-07-02 15:40:45 +0200 | slowButPresent | (~slowButPr@user/slowbutpresent) |
2021-07-02 15:41:24 +0200 | kuribas | (~user@ptr-25vy0i8i8tlkx2f5u74.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
2021-07-02 15:42:07 +0200 | chomwitt | (~Pitsikoko@2a02:587:dc0b:0:d8f7:cdfe:4658:bec4) (Ping timeout: 246 seconds) |
2021-07-02 15:42:58 +0200 | azeem | (~azeem@176.201.38.107) |
2021-07-02 15:43:27 +0200 | <sshine> | ph88_, sounds like you could extend that docker image in a Dockerfile using 'FROM windows/nanoserver'? https://hub.docker.com/_/microsoft-windows-nanoserver |
2021-07-02 15:44:22 +0200 | <sshine> | ph88_, I don't know how you'd install things in nanoserver; presumably you might COPY in a stack executable. |
2021-07-02 15:45:28 +0200 | Sgeo | (~Sgeo@user/sgeo) |
2021-07-02 15:47:56 +0200 | chris_ | (~chris@81.96.113.213) (Remote host closed the connection) |
2021-07-02 15:48:28 +0200 | chris_ | (~chris@81.96.113.213) |
2021-07-02 15:49:27 +0200 | <ph88_> | sshine, thanks, ye could be as simple as that .. Just like to know if someone has already done it before and has a template/Dockerfile example |
2021-07-02 15:49:38 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 272 seconds) |
2021-07-02 15:49:58 +0200 | dunkeln | (~dunkeln@188.70.10.165) |
2021-07-02 15:51:35 +0200 | son0p | (~ff@181.136.122.143) |
2021-07-02 15:52:40 +0200 | phma_ | phma |
2021-07-02 15:52:42 +0200 | chris_ | (~chris@81.96.113.213) (Ping timeout: 240 seconds) |
2021-07-02 15:53:22 +0200 | chris_ | (~chris@81.96.113.213) |
2021-07-02 15:57:55 +0200 | chris_ | (~chris@81.96.113.213) (Ping timeout: 258 seconds) |
2021-07-02 15:58:49 +0200 | <gentauro> | sshine: do you know if you need a licenses for the win-nanoserver? |
2021-07-02 15:59:07 +0200 | <gentauro> | btw, det er begyndt at regne igen igen :( |
2021-07-02 16:02:25 +0200 | <shapr> | ÄR DU INTE FÖRVÅNAD? |
2021-07-02 16:04:50 +0200 | <shapr> | it's been raining for two days here |
2021-07-02 16:05:26 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
2021-07-02 16:05:30 +0200 | mpt | (~tom@p57a56d37.dip0.t-ipconnect.de) |
2021-07-02 16:08:25 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Quit: FinnElija) |
2021-07-02 16:11:18 +0200 | stevenxl_ | (~stevenlei@c-73-45-168-220.hsd1.il.comcast.net) |
2021-07-02 16:11:33 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:5bf:4bd7:7b8b:fdcf) |
2021-07-02 16:12:03 +0200 | stevenxl | (~stevenlei@68.235.43.101) (Read error: Connection reset by peer) |
2021-07-02 16:12:11 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2021-07-02 16:12:14 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 256 seconds) |
2021-07-02 16:12:16 +0200 | <shapr> | hej hopp gentauro |
2021-07-02 16:12:19 +0200 | fendor_ | (~fendor@77.119.220.92.wireless.dyn.drei.com) |
2021-07-02 16:12:26 +0200 | slack1256 | (~slack1256@181.203.95.42) |
2021-07-02 16:12:28 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
2021-07-02 16:12:45 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
2021-07-02 16:13:38 +0200 | <slack1256> | exit |
2021-07-02 16:13:50 +0200 | <shapr> | slack1256: bye! |
2021-07-02 16:13:55 +0200 | <shapr> | we'll miss you! |
2021-07-02 16:13:56 +0200 | <slack1256> | sorry lol |
2021-07-02 16:14:03 +0200 | slack1256 | (~slack1256@181.203.95.42) (Remote host closed the connection) |
2021-07-02 16:14:37 +0200 | fendor | (~fendor@77.119.218.107.wireless.dyn.drei.com) (Ping timeout: 250 seconds) |
2021-07-02 16:14:58 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
2021-07-02 16:15:54 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:5bf:4bd7:7b8b:fdcf) (Ping timeout: 240 seconds) |
2021-07-02 16:15:56 +0200 | stevenxl_ | (~stevenlei@c-73-45-168-220.hsd1.il.comcast.net) (Ping timeout: 258 seconds) |
2021-07-02 16:16:13 +0200 | stevenxl | (~stevenlei@68.235.43.101) |
2021-07-02 16:16:44 +0200 | egoist | (~egoist@186.235.80.194) |
2021-07-02 16:17:39 +0200 | MQ-17J | (~MQ-17J@8.21.10.15) |
2021-07-02 16:18:58 +0200 | Lycurgus | (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
2021-07-02 16:20:02 +0200 | mpt | (~tom@p57a56d37.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
2021-07-02 16:21:41 +0200 | mpt | (~tom@p57a56d37.dip0.t-ipconnect.de) |
2021-07-02 16:24:04 +0200 | cuz | (~user@38.140.58.234) |
2021-07-02 16:25:06 +0200 | acidjnk_new | (~acidjnk@p200300d0c72b9504558b1d2f6b7134fe.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
2021-07-02 16:25:06 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 272 seconds) |
2021-07-02 16:29:51 +0200 | chomwitt | (~Pitsikoko@athedsl-16082.home.otenet.gr) |
2021-07-02 16:30:48 +0200 | azeem | (~azeem@176.201.38.107) (Ping timeout: 272 seconds) |
2021-07-02 16:31:27 +0200 | chris_ | (~chris@81.96.113.213) |
2021-07-02 16:31:31 +0200 | favonia | (~favonia@user/favonia) |
2021-07-02 16:32:32 +0200 | Pickchea | (~private@user/pickchea) |
2021-07-02 16:35:35 +0200 | np | (~nerdypepp@user/nerdypepper) (Quit: bye) |
2021-07-02 16:36:15 +0200 | jakalx | (~jakalx@base.jakalx.net) |
2021-07-02 16:36:30 +0200 | mpt | (~tom@p57a56d37.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
2021-07-02 16:36:51 +0200 | berberman_t | (~berberman@2001:470:69fc:105::b488) |
2021-07-02 16:37:46 +0200 | azeem | (~azeem@176.201.38.107) |
2021-07-02 16:38:30 +0200 | berberman_t | (~berberman@2001:470:69fc:105::b488) (Client Quit) |
2021-07-02 16:39:28 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
2021-07-02 16:41:52 +0200 | <boxscape> | If I have a data type with two constructors that share some record fields, is ghc smart enough to not check which constructor it is when I access one of those fields? |
2021-07-02 16:43:21 +0200 | zyklotomic | (~ethan@2604:a880:800:10::79f:8001) |
2021-07-02 16:44:24 +0200 | <zyklotomic> | question of "what GHC extension am I looking for" |
2021-07-02 16:44:44 +0200 | <zyklotomic> | what if I want to apply a typeclas constraint to a data variable |
2021-07-02 16:45:11 +0200 | <zyklotomic> | like data Thing (Show a => a) = _ |
2021-07-02 16:45:30 +0200 | tose | (~tose@ip-85-160-2-70.eurotel.cz) (Ping timeout: 252 seconds) |
2021-07-02 16:45:31 +0200 | <zyklotomic> | so we can only have Thing a's where a is of Show |
2021-07-02 16:46:58 +0200 | <geekosaur> | doesn't that need GADTs? (there's DataTypeContexts but that applies only when creating values and doesn't bring the constraint into scope later) |
2021-07-02 16:48:07 +0200 | <zyklotomic> | i think so, but that's the hard thing with extensions for me |
2021-07-02 16:48:16 +0200 | <zyklotomic> | the idea is usually abstract and hard to just look for online |
2021-07-02 16:48:51 +0200 | <SoF> | hi! I wanted to ask if Haskell can memoize function calls? so if I call <pure expensive function> a bunch of times with the same argument, under which circumstances does it memoize? |
2021-07-02 16:49:07 +0200 | <SoF> | as an example, in list comprehensions with the expensive function call as the 2nd generator it doesn't seem to memoize |
2021-07-02 16:49:40 +0200 | <SoF> | "genQueens k = [q:qs | qs <- genQueens (k-1), q <- [1..n] , test q qs]" - if I put genQueens as the rightmost generator instead, it takes a lot longer to compute |
2021-07-02 16:50:47 +0200 | <zyklotomic> | like there are a few ways |
2021-07-02 16:51:04 +0200 | derelict | (~derelict@user/derelict) |
2021-07-02 16:51:10 +0200 | <zyklotomic> | and one is to counter-intuitively *not* memoize, and rewrite to take advantage of lazy evaluation |
2021-07-02 16:51:20 +0200 | <zyklotomic> | kinda a weird answer i know |
2021-07-02 16:51:51 +0200 | <zyklotomic> | but since they are pure, you could also use the hack that is unsafePerformIO to store results I think, but i feel bad for suggesting that |
2021-07-02 16:51:52 +0200 | <SoF> | hmm |
2021-07-02 16:51:55 +0200 | <NinjaTrappeur> | https://wiki.haskell.org/Memoization |
2021-07-02 16:52:28 +0200 | <SoF> | NinjaTrappeur: sorry I'm talking about what GHC does, not what I can do myself |
2021-07-02 16:52:51 +0200 | <NinjaTrappeur> | ah ok. Not that I'm aware of. |
2021-07-02 16:53:04 +0200 | <zyklotomic> | or just manually memoize yourself with a Map like you would in other languages i guess |
2021-07-02 16:53:13 +0200 | <zyklotomic> | oh i think i might have misunderstood too then |
2021-07-02 16:53:45 +0200 | elf_fortrez | (~elf_fortr@adsl-72-50-4-55.prtc.net) |
2021-07-02 16:55:01 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.2) |
2021-07-02 16:55:22 +0200 | <SoF> | it seems to me in the loop body of "q <- [1..n]" the genQueens call should be able to be memoized by GHC across loop iterations, but I want to find out why it doesn't do that |
2021-07-02 16:55:45 +0200 | <SoF> | that would be in this version (slow): "genQueens k = [q:qs | q <- [1..n], qs <- genQueens (k-1) , test q qs]" |
2021-07-02 16:56:30 +0200 | <boxscape> | looking at the output of -ddump-stg-final it looks like the answer is no :/ |
2021-07-02 16:57:03 +0200 | fengctor | (~fengctor@bras-base-ngflon0508w-grc-11-76-68-2-143.dsl.bell.ca) |
2021-07-02 16:57:08 +0200 | <boxscape> | to be fair I don't actually know if that means it's slower |
2021-07-02 16:57:20 +0200 | <gentauro> | shapr: wrong chat xD |
2021-07-02 16:57:24 +0200 | <boxscape> | since it has a case expression even when there's just a single constructor |
2021-07-02 16:57:42 +0200 | fengctor | (~fengctor@bras-base-ngflon0508w-grc-11-76-68-2-143.dsl.bell.ca) (Client Quit) |
2021-07-02 16:58:09 +0200 | <SoF> | does GHC not do memoization in general (only in the case of beta reductions) or is this just an edge case? |
2021-07-02 16:59:00 +0200 | hendursa1 | (~weechat@user/hendursaga) (Quit: hendursa1) |
2021-07-02 16:59:59 +0200 | <c_wraith> | GHC does not do memoization in general |
2021-07-02 17:00:09 +0200 | <c_wraith> | Sometimes it does common subexpression elimination |
2021-07-02 17:00:32 +0200 | <c_wraith> | but in general, if you want to not recompute something, you should hold on to it |
2021-07-02 17:00:59 +0200 | <c_wraith> | Even common subexpression elimination can be a huge performance loss, if done wrong |
2021-07-02 17:01:28 +0200 | <SoF> | thanks |
2021-07-02 17:01:59 +0200 | <SoF> | do you have any pointers why CSE can be a huge performance loss, c_wraith? |
2021-07-02 17:02:17 +0200 | poljar | (~poljar@93-139-36-109.adsl.net.t-com.hr) (Remote host closed the connection) |
2021-07-02 17:02:42 +0200 | <SoF> | introduction of additional variables? |
2021-07-02 17:02:42 +0200 | poljar | (~poljar@93-139-36-109.adsl.net.t-com.hr) |
2021-07-02 17:02:50 +0200 | cjay | (cjay@nerdbox.nerd2nerd.org) (Read error: Connection reset by peer) |
2021-07-02 17:02:54 +0200 | <c_wraith> | the typical example is something like print [1..10000000000] >> print [1..10000000000] |
2021-07-02 17:03:37 +0200 | <c_wraith> | if it shares [1..10000000000] between the two, it's a massive performance loss |
2021-07-02 17:04:18 +0200 | elf_fortrez | (~elf_fortr@adsl-72-50-4-55.prtc.net) (Quit: Client closed) |
2021-07-02 17:04:30 +0200 | <c_wraith> | because sharing it means keeping the whole list in memory. not sharing it means it keeps a small thunk in memory and garbage collects old entries quickly |
2021-07-02 17:04:57 +0200 | <boxscape> | -ddump-cmm suggests it is slower: https://paste.tomsmeding.com/LGiv6gWZ the two constructor version has an extra if statement |
2021-07-02 17:05:21 +0200 | <boxscape> | though I guess I should just benchmark it :) |
2021-07-02 17:06:38 +0200 | argento | (~argent0@168-227-96-53.ptr.westnet.com.ar) |
2021-07-02 17:08:27 +0200 | dunkeln | (~dunkeln@188.70.10.165) (Ping timeout: 258 seconds) |
2021-07-02 17:08:42 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
2021-07-02 17:09:02 +0200 | <SoF> | c_wraith: I see, makes sense |
2021-07-02 17:09:49 +0200 | <c_wraith> | SoF: there is some CSE logic, but GHC tries to apply it only to "small" values. |
2021-07-02 17:10:33 +0200 | hendursaga | (~weechat@user/hendursaga) |
2021-07-02 17:10:35 +0200 | dunkeln | (~dunkeln@188.70.10.165) |
2021-07-02 17:13:55 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-07-02 17:14:27 +0200 | <dolio> | I think it's more limited than that, even. |
2021-07-02 17:14:52 +0200 | <dolio> | I'm not even sure what a small value would be. |
2021-07-02 17:15:34 +0200 | berberman_t | (~berberman@2001:470:69fc:105::b488) |
2021-07-02 17:16:39 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
2021-07-02 17:17:06 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 240 seconds) |
2021-07-02 17:17:46 +0200 | cheater | (~Username@user/cheater) |
2021-07-02 17:19:06 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2021-07-02 17:19:31 +0200 | <boxscape> | I'm actually a little confused why the blocks cBd and cBc are different (R1+6 vs R1+7) and not exactly the same |
2021-07-02 17:19:41 +0200 | jakalx | (~jakalx@base.jakalx.net) |
2021-07-02 17:21:08 +0200 | <Hecate> | .2 |
2021-07-02 17:22:06 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
2021-07-02 17:22:44 +0200 | <boxscape> | oh god I'm sorry |
2021-07-02 17:22:51 +0200 | <boxscape> | matrix hasn't been showing me any responses |
2021-07-02 17:22:52 +0200 | MQ-17J | (~MQ-17J@8.21.10.15) (Ping timeout: 265 seconds) |
2021-07-02 17:22:56 +0200 | <boxscape> | reading backlog through logs now |
2021-07-02 17:23:10 +0200 | MQ-17J | (~MQ-17J@8.21.10.15) |
2021-07-02 17:23:32 +0200 | mastarija | (~mastarija@31.217.22.187) |
2021-07-02 17:23:37 +0200 | boxscape_ | (~boxscape_@p4ff0ba7a.dip0.t-ipconnect.de) |
2021-07-02 17:24:04 +0200 | chisui | (~chisui@200116b8667639009cc16d86abb76e8b.dip.versatel-1u1.de) (Ping timeout: 246 seconds) |
2021-07-02 17:24:33 +0200 | <boxscape_> | okay looking at it I suppose none of the messages were for me anyway :) |
2021-07-02 17:24:59 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:5bf:4bd7:7b8b:fdcf) |
2021-07-02 17:25:37 +0200 | michalz | (~michalz@185.246.204.122) (Remote host closed the connection) |
2021-07-02 17:26:48 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
2021-07-02 17:29:46 +0200 | chris_ | (~chris@81.96.113.213) (Remote host closed the connection) |
2021-07-02 17:30:27 +0200 | chris_ | (~chris@81.96.113.213) |
2021-07-02 17:30:53 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
2021-07-02 17:31:34 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 256 seconds) |
2021-07-02 17:31:39 +0200 | chris_ | (~chris@81.96.113.213) (Remote host closed the connection) |
2021-07-02 17:31:47 +0200 | lortabac | (~lortabac@95.138.56.124) (Quit: WeeChat 2.8) |
2021-07-02 17:31:51 +0200 | chris_ | (~chris@81.96.113.213) |
2021-07-02 17:33:49 +0200 | favonia | (~favonia@user/favonia) |
2021-07-02 17:34:30 +0200 | chris_ | (~chris@81.96.113.213) (Remote host closed the connection) |
2021-07-02 17:34:34 +0200 | jakalx | (~jakalx@base.jakalx.net) |
2021-07-02 17:36:11 +0200 | boxscape | (~boxscape@user/boxscape) (Quit: Reconnecting) |
2021-07-02 17:37:14 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 256 seconds) |
2021-07-02 17:37:28 +0200 | cheater | (~Username@user/cheater) |
2021-07-02 17:40:28 +0200 | dunkeln | (~dunkeln@188.70.10.165) (Ping timeout: 272 seconds) |
2021-07-02 17:41:58 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: leaving) |
2021-07-02 17:42:30 +0200 | berberman_t | PotatoHatsue |
2021-07-02 17:43:30 +0200 | ubert | (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) (Remote host closed the connection) |
2021-07-02 17:45:10 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 256 seconds) |
2021-07-02 17:45:41 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Quit: ZNC 1.7.5 - https://znc.in) |
2021-07-02 17:46:38 +0200 | Cajun | (~Cajun@ip98-163-211-112.no.no.cox.net) (Quit: Client closed) |
2021-07-02 17:47:50 +0200 | hnOsmium0001 | (uid453710@id-453710.stonehaven.irccloud.com) |
2021-07-02 17:47:51 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
2021-07-02 17:49:39 +0200 | acarrico | (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Quit: Leaving.) |
2021-07-02 17:51:20 +0200 | favonia | (~favonia@user/favonia) |
2021-07-02 17:56:18 +0200 | azeem | (~azeem@176.201.38.107) (Ping timeout: 272 seconds) |
2021-07-02 17:56:29 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
2021-07-02 17:56:33 +0200 | azeem | (~azeem@176.201.38.107) |
2021-07-02 17:57:32 +0200 | norias | (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
2021-07-02 18:01:30 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-07-02 18:02:17 +0200 | warnz | (~warnz@104-55-100-55.lightspeed.lsvlky.sbcglobal.net) (Remote host closed the connection) |
2021-07-02 18:02:52 +0200 | juhp | (~juhp@128.106.188.66) (Quit: juhp) |
2021-07-02 18:03:05 +0200 | juhp | (~juhp@128.106.188.66) |
2021-07-02 18:03:46 +0200 | lbseale | (~lbseale@user/ep1ctetus) |
2021-07-02 18:04:21 +0200 | mastarija | (~mastarija@31.217.22.187) (Quit: Leaving) |
2021-07-02 18:06:05 +0200 | peterhil | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Quit: Must not waste too much time here...) |
2021-07-02 18:07:12 +0200 | jneira_ | (~jneira_@217.red-81-39-172.dynamicip.rima-tde.net) |
2021-07-02 18:07:39 +0200 | peterhil | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
2021-07-02 18:07:41 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
2021-07-02 18:07:55 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
2021-07-02 18:08:45 +0200 | egoist | (~egoist@186.235.80.194) (Quit: WeeChat 3.2) |
2021-07-02 18:11:39 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2021-07-02 18:13:08 +0200 | boxscape | (~boxscape@user/boxscape) |
2021-07-02 18:13:12 +0200 | juhp | (~juhp@128.106.188.66) (Quit: juhp) |
2021-07-02 18:13:26 +0200 | juhp | (~juhp@128.106.188.66) |
2021-07-02 18:14:18 +0200 | <ph88_> | does anyone know if i can use environment variables in hakyll templates ? |
2021-07-02 18:16:31 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 265 seconds) |
2021-07-02 18:16:36 +0200 | cheater1__ | (~Username@user/cheater) |
2021-07-02 18:16:38 +0200 | cheater1__ | cheater |
2021-07-02 18:18:39 +0200 | chris_ | (~chris@81.96.113.213) |
2021-07-02 18:19:13 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
2021-07-02 18:19:28 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
2021-07-02 18:20:20 +0200 | Lycurgus | (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
2021-07-02 18:21:20 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 268 seconds) |
2021-07-02 18:22:02 +0200 | dunkeln_ | (~dunkeln@188.70.10.165) |
2021-07-02 18:22:34 +0200 | awth13 | (~user@user/awth13) (Remote host closed the connection) |
2021-07-02 18:23:20 +0200 | Deide | (~Deide@wire.desu.ga) |
2021-07-02 18:23:20 +0200 | Deide | (~Deide@wire.desu.ga) (Changing host) |
2021-07-02 18:23:20 +0200 | Deide | (~Deide@user/deide) |
2021-07-02 18:26:19 +0200 | niko | o |
2021-07-02 18:26:26 +0200 | awth13 | (~user@user/awth13) |
2021-07-02 18:27:30 +0200 | dunkeln_ | (~dunkeln@188.70.10.165) (Ping timeout: 268 seconds) |
2021-07-02 18:28:48 +0200 | nick8325 | (~nick@2001:9b1:26f9:3e00:b7ea:ac95:e18:4c1d) (Ping timeout: 256 seconds) |
2021-07-02 18:28:50 +0200 | chris_ | (~chris@81.96.113.213) (Remote host closed the connection) |
2021-07-02 18:29:21 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
2021-07-02 18:29:30 +0200 | chris_ | (~chris@81.96.113.213) |
2021-07-02 18:29:56 +0200 | xff0x | (~xff0x@2001:1a81:5272:cb00:309c:3c58:ff4a:6c98) (Ping timeout: 256 seconds) |
2021-07-02 18:30:22 +0200 | MoC | (~moc@user/moc) (Quit: Konversation terminated!) |
2021-07-02 18:30:29 +0200 | nick8325 | (~nick@89.38.69.136) |
2021-07-02 18:31:45 +0200 | xff0x | (~xff0x@2001:1a81:5295:3000:f06b:55a4:6a29:7aa5) |
2021-07-02 18:33:23 +0200 | econo | (uid147250@user/econo) |
2021-07-02 18:34:20 +0200 | v01d4lph4 | (~v01d4lph4@user/v01d4lph4) (Remote host closed the connection) |
2021-07-02 18:34:54 +0200 | boxscape_ | (~boxscape_@p4ff0ba7a.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
2021-07-02 18:35:30 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
2021-07-02 18:37:46 +0200 | dunkeln | (~dunkeln@188.70.10.165) |
2021-07-02 18:38:36 +0200 | chris_ | (~chris@81.96.113.213) (Ping timeout: 268 seconds) |
2021-07-02 18:39:45 +0200 | cjay | (cjay@nerdbox.nerd2nerd.org) |
2021-07-02 18:40:52 +0200 | fendor_ | fendor |
2021-07-02 18:42:32 +0200 | pavonia | (~user@user/siracusa) |
2021-07-02 18:43:21 +0200 | dunj3 | (~dunj3@2001:16b8:30c8:f200:894f:8530:7817:7873) |
2021-07-02 18:45:13 +0200 | nick8325 | (~nick@89.38.69.136) (Quit: Leaving.) |
2021-07-02 18:47:25 +0200 | warnz | (~warnz@104-55-100-55.lightspeed.lsvlky.sbcglobal.net) |
2021-07-02 18:50:19 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
2021-07-02 18:51:28 +0200 | chris_ | (~chris@81.96.113.213) |
2021-07-02 18:51:30 +0200 | warnz | (~warnz@104-55-100-55.lightspeed.lsvlky.sbcglobal.net) (Ping timeout: 240 seconds) |
2021-07-02 18:55:35 +0200 | Torro | (Torro@gateway/vpn/protonvpn/torro) (Quit: leaving) |
2021-07-02 18:58:03 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
2021-07-02 19:00:11 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
2021-07-02 19:01:11 +0200 | lionkking | (~lionkking@184.22.209.151) |
2021-07-02 19:01:12 +0200 | <lionkking> | War between freenode and libera is getting worse each day, save yourself join irc freenode chat for your freedom. |
2021-07-02 19:01:54 +0200 | ChanServ | +o monochrom |
2021-07-02 19:01:57 +0200 | slowButPresent | (~slowButPr@user/slowbutpresent) (Ping timeout: 265 seconds) |
2021-07-02 19:01:57 +0200 | monochrom | +b *!*@184.22.209.151 |
2021-07-02 19:01:57 +0200 | lionkking | monochromlionkking |
2021-07-02 19:02:51 +0200 | monochrom | -bb+b *!*@184.22.66.254 *!*@184.22.209.151 *!*@184.22.* |
2021-07-02 19:02:55 +0200 | monochrom | -o monochrom |
2021-07-02 19:03:31 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:5bf:4bd7:7b8b:fdcf) (Remote host closed the connection) |
2021-07-02 19:03:47 +0200 | slowButPresent | (~slowButPr@user/slowbutpresent) |
2021-07-02 19:04:11 +0200 | FragByte | (~christian@user/fragbyte) (Quit: Quit) |
2021-07-02 19:04:45 +0200 | warnz | (~warnz@2600:1700:77c0:5610:20b2:48fc:c4b7:f8df) |
2021-07-02 19:05:56 +0200 | FragByte | (~christian@user/fragbyte) |
2021-07-02 19:06:00 +0200 | turlando | (~turlando@user/turlando) |
2021-07-02 19:06:16 +0200 | lavaman | (~lavaman@98.38.249.169) |
2021-07-02 19:08:06 +0200 | Pickchea | (~private@user/pickchea) |
2021-07-02 19:08:42 +0200 | warnz | (~warnz@2600:1700:77c0:5610:20b2:48fc:c4b7:f8df) (Ping timeout: 240 seconds) |
2021-07-02 19:08:55 +0200 | ph88 | (~ph88@2a02:8109:9e00:7e5c:d5c6:b6d7:546c:7e33) |
2021-07-02 19:09:35 +0200 | peterhil | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Quit: Must not waste too much time here...) |
2021-07-02 19:11:38 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:5bf:4bd7:7b8b:fdcf) |
2021-07-02 19:12:13 +0200 | ph88_ | (~ph88@2a02:8109:9e00:7e5c:6036:8c69:37b7:47cf) (Ping timeout: 268 seconds) |
2021-07-02 19:12:26 +0200 | peterhil | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
2021-07-02 19:14:23 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
2021-07-02 19:14:51 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
2021-07-02 19:15:36 +0200 | __monty__ | (~toonn@user/toonn) |
2021-07-02 19:16:54 +0200 | chris_ | (~chris@81.96.113.213) (Remote host closed the connection) |
2021-07-02 19:17:00 +0200 | wwalker | (~wwalker@platinum.solid-constructs.com) |
2021-07-02 19:18:03 +0200 | boxscape_ | (~boxscape_@p4ff0ba7a.dip0.t-ipconnect.de) |
2021-07-02 19:18:18 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Quit: quit) |
2021-07-02 19:18:52 +0200 | alx741 | (~alx741@186.178.108.157) (Ping timeout: 265 seconds) |
2021-07-02 19:19:17 +0200 | polyphem | (~polyphem@2a02:810d:640:776c:248d:533f:1b53:caea) |
2021-07-02 19:19:35 +0200 | <wwalker> | just started Graham Hutton's book "Programming in Haskell" first page of Hugs shows entering : 2<an upward pointing arrow> 3 anyone know how to type an upward pointing arrow in linux? |
2021-07-02 19:20:14 +0200 | <boxscape_> | do you mean this ^ or a different kind of arrow? |
2021-07-02 19:20:43 +0200 | <wwalker> | It shows a full arrow, but I bet I can use a carat. DOH. Thank you boxscape_ |
2021-07-02 19:21:04 +0200 | <boxscape_> | I've never seen anyone type a proper arrow in haskell FWIW, but I haven't read the book |
2021-07-02 19:21:39 +0200 | polyphem | (~polyphem@2a02:810d:640:776c:248d:533f:1b53:caea) (Client Quit) |
2021-07-02 19:22:12 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2021-07-02 19:22:22 +0200 | <wwalker> | got the book last night. sitting in a doctors office. great place to study, *quite quiet* |
2021-07-02 19:22:44 +0200 | <wwalker> | the carat worked, of course, that was stupid of me. |
2021-07-02 19:22:51 +0200 | <boxscape_> | good :) |
2021-07-02 19:24:06 +0200 | azeem | (~azeem@176.201.38.107) (Read error: Connection reset by peer) |
2021-07-02 19:24:20 +0200 | azeem | (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) |
2021-07-02 19:25:01 +0200 | <c_wraith> | that sounds like unicodization gone wrong. (I think it's always wrong, but that sounds especially wrong) |
2021-07-02 19:26:19 +0200 | <wwalker> | c_wraith: you want to join my "Church of the US ACII"?? |
2021-07-02 19:26:48 +0200 | <wwalker> | probably a mathmetician writing a book using laTex? |
2021-07-02 19:27:40 +0200 | <monochrom> | LaTeX itself doesn't convert ^ to ↑. |
2021-07-02 19:27:53 +0200 | <tam> | wwalker: i saw in the book's reviews that the book uses logic symbols where haskells use plainer versions |
2021-07-02 19:28:13 +0200 | <wwalker> | Thanks tam! |
2021-07-02 19:28:14 +0200 | <monochrom> | A delusional LaTeX user, sure, but the cause is delusional, not LaTeX. |
2021-07-02 19:28:23 +0200 | <wwalker> | :-) |
2021-07-02 19:28:33 +0200 | <tam> | " A third drawback, all the examples are expressed in symbolic logic; thus they'll have to be translated into ASCII if you wish to replicate them." |
2021-07-02 19:29:00 +0200 | <monochrom> | I guess this is also the time to raise the following point. |
2021-07-02 19:29:08 +0200 | <boxscape_> | might depend on the revision, too - in the google books preview it looks like ascii |
2021-07-02 19:29:23 +0200 | <monochrom> | That doesn't happen to the 2nd edition. |
2021-07-02 19:29:42 +0200 | <wwalker> | so, in Hugs, how do I define a function? all the examples look like I would just type in : double(x) = x * x But Hugs erros on that with Syntax error unexpected '=' |
2021-07-02 19:30:06 +0200 | <monochrom> | In fact in the 2nd edition, it is s/hugs/ghci/, and the first session is 2+3*4 |
2021-07-02 19:30:39 +0200 | <monochrom> | with hugs you are very well advised to put that in a file and use :load |
2021-07-02 19:30:46 +0200 | <wwalker> | rats. I didn't see a second edition for sale (admittedly I didn't know to look) |
2021-07-02 19:31:13 +0200 | <wwalker> | Thx monochrom , will do. |
2021-07-02 19:31:32 +0200 | <wwalker> | thanks all... |
2021-07-02 19:31:37 +0200 | <tam> | you can also try ghci instead |
2021-07-02 19:31:40 +0200 | alx741 | (~alx741@186.178.109.174) |
2021-07-02 19:31:45 +0200 | chris_ | (~chris@81.96.113.213) |
2021-07-02 19:32:54 +0200 | <tam> | and use let double = (*2) |
2021-07-02 19:33:19 +0200 | <tam> | or let double x = x + x |
2021-07-02 19:34:23 +0200 | <boxscape_> | (you don't actually need the "let" anymore in ghci) |
2021-07-02 19:34:38 +0200 | <tam> | ah great |
2021-07-02 19:47:49 +0200 | jumper149 | (~jumper149@i577BCBD1.versanet.de) |
2021-07-02 19:48:13 +0200 | chris_ | (~chris@81.96.113.213) (Remote host closed the connection) |
2021-07-02 19:48:19 +0200 | _73 | (~user@pool-96-252-123-136.bstnma.fios.verizon.net) |
2021-07-02 19:48:55 +0200 | chris_ | (~chris@81.96.113.213) |
2021-07-02 19:49:22 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
2021-07-02 19:51:59 +0200 | chris_ | (~chris@81.96.113.213) (Remote host closed the connection) |
2021-07-02 19:52:11 +0200 | chris_ | (~chris@81.96.113.213) |
2021-07-02 19:53:53 +0200 | chris_ | (~chris@81.96.113.213) (Remote host closed the connection) |
2021-07-02 19:56:38 +0200 | koboldchieftain | (~jwhittle@2600:1700:6750:a000::26) |
2021-07-02 19:57:57 +0200 | chexum | (~chexum@gateway/tor-sasl/chexum) (Ping timeout: 244 seconds) |
2021-07-02 20:00:13 +0200 | nurupo | (~nurupo.ga@user/nurupo) (Quit: nurupo.ga) |
2021-07-02 20:00:27 +0200 | nurupo | (~nurupo.ga@user/nurupo) |
2021-07-02 20:00:42 +0200 | warnz | (~warnz@2600:1700:77c0:5610:20b2:48fc:c4b7:f8df) |
2021-07-02 20:02:32 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2021-07-02 20:03:42 +0200 | MQ-17J | (~MQ-17J@8.21.10.15) (Ping timeout: 268 seconds) |
2021-07-02 20:05:08 +0200 | warnz | (~warnz@2600:1700:77c0:5610:20b2:48fc:c4b7:f8df) (Ping timeout: 256 seconds) |
2021-07-02 20:05:45 +0200 | oxide | (~lambda@user/oxide) (Ping timeout: 265 seconds) |
2021-07-02 20:12:35 +0200 | <wwalker> | Cool, good info! Thank you all! |
2021-07-02 20:12:53 +0200 | _73 | (~user@pool-96-252-123-136.bstnma.fios.verizon.net) (ERC (IRC client for Emacs 27.2)) |
2021-07-02 20:13:25 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
2021-07-02 20:14:01 +0200 | _73 | (~user@pool-96-252-123-136.bstnma.fios.verizon.net) |
2021-07-02 20:15:49 +0200 | ukari | (~ukari@user/ukari) (Remote host closed the connection) |
2021-07-02 20:16:18 +0200 | ukari | (~ukari@user/ukari) |
2021-07-02 20:16:52 +0200 | mei | (~mei@user/mei) (Quit: Client closed) |
2021-07-02 20:17:15 +0200 | <_73> | I would like a function `[Word8] -> Word64`. That works by appending the bytes together. I have tried using Data.ByteString.pack to to turn the [Word8] into a bytestring, and then using Data.Binary.decode to turn the bytestring into a Word64, however I am using strict bytestrings instead of lazy ones so this did not work. I could use advice on what I can do. |
2021-07-02 20:17:18 +0200 | smichel | (~smichel@2601:193:8201:330::1) |
2021-07-02 20:18:20 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
2021-07-02 20:19:33 +0200 | Lycurgus | (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
2021-07-02 20:19:45 +0200 | mei | (~mei@user/mei) |
2021-07-02 20:22:42 +0200 | chisui | (~chisui@200116b866763900f1775f6a59e6eae4.dip.versatel-1u1.de) |
2021-07-02 20:22:50 +0200 | <monochrom> | Moreover, IIRC decode for Word64 totally doesn't use the format you expect. |
2021-07-02 20:22:57 +0200 | <ChaiTRex> | > foldr1 (\ b x -> shiftL x 8 .|. b) [1, 2] |
2021-07-02 20:22:59 +0200 | <lambdabot> | 513 |
2021-07-02 20:23:16 +0200 | <ChaiTRex> | _73: Here's little endian ^ |
2021-07-02 20:24:06 +0200 | <ChaiTRex> | Hmm, probably would need foldr because of different types. |
2021-07-02 20:24:42 +0200 | <_73> | ChaiTRex: oh nice. Ill see if I can use this to make a big endian version. |
2021-07-02 20:24:51 +0200 | <ChaiTRex> | > let f :: [Word8] -> Word64; f xs = foldr (\ b x -> shiftL x 8 .|. b) 0 xs in f [1, 2] |
2021-07-02 20:24:52 +0200 | <lambdabot> | error: |
2021-07-02 20:24:52 +0200 | <lambdabot> | • Couldn't match expected type ‘Word64’ with actual type ‘Word8’ |
2021-07-02 20:24:52 +0200 | <lambdabot> | • In the expression: foldr (\ b x -> shiftL x 8 .|. b) 0 xs |
2021-07-02 20:25:30 +0200 | <ChaiTRex> | > let f :: [Word8] -> Word64; f xs = foldr (\ b x -> shiftL x 8 .|. fromIntegral b) 0 xs in f [1, 2] |
2021-07-02 20:25:32 +0200 | <lambdabot> | 513 |
2021-07-02 20:25:53 +0200 | Erutuon | (~Erutuon@user/erutuon) |
2021-07-02 20:26:02 +0200 | <chisui> | Hey, is there a way to compare arbitrary types, not just Nat and Symbol? |
2021-07-02 20:27:29 +0200 | lbseale | (~lbseale@user/ep1ctetus) (Remote host closed the connection) |
2021-07-02 20:27:52 +0200 | lbseale | (~lbseale@user/ep1ctetus) |
2021-07-02 20:28:04 +0200 | <ChaiTRex> | > > let f :: [Word8] -> Word64; f xs = foldl' (\ x b -> shiftL x 8 .|. fromIntegral b) 0 xs in f [1, 2] |
2021-07-02 20:28:06 +0200 | <lambdabot> | <hint>:1:1: error: parse error on input ‘>’ |
2021-07-02 20:28:29 +0200 | <ChaiTRex> | > let f :: [Word8] -> Word64; f xs = foldl' (\ x b -> shiftL x 8 .|. fromIntegral b) 0 xs in f [1, 2] |
2021-07-02 20:28:30 +0200 | <lambdabot> | 258 |
2021-07-02 20:28:38 +0200 | <DigitalKiwi> | is there a haskell library for AWS infinidash? |
2021-07-02 20:28:42 +0200 | <ChaiTRex> | _73: Here it is for big endian ^ |
2021-07-02 20:28:55 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2021-07-02 20:29:18 +0200 | <_73> | ChaiTRex: Thank you. Im gonna have to think about how this works. This is what I need though. |
2021-07-02 20:29:42 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 258 seconds) |
2021-07-02 20:29:45 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
2021-07-02 20:29:53 +0200 | cheater | (~Username@user/cheater) |
2021-07-02 20:30:38 +0200 | azeem | (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Read error: Connection reset by peer) |
2021-07-02 20:32:08 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-07-02 20:33:08 +0200 | stevenxl_ | (~stevenlei@c-73-45-168-220.hsd1.il.comcast.net) |
2021-07-02 20:33:23 +0200 | <DigitalKiwi> | Hecate: ^ have you one yet? |
2021-07-02 20:36:13 +0200 | stevenxl | (~stevenlei@68.235.43.101) (Ping timeout: 258 seconds) |
2021-07-02 20:38:20 +0200 | azeem | (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) |
2021-07-02 20:41:49 +0200 | chisui | (~chisui@200116b866763900f1775f6a59e6eae4.dip.versatel-1u1.de) (Ping timeout: 246 seconds) |
2021-07-02 20:46:36 +0200 | chddr | (~Thunderbi@91.226.34.159) |
2021-07-02 20:47:16 +0200 | <Franciman> | does haskell still make sense to adopt in 2021? |
2021-07-02 20:47:50 +0200 | <maerwald> | Franciman: what? |
2021-07-02 20:47:50 +0200 | <Franciman> | it has unsatisfactory with respect to the type system and the generics |
2021-07-02 20:47:59 +0200 | <Franciman> | I think it is become out of fashion |
2021-07-02 20:48:07 +0200 | tose | (~tose@ip-85-160-2-70.eurotel.cz) |
2021-07-02 20:48:07 +0200 | <Franciman> | is there any work to improve on both? |
2021-07-02 20:48:08 +0200 | <maerwald> | use case? |
2021-07-02 20:48:20 +0200 | stevenxl | (~stevenlei@68.235.43.109) |
2021-07-02 20:48:23 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-07-02 20:49:59 +0200 | <Franciman> | maerwald: any use case in which you end up using Generics to reduce boilerplate |
2021-07-02 20:50:14 +0200 | <Franciman> | I end up in a hell that reminds me of c++ template metaprogramming |
2021-07-02 20:51:05 +0200 | johnw | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Ping timeout: 250 seconds) |
2021-07-02 20:51:10 +0200 | stevenxl_ | (~stevenlei@c-73-45-168-220.hsd1.il.comcast.net) (Ping timeout: 258 seconds) |
2021-07-02 20:52:59 +0200 | <zzz> | holy cow, i've been typing javascript for hours. i was reminded of how much i love haskell |
2021-07-02 20:53:37 +0200 | <maerwald> | Franciman: maybe TypeScript |
2021-07-02 20:53:50 +0200 | <maerwald> | it has structural typing, which is superior to generics imo |
2021-07-02 20:54:03 +0200 | <maerwald> | but also a little less "correct" |
2021-07-02 20:54:27 +0200 | <maerwald> | there are a few unsoudness issues in TypeScript, but you might not care about them in practice |
2021-07-02 20:54:39 +0200 | <Franciman> | thanks maerwald |
2021-07-02 20:54:56 +0200 | <maerwald> | I know of some haskell programmers who in fact switched to typescript... |
2021-07-02 20:55:06 +0200 | <maerwald> | in their professional career |
2021-07-02 20:55:18 +0200 | <Franciman> | I would like to switch to idris2 or agda |
2021-07-02 20:55:30 +0200 | <Franciman> | everytime I program in haskell I remind myself of how much i love dependent types |
2021-07-02 20:55:43 +0200 | <Franciman> | anche scheme-like macros |
2021-07-02 20:56:47 +0200 | <tomsmeding> | Franciman: who is going to maintain the code after you've written it? you yourself or someone else? |
2021-07-02 20:57:04 +0200 | ph88^ | (~ph88@2a02:8109:9e00:7e5c:e9f2:8409:e391:bda5) |
2021-07-02 20:57:11 +0200 | <tomsmeding> | if you yourself, then go all out; if someone else, be kind to them and still your hunger for nice types :p |
2021-07-02 20:57:50 +0200 | <tomsmeding> | judicious use of strong typing can go a long way |
2021-07-02 20:58:27 +0200 | <tomsmeding> | this aspect is also part of the "use case?" question |
2021-07-02 20:59:11 +0200 | <Franciman> | tomsmeding: that is exactly what I ask when I read that generics code |
2021-07-02 20:59:28 +0200 | <monochrom> | "it has unsatisfactory with respect to..." reminds me of what Stroustrup said about complained languages and unused languages. |
2021-07-02 20:59:33 +0200 | <davean> | Franciman: when do you encounter generics? |
2021-07-02 20:59:45 +0200 | <Franciman> | when I write automatic instances |
2021-07-02 20:59:51 +0200 | <Franciman> | for some typeclasses |
2021-07-02 20:59:55 +0200 | <Franciman> | because they are all the same |
2021-07-02 21:00:07 +0200 | <Franciman> | also when I want to write code that leverages the structure of types |
2021-07-02 21:00:17 +0200 | <Franciman> | so when I'd like structural typing |
2021-07-02 21:01:14 +0200 | ph88 | (~ph88@2a02:8109:9e00:7e5c:d5c6:b6d7:546c:7e33) (Ping timeout: 256 seconds) |
2021-07-02 21:01:34 +0200 | <davean> | why wouldn't you use newtype deriving or deriving via for that? |
2021-07-02 21:01:42 +0200 | <davean> | Why would you use generics? |
2021-07-02 21:02:04 +0200 | <Franciman> | for example I used |
2021-07-02 21:02:06 +0200 | <Franciman> | this library |
2021-07-02 21:02:10 +0200 | stevenxl | (~stevenlei@68.235.43.109) (Ping timeout: 252 seconds) |
2021-07-02 21:02:24 +0200 | <Franciman> | https://hackage.haskell.org/package/haskell-to-elm |
2021-07-02 21:02:25 +0200 | <zzz> | Franciman: automatic deriving, deriving via and type families doesnt help? |
2021-07-02 21:02:39 +0200 | <Franciman> | I've had to wrestle with generix |
2021-07-02 21:02:56 +0200 | natechan | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
2021-07-02 21:03:22 +0200 | stevenxl | (~stevenlei@68.235.43.109) |
2021-07-02 21:03:41 +0200 | <davean> | Why? |
2021-07-02 21:03:53 +0200 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2021-07-02 21:05:16 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
2021-07-02 21:05:18 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
2021-07-02 21:06:39 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
2021-07-02 21:06:51 +0200 | <davean> | I personally don't think theres much use for generics, and almost all uses have a much better, simpler, easier solution in the modern day, they're not entirely but mostly a thing of the past IMO |
2021-07-02 21:08:02 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 256 seconds) |
2021-07-02 21:08:06 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2021-07-02 21:08:12 +0200 | stevenxl | (~stevenlei@68.235.43.109) (Ping timeout: 272 seconds) |
2021-07-02 21:08:30 +0200 | jao | (jao@gateway/vpn/protonvpn/jao) |
2021-07-02 21:09:33 +0200 | stevenxl | (~stevenlei@68.235.43.109) |
2021-07-02 21:12:03 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
2021-07-02 21:12:24 +0200 | chris_ | (~chris@88-107-86-113.dynamic.dsl.as9105.com) |
2021-07-02 21:12:45 +0200 | jess | (~jess@libera/staff/jess) () |
2021-07-02 21:13:43 +0200 | veverak | (~veverak@ip-89-102-98-161.net.upcbroadband.cz) |
2021-07-02 21:13:50 +0200 | <veverak> | by any chance, anybody experience with IHP ? |
2021-07-02 21:14:06 +0200 | <veverak> | I wonder how painfull it would be to interact with MQTT from within |
2021-07-02 21:14:32 +0200 | stevenxl | (~stevenlei@68.235.43.109) (Ping timeout: 272 seconds) |
2021-07-02 21:17:19 +0200 | fendor | (~fendor@77.119.220.92.wireless.dyn.drei.com) (Remote host closed the connection) |
2021-07-02 21:19:42 +0200 | fendor | (~fendor@77.119.220.92.wireless.dyn.drei.com) |
2021-07-02 21:20:23 +0200 | <DigitalKiwi> | international house pancakes |
2021-07-02 21:21:52 +0200 | chris_ | (~chris@88-107-86-113.dynamic.dsl.as9105.com) (Remote host closed the connection) |
2021-07-02 21:22:34 +0200 | chris_ | (~chris@88-107-86-113.dynamic.dsl.as9105.com) |
2021-07-02 21:24:03 +0200 | <sm[m]> | you know about their chat room veverak ? |
2021-07-02 21:24:56 +0200 | jolly | (~jolly@208.180.97.158) (Quit: Connection closed) |
2021-07-02 21:26:18 +0200 | <veverak> | they have irc? |
2021-07-02 21:26:32 +0200 | jneira[m] | (~jneira@189.red-37-10-144.dynamicip.rima-tde.net) |
2021-07-02 21:26:57 +0200 | chris_ | (~chris@88-107-86-113.dynamic.dsl.as9105.com) (Ping timeout: 265 seconds) |
2021-07-02 21:27:12 +0200 | chddr | (~Thunderbi@91.226.34.159) (Ping timeout: 272 seconds) |
2021-07-02 21:27:20 +0200 | amahl | (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
2021-07-02 21:27:51 +0200 | stevenxl | (~stevenlei@68.235.43.109) |
2021-07-02 21:30:22 +0200 | jao | (jao@gateway/vpn/protonvpn/jao) (Ping timeout: 272 seconds) |
2021-07-02 21:31:44 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
2021-07-02 21:32:54 +0200 | stevenxl | (~stevenlei@68.235.43.109) (Ping timeout: 272 seconds) |
2021-07-02 21:33:08 +0200 | lavaman | (~lavaman@98.38.249.169) |
2021-07-02 21:35:02 +0200 | <DigitalKiwi> | https://gitter.im/digitallyinduced/ihp |
2021-07-02 21:35:20 +0200 | <veverak> | oh damn, I hate gitter |
2021-07-02 21:37:16 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2021-07-02 21:38:12 +0200 | jolly | (~jolly@208.180.97.158) |
2021-07-02 21:39:26 +0200 | <yushyin> | you can also use matrix to join gitter chat |
2021-07-02 21:40:52 +0200 | <yushyin> | https://matrix.org/blog/2020/12/07/gitter-now-speaks-matrix |
2021-07-02 21:42:12 +0200 | <sm[m]> | yeah, eg click #digitallyinduced_ihp:gitter.im if you're in a matrix client |
2021-07-02 21:42:42 +0200 | mei | (~mei@user/mei) (Quit: Client closed) |
2021-07-02 21:46:50 +0200 | koboldchieftain | (~jwhittle@2600:1700:6750:a000::26) (Remote host closed the connection) |
2021-07-02 21:49:17 +0200 | jneira[m] | (~jneira@189.red-37-10-144.dynamicip.rima-tde.net) (Remote host closed the connection) |
2021-07-02 21:49:40 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 265 seconds) |
2021-07-02 21:49:51 +0200 | cheater | (~Username@user/cheater) |
2021-07-02 21:49:58 +0200 | dunkeln | (~dunkeln@188.70.10.165) (Ping timeout: 256 seconds) |
2021-07-02 21:51:49 +0200 | Lycurgus | (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
2021-07-02 21:56:01 +0200 | ubert | (~Thunderbi@p2e5a50e5.dip0.t-ipconnect.de) |
2021-07-02 21:59:26 +0200 | beka | (~beka@104.193.170-244.PUBLIC.monkeybrains.net) |
2021-07-02 21:59:53 +0200 | warnz | (~warnz@2600:1700:77c0:5610:20b2:48fc:c4b7:f8df) |
2021-07-02 22:02:31 +0200 | TranquilEcho | (~grom@user/tranquilecho) |
2021-07-02 22:03:04 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
2021-07-02 22:04:08 +0200 | warnz | (~warnz@2600:1700:77c0:5610:20b2:48fc:c4b7:f8df) (Ping timeout: 256 seconds) |
2021-07-02 22:05:01 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
2021-07-02 22:05:48 +0200 | juhp | (~juhp@128.106.188.66) (Ping timeout: 268 seconds) |
2021-07-02 22:07:54 +0200 | juhp | (~juhp@128.106.188.66) |
2021-07-02 22:11:13 +0200 | natechan | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
2021-07-02 22:15:18 +0200 | bilegeek | (~bilegeek@2600:1008:b015:3e96:6f34:1a42:6ac5:3b86) |
2021-07-02 22:19:03 +0200 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2021-07-02 22:23:54 +0200 | jumper149 | (~jumper149@i577BCBD1.versanet.de) (Ping timeout: 240 seconds) |
2021-07-02 22:24:18 +0200 | jumper149 | (~jumper149@80.240.31.34) |
2021-07-02 22:24:19 +0200 | jess | (~jess@libera/staff/jess) |
2021-07-02 22:24:41 +0200 | lavaman | (~lavaman@98.38.249.169) |
2021-07-02 22:24:50 +0200 | turlando | (~turlando@user/turlando) (Ping timeout: 272 seconds) |
2021-07-02 22:26:02 +0200 | stevenxl | (~stevenlei@68.235.43.109) |
2021-07-02 22:26:57 +0200 | Pickchea | (~private@user/pickchea) |
2021-07-02 22:30:28 +0200 | stevenxl | (~stevenlei@68.235.43.109) (Ping timeout: 268 seconds) |
2021-07-02 22:32:25 +0200 | smichel | (~smichel@2601:193:8201:330::1) (Quit: smichel) |
2021-07-02 22:34:26 +0200 | chisui | (~chisui@200116b866763900f1775f6a59e6eae4.dip.versatel-1u1.de) |
2021-07-02 22:35:24 +0200 | v01d4lph4 | (~v01d4lph4@user/v01d4lph4) |
2021-07-02 22:35:39 +0200 | jneira[m] | (~jneira@217.red-81-39-172.dynamicip.rima-tde.net) |
2021-07-02 22:38:18 +0200 | <chisui> | Hey, I really love `PackageImports`. Even if there aren't any conflicts it makes files more readable and dependencies more discoverable. If a codebase only includes PackageImports you could read out all dependencies of the project from the files. My question now is, why isn't this extension used more often? Am I missing something or is it just that |
2021-07-02 22:38:18 +0200 | <chisui> | less Extensions is considered cleaner? |
2021-07-02 22:38:45 +0200 | <chisui> | s/less/fewer |
2021-07-02 22:39:11 +0200 | <tomsmeding> | it's probably considered overly verbose, especially for imports of which the origin is quite obvious, like Data.Map or Data.Text |
2021-07-02 22:39:28 +0200 | <c_wraith> | It also suggests something has gone wrong |
2021-07-02 22:39:46 +0200 | <tomsmeding> | and since ghc will complain if there is ambiguity, it's usually redundant |
2021-07-02 22:39:47 +0200 | <chisui> | tomsmending: Yeah, for base and co. it's pretty bad |
2021-07-02 22:39:51 +0200 | <c_wraith> | like, if you need PackageImports, your dependencies collide in some way |
2021-07-02 22:39:53 +0200 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2021-07-02 22:40:02 +0200 | v01d4lph4 | (~v01d4lph4@user/v01d4lph4) (Ping timeout: 258 seconds) |
2021-07-02 22:40:06 +0200 | <sm[m]> | chisui: I agree, probably just the verbosity and extra effort for low perceived benefit |
2021-07-02 22:40:11 +0200 | <boxscape_> | see also the "Note" on the doc page https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/package_qualified_imports.html |
2021-07-02 22:40:59 +0200 | <davean> | Also it only handles name not version |
2021-07-02 22:41:28 +0200 | <chisui> | davean: In conjunction with nix or stack, that shouldn't be a problem though |
2021-07-02 22:41:29 +0200 | bilegeek | (~bilegeek@2600:1008:b015:3e96:6f34:1a42:6ac5:3b86) (Quit: Leaving) |
2021-07-02 22:42:04 +0200 | Bob_Esponja | (~Bob_Espon@175.red-79-156-90.staticip.rima-tde.net) |
2021-07-02 22:42:21 +0200 | <davean> | If that solves your problems, great. It certainly doesn't solve mine |
2021-07-02 22:44:18 +0200 | ft | (~ft@shell.chaostreff-dortmund.de) (Ping timeout: 240 seconds) |
2021-07-02 22:44:42 +0200 | _ht | (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
2021-07-02 22:44:53 +0200 | Bob_Esponja | (~Bob_Espon@175.red-79-156-90.staticip.rima-tde.net) (Read error: Connection reset by peer) |
2021-07-02 22:47:11 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 265 seconds) |
2021-07-02 22:47:20 +0200 | hnOsmium0001 | (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
2021-07-02 22:47:35 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
2021-07-02 22:48:19 +0200 | acidjnk_new | (~acidjnk@p200300d0c72b9558d4454a820777d511.dip0.t-ipconnect.de) |
2021-07-02 22:48:23 +0200 | jneira[m] | (~jneira@217.red-81-39-172.dynamicip.rima-tde.net) (Remote host closed the connection) |
2021-07-02 22:51:02 +0200 | HotblackDesiato | (~HotblackD@gateway/tor-sasl/hotblackdesiato) (Ping timeout: 244 seconds) |
2021-07-02 22:51:43 +0200 | Bob_Esponja | (~Bob_Espon@175.red-79-156-90.staticip.rima-tde.net) |
2021-07-02 22:57:03 +0200 | ft | (~ft@shell.chaostreff-dortmund.de) |
2021-07-02 22:57:05 +0200 | HotblackDesiato | (~HotblackD@gateway/tor-sasl/hotblackdesiato) |
2021-07-02 22:57:21 +0200 | <chisui> | boxscape: The note warns of "It can lead to fragile dependencies in the common case: modules occasionally move from one package to another, rendering any package-qualified imports broken." But that is true for cabal files and co. as well. |
2021-07-02 22:58:10 +0200 | <boxscape> | hm, yeah |
2021-07-02 22:59:00 +0200 | <monochrom> | PackageImports was originally for GHC's own source code because it does face module name clashes. |
2021-07-02 22:59:04 +0200 | hnOsmium0001 | (uid453710@id-453710.stonehaven.irccloud.com) |
2021-07-02 22:59:36 +0200 | <chisui> | c_wraith: so if you see the use of this extension you expect that the code you are dealing with is fragile? |
2021-07-02 22:59:44 +0200 | <monochrom> | It is not idiomatic. At least not in the foreseeable future. |
2021-07-02 23:00:53 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2021-07-02 23:01:25 +0200 | <monochrom> | But I am sitting on the fence for this issue. On a blog, or when you post code to ask a question in here, if you just say "import Data.Obscure.WhoWouldHaveHeardOfThis", no one knows which package you have in mind. |
2021-07-02 23:01:30 +0200 | <c_wraith> | I don't expect fragility from the imports, but I do expect there are things going in that were not intended to go together. |
2021-07-02 23:01:34 +0200 | <chisui> | monochrom: So using it just as for clarification is considered unidiomatic? |
2021-07-02 23:01:55 +0200 | <monochrom> | Right, 99.99% of practical Haskell code doesn't use it. |
2021-07-02 23:02:04 +0200 | ft | (~ft@shell.chaostreff-dortmund.de) (Ping timeout: 252 seconds) |
2021-07-02 23:02:44 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-07-02 23:03:03 +0200 | <chisui> | monochrom: shouldn't it have been introduced alongside a warning in that case? |
2021-07-02 23:04:08 +0200 | <chisui> | monochrom: nope. using the extension is warning enough |
2021-07-02 23:04:12 +0200 | <monochrom> | But perhaps someone should argue for making it idiomatic. After all, most of us are already supportive of, e.g., "import Control.Niche (jabby)" so that you know jabby comes from Control.Niche. So why not take it one step further and spell out that Control.Niche comes from acme-totally-unused. |
2021-07-02 23:05:53 +0200 | lavaman | (~lavaman@98.38.249.169) |
2021-07-02 23:07:44 +0200 | <c_wraith> | Eh. I don't really like import lists, either. I think resolving names like that belongs to the realm of tooling, not the programmer. (I usually respond to collisions by hiding something) |
2021-07-02 23:07:58 +0200 | <sm[m]> | chisui: it's not common, but there's nothing wrong with using it. I use it in scripts I'm sharing when there might be clashes and/or I want to provide extra reproducibility/hints to users |
2021-07-02 23:08:32 +0200 | <monochrom> | Oh, certainly what you do in production code can also be very different from what you do in blog code. |
2021-07-02 23:08:32 +0200 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2021-07-02 23:08:48 +0200 | L29Ah | (~L29Ah@user/l29ah) (Read error: Connection reset by peer) |
2021-07-02 23:08:59 +0200 | L29Ah | (~L29Ah@user/l29ah) |
2021-07-02 23:09:20 +0200 | <maerwald> | There are some packages that "supercharge" another and require package imports |
2021-07-02 23:09:37 +0200 | <maerwald> | not sure that's good practice, but as a user that forces you into that |
2021-07-02 23:09:38 +0200 | <chisui> | mnochrom: blog code would be much shorter if it was enabled by default ;) |
2021-07-02 23:10:12 +0200 | <monochrom> | I thought the point of blogs was to be long, not short. |
2021-07-02 23:11:03 +0200 | <monochrom> | But respond to lack of tooling by import lists. >:) |
2021-07-02 23:11:41 +0200 | <monochrom> | Besides, I also count "ghc -ddump-minimal-imports" as tooling. >:) |
2021-07-02 23:12:23 +0200 | <monochrom> | s/But respond/But I respond/ # marvel at how selfless I was! |
2021-07-02 23:13:26 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 252 seconds) |
2021-07-02 23:14:04 +0200 | cheater | (~Username@user/cheater) |
2021-07-02 23:14:51 +0200 | <monochrom> | If you know that ghci already has commands for "what is the type of this subexpression from (3,10) to (4,15)?", it should be pretty doable to have one more command for "what is the module of this name from (3,10) to (3,15)?". |
2021-07-02 23:15:28 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
2021-07-02 23:15:31 +0200 | <monochrom> | emacs haskell-mode and dante already use the former command. |
2021-07-02 23:15:48 +0200 | <chisui> | Ok, my conclusion is that I will use `PackageImports` as documentation anyways. Thanks everyone, this community is the best! |
2021-07-02 23:21:15 +0200 | lavaman | (~lavaman@98.38.249.169) |
2021-07-02 23:22:26 +0200 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Quit: leaving) |
2021-07-02 23:22:36 +0200 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2021-07-02 23:24:44 +0200 | tose | (~tose@ip-85-160-2-70.eurotel.cz) (Ping timeout: 268 seconds) |
2021-07-02 23:25:10 +0200 | hpc | (~juzz@ip98-169-35-13.dc.dc.cox.net) (Ping timeout: 256 seconds) |
2021-07-02 23:26:38 +0200 | amahl | (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Ping timeout: 252 seconds) |
2021-07-02 23:27:02 +0200 | hpc | (~juzz@ip98-169-35-13.dc.dc.cox.net) |
2021-07-02 23:29:45 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
2021-07-02 23:30:45 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2021-07-02 23:31:39 +0200 | shutdown_-h_now | (~arjan@82-75-187-100.cable.dynamic.v4.ziggo.nl) (Ping timeout: 265 seconds) |
2021-07-02 23:32:36 +0200 | jess | (~jess@libera/staff/jess) () |
2021-07-02 23:35:08 +0200 | cuz | (~user@38.140.58.234) (Ping timeout: 272 seconds) |
2021-07-02 23:35:25 +0200 | chisui | (~chisui@200116b866763900f1775f6a59e6eae4.dip.versatel-1u1.de) (Ping timeout: 246 seconds) |
2021-07-02 23:35:25 +0200 | lavaman | (~lavaman@98.38.249.169) |
2021-07-02 23:37:04 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
2021-07-02 23:40:28 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
2021-07-02 23:40:38 +0200 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2021-07-02 23:41:33 +0200 | hamishmack | (sid389057@id-389057.stonehaven.irccloud.com) (Read error: Connection reset by peer) |
2021-07-02 23:41:33 +0200 | dmj` | (sid72307@id-72307.stonehaven.irccloud.com) (Read error: Connection reset by peer) |
2021-07-02 23:41:52 +0200 | mustafa | (sid502723@rockylinux/releng/mustafa) (Ping timeout: 272 seconds) |
2021-07-02 23:41:56 +0200 | SanchayanMaity | (sid478177@id-478177.stonehaven.irccloud.com) (Ping timeout: 272 seconds) |
2021-07-02 23:41:58 +0200 | ehamberg | (sid18208@id-18208.stonehaven.irccloud.com) (Read error: Connection reset by peer) |
2021-07-02 23:41:58 +0200 | amir | (sid22336@user/amir) (Read error: Connection reset by peer) |
2021-07-02 23:42:02 +0200 | rubin55 | (sid175221@id-175221.stonehaven.irccloud.com) (Ping timeout: 268 seconds) |
2021-07-02 23:42:07 +0200 | joel135 | (sid136450@id-136450.stonehaven.irccloud.com) (Ping timeout: 272 seconds) |
2021-07-02 23:42:07 +0200 | acertain | (sid470584@id-470584.stonehaven.irccloud.com) (Ping timeout: 272 seconds) |
2021-07-02 23:42:07 +0200 | Firedancer | (sid336191@id-336191.stonehaven.irccloud.com) (Ping timeout: 272 seconds) |
2021-07-02 23:42:10 +0200 | hnOsmium0001 | (uid453710@id-453710.stonehaven.irccloud.com) (Ping timeout: 256 seconds) |
2021-07-02 23:42:16 +0200 | tritlo | (sid58727@user/tritlo) (Read error: Connection reset by peer) |
2021-07-02 23:42:16 +0200 | pjlsergeant | (sid143467@id-143467.stonehaven.irccloud.com) (Read error: Connection reset by peer) |
2021-07-02 23:42:18 +0200 | jakesyl | (sid56879@id-56879.stonehaven.irccloud.com) (Read error: Connection reset by peer) |
2021-07-02 23:42:18 +0200 | astra | (sid289983@user/amish) (Read error: Connection reset by peer) |
2021-07-02 23:42:39 +0200 | chisui | (~chisui@200116b866763900f1775f6a59e6eae4.dip.versatel-1u1.de) |
2021-07-02 23:43:52 +0200 | <Hecate> | DigitalKiwi: hahaha |
2021-07-02 23:44:00 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 272 seconds) |
2021-07-02 23:44:01 +0200 | cheater1__ | (~Username@user/cheater) |
2021-07-02 23:44:04 +0200 | cheater1__ | cheater |
2021-07-02 23:47:55 +0200 | acertain | (sid470584@stonehaven.irccloud.com) |
2021-07-02 23:48:25 +0200 | Firedancer | (sid336191@stonehaven.irccloud.com) |
2021-07-02 23:48:47 +0200 | hnOsmium0001 | (uid453710@stonehaven.irccloud.com) |
2021-07-02 23:49:04 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
2021-07-02 23:49:25 +0200 | mikoto-chan | (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Ping timeout: 258 seconds) |
2021-07-02 23:51:31 +0200 | hamishmack | (sid389057@id-389057.stonehaven.irccloud.com) |
2021-07-02 23:52:06 +0200 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 258 seconds) |
2021-07-02 23:52:10 +0200 | ehamberg | (sid18208@id-18208.stonehaven.irccloud.com) |
2021-07-02 23:52:24 +0200 | rubin55 | (sid175221@id-175221.stonehaven.irccloud.com) |
2021-07-02 23:52:34 +0200 | pjlsergeant | (sid143467@id-143467.stonehaven.irccloud.com) |
2021-07-02 23:53:02 +0200 | tritlo | (sid58727@user/tritlo) |
2021-07-02 23:53:02 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 252 seconds) |
2021-07-02 23:53:17 +0200 | dmj` | (sid72307@id-72307.stonehaven.irccloud.com) |
2021-07-02 23:53:21 +0200 | joel135 | (sid136450@id-136450.stonehaven.irccloud.com) |
2021-07-02 23:53:41 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
2021-07-02 23:53:42 +0200 | SanchayanMaity | (sid478177@id-478177.stonehaven.irccloud.com) |
2021-07-02 23:53:44 +0200 | jakesyl | (sid56879@id-56879.stonehaven.irccloud.com) |
2021-07-02 23:54:10 +0200 | ubert | (~Thunderbi@p2e5a50e5.dip0.t-ipconnect.de) (Quit: ubert) |
2021-07-02 23:54:12 +0200 | notzmv | (~zmv@user/notzmv) |
2021-07-02 23:54:24 +0200 | ubert | (~Thunderbi@p2e5a50e5.dip0.t-ipconnect.de) |
2021-07-02 23:54:35 +0200 | amir | (sid22336@user/amir) |
2021-07-02 23:55:04 +0200 | mustafa | (sid502723@rockylinux/releng/mustafa) |
2021-07-02 23:55:24 +0200 | astra | (sid289983@id-289983.stonehaven.irccloud.com) |
2021-07-02 23:57:54 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
2021-07-02 23:58:34 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 272 seconds) |
2021-07-02 23:58:35 +0200 | cheater1__ | (~Username@user/cheater) |
2021-07-02 23:58:37 +0200 | cheater1__ | cheater |
2021-07-02 23:59:06 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
2021-07-02 23:59:10 +0200 | ubert | (~Thunderbi@p2e5a50e5.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |