| 2022-03-05 00:00:34 +0100 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.4) |
| 2022-03-05 00:01:27 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Remote host closed the connection) |
| 2022-03-05 00:01:42 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 2022-03-05 00:02:34 +0100 | yuvi | (~yuvrajnay@129-2-180-237.wireless.umd.edu) |
| 2022-03-05 00:02:43 +0100 | yuvi | (~yuvrajnay@129-2-180-237.wireless.umd.edu) (Client Quit) |
| 2022-03-05 00:03:50 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-03-05 00:05:21 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-05 00:06:15 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Read error: Connection reset by peer) |
| 2022-03-05 00:07:30 +0100 | polezaivsani | (~polezaivs@orangeshoelaces.net) (Ping timeout: 256 seconds) |
| 2022-03-05 00:08:02 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 2022-03-05 00:11:14 +0100 | yuvi | (~yuvrajnay@user/yuvi) |
| 2022-03-05 00:11:33 +0100 | yuvi | (~yuvrajnay@user/yuvi) (Client Quit) |
| 2022-03-05 00:12:21 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-05 00:13:30 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 260 seconds) |
| 2022-03-05 00:13:49 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-03-05 00:13:52 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 00:15:12 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Remote host closed the connection) |
| 2022-03-05 00:15:55 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 2022-03-05 00:16:20 +0100 | alMalsamo | lumberjack123 |
| 2022-03-05 00:17:44 +0100 | Erutuon | (~Erutuon@user/erutuon) |
| 2022-03-05 00:17:46 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-03-05 00:18:12 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2022-03-05 00:19:44 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 2022-03-05 00:20:36 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 2022-03-05 00:22:15 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-05 00:25:00 +0100 | doyougnu | (~doyougnu@cpe-67-249-83-190.twcny.res.rr.com) (Ping timeout: 240 seconds) |
| 2022-03-05 00:25:10 +0100 | <lechner_> | janus: with respect ot haskell, or overall? |
| 2022-03-05 00:25:21 +0100 | <janus> | lechner_: both |
| 2022-03-05 00:26:45 +0100 | <lechner_> | janus: do you develop on debian? |
| 2022-03-05 00:27:06 +0100 | <janus> | lechner_: i use develop for work but i don't contribute to debian itself |
| 2022-03-05 00:27:14 +0100 | <janus> | *use debian |
| 2022-03-05 00:27:43 +0100 | <lechner_> | janus: that's cool. i can use some shorthand then |
| 2022-03-05 00:28:16 +0100 | <lechner_> | my primary pet is lintian https://lintian.debian.org/ |
| 2022-03-05 00:28:21 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-05 00:29:13 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.4) |
| 2022-03-05 00:29:23 +0100 | <lechner_> | that website currently runs on node. the infrastructure was Perl. looking for more stability, I discovered Haskell |
| 2022-03-05 00:30:13 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-03-05 00:30:24 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Client Quit) |
| 2022-03-05 00:30:56 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-03-05 00:30:56 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Client Quit) |
| 2022-03-05 00:31:00 +0100 | <lechner_> | The build system only supported CDBS, which is obsolete. I then wrote dh-haskell to integrate cabal builds into Debhelper |
| 2022-03-05 00:32:42 +0100 | <lechner_> | now i need more libraries in Debian for Lintian's website and the runners, most notably hasql (until i graduate to opaleye or maybe rel8). |
| 2022-03-05 00:34:14 +0100 | <janus> | aah, so debians infrastructure has to run on packages packaged with dpkg? |
| 2022-03-05 00:34:16 +0100 | <lechner_> | in that process, i updated debian's internal consistency check to work with modern Cabal version. I also assumed maintenance of Debian's Hackage tracker https://hackage.debian.net/ |
| 2022-03-05 00:34:20 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 2022-03-05 00:34:28 +0100 | <lechner_> | sorry poor typist |
| 2022-03-05 00:34:39 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-03-05 00:35:34 +0100 | <lechner_> | when i am done, i hope to have made Debian an preferred choice for writing quality software in Haskell |
| 2022-03-05 00:36:11 +0100 | <janus> | but are you planning to make debian packages for all the linux packages on hackage? |
| 2022-03-05 00:36:15 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-05 00:36:49 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Remote host closed the connection) |
| 2022-03-05 00:36:49 +0100 | <lechner_> | janus: for all of them, i may need some help |
| 2022-03-05 00:37:47 +0100 | <lechner_> | and yes, we analyse .changes, .buildinfo, .deb, .udeb and .dsc |
| 2022-03-05 00:38:34 +0100 | chenqisu1 | (~chenqisu1@183.217.201.47) |
| 2022-03-05 00:38:50 +0100 | <sm> | good on you lechner_ . Are you working with Clint ? |
| 2022-03-05 00:39:03 +0100 | <lechner_> | sm: my mentor i dare say |
| 2022-03-05 00:39:23 +0100 | <lechner_> | sm: plus you |
| 2022-03-05 00:40:01 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:d4cb:ae21:cf60:e6bc) |
| 2022-03-05 00:40:16 +0100 | <lechner_> | my haskell abilities aren't great but i have the perseverence of a crocodile |
| 2022-03-05 00:40:51 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 00:40:58 +0100 | <sm> | awesome ! valuable asset ! |
| 2022-03-05 00:41:33 +0100 | <sm> | thanks for working on it |
| 2022-03-05 00:41:56 +0100 | <lechner_> | janus: please feel free to help! |
| 2022-03-05 00:42:09 +0100 | <janus> | but regarding my first question, is it a requirement that lintian must be built using dpkg-packaged tech? |
| 2022-03-05 00:42:22 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-05 00:43:10 +0100 | <lechner_> | it is not currently, but our admin guys get all cuddly when it is |
| 2022-03-05 00:43:43 +0100 | <lechner_> | it is mostly a reliability issue, though |
| 2022-03-05 00:44:17 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:d4cb:ae21:cf60:e6bc) (Ping timeout: 240 seconds) |
| 2022-03-05 00:44:25 +0100 | <lechner_> | especially when data structures change. haskell is unbeatable in early error detection. it does not even compile |
| 2022-03-05 00:44:46 +0100 | <sm> | aren't you considering tracking stackage rather than hackage ? that seems like an easier task |
| 2022-03-05 00:44:57 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2022-03-05 00:46:16 +0100 | <lechner_> | i probably should. i started out with stack but found cabal more agreeable. the tracker is also fifteen years old |
| 2022-03-05 00:47:09 +0100 | <janus> | now that cabal gets remote freeze files you can use stackage with cabal-install |
| 2022-03-05 00:47:24 +0100 | <janus> | you can already do that, i think, it's just not as ergonomic |
| 2022-03-05 00:49:22 +0100 | <lechner_> | i am really a newbie to Haskell. (a year or two.) i have lots of positive energy, though, and will implement whatever gets people to fall in love with debian again |
| 2022-03-05 00:49:34 +0100 | <sm> | stackage (and all the haskellers fixing issues with each snapshot) already prefilter hackage to manageable consistent sets of package versions (much like Debian started doing long ago), it seems sensible to take advantage of that work |
| 2022-03-05 00:50:25 +0100 | <sm> | note stack /= stackage |
| 2022-03-05 00:50:57 +0100 | <lechner_> | i think we do https://salsa.debian.org/haskell-team/package-plan/-/commit/71273db3af2813877ae0de2d9bea4fb34cc1bc5e |
| 2022-03-05 00:50:59 +0100 | <monochrom> | IMO not packaging a decade-old GHC version is the most important factor for getting Haskell people to fall in love with debian again. |
| 2022-03-05 00:51:34 +0100 | <monochrom> | To be sure, that would contradict the very definition of debian, so meh. |
| 2022-03-05 00:51:53 +0100 | <sm> | Clint knows the status, it's blocked on something or other |
| 2022-03-05 00:52:36 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 2022-03-05 00:52:58 +0100 | <sm> | lechner_: great |
| 2022-03-05 00:53:03 +0100 | <geekosaur> | most distributions including nix/nixos use stackage because a lot of the hard work is already done (most notably selecting mutually compatible versions of packages) |
| 2022-03-05 00:53:17 +0100 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 240 seconds) |
| 2022-03-05 00:53:21 +0100 | <sm> | exactly |
| 2022-03-05 00:55:32 +0100 | <lechner_> | monochrome: you get it to compile, i'll make sure its available somewhere. (mipsel works now.) i am even working on a private backport repo https://lists.debian.org/debian-haskell/2022/01/msg00012.html |
| 2022-03-05 00:55:53 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
| 2022-03-05 00:58:42 +0100 | <janus> | lechner_: it has to compile with low memory usage? would that be a major change? |
| 2022-03-05 00:59:08 +0100 | <lechner_> | i think they used --parallel=2 |
| 2022-03-05 00:59:16 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-05 00:59:55 +0100 | <lechner_> | https://buildd.debian.org/status/package.php?p=ghc&suite=experimental |
| 2022-03-05 01:00:54 +0100 | <sm> | seems like an impressive amount of green.. |
| 2022-03-05 01:01:05 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 01:01:46 +0100 | zeenk | (~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5) (Quit: Konversation terminated!) |
| 2022-03-05 01:01:51 +0100 | <lechner_> | it's enough. the official ports are the bright ones, but it's still not the ghc 9 you probably want |
| 2022-03-05 01:02:24 +0100 | <sm> | actually.. I'm not sure there's a ghc 9 you really really want yet |
| 2022-03-05 01:03:11 +0100 | <sm> | well, you're not dealing with windows or mac, so maybe there is one for debian |
| 2022-03-05 01:03:51 +0100 | <janus> | i don't understand, what is the blocker if its building for all necessary architectures? |
| 2022-03-05 01:04:10 +0100 | <sm> | that's really an impressive list of architectures supporting ghc |
| 2022-03-05 01:05:22 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-05 01:05:33 +0100 | <lechner_> | janus: which release (and architecture) are you on? |
| 2022-03-05 01:05:41 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 2022-03-05 01:05:47 +0100 | <lechner_> | debian that is |
| 2022-03-05 01:06:06 +0100 | <janus> | lechner_: amd64 and bullseye |
| 2022-03-05 01:06:16 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Read error: Connection reset by peer) |
| 2022-03-05 01:08:08 +0100 | Henson | (~kvirc@107-179-133-201.cpe.teksavvy.com) |
| 2022-03-05 01:09:29 +0100 | <Henson> | can I exclude (or include) certain libraries in a Haskell profiling run? I'm using "stack --profile" and want to exclude a bunch of library stuff I don't care about, and include only my source code. |
| 2022-03-05 01:09:56 +0100 | <geekosaur> | afaik it's all or nothing |
| 2022-03-05 01:10:45 +0100 | <geekosaur> | if you build in the profiling way you have to link in the profiling way ("way" is a ghc internal thing but in practice it means all objects must be either .o or .p_o, no mixtures) |
| 2022-03-05 01:11:16 +0100 | <Henson> | geekosaur: ok, thanks for the info. I'll try another approach. |
| 2022-03-05 01:11:58 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 01:12:08 +0100 | <lechner_> | janus: here is a backport for you, if you'd like to try https://people.debian.org/~lechner/ghc/ |
| 2022-03-05 01:12:16 +0100 | <geekosaur> | partof this is becauselaziness means thunks generated in profiled code but forced in unprofiled code ouldn't be profiled |
| 2022-03-05 01:12:22 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-05 01:12:41 +0100 | <lechner_> | janus: it gave me access to rel8 and also has the popular post qualified thingy |
| 2022-03-05 01:15:03 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
| 2022-03-05 01:16:27 +0100 | meejah_ | meejah |
| 2022-03-05 01:17:00 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2022-03-05 01:18:51 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Remote host closed the connection) |
| 2022-03-05 01:19:35 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
| 2022-03-05 01:20:43 +0100 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) |
| 2022-03-05 01:20:45 +0100 | <Clint> | janus: just time and effort right now.. but that's only been true for ~23 days it seems |
| 2022-03-05 01:21:25 +0100 | soxen_ | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2022-03-05 01:22:24 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 2022-03-05 01:22:59 +0100 | <janus> | great! |
| 2022-03-05 01:23:12 +0100 | <janus> | i'll try your packages this weekend |
| 2022-03-05 01:24:33 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2022-03-05 01:25:57 +0100 | k8yun | (~k8yun@user/k8yun) (Ping timeout: 240 seconds) |
| 2022-03-05 01:26:08 +0100 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-03-05 01:28:27 +0100 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) |
| 2022-03-05 01:31:17 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-05 01:33:08 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 01:33:38 +0100 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-03-05 01:37:24 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-05 01:38:42 +0100 | DNH | (~DNH@2a02:8109:b740:2c4:c5b9:4624:182c:3e13) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-03-05 01:39:15 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 2022-03-05 01:39:19 +0100 | mcgroin | (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 256 seconds) |
| 2022-03-05 01:40:00 +0100 | Sgeo_ | (~Sgeo@user/sgeo) |
| 2022-03-05 01:40:12 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-03-05 01:41:00 +0100 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 256 seconds) |
| 2022-03-05 01:43:00 +0100 | sergiishm | (~altern@altern.corbina.com.ua) (Ping timeout: 240 seconds) |
| 2022-03-05 01:43:43 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 01:46:02 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-03-05 01:47:48 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2022-03-05 01:48:45 +0100 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-03-05 01:50:36 +0100 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 240 seconds) |
| 2022-03-05 01:50:38 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 272 seconds) |
| 2022-03-05 01:51:16 +0100 | lumberjack123 | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-03-05 01:52:59 +0100 | Erutuon | (~Erutuon@user/erutuon) |
| 2022-03-05 01:53:31 +0100 | zmt00 | (~zmt00@user/zmt00) |
| 2022-03-05 01:53:50 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
| 2022-03-05 01:56:56 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 240 seconds) |
| 2022-03-05 01:56:59 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Remote host closed the connection) |
| 2022-03-05 01:57:15 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
| 2022-03-05 01:59:15 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-03-05 02:03:56 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 02:07:01 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Remote host closed the connection) |
| 2022-03-05 02:07:44 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
| 2022-03-05 02:08:47 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2022-03-05 02:09:12 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Remote host closed the connection) |
| 2022-03-05 02:09:25 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
| 2022-03-05 02:09:42 +0100 | jgeerds | (~jgeerds@55d4548e.access.ecotel.net) (Ping timeout: 260 seconds) |
| 2022-03-05 02:11:17 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-05 02:12:01 +0100 | vorpuni | (~pvorp@2001:861:3881:c690:6137:750:a86c:52c8) (Quit: bye) |
| 2022-03-05 02:16:42 +0100 | Inst | (~delicacie@c-98-208-218-119.hsd1.fl.comcast.net) (Ping timeout: 256 seconds) |
| 2022-03-05 02:17:24 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-05 02:19:12 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 2022-03-05 02:19:56 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
| 2022-03-05 02:24:14 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 02:24:17 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Ping timeout: 240 seconds) |
| 2022-03-05 02:29:17 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 2022-03-05 02:34:48 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 02:36:44 +0100 | Henson | (~kvirc@107-179-133-201.cpe.teksavvy.com) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/) |
| 2022-03-05 02:37:08 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
| 2022-03-05 02:39:21 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2022-03-05 02:46:49 +0100 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2022-03-05 02:47:10 +0100 | alMalsamo | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-03-05 02:47:26 +0100 | alMalsamo | lumberjack123 |
| 2022-03-05 02:49:56 +0100 | xkuru | (~xkuru@user/xkuru) |
| 2022-03-05 02:50:28 +0100 | alp_ | (~alp@user/alp) |
| 2022-03-05 02:51:44 +0100 | Inst | (~delicacie@c-98-208-218-119.hsd1.fl.comcast.net) |
| 2022-03-05 02:53:12 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:d4cb:ae21:cf60:e6bc) |
| 2022-03-05 02:53:18 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-05 02:53:48 +0100 | alp | (~alp@user/alp) (Ping timeout: 240 seconds) |
| 2022-03-05 02:54:41 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Ping timeout: 256 seconds) |
| 2022-03-05 02:59:25 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-05 03:00:03 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 03:00:37 +0100 | alp_ | (~alp@user/alp) (Ping timeout: 240 seconds) |
| 2022-03-05 03:04:45 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 2022-03-05 03:05:26 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 2022-03-05 03:06:00 +0100 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 272 seconds) |
| 2022-03-05 03:09:18 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-05 03:10:40 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 03:13:00 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Ping timeout: 240 seconds) |
| 2022-03-05 03:13:32 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-03-05 03:15:04 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2022-03-05 03:15:13 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Remote host closed the connection) |
| 2022-03-05 03:15:24 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-05 03:15:57 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
| 2022-03-05 03:21:13 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 272 seconds) |
| 2022-03-05 03:25:11 +0100 | Psybur | (~Psybur@mobile-166-171-56-243.mycingular.net) (Remote host closed the connection) |
| 2022-03-05 03:27:12 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
| 2022-03-05 03:32:16 +0100 | ninioArtillero | (~ninioArti@190.123.42.32) |
| 2022-03-05 03:36:13 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 03:36:37 +0100 | unit73e | (~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291) (Ping timeout: 256 seconds) |
| 2022-03-05 03:37:48 +0100 | Guest662 | (~Guest66@47.186.214.206) |
| 2022-03-05 03:38:42 +0100 | ninio_artillero | (~ninioArti@190.123.42.32) |
| 2022-03-05 03:39:11 +0100 | ninio_artillero | (~ninioArti@190.123.42.32) (Client Quit) |
| 2022-03-05 03:41:57 +0100 | <Guest662> | What's a good way to "expand" a `Map k [v]` to `Map v k`? Or if tuples are easier `(a,[b]) -> (a,b)`? I wrote something that works but I think I'm missing something simple and obvious. Working code: foldr (\(a, bs) acc -> acc <> Map.unions (fmap (`Map.singleton` a) bs)) Map.empty . Map.toList |
| 2022-03-05 03:41:58 +0100 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) |
| 2022-03-05 03:42:01 +0100 | ninioArtillero[m | (~ninioarti@2001:470:69fc:105::1:d1ef) |
| 2022-03-05 03:42:36 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2022-03-05 03:45:39 +0100 | ninioArtillero | (~ninioArti@190.123.42.32) (Quit: Client closed) |
| 2022-03-05 03:45:40 +0100 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 256 seconds) |
| 2022-03-05 03:46:12 +0100 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-03-05 03:48:19 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-05 03:50:37 +0100 | neurocyte0917090 | (~neurocyte@user/neurocyte) (Ping timeout: 240 seconds) |
| 2022-03-05 03:52:28 +0100 | <dsal> | :t M.fromList . fmap (fmap (:[]) . swap) . M.toList |
| 2022-03-05 03:52:29 +0100 | <lambdabot> | Ord k => M.Map a k -> M.Map k [a] |
| 2022-03-05 03:52:34 +0100 | <dsal> | Neat. First try. |
| 2022-03-05 03:53:09 +0100 | <dsal> | Oh, you have multiple vs. |
| 2022-03-05 03:53:26 +0100 | <int-e> | > sequence ((),[1,2]) |
| 2022-03-05 03:53:27 +0100 | <lambdabot> | [((),1),((),2)] |
| 2022-03-05 03:54:25 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-05 03:56:43 +0100 | <int-e> | :t M.fromList . fmap swap . (>>= sequence) . M.toList |
| 2022-03-05 03:56:44 +0100 | <lambdabot> | Ord k => M.Map a [k] -> M.Map k a |
| 2022-03-05 03:57:08 +0100 | vysn | (~vysn@user/vysn) |
| 2022-03-05 03:57:41 +0100 | <int-e> | :t M.fromListWith (++) . fmap (snd &&& pure . fst) . (>>= sequence) . M.toList |
| 2022-03-05 03:57:43 +0100 | <lambdabot> | Ord a => M.Map k [a] -> M.Map a [k] |
| 2022-03-05 03:58:34 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 03:58:57 +0100 | mmhat | (~mmh@55d4f0e4.access.ecotel.net) (Ping timeout: 256 seconds) |
| 2022-03-05 04:00:02 +0100 | ubert | (~Thunderbi@p200300ecdf3be96140af3c3b2fdf1119.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2022-03-05 04:00:40 +0100 | ubert | (~Thunderbi@p200300ecdf3be9b909e125961b02a69e.dip0.t-ipconnect.de) |
| 2022-03-05 04:01:28 +0100 | <dsal> | I agree with the second one. It's not clear what you're supposed to do with multiple values otherwise. |
| 2022-03-05 04:02:37 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2022-03-05 04:03:54 +0100 | <Guest662> | thanks dsal and int-e, I think the second using fromListWith is something near what I thought was possible. |
| 2022-03-05 04:04:34 +0100 | <Guest662> | btw, I don't have to keep it as a list, I just didn't know a better way and am not sure if it's easily possible to do this without toList first. |
| 2022-03-05 04:04:36 +0100 | <dsal> | It's weird that I can read the arrows thing, but I'd never think to write it. |
| 2022-03-05 04:04:51 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-03-05 04:04:51 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-03-05 04:04:51 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-03-05 04:05:38 +0100 | <dsal> | I wouldn't worry about whether it's possible without the toList. You're doing a lot of shape changing. Having a list as an intermediate isn't bad. |
| 2022-03-05 04:07:17 +0100 | <Guest662> | Yeah, it simplifies things. I like knowing when those things are possible though to have a finer handle on determining "is it worth it" |
| 2022-03-05 04:09:38 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 2022-03-05 04:09:47 +0100 | <int-e> | The list is likely to disappear when you compile this with optimizations enabled (all building blocks participate in the build/foldr list fusion) |
| 2022-03-05 04:11:17 +0100 | <Guest662> | cool! |
| 2022-03-05 04:11:58 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 260 seconds) |
| 2022-03-05 04:12:27 +0100 | mmhat | (~mmh@55d4f85e.access.ecotel.net) |
| 2022-03-05 04:13:52 +0100 | <int-e> | For this kind of thing, because of list fusion, [a] often behaves more like an iterator generating elements of type a than an actual list. |
| 2022-03-05 04:15:19 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-05 04:15:38 +0100 | <int-e> | (and even when fusion isn't taking place, lazy evaluation (producing the list as elements are demanded) and garbage collection (freeing up the used part of the list) still achieve something reasonable, but of course this is less efficient than not allocating the list at all) |
| 2022-03-05 04:16:15 +0100 | td_ | (~td@94.134.91.15) (Ping timeout: 256 seconds) |
| 2022-03-05 04:16:18 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2022-03-05 04:18:50 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 04:20:49 +0100 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-03-05 04:21:07 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Killed (silver.libera.chat (Nickname regained by services))) |
| 2022-03-05 04:21:07 +0100 | [_] | [itchyjunk] |
| 2022-03-05 04:21:25 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-05 04:21:31 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Remote host closed the connection) |
| 2022-03-05 04:22:14 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
| 2022-03-05 04:23:18 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Remote host closed the connection) |
| 2022-03-05 04:23:31 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
| 2022-03-05 04:23:54 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 2022-03-05 04:25:22 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 04:27:08 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Remote host closed the connection) |
| 2022-03-05 04:29:21 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 04:31:19 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-05 04:34:02 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 2022-03-05 04:35:45 +0100 | <systemfault> | I got that weird popup in VSCode saying that the HLS binary doesn't support Template Haskell... That popup has a link to some instructions, I tried them (used the ghcup compile command to recompile HLS) and the popup is still there. At first glance though, Template Haskell "seems" to work (Using Polysemy's makeSem works). What am I doing wrong? |
| 2022-03-05 04:37:26 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-05 04:38:01 +0100 | tommd | (~tommd@97-120-41-123.ptld.qwest.net) |
| 2022-03-05 04:38:27 +0100 | berberman_ | berberman |
| 2022-03-05 04:38:56 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-03-05 04:39:20 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-05 04:39:41 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 04:40:13 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Remote host closed the connection) |
| 2022-03-05 04:40:26 +0100 | Unicorn_Princess | (~Unicorn_P@46-54-248-191.static.kate-wing.si) (Quit: Leaving) |
| 2022-03-05 04:40:56 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
| 2022-03-05 04:43:43 +0100 | Null_A_ | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
| 2022-03-05 04:44:49 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 2022-03-05 04:45:27 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-05 04:47:37 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Ping timeout: 240 seconds) |
| 2022-03-05 04:53:28 +0100 | Null_A_ | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Remote host closed the connection) |
| 2022-03-05 04:54:10 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 2022-03-05 04:56:34 +0100 | Null_A_ | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
| 2022-03-05 04:59:24 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 05:00:37 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 2022-03-05 05:01:51 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
| 2022-03-05 05:03:48 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2022-03-05 05:03:57 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2022-03-05 05:05:59 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-03-05 05:05:59 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-03-05 05:05:59 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-03-05 05:06:09 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Ping timeout: 256 seconds) |
| 2022-03-05 05:06:19 +0100 | Null_A_ | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Remote host closed the connection) |
| 2022-03-05 05:07:03 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
| 2022-03-05 05:10:12 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 240 seconds) |
| 2022-03-05 05:10:28 +0100 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) |
| 2022-03-05 05:11:36 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Ping timeout: 245 seconds) |
| 2022-03-05 05:13:13 +0100 | Erutuon | (~Erutuon@user/erutuon) |
| 2022-03-05 05:16:24 +0100 | <Guest662> | systemfault I think it won't be properly fixed everywhere until next release of hls |
| 2022-03-05 05:17:30 +0100 | <systemfault> | It's okay, it's not really the way. I just wanted to be sure that everything worked as expected :) Thank you |
| 2022-03-05 05:17:45 +0100 | <systemfault> | *it doesn't get in my way |
| 2022-03-05 05:19:38 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 05:21:41 +0100 | Guest662 | (~Guest66@47.186.214.206) (Ping timeout: 256 seconds) |
| 2022-03-05 05:21:57 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 2022-03-05 05:22:15 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2022-03-05 05:24:06 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 250 seconds) |
| 2022-03-05 05:25:50 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 05:27:20 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-05 05:31:44 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Remote host closed the connection) |
| 2022-03-05 05:32:27 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
| 2022-03-05 05:33:27 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-05 05:34:21 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Read error: Connection reset by peer) |
| 2022-03-05 05:37:00 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Ping timeout: 240 seconds) |
| 2022-03-05 05:39:07 +0100 | dka | (~code-is-a@ns3059207.ip-193-70-33.eu) (Quit: My Ex-Girlfriend once told me: I'm not a slut, I'm just popular) |
| 2022-03-05 05:39:32 +0100 | dka | (~code-is-a@ns3059207.ip-193-70-33.eu) |
| 2022-03-05 05:39:50 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 05:40:26 +0100 | dka | (~code-is-a@ns3059207.ip-193-70-33.eu) (Read error: Connection reset by peer) |
| 2022-03-05 05:40:27 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-05 05:40:47 +0100 | dka | (~code-is-a@ns3059207.ip-193-70-33.eu) |
| 2022-03-05 05:41:53 +0100 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-03-05 05:41:56 +0100 | dka | (~code-is-a@ns3059207.ip-193-70-33.eu) (Remote host closed the connection) |
| 2022-03-05 05:42:18 +0100 | dka | (~code-is-a@ns3059207.ip-193-70-33.eu) |
| 2022-03-05 05:42:31 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
| 2022-03-05 05:45:00 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2022-03-05 05:50:26 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 05:51:00 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2022-03-05 05:54:09 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Remote host closed the connection) |
| 2022-03-05 05:54:51 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
| 2022-03-05 05:54:52 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2022-03-05 05:54:57 +0100 | soxen_ | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) |
| 2022-03-05 05:55:04 +0100 | motherfsck | (~motherfsc@user/motherfsck) (Quit: quit) |
| 2022-03-05 05:59:17 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Ping timeout: 240 seconds) |
| 2022-03-05 05:59:22 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-05 06:00:57 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 2022-03-05 06:03:37 +0100 | notzmv | (~zmv@user/notzmv) (Remote host closed the connection) |
| 2022-03-05 06:04:54 +0100 | deadmarshal_ | (~deadmarsh@95.38.112.179) |
| 2022-03-05 06:05:28 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-05 06:10:39 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 06:11:14 +0100 | notzmv | (~zmv@user/notzmv) |
| 2022-03-05 06:11:22 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-05 06:12:04 +0100 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-03-05 06:12:36 +0100 | agumonke` | (~user@88.163.231.79) (Ping timeout: 240 seconds) |
| 2022-03-05 06:13:25 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
| 2022-03-05 06:15:10 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 2022-03-05 06:15:48 +0100 | sergiishm | (~altern@altern.corbina.com.ua) |
| 2022-03-05 06:17:29 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-05 06:18:05 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Ping timeout: 256 seconds) |
| 2022-03-05 06:20:04 +0100 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-03-05 06:21:17 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 06:24:55 +0100 | mbuf | (~Shakthi@110.225.230.210) |
| 2022-03-05 06:26:08 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 2022-03-05 06:26:16 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-03-05 06:26:46 +0100 | zebrag | (~chris@user/zebrag) |
| 2022-03-05 06:30:05 +0100 | <janus> | why is nothing happening with mtl? no commits since january even though Bodigrim asked for a release before the GHC 9.4 feature freeze: https://github.com/haskell/mtl/issues/101 |
| 2022-03-05 06:31:22 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 06:31:31 +0100 | <janus> | chessai: how can we get the ball rolling? did you see that phadej offered to be a maintainer? |
| 2022-03-05 06:33:19 +0100 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-03-05 06:34:04 +0100 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2022-03-05 06:36:13 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2022-03-05 06:36:26 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 2022-03-05 06:37:22 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-05 06:40:36 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-03-05 06:40:53 +0100 | img | (~img@user/img) |
| 2022-03-05 06:42:20 +0100 | jonathanx__ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-03-05 06:43:29 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-05 06:43:39 +0100 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2022-03-05 06:45:16 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2022-03-05 06:45:16 +0100 | allbery_b | (~geekosaur@xmonad/geekosaur) |
| 2022-03-05 06:45:20 +0100 | allbery_b | geekosaur |
| 2022-03-05 06:47:12 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-03-05 06:51:36 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 06:56:03 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2022-03-05 07:00:02 +0100 | tommd | (~tommd@97-120-41-123.ptld.qwest.net) (Ping timeout: 256 seconds) |
| 2022-03-05 07:06:29 +0100 | mmhat | (~mmh@55d4f85e.access.ecotel.net) (Quit: WeeChat 3.4) |
| 2022-03-05 07:09:40 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-03-05 07:11:23 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-05 07:11:50 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 07:16:48 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 2022-03-05 07:17:29 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-05 07:18:23 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Read error: Connection reset by peer) |
| 2022-03-05 07:21:09 +0100 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-03-05 07:22:06 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-03-05 07:22:30 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 07:23:32 +0100 | coot | (~coot@213.134.190.95) |
| 2022-03-05 07:24:30 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-05 07:25:24 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Read error: Connection reset by peer) |
| 2022-03-05 07:27:13 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2022-03-05 07:27:29 +0100 | img | (~img@user/img) |
| 2022-03-05 07:31:30 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-05 07:32:24 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-05 07:32:56 +0100 | mcgroin | (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-03-05 07:33:25 +0100 | cynomys | (~cynomys@user/cynomys) (Quit: leaving) |
| 2022-03-05 07:38:30 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-05 07:39:25 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Read error: Connection reset by peer) |
| 2022-03-05 07:42:15 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 07:43:02 +0100 | zaquest | (~notzaques@5.130.79.72) |
| 2022-03-05 07:43:07 +0100 | phma | (~phma@host-67-44-208-162.hnremote.net) (Read error: Connection reset by peer) |
| 2022-03-05 07:44:21 +0100 | phma | (~phma@host-67-44-209-7.hnremote.net) |
| 2022-03-05 07:45:31 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-05 07:47:04 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2022-03-05 07:49:29 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 07:49:58 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 07:50:11 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 07:50:46 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
| 2022-03-05 07:53:42 +0100 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) |
| 2022-03-05 07:55:17 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Ping timeout: 240 seconds) |
| 2022-03-05 07:55:30 +0100 | vicfred | (~vicfred@user/vicfred) |
| 2022-03-05 07:55:59 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-03-05 08:02:17 +0100 | soxen_ | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2022-03-05 08:02:36 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 08:06:31 +0100 | thevishy | (~Nishant@2405:201:f005:c007:88ef:fc07:ae6e:8552) |
| 2022-03-05 08:07:27 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2022-03-05 08:22:25 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-05 08:22:47 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 08:25:33 +0100 | <davean> | Terrible idea |
| 2022-03-05 08:27:24 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 250 seconds) |
| 2022-03-05 08:27:45 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 2022-03-05 08:28:31 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-05 08:29:26 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-05 08:33:16 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 08:33:28 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-03-05 08:35:32 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-05 08:37:52 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 2022-03-05 08:40:26 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-05 08:43:30 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 08:44:00 +0100 | mbuf | (~Shakthi@110.225.230.210) (Quit: Leaving) |
| 2022-03-05 08:46:32 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-05 08:47:16 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-03-05 08:47:26 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Read error: Connection reset by peer) |
| 2022-03-05 08:48:16 +0100 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) (Ping timeout: 240 seconds) |
| 2022-03-05 08:48:26 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-03-05 08:49:48 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2022-03-05 08:53:06 +0100 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-03-05 08:53:22 +0100 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-03-05 08:53:33 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-05 08:53:44 +0100 | Erutuon | (~Erutuon@user/erutuon) |
| 2022-03-05 08:53:44 +0100 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) |
| 2022-03-05 08:55:23 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 08:57:20 +0100 | hololeap | (~hololeap@user/hololeap) (Remote host closed the connection) |
| 2022-03-05 08:59:27 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-05 09:00:09 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2022-03-05 09:01:55 +0100 | zq | (~zq@xorshift.org) |
| 2022-03-05 09:02:09 +0100 | <zq> | > read "+3.1" :: Float |
| 2022-03-05 09:02:10 +0100 | <lambdabot> | *Exception: Prelude.read: no parse |
| 2022-03-05 09:02:31 +0100 | <zq> | is there a reason why read does not parse the plus sign? |
| 2022-03-05 09:02:33 +0100 | <kevinsjoberg> | I'm reading the Haskell Programming book and it states that the arrow (->), is a type constructor just like Bool except it takes arguments. In the book, running :info (->) return data (->) a b, but that's not what I'm seeing. |
| 2022-03-05 09:02:41 +0100 | <kevinsjoberg> | I'm seeing type (->) = FUN 'Many :: * -> * -> *. |
| 2022-03-05 09:03:02 +0100 | <ski> | > +3.1 :: Float |
| 2022-03-05 09:03:03 +0100 | <lambdabot> | <hint>:1:1: error: parse error on input ‘+’ |
| 2022-03-05 09:03:45 +0100 | <ski> | a prefix plus sign is not a part of floating-point numeral syntax, in Haskell |
| 2022-03-05 09:05:34 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-05 09:05:40 +0100 | ski | idly wonders if kevinsjoberg has a question |
| 2022-03-05 09:06:21 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 2022-03-05 09:06:27 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-05 09:06:47 +0100 | <kevinsjoberg> | ski: haha, yeah, I guess I never really asked a question. My question is why am I seeing something else? I assume it's because I'm running a different GHC version than the book, but does it also mean the underlying representation is something else? |
| 2022-03-05 09:08:07 +0100 | <ski> | i think it's related to the recent `LinearTypes' support |
| 2022-03-05 09:08:40 +0100 | <ski> | on 8.10.1, i seem to get |
| 2022-03-05 09:08:45 +0100 | <ski> | type (->) :: * -> * -> * |
| 2022-03-05 09:08:58 +0100 | <ski> | data (->) a b -- Defined in ‘GHC.Prim’ |
| 2022-03-05 09:09:08 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-03-05 09:09:27 +0100 | <kevinsjoberg> | Yeah, same as the book. I'm running GHC 9.0.1, so I guess that explains the difference. |
| 2022-03-05 09:09:49 +0100 | <ski> | anyway, `(->) Foo Bar' is the same as `Foo -> Bar' |
| 2022-03-05 09:10:33 +0100 | <kevinsjoberg> | Right, that makes sense. Same as the tuple type constructor (,). |
| 2022-03-05 09:11:20 +0100 | <ski> | s/tuple/pair/ |
| 2022-03-05 09:11:43 +0100 | <kevinsjoberg> | Is there a difference? Isn't a pair just a 2-element tuple? |
| 2022-03-05 09:11:53 +0100 | <ski> | yes |
| 2022-03-05 09:12:18 +0100 | <ski> | `(,,)' is also for tuples, but specifically triples |
| 2022-03-05 09:12:31 +0100 | <kevinsjoberg> | Right, of course. |
| 2022-03-05 09:12:33 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-05 09:13:40 +0100 | <ski> | anyway, tuple notation is mixfix/distfix. while function type notation is just an infix operator (right associative) |
| 2022-03-05 09:14:27 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-05 09:14:40 +0100 | ski | 's not really fond of tuple type notation, in Haskell .. |
| 2022-03-05 09:15:37 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 09:19:28 +0100 | jstolarek | (~jstolarek@staticline-31-183-165-217.toya.net.pl) |
| 2022-03-05 09:19:59 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2022-03-05 09:20:34 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-05 09:21:28 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-05 09:24:45 +0100 | vorpuni | (~pvorp@2001:861:3881:c690:3e07:f938:c01:9b48) |
| 2022-03-05 09:27:34 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-05 09:30:15 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:d4cb:ae21:cf60:e6bc) (Remote host closed the connection) |
| 2022-03-05 09:35:52 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 09:38:49 +0100 | luna2021 | (~luna2021@114.246.34.218) |
| 2022-03-05 09:39:22 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-03-05 09:40:17 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-03-05 09:40:34 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 2022-03-05 09:42:14 +0100 | luna2021 | (~luna2021@114.246.34.218) (Client Quit) |
| 2022-03-05 09:42:28 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-05 09:46:05 +0100 | little_mac | (~little_ma@2601:410:4300:3ce0:39c3:2e2a:8815:29cc) (Remote host closed the connection) |
| 2022-03-05 09:46:34 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 09:48:35 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-05 09:50:51 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2022-03-05 09:54:29 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-05 09:56:34 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 10:00:35 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-05 10:01:28 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 2022-03-05 10:02:08 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-03-05 10:05:29 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-05 10:10:21 +0100 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-03-05 10:11:36 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-05 10:16:49 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 10:17:38 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-03-05 10:18:43 +0100 | Kaipi | (~Kaiepi@156.34.47.253) (Remote host closed the connection) |
| 2022-03-05 10:19:06 +0100 | Kaipi | (~Kaiepi@156.34.47.253) |
| 2022-03-05 10:21:12 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2022-03-05 10:23:01 +0100 | zeenk | (~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5) |
| 2022-03-05 10:23:42 +0100 | Pickchea | (~private@user/pickchea) |
| 2022-03-05 10:30:43 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:ddb1:758a:abd2:2050) |
| 2022-03-05 10:31:57 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 10:34:26 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-03-05 10:34:56 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:ddb1:758a:abd2:2050) (Ping timeout: 245 seconds) |
| 2022-03-05 10:37:04 +0100 | polezaivsani | (~polezaivs@orangeshoelaces.net) |
| 2022-03-05 10:37:20 +0100 | kaph_ | (~kaph@net-109-116-124-149.cust.vodafonedsl.it) |
| 2022-03-05 10:37:38 +0100 | kaph | (~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Ping timeout: 256 seconds) |
| 2022-03-05 10:39:20 +0100 | deadmarshal_ | (~deadmarsh@95.38.112.179) (Ping timeout: 256 seconds) |
| 2022-03-05 10:39:30 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-05 10:43:35 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
| 2022-03-05 10:44:36 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-03-05 10:44:52 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-03-05 10:45:36 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-05 10:48:12 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-03-05 10:48:18 +0100 | deadmarshal_ | (~deadmarsh@95.38.112.179) |
| 2022-03-05 10:48:25 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-03-05 10:49:37 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Ping timeout: 272 seconds) |
| 2022-03-05 10:51:48 +0100 | jstolarek | (~jstolarek@staticline-31-183-165-217.toya.net.pl) (Ping timeout: 256 seconds) |
| 2022-03-05 10:53:21 +0100 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-03-05 10:56:48 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 2022-03-05 10:57:03 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
| 2022-03-05 10:59:24 +0100 | DNH | (~DNH@2a02:8109:b740:2c4:c5b9:4624:182c:3e13) |
| 2022-03-05 11:01:57 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
| 2022-03-05 11:02:01 +0100 | DNH | (~DNH@2a02:8109:b740:2c4:c5b9:4624:182c:3e13) (Client Quit) |
| 2022-03-05 11:04:42 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
| 2022-03-05 11:05:11 +0100 | dextaa_ | (~dextaa@user/dextaa) (Remote host closed the connection) |
| 2022-03-05 11:09:31 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-05 11:15:24 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-03-05 11:15:37 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-05 11:15:42 +0100 | notzmv | (~zmv@user/notzmv) (Ping timeout: 260 seconds) |
| 2022-03-05 11:17:06 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
| 2022-03-05 11:18:27 +0100 | __monty__ | (~toonn@user/toonn) |
| 2022-03-05 11:19:09 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
| 2022-03-05 11:19:32 +0100 | <reactormonk[m]> | How can I dump the code generated by e.g. generic-lens? |
| 2022-03-05 11:20:33 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Remote host closed the connection) |
| 2022-03-05 11:21:13 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-03-05 11:22:26 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-03-05 11:22:38 +0100 | Vajb | (~Vajb@2001:999:62:aa00:7f5a:4f10:c894:3813) |
| 2022-03-05 11:24:25 +0100 | jgeerds | (~jgeerds@55d4548e.access.ecotel.net) |
| 2022-03-05 11:24:26 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:24:43 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:24:50 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:25:07 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:25:14 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:25:30 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:25:37 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:25:54 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:26:01 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:26:16 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:26:23 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:26:40 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:26:47 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:26:47 +0100 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-03-05 11:27:02 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:27:09 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:27:24 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:27:31 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:27:46 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:27:53 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:28:10 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:28:17 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:28:31 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:28:38 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:28:55 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:29:02 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:29:18 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:29:25 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:29:42 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:29:49 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:30:04 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:30:11 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:30:25 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:30:32 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:30:48 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:30:55 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:31:11 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:31:16 +0100 | coot | (~coot@213.134.190.95) |
| 2022-03-05 11:31:18 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:31:34 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:31:41 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:31:58 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:32:01 +0100 | DNH | (~DNH@2a02:8109:b740:2c4:c5b9:4624:182c:3e13) |
| 2022-03-05 11:32:05 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:32:19 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:32:26 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:32:36 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Ping timeout: 256 seconds) |
| 2022-03-05 11:32:41 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:32:48 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:32:56 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-03-05 11:33:03 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:33:10 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:33:24 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:33:31 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:33:46 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:33:53 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:34:07 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:34:15 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:34:30 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:34:37 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:34:39 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 2022-03-05 11:34:52 +0100 | <jackdk> | reactormonk[m]: not sure, but `:kind! Rep YourType` might show you the type the generic-lens typeclasses are working on |
| 2022-03-05 11:34:52 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:34:59 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:35:14 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:35:21 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:35:36 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:35:43 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:35:51 +0100 | DNH | (~DNH@2a02:8109:b740:2c4:c5b9:4624:182c:3e13) (Client Quit) |
| 2022-03-05 11:35:57 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:36:04 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:36:20 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:36:27 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:36:42 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:36:49 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:37:03 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:37:10 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:37:26 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:37:33 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:37:49 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:37:51 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 245 seconds) |
| 2022-03-05 11:37:56 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:38:12 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:38:19 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:38:34 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:38:41 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:38:57 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:39:04 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:39:20 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:39:27 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:39:42 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:39:49 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:40:04 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:40:11 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:40:28 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:40:31 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-05 11:40:31 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-03-05 11:40:35 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:40:50 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:40:57 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:41:13 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:41:20 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:41:36 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:41:43 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:41:57 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:42:05 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:42:20 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:42:27 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:42:29 +0100 | yhsiveht | (~Nishant@49.37.242.151) |
| 2022-03-05 11:42:43 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:42:50 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:43:04 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:43:11 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:43:24 +0100 | thevishy | (~Nishant@2405:201:f005:c007:88ef:fc07:ae6e:8552) (Ping timeout: 240 seconds) |
| 2022-03-05 11:43:25 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:43:32 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:43:47 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:43:54 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:44:07 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:44:15 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:44:30 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:44:37 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:44:52 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:44:59 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:45:13 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:45:20 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:45:37 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:45:44 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:45:59 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:46:06 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:46:11 +0100 | Pickchea | (~private@user/pickchea) (Ping timeout: 245 seconds) |
| 2022-03-05 11:46:20 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:46:27 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:46:38 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-05 11:46:42 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:46:49 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:46:52 +0100 | yhsiveht | (~Nishant@49.37.242.151) (Client Quit) |
| 2022-03-05 11:47:03 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:47:08 +0100 | thevishy | (~Nishant@2405:201:f005:c007:dd5:8563:45cc:6966) |
| 2022-03-05 11:47:10 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:47:27 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:47:34 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:47:38 +0100 | DNH | (~DNH@2a02:8109:b740:2c4:c5b9:4624:182c:3e13) |
| 2022-03-05 11:47:49 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:47:56 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:48:11 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:48:18 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:48:35 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:48:42 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:48:57 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:49:03 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:49:18 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:49:25 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:49:40 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:49:47 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:49:54 +0100 | dextaa_ | (~dextaa@user/dextaa) |
| 2022-03-05 11:49:55 +0100 | raym | (~raym@user/raym) (Quit: kernel update, rebooting...) |
| 2022-03-05 11:50:02 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 11:50:09 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-05 11:53:52 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 11:54:13 +0100 | raym | (~raym@user/raym) |
| 2022-03-05 11:56:10 +0100 | agumonke` | (~user@88.163.231.79) |
| 2022-03-05 11:58:38 +0100 | DNH | (~DNH@2a02:8109:b740:2c4:c5b9:4624:182c:3e13) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-03-05 11:59:54 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 2022-03-05 12:04:26 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 12:04:57 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 2022-03-05 12:09:25 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 2022-03-05 12:10:32 +0100 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-03-05 12:14:13 +0100 | agumonke` | (~user@88.163.231.79) (Remote host closed the connection) |
| 2022-03-05 12:14:25 +0100 | DNH | (~DNH@2a02:8109:b740:2c4:c5b9:4624:182c:3e13) |
| 2022-03-05 12:14:32 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-05 12:15:25 +0100 | agumonkey | (~user@88.163.231.79) |
| 2022-03-05 12:17:40 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
| 2022-03-05 12:20:38 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-05 12:21:11 +0100 | vorpuni | (~pvorp@2001:861:3881:c690:3e07:f938:c01:9b48) (Ping timeout: 245 seconds) |
| 2022-03-05 12:23:00 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
| 2022-03-05 12:23:36 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
| 2022-03-05 12:24:42 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 12:26:14 +0100 | vorpuni | (~pvorp@i19-les02-ntr-176-186-156-105.sfr.lns.abo.bbox.fr) |
| 2022-03-05 12:27:35 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-03-05 12:27:48 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Ping timeout: 240 seconds) |
| 2022-03-05 12:29:16 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2022-03-05 12:31:16 +0100 | vorpuni | (~pvorp@i19-les02-ntr-176-186-156-105.sfr.lns.abo.bbox.fr) (Remote host closed the connection) |
| 2022-03-05 12:31:27 +0100 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-03-05 12:31:41 +0100 | vorpuni | (~pvorp@2001:861:3881:c690:3e07:f938:c01:9b48) |
| 2022-03-05 12:32:47 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:ddb1:758a:abd2:2050) |
| 2022-03-05 12:34:30 +0100 | zachel_ | (~zachel@user/zachel) (Quit: DIsconnected: v7+nano) |
| 2022-03-05 12:36:57 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:ddb1:758a:abd2:2050) (Ping timeout: 240 seconds) |
| 2022-03-05 12:37:59 +0100 | zachel | (~zachel@user/zachel) |
| 2022-03-05 12:38:20 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 256 seconds) |
| 2022-03-05 12:39:32 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-05 12:41:34 +0100 | Pickchea | (~private@user/pickchea) |
| 2022-03-05 12:43:47 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-03-05 12:44:58 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 12:45:39 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-05 12:47:55 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-03-05 12:49:40 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2022-03-05 12:50:02 +0100 | jgeerds | (~jgeerds@55d4548e.access.ecotel.net) (Ping timeout: 240 seconds) |
| 2022-03-05 12:51:03 +0100 | ardell | (~ardell@user/ardell) |
| 2022-03-05 12:52:55 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
| 2022-03-05 12:53:36 +0100 | vgtw_ | (~vgtw@user/vgtw) (Quit: ZNC - https://znc.in) |
| 2022-03-05 12:54:43 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-05 12:55:33 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-05 12:57:17 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Ping timeout: 240 seconds) |
| 2022-03-05 13:01:39 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-05 13:01:49 +0100 | vgtw | (~vgtw@user/vgtw) |
| 2022-03-05 13:05:39 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 13:06:28 +0100 | Vajb | (~Vajb@2001:999:62:aa00:7f5a:4f10:c894:3813) (Read error: Connection reset by peer) |
| 2022-03-05 13:07:33 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-05 13:09:10 +0100 | fef | (~thedawn@user/thedawn) |
| 2022-03-05 13:10:04 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2022-03-05 13:12:07 +0100 | chenqisu1 | (~chenqisu1@183.217.201.47) (Ping timeout: 272 seconds) |
| 2022-03-05 13:12:42 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-98.elisa-laajakaista.fi) |
| 2022-03-05 13:13:39 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-05 13:13:48 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 2022-03-05 13:14:33 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-05 13:15:37 +0100 | mvk | (~mvk@2607:fea8:5cc3:7e00::45ee) (Ping timeout: 240 seconds) |
| 2022-03-05 13:20:41 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-05 13:22:12 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 13:22:44 +0100 | Everything | (~Everythin@37.115.210.35) |
| 2022-03-05 13:25:02 +0100 | ub | (~Thunderbi@p548c8d84.dip0.t-ipconnect.de) |
| 2022-03-05 13:25:17 +0100 | ubert | (~Thunderbi@p200300ecdf3be9b909e125961b02a69e.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2022-03-05 13:25:17 +0100 | ub | ubert |
| 2022-03-05 13:26:12 +0100 | mcgroin | (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2022-03-05 13:26:34 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-05 13:27:42 +0100 | notzmv | (~zmv@user/notzmv) |
| 2022-03-05 13:29:46 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-03-05 13:31:08 +0100 | DNH | (~DNH@2a02:8109:b740:2c4:c5b9:4624:182c:3e13) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-03-05 13:32:40 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-05 13:33:34 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Read error: Connection reset by peer) |
| 2022-03-05 13:35:56 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 250 seconds) |
| 2022-03-05 13:39:41 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-05 13:40:33 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2022-03-05 13:40:43 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-03-05 13:45:35 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-05 13:45:54 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 2022-03-05 13:50:25 +0100 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-03-05 13:51:41 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-05 13:51:52 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-03-05 13:52:35 +0100 | yauhsien | (~Yau-Hsien@61-231-30-36.dynamic-ip.hinet.net) |
| 2022-03-05 13:54:09 +0100 | img | (~img@user/img) |
| 2022-03-05 13:54:50 +0100 | Pickchea | (~private@user/pickchea) (Ping timeout: 256 seconds) |
| 2022-03-05 13:56:35 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-05 13:57:07 +0100 | pie_ | (~pie_bnc@user/pie/x-2818909) (Ping timeout: 256 seconds) |
| 2022-03-05 13:59:04 +0100 | pie_ | (~pie_bnc@user/pie/x-2818909) |
| 2022-03-05 14:00:54 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 14:02:37 +0100 | MoC | (~moc@user/moc) |
| 2022-03-05 14:02:42 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-05 14:02:48 +0100 | yhsiveht | (~Nishant@49.37.242.151) |
| 2022-03-05 14:05:56 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 2022-03-05 14:06:16 +0100 | thevishy | (~Nishant@2405:201:f005:c007:dd5:8563:45cc:6966) (Ping timeout: 250 seconds) |
| 2022-03-05 14:07:28 +0100 | vorpuni | (~pvorp@2001:861:3881:c690:3e07:f938:c01:9b48) (Remote host closed the connection) |
| 2022-03-05 14:07:52 +0100 | pie_ | (~pie_bnc@user/pie/x-2818909) (Ping timeout: 256 seconds) |
| 2022-03-05 14:08:46 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-03-05 14:08:48 +0100 | yauhsien_ | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) |
| 2022-03-05 14:08:55 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-03-05 14:09:10 +0100 | vorpuni | (~pvorp@2001:861:3881:c690:1c84:d4a:1e89:fb0b) |
| 2022-03-05 14:11:16 +0100 | pie_ | (~pie_bnc@user/pie/x-2818909) |
| 2022-03-05 14:12:26 +0100 | mmhat | (~mmh@55d4f85e.access.ecotel.net) |
| 2022-03-05 14:15:43 +0100 | unit73e | (~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291) |
| 2022-03-05 14:18:36 +0100 | coot | (~coot@213.134.190.95) |
| 2022-03-05 14:21:08 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 14:25:38 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 2022-03-05 14:25:38 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-03-05 14:25:53 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-03-05 14:34:14 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:ddb1:758a:abd2:2050) |
| 2022-03-05 14:36:03 +0100 | MoC | (~moc@user/moc) (Quit: Konversation terminated!) |
| 2022-03-05 14:38:17 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:ddb1:758a:abd2:2050) (Ping timeout: 240 seconds) |
| 2022-03-05 14:40:47 +0100 | phma | (~phma@host-67-44-209-7.hnremote.net) (Ping timeout: 272 seconds) |
| 2022-03-05 14:41:23 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 14:45:36 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-05 14:45:37 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2022-03-05 14:48:36 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
| 2022-03-05 14:49:27 +0100 | soxen_ | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) |
| 2022-03-05 14:51:42 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-05 14:52:36 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Read error: Connection reset by peer) |
| 2022-03-05 14:52:53 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
| 2022-03-05 14:54:46 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c) |
| 2022-03-05 14:57:14 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-03-05 14:57:32 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-03-05 14:58:43 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-05 14:59:11 +0100 | milesrout | (ce261f06ff@2604:bf00:561:2000::257) |
| 2022-03-05 14:59:37 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Read error: Connection reset by peer) |
| 2022-03-05 15:02:06 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 15:05:04 +0100 | jgeerds | (~jgeerds@55d4548e.access.ecotel.net) |
| 2022-03-05 15:05:05 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-03-05 15:05:13 +0100 | yauhsien_ | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-03-05 15:05:44 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-05 15:06:02 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-03-05 15:06:45 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 2022-03-05 15:06:45 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-03-05 15:06:53 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-03-05 15:07:48 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Ping timeout: 240 seconds) |
| 2022-03-05 15:09:55 +0100 | kaph_ | (~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Ping timeout: 272 seconds) |
| 2022-03-05 15:10:17 +0100 | vysn | (~vysn@user/vysn) (Ping timeout: 240 seconds) |
| 2022-03-05 15:10:40 +0100 | yauhsien_ | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) |
| 2022-03-05 15:11:55 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
| 2022-03-05 15:12:56 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 2022-03-05 15:14:50 +0100 | kritzefitz | (~kritzefit@debian/kritzefitz) (Remote host closed the connection) |
| 2022-03-05 15:15:36 +0100 | yauhsien_ | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) (Ping timeout: 272 seconds) |
| 2022-03-05 15:15:37 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-05 15:16:42 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-03-05 15:17:30 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Ping timeout: 272 seconds) |
| 2022-03-05 15:18:31 +0100 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2022-03-05 15:19:22 +0100 | unit73e | (~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291) (Quit: Leaving) |
| 2022-03-05 15:20:25 +0100 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-03-05 15:20:55 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
| 2022-03-05 15:21:43 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-05 15:22:57 +0100 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 240 seconds) |
| 2022-03-05 15:23:41 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 15:28:01 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2022-03-05 15:33:25 +0100 | kaph | (~kaph@net-109-116-124-149.cust.vodafonedsl.it) |
| 2022-03-05 15:34:15 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 15:35:06 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-03-05 15:37:57 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Ping timeout: 240 seconds) |
| 2022-03-05 15:39:06 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2022-03-05 15:39:23 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-03-05 15:39:23 +0100 | yhsiveht | (~Nishant@49.37.242.151) (Quit: Leaving) |
| 2022-03-05 15:40:23 +0100 | zeenk | (~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5) (Quit: Konversation terminated!) |
| 2022-03-05 15:41:44 +0100 | jalil | (~jalil@2a01:e0a:277:4100:f873:5644:a9ac:e0d) |
| 2022-03-05 15:42:02 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-03-05 15:42:41 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-03-05 15:45:37 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-05 15:46:33 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 15:48:06 +0100 | <janus> | davean: which is the terrible idea? removing the re-exports? or having phadej be maintainer? |
| 2022-03-05 15:48:12 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 2022-03-05 15:50:09 +0100 | Pickchea | (~private@user/pickchea) |
| 2022-03-05 15:50:36 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2022-03-05 15:50:57 +0100 | mmhat | (~mmh@55d4f85e.access.ecotel.net) (Quit: WeeChat 3.4) |
| 2022-03-05 15:51:44 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-05 15:55:46 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-03-05 15:55:50 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-05 15:57:12 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 15:59:37 +0100 | Everything | (~Everythin@37.115.210.35) (Quit: leaving) |
| 2022-03-05 15:59:46 +0100 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
| 2022-03-05 16:01:27 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2022-03-05 16:04:31 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
| 2022-03-05 16:04:36 +0100 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Ping timeout: 240 seconds) |
| 2022-03-05 16:07:08 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 16:07:26 +0100 | oilt^ | (~oilt@50.224.20.226) (Ping timeout: 256 seconds) |
| 2022-03-05 16:07:26 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
| 2022-03-05 16:08:37 +0100 | fryguybob | (~fryguybob@cpe-74-67-169-145.rochester.res.rr.com) |
| 2022-03-05 16:09:22 +0100 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-03-05 16:09:27 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Ping timeout: 272 seconds) |
| 2022-03-05 16:11:57 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Ping timeout: 240 seconds) |
| 2022-03-05 16:12:24 +0100 | jgeerds | (~jgeerds@55d4548e.access.ecotel.net) (Remote host closed the connection) |
| 2022-03-05 16:12:51 +0100 | little_mac | (~little_ma@2601:410:4300:3ce0:3499:893c:26f0:bcd0) |
| 2022-03-05 16:14:32 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 250 seconds) |
| 2022-03-05 16:15:22 +0100 | ardell | (~ardell@user/ardell) (Ping timeout: 256 seconds) |
| 2022-03-05 16:17:19 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-03-05 16:20:10 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 16:23:24 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c) (Remote host closed the connection) |
| 2022-03-05 16:25:34 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2022-03-05 16:28:45 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c) |
| 2022-03-05 16:30:45 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 16:34:07 +0100 | <texasmynsted> | If you were going to create something like a form or something, for yourself, to speed up data entry for a sqlite db, using haskell, what would you do? |
| 2022-03-05 16:35:19 +0100 | sergiishm | altern |
| 2022-03-05 16:35:51 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:ddb1:758a:abd2:2050) |
| 2022-03-05 16:36:27 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c) (Remote host closed the connection) |
| 2022-03-05 16:37:00 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2022-03-05 16:37:31 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c) |
| 2022-03-05 16:38:06 +0100 | <WhateverRabbit> | i will take a hasql |
| 2022-03-05 16:39:12 +0100 | soxen_ | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2022-03-05 16:39:36 +0100 | <janus> | texasmynsted: the question is too open |
| 2022-03-05 16:40:23 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:ddb1:758a:abd2:2050) (Ping timeout: 252 seconds) |
| 2022-03-05 16:40:25 +0100 | <janus> | if i wanted really fast data entry, i'd make the form submit on enter and let it provide confirmation inline without changing the page |
| 2022-03-05 16:40:31 +0100 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-03-05 16:40:46 +0100 | <janus> | then you could quickly adjust values and just hit enter :P |
| 2022-03-05 16:42:24 +0100 | <lechner_> | texasmynsted: how fast, and why only for yourself? |
| 2022-03-05 16:42:34 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c) (Remote host closed the connection) |
| 2022-03-05 16:44:19 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-03-05 16:44:48 +0100 | Guest69 | (~Guest69@vmi275462.contaboserver.net) |
| 2022-03-05 16:45:22 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-03-05 16:46:13 +0100 | <Guest69> | sorry for the silly question - but how do I login from my system into this chat with my username/pass ? it says invalid login |
| 2022-03-05 16:46:27 +0100 | <Guest69> | logged in on my phone irc app |
| 2022-03-05 16:47:47 +0100 | <geekosaur> | that dependson what client you are using (if any, there being a webchat as well) or whether you're using a service like matrix or irccloud |
| 2022-03-05 16:48:20 +0100 | lagash | (lagash@lagash.shelltalk.net) (Ping timeout: 250 seconds) |
| 2022-03-05 16:48:54 +0100 | <Guest69> | its irccloud - so I got to their website and enter username/pass ? |
| 2022-03-05 16:49:11 +0100 | <Guest69> | on my laptop |
| 2022-03-05 16:51:04 +0100 | jrm | (~jrm@156.34.173.250) (Ping timeout: 256 seconds) |
| 2022-03-05 16:52:30 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 16:53:07 +0100 | <worldhelloworld> | guess - that worked - to answer my own question |
| 2022-03-05 16:53:16 +0100 | Guest69 | (~Guest69@vmi275462.contaboserver.net) (Quit: Client closed) |
| 2022-03-05 16:55:19 +0100 | soxen_ | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) |
| 2022-03-05 16:56:36 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2022-03-05 16:56:45 +0100 | <worldhelloworld> | https://www.irccloud.com/pastebin/Edn5PYWb/ |
| 2022-03-05 16:58:59 +0100 | <geekosaur> | yoyu should generally include the error message as well |
| 2022-03-05 17:01:07 +0100 | <geekosaur> | but the problem here is you specify your function as being a -> Bool but then you specify the actual type of a as Bool |
| 2022-03-05 17:01:18 +0100 | <geekosaur> | :t \f -> and . map f |
| 2022-03-05 17:01:19 +0100 | <lambdabot> | (a -> Bool) -> [a] -> Bool |
| 2022-03-05 17:02:08 +0100 | <geekosaur> | if you intend it to always be [Bool] instead of the more general [a] then you also have to specify that for the function |
| 2022-03-05 17:02:49 +0100 | vysn | (~vysn@user/vysn) |
| 2022-03-05 17:02:50 +0100 | <geekosaur> | that said, its'not a very interesting function if you do that since there's only a small handful of interesting (Bool -> Bool) functions |
| 2022-03-05 17:04:46 +0100 | <worldhelloworld> | It's actually an excercise from a book, this is the Q to define a function : Decide if all elements of a list satisfy a predicate: |
| 2022-03-05 17:04:46 +0100 | <worldhelloworld> | all :: (a -> Bool) -> [Bool] -> Bool |
| 2022-03-05 17:05:25 +0100 | <geekosaur> | it actually says [Bool]? that doesn't fit the description |
| 2022-03-05 17:05:59 +0100 | <worldhelloworld> | yes - I copied it from the text - do you mean my definition doesn't fit? |
| 2022-03-05 17:06:05 +0100 | mvk | (~mvk@2607:fea8:5cc3:7e00::45ee) |
| 2022-03-05 17:06:36 +0100 | <geekosaur> | "all elements of a list satisfy a predicate" stromgly suggests the list's elements are not simply Bools |
| 2022-03-05 17:07:20 +0100 | <geekosaur> | in fact it suggests the type I showed earlier, (a -> Bool) -> [a] -> Bool |
| 2022-03-05 17:08:43 +0100 | <geekosaur> | and in any case that type signature does not work for your definition. but by the description of the problem it's the type signature that's wrong, not the function |
| 2022-03-05 17:09:08 +0100 | <worldhelloworld> | it does compile fine with the type you suggested [a] |
| 2022-03-05 17:09:34 +0100 | <geekosaur> | % all' :: (a -> Bool) -> [Bool] -> Bool; all' f = and . map f |
| 2022-03-05 17:09:34 +0100 | <yahb> | geekosaur: ; <interactive>:4:49: error:; * Couldn't match type `a' with `Bool'; Expected: [Bool] -> Bool; Actual: [a] -> Bool; `a' is a rigid type variable bound by; the type signature for:; all' :: forall a. (a -> Bool) -> [Bool] -> Bool; at <interactive>:4:1-37; * In the expression: and . map f; In an equation for all': all' f = and . map f; * Relevant b |
| 2022-03-05 17:09:41 +0100 | <worldhelloworld> | i guess we found a typo in Programming in Haskell 2nd edition then |
| 2022-03-05 17:09:49 +0100 | <geekosaur> | interesting |
| 2022-03-05 17:10:52 +0100 | <geekosaur> | "Page 89. The type [Bool] should be [a] in the type for all and any." https://www.cs.nott.ac.uk/~pszgmh/pih-errata.html |
| 2022-03-05 17:11:20 +0100 | <worldhelloworld> | aha - yes was just looking at that , you beat me to it! |
| 2022-03-05 17:12:01 +0100 | <worldhelloworld> | took me two days, I thought I would try to finally understand the weird compiler errors if I solved this - turned out to be a typo lolz |
| 2022-03-05 17:12:45 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 17:13:38 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 2022-03-05 17:15:25 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-03-05 17:15:25 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-03-05 17:15:25 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-03-05 17:15:59 +0100 | <worldhelloworld> | thanks @geekosaur , @lambdabot and @yahb |
| 2022-03-05 17:16:46 +0100 | coot | (~coot@213.134.190.95) |
| 2022-03-05 17:17:15 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 2022-03-05 17:18:46 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
| 2022-03-05 17:19:06 +0100 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2022-03-05 17:21:13 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-03-05 17:23:21 +0100 | <worldhelloworld> | --Tweaked the above code to add array representation xs (earlier wasn't there and compiled fine) |
| 2022-03-05 17:23:21 +0100 | <worldhelloworld> | all' :: (a -> Bool) -> [a] -> Bool |
| 2022-03-05 17:23:21 +0100 | <worldhelloworld> | all' f xs = and . (map f xs) |
| 2022-03-05 17:23:21 +0100 | <worldhelloworld> | --results in the following error when compiling - Why? |
| 2022-03-05 17:23:21 +0100 | <worldhelloworld> | {-2-functions-higherorder.hs:2:13: error: |
| 2022-03-05 17:23:21 +0100 | <worldhelloworld> | • Couldn't match expected type ‘Bool’ with actual type ‘a0 -> Bool’ |
| 2022-03-05 17:23:22 +0100 | <worldhelloworld> | • Probable cause: ‘(.)’ is applied to too few arguments |
| 2022-03-05 17:23:22 +0100 | <worldhelloworld> | In the expression: and . (map f xs) |
| 2022-03-05 17:23:23 +0100 | <worldhelloworld> | In an equation for ‘all'’: all' f xs = and . (map f xs) |
| 2022-03-05 17:23:23 +0100 | <worldhelloworld> | | |
| 2022-03-05 17:23:24 +0100 | <worldhelloworld> | 2 | all' f xs = and . (map f xs) -} |
| 2022-03-05 17:24:25 +0100 | <geekosaur> | it's either `and (map f xs)` or `(and . map f) xs` |
| 2022-03-05 17:24:32 +0100 | <monochrom> | That looks like not making up your mind whether you want "all f = and . map f" or "all f xs = and (map f xs)". |
| 2022-03-05 17:25:50 +0100 | <geekosaur> | @src (.) |
| 2022-03-05 17:25:50 +0100 | <lambdabot> | (f . g) x = f (g x) |
| 2022-03-05 17:28:39 +0100 | Vajb | (~Vajb@2001:999:62:aa00:7f5a:4f10:c894:3813) |
| 2022-03-05 17:28:44 +0100 | <texasmynsted> | janus and lechner_ : faster than manual SQL statements from the command line. Only myself because it is just for tracking invoices |
| 2022-03-05 17:28:46 +0100 | <worldhelloworld> | interesting so the (.) should be put between functions before being applied to arguments from the looks of `(and . map f) xs` ? will have to read more about the (.) |
| 2022-03-05 17:29:14 +0100 | <texasmynsted> | Nobody else enters anything they only see the report |
| 2022-03-05 17:29:58 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c) |
| 2022-03-05 17:30:25 +0100 | <geekosaur> | worldhelloworld, yes, look at the definition of (.) that I showed earlier, it's exactly the same form |
| 2022-03-05 17:32:08 +0100 | <worldhelloworld> | great, thanks |
| 2022-03-05 17:33:02 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 17:33:27 +0100 | <worldhelloworld> | @lamdabot are you sitting with the book open? :D Had to revisit it, and now I finally get it, composition operator returns a function - my imperative mind needs to get over these obstacles |
| 2022-03-05 17:33:27 +0100 | <lambdabot> | Unknown command, try @list |
| 2022-03-05 17:34:10 +0100 | <geekosaur> | it's just a bot :) it comes with a (not always accurate) database of function definitions though |
| 2022-03-05 17:34:18 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c) (Ping timeout: 252 seconds) |
| 2022-03-05 17:35:17 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Ping timeout: 256 seconds) |
| 2022-03-05 17:35:18 +0100 | <geekosaur> | as to functions that return functions, one way to think about map is: map :: (a -> b) -> ([a] -> [b]) |
| 2022-03-05 17:35:21 +0100 | <worldhelloworld> | haha, I really need to know how haskell works as well as IRC - both, I'm going to shhh and quit making a fool of myself ..... until the next problem :) |
| 2022-03-05 17:35:44 +0100 | <geekosaur> | that is, it transforms a function over items into a function over lists of items |
| 2022-03-05 17:35:57 +0100 | <texasmynsted> | I am guessing you all would recommend making web pages for order entry? Even if just for self? |
| 2022-03-05 17:36:14 +0100 | <geekosaur> | texasmynsted, it'd be much easier, and probably saner |
| 2022-03-05 17:36:45 +0100 | <geekosaur> | but I'm also wondering how much of this hledger would already do for you |
| 2022-03-05 17:37:12 +0100 | <geekosaur> | granting that it's probably not well wrapped for invoice entry as such |
| 2022-03-05 17:37:19 +0100 | <geekosaur> | (no line items, etc.) |
| 2022-03-05 17:38:06 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 2022-03-05 17:38:12 +0100 | vysn | (~vysn@user/vysn) (Ping timeout: 240 seconds) |
| 2022-03-05 17:38:19 +0100 | <worldhelloworld> | sorry but what are "web pages for order entry" ? some order keeping system? |
| 2022-03-05 17:38:55 +0100 | <geekosaur> | yes, texasmynsted is writing a simple order entry / invoicing system |
| 2022-03-05 17:40:04 +0100 | <worldhelloworld> | oh - would love to know more, to learn, specially the webpage/haskell combination - which in my mind, i'd assumed, not a lot of people use |
| 2022-03-05 17:41:14 +0100 | <worldhelloworld> | meanwhile, still trying to wrap my head around your definition @geekosaur "as to functions that return functions, one way to think about map is: map :: (a -> b) -> ([a] -> [b]) ....... that is, it transforms a function over items into a function over lists of items" , very interesting |
| 2022-03-05 17:41:23 +0100 | <geekosaur> | haskell is relatively popular as a web service backend. frontend not so much but there's work being done there as well (ghcjs exists and should become part of ghc as of 9.6 according to current plans) |
| 2022-03-05 17:41:33 +0100 | <texasmynsted> | I did not really thing of hledger. |
| 2022-03-05 17:41:40 +0100 | <texasmynsted> | s/thing/think/ |
| 2022-03-05 17:41:48 +0100 | <geekosaur> | but there's also purescript and elm, which have haskell-like features while compiling to javascript |
| 2022-03-05 17:44:30 +0100 | <worldhelloworld> | interesting, I hadn't much clue people use haskell for backend - wonder how it compares to other languages/performance ........ will google ghcjs now :D |
| 2022-03-05 17:44:39 +0100 | <geekosaur> | texasmynsted, depending on how involved your orders are you might not need more than a simple ledger system. if you have multipleline items or want things like a pricing system fo rorder entry, you would want an actual order entry and invoicing system |
| 2022-03-05 17:44:54 +0100 | Pickchea | (~private@user/pickchea) (Ping timeout: 256 seconds) |
| 2022-03-05 17:45:03 +0100 | bollu | (~bollu@159.65.151.13) (Quit: Ping timeout (120 seconds)) |
| 2022-03-05 17:45:15 +0100 | <geekosaur> | but in that case I'd be tempted to go for someone elses's tested solution rather than trying to roll my own. (I wrote such from 1986-1996, have a decent amount of experience there :) |
| 2022-03-05 17:45:23 +0100 | bollu | (~bollu@159.65.151.13) |
| 2022-03-05 17:46:07 +0100 | <texasmynsted> | :-) |
| 2022-03-05 17:46:51 +0100 | <worldhelloworld> | that nick starts making more sense now :D inspiring! |
| 2022-03-05 17:47:02 +0100 | jalil | (~jalil@2a01:e0a:277:4100:f873:5644:a9ac:e0d) (Remote host closed the connection) |
| 2022-03-05 17:47:36 +0100 | <texasmynsted> | Yeah. For complicated things I moved to Xero (different company). For this I am just tracking incoming vendors sending me invoices for payment |
| 2022-03-05 17:47:51 +0100 | jrm | (~jrm@156.34.173.250) |
| 2022-03-05 17:47:52 +0100 | <texasmynsted> | and me tracking if they have been paid, and where the costs are going. |
| 2022-03-05 17:47:54 +0100 | <texasmynsted> | sigh |
| 2022-03-05 17:48:04 +0100 | <texasmynsted> | I guess that is an accounting system. |
| 2022-03-05 17:48:39 +0100 | <texasmynsted> | geekosaur: was this you made for just you? |
| 2022-03-05 17:49:59 +0100 | <geekosaur> | no, was first working for a company that had an in-house order entry system, then went to work for a value-added reseller that among other things wrote and customized OE/invoicing/receivables/etc. systems for its customers |
| 2022-03-05 17:50:37 +0100 | ishutin | (~ishutin@178-164-188-3.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2022-03-05 17:51:41 +0100 | <texasmynsted> | wow oaky |
| 2022-03-05 17:51:46 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-03-05 17:51:55 +0100 | <texasmynsted> | that sounds like a serious system |
| 2022-03-05 17:51:55 +0100 | <worldhelloworld> | just curious, for something like a simple invoicing system - do you use custom data types? Or built in ones with some kind of a database? trying to understand the approach |
| 2022-03-05 17:52:23 +0100 | <geekosaur> | generally built-in types for a simple invoicing system |
| 2022-03-05 17:52:37 +0100 | ishutin | (~ishutin@178-164-208-247.pool.digikabel.hu) |
| 2022-03-05 17:52:43 +0100 | <geekosaur> | and often with the more complicated ones: most databases were designed for this kind of usage, after all |
| 2022-03-05 17:53:08 +0100 | <texasmynsted> | For me, I am going for a simple as possible, so storage is using types defined by sqlite/duckdb but in Haskell I would expect custom. |
| 2022-03-05 17:53:16 +0100 | <geekosaur> | \it's one reason numeric types are often defined in terms of their display characteristics, because it helps with designing forms and reports |
| 2022-03-05 17:53:16 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 17:53:19 +0100 | xkuru | (~xkuru@user/xkuru) |
| 2022-03-05 17:53:43 +0100 | <texasmynsted> | The next step for me would be automating some of the data entry by reading pdf invoices with megaparsec |
| 2022-03-05 17:53:44 +0100 | <geekosaur> | (talking specifically about the database end of things) |
| 2022-03-05 17:53:52 +0100 | <geekosaur> | ugh |
| 2022-03-05 17:53:58 +0100 | <geekosaur> | that's ginna be a nightmare |
| 2022-03-05 17:54:06 +0100 | <geekosaur> | PDF is a *lousy* input format |
| 2022-03-05 17:54:12 +0100 | <texasmynsted> | which? megaparsec? |
| 2022-03-05 17:54:45 +0100 | <geekosaur> | the problem with PDF is what you see rendered looks like it's discrete, but the actual contents of the PDF are tiny little move-print-move-print operations |
| 2022-03-05 17:54:49 +0100 | <texasmynsted> | I could "try" to dictate that all vendors send me a csv in a fixed format with the pdf. |
| 2022-03-05 17:55:23 +0100 | <worldhelloworld> | yea I would have expected custom datatypes too, maybe I am just excited learning about it for now, but good to know to go with built-in types .... i guess it would help with compatibility too if a language/tooling change occurs in the lifecycle of the product |
| 2022-03-05 17:55:27 +0100 | <texasmynsted> | The few fields I _need_ |
| 2022-03-05 17:55:28 +0100 | <geekosaur> | and you get to try to figure out if a move is just aligning digits with each other or going to the next field |
| 2022-03-05 17:55:29 +0100 | ardell | (~ardell@user/ardell) |
| 2022-03-05 17:56:05 +0100 | <texasmynsted> | I want to be able to easily move data to other places for other things. Move to duckdb, move to postgresql |
| 2022-03-05 17:56:39 +0100 | <texasmynsted> | I also want to use this experience so I can apply it to a much bigger problem |
| 2022-03-05 17:56:43 +0100 | <geekosaur> | amd there's no guarantee the pdf wascreated in row major order either (that is, it could output by column instead) |
| 2022-03-05 17:57:30 +0100 | <texasmynsted> | That is true. |
| 2022-03-05 17:58:12 +0100 | <worldhelloworld> | so if not pdf, then what? |
| 2022-03-05 17:58:21 +0100 | <texasmynsted> | But most vendors send new invoices that look much the same as invoices they sent the month prior. If I can create a parser for each vendor is should work most of the time for them |
| 2022-03-05 17:58:23 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 2022-03-05 17:58:44 +0100 | <geekosaur> | worldhelloworld, csv is nice as texasmynsted already mentioned |
| 2022-03-05 17:58:50 +0100 | <texasmynsted> | I would just have a bunch of custom parsers |
| 2022-03-05 17:59:00 +0100 | <geekosaur> | there are actually standards for digital transmission of orders and invoices |
| 2022-03-05 17:59:01 +0100 | <worldhelloworld> | hmm ok |
| 2022-03-05 17:59:19 +0100 | <geekosaur> | widely used by large companies |
| 2022-03-05 17:59:22 +0100 | <texasmynsted> | I think most vendors would consider CSV because it would be so easy for them to create. |
| 2022-03-05 17:59:48 +0100 | <texasmynsted> | The problem is that many of them have invoices _automaticaly_ generated by their accounting system. |
| 2022-03-05 18:00:06 +0100 | <texasmynsted> | Those produce a web page and or a pdf. |
| 2022-03-05 18:01:08 +0100 | <worldhelloworld> | @texasmynsted if you don't mind me asking, what stack are you using for such a project? |
| 2022-03-05 18:01:08 +0100 | <lambdabot> | Unknown command, try @list |
| 2022-03-05 18:01:08 +0100 | <texasmynsted> | I suppose I could tell them what I am looking for and see if their system can produce a structured file (CSV or something). |
| 2022-03-05 18:02:50 +0100 | <texasmynsted> | Stack hmm. The accounting people use QuickBooks. I have been just keeping track in a plain text file, then csv, then sqlite. . . |
| 2022-03-05 18:03:23 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 18:03:37 +0100 | Unicorn_Princess | (~Unicorn_P@46-54-248-191.static.kate-wing.si) |
| 2022-03-05 18:03:41 +0100 | <texasmynsted> | I do not want to get in the way of what the accounting people do. I just want to keep track of some things myself. |
| 2022-03-05 18:04:09 +0100 | <worldhelloworld> | so I guess a db (with its built in types) is best for data portability? |
| 2022-03-05 18:05:30 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
| 2022-03-05 18:06:18 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-03-05 18:06:33 +0100 | <texasmynsted> | yes |
| 2022-03-05 18:07:05 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-03-05 18:07:23 +0100 | <worldhelloworld> | ok |
| 2022-03-05 18:07:38 +0100 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Remote host closed the connection) |
| 2022-03-05 18:08:21 +0100 | <texasmynsted> | hledger looks like overkill, but maybe not |
| 2022-03-05 18:08:41 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 245 seconds) |
| 2022-03-05 18:09:21 +0100 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 2022-03-05 18:10:12 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Ping timeout: 240 seconds) |
| 2022-03-05 18:11:42 +0100 | <texasmynsted> | still reading the hledger docs and not finding where the data are stored heh |
| 2022-03-05 18:12:31 +0100 | <texasmynsted> | custom, plain text file format it seems. |
| 2022-03-05 18:12:46 +0100 | <texasmynsted> | I mean structured text |
| 2022-03-05 18:13:06 +0100 | pie_ | (~pie_bnc@user/pie/x-2818909) (Quit: pie_) |
| 2022-03-05 18:13:07 +0100 | <dsal> | Yeah, that's hledger's thing. |
| 2022-03-05 18:13:17 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-03-05 18:13:38 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 2022-03-05 18:13:56 +0100 | <texasmynsted> | hhm |
| 2022-03-05 18:13:57 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 18:14:49 +0100 | <texasmynsted> | That is good but might not help me explore my other larger data problem that I was using this as a toy/prototype |
| 2022-03-05 18:15:33 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
| 2022-03-05 18:16:29 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:5900:7509:5d83:fce2) |
| 2022-03-05 18:17:50 +0100 | <geekosaur> | yeh, hledger and its inspiration ledger are all about using simple plain text database formats |
| 2022-03-05 18:18:17 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2022-03-05 18:19:30 +0100 | <sm> | good morning 👋🏻 |
| 2022-03-05 18:20:08 +0100 | <geekosaur> | ohai |
| 2022-03-05 18:20:19 +0100 | zer0bitz | (~zer0bitz@2001:2003:f74d:b800:c137:5b23:feaf:eefd) |
| 2022-03-05 18:20:47 +0100 | <sm> | (I'm tickled that it could be hard to discover in hledger docs where it stores data.. TIL it's possible !) |
| 2022-03-05 18:21:03 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c) |
| 2022-03-05 18:21:35 +0100 | <texasmynsted> | hehe |
| 2022-03-05 18:22:06 +0100 | <texasmynsted> | Structured text as per its mission it seems |
| 2022-03-05 18:23:16 +0100 | <sm> | there are people (not many) in the plaintextaccounting community ingesting things from pdf |
| 2022-03-05 18:25:24 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c) (Ping timeout: 240 seconds) |
| 2022-03-05 18:26:21 +0100 | <texasmynsted> | I really like this but it does not look like it addresses the problem I am trying to solve]' |
| 2022-03-05 18:27:11 +0100 | <texasmynsted> | The problem I am trying to solve is easily insert data into sqlite or other database. |
| 2022-03-05 18:27:13 +0100 | <sm> | hledger's native format is a plain text one, but think of that as a common exchange/reporting format, plain text accounting often involves importing/exporting/converting between whatever formats you have |
| 2022-03-05 18:27:36 +0100 | <sm> | you mentioned ingesting pdf invoices, I guess that's a separate problem |
| 2022-03-05 18:27:52 +0100 | <dsal> | That sounds like a large collection of problems. heh |
| 2022-03-05 18:27:59 +0100 | <dsal> | "pdf" means "paper" to me. |
| 2022-03-05 18:28:00 +0100 | <texasmynsted> | yes it has import/export and export to CSV as a part of its basic function |
| 2022-03-05 18:28:13 +0100 | <geekosaur> | yeh, I described the problems with pdf earlier |
| 2022-03-05 18:28:39 +0100 | <sm> | how complex is the data you want to enter texasmynsted ? could you express it as csv ? that's the most compact format for data entry |
| 2022-03-05 18:28:50 +0100 | <texasmynsted> | Super easy |
| 2022-03-05 18:28:56 +0100 | <texasmynsted> | There are like 5 fields |
| 2022-03-05 18:29:25 +0100 | <texasmynsted> | They are just found in different places in the pdfs. |
| 2022-03-05 18:29:53 +0100 | <sm> | so you'd read the pdfs and manually transcribe these values |
| 2022-03-05 18:30:31 +0100 | <texasmynsted> | I could convert the pdfs to text. Tried this. It works fairly well, and I could then create parsers for each vendor based on the pdf/text |
| 2022-03-05 18:30:49 +0100 | <texasmynsted> | I would still need a simple way to enter the data when the pdf import fails. |
| 2022-03-05 18:30:56 +0100 | <sm> | $ invoicerec val1 val2 val3 val4 val5. # seems the simplest ui then |
| 2022-03-05 18:31:02 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:5900:7509:5d83:fce2) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-03-05 18:31:22 +0100 | <texasmynsted> | I would be fine (actually really happy) with a haskell TUI |
| 2022-03-05 18:31:49 +0100 | <sm> | hledger add is a data entry TUI, you could explore that too |
| 2022-03-05 18:33:26 +0100 | <texasmynsted> | yes. I will keep exploring hledger. What would you use for a haskell TUI form? (Looking at brick) |
| 2022-03-05 18:34:29 +0100 | <sm> | brick if you need a full screen app (overkill unless you plan to grow it) |
| 2022-03-05 18:34:55 +0100 | <texasmynsted> | I would rather something simpler. |
| 2022-03-05 18:35:16 +0100 | <sm> | wizards is what hledger add uses for composable interactive console prompts |
| 2022-03-05 18:35:42 +0100 | <sm> | simple getLine (?) is enough for reading input |
| 2022-03-05 18:36:20 +0100 | <sm> | but for the case you described it doesn't need to be interactive at all, so a command with args could work ? |
| 2022-03-05 18:37:30 +0100 | <texasmynsted> | I suppose so. |
| 2022-03-05 18:37:33 +0100 | <sm> | (and I'm not saying haskell is the quickest way to build this, it probably isn't) |
| 2022-03-05 18:37:34 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:ddb1:758a:abd2:2050) |
| 2022-03-05 18:38:05 +0100 | <texasmynsted> | wizards is a better fit than brick. Maybe I really should just parse args. Hmm. |
| 2022-03-05 18:38:32 +0100 | <sm> | I usually prototype with a bash script these days |
| 2022-03-05 18:38:39 +0100 | <texasmynsted> | haskell is likely not the quickest way but it is what I _want_ to do. |
| 2022-03-05 18:38:57 +0100 | <sm> | 👍🏻✅ |
| 2022-03-05 18:39:41 +0100 | akurilin_ | (uid322841@id-322841.ilkley.irccloud.com) |
| 2022-03-05 18:39:59 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
| 2022-03-05 18:41:11 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 18:42:09 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:ddb1:758a:abd2:2050) (Ping timeout: 256 seconds) |
| 2022-03-05 18:43:45 +0100 | ardell | (~ardell@user/ardell) (Quit: Konversation terminated!) |
| 2022-03-05 18:44:46 +0100 | <texasmynsted> | I wish more projects would do an example. Like using this you can do this, see? |
| 2022-03-05 18:45:04 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-03-05 18:45:16 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:5900:7509:5d83:fce2) |
| 2022-03-05 18:45:34 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 2022-03-05 18:47:37 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-03-05 18:48:19 +0100 | hololeap | (~hololeap@user/hololeap) |
| 2022-03-05 18:50:15 +0100 | <sm> | texasmynsted: are you looking at hledger home page ? if so please tell me more |
| 2022-03-05 18:50:19 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 272 seconds) |
| 2022-03-05 18:51:50 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 18:51:53 +0100 | <texasmynsted> | I was. |
| 2022-03-05 18:52:35 +0100 | <sm> | I appreciate feedback like this. Doesn't https://hledger.org/#how-to-get-started qualify ? |
| 2022-03-05 18:52:51 +0100 | <texasmynsted> | Now I am looking at ncurses |
| 2022-03-05 18:53:10 +0100 | <texasmynsted> | (I am guessing you wrote it?) |
| 2022-03-05 18:53:22 +0100 | <texasmynsted> | My real goal is just to move data into sqlite |
| 2022-03-05 18:54:34 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c) |
| 2022-03-05 18:55:34 +0100 | lagash | (lagash@lagash.shelltalk.net) |
| 2022-03-05 18:56:33 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2022-03-05 18:57:18 +0100 | econo | (uid147250@user/econo) |
| 2022-03-05 18:58:00 +0100 | <texasmynsted> | hledger does look really interesting though |
| 2022-03-05 19:01:37 +0100 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-03-05 19:01:56 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 19:02:59 +0100 | <sm> | for the larger topic (invoicing workflows) #hledger:libera.chat or #plaintextaccounting:libera.chat are a good place to find folks doing similar things |
| 2022-03-05 19:03:28 +0100 | <sm> | the saving stuff in sqlite part is a shell one liner I bet |
| 2022-03-05 19:04:12 +0100 | <sm> | s/shell// |
| 2022-03-05 19:05:57 +0100 | <maralorn> | what’s the fastest string to compose Text? It the moment I just use the Monoid instance of Text a lot. I wonder there is is another way. |
| 2022-03-05 19:06:08 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 250 seconds) |
| 2022-03-05 19:07:00 +0100 | <sm> | there's a Builder somewhere |
| 2022-03-05 19:08:45 +0100 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Remote host closed the connection) |
| 2022-03-05 19:09:10 +0100 | <sm> | Data.Text.Lazy.Builder eg |
| 2022-03-05 19:09:46 +0100 | pie_ | (~pie_bnc@user/pie/x-2818909) |
| 2022-03-05 19:10:43 +0100 | Topsi | (~Tobias@dyndsl-095-033-089-062.ewe-ip-backbone.de) |
| 2022-03-05 19:12:12 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 19:15:31 +0100 | <Cheery> | If I end up with bunch of constraints, eg. (MonadError String m, MonadState Foo m) => |
| 2022-03-05 19:15:41 +0100 | <Cheery> | can I abstract these somehow into one thing? |
| 2022-03-05 19:16:48 +0100 | pie_ | (~pie_bnc@user/pie/x-2818909) (Quit: pie_) |
| 2022-03-05 19:17:24 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2022-03-05 19:17:44 +0100 | yauhsien | (~Yau-Hsien@61-231-30-36.dynamic-ip.hinet.net) (Quit: Leaving) |
| 2022-03-05 19:17:53 +0100 | pie_ | (~pie_bnc@user/pie/x-2818909) |
| 2022-03-05 19:18:56 +0100 | <dsal> | Yeah, you can use ConstraintKinds |
| 2022-03-05 19:19:37 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Ping timeout: 240 seconds) |
| 2022-03-05 19:22:28 +0100 | <Cheery> | if I hook a record to my state monad, is there an easy way to mutate individual fields instead of the whole record? |
| 2022-03-05 19:24:45 +0100 | <Cheery> | there is gets, but I'm looking for same for modification. |
| 2022-03-05 19:25:46 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2022-03-05 19:25:48 +0100 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) |
| 2022-03-05 19:25:49 +0100 | <geekosaur> | sadly haskell doesn't make updates very easy.it's the same problem as record updates not being first class |
| 2022-03-05 19:26:08 +0100 | <geekosaur> | so you're looking at something like lens, which has abunch of state modifiers iirc |
| 2022-03-05 19:26:19 +0100 | alp | (~alp@user/alp) |
| 2022-03-05 19:28:38 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c) (Remote host closed the connection) |
| 2022-03-05 19:31:16 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
| 2022-03-05 19:31:22 +0100 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-03-05 19:31:43 +0100 | <geekosaur> | or writing a bunch of \f v -> f {myfield = v} functions |
| 2022-03-05 19:31:45 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:ddb1:758a:abd2:2050) |
| 2022-03-05 19:31:58 +0100 | <o1lo0lol1o[m]> | <Cheery> "if I hook a record to my state..." <- You'll want to look at lens : `foo & fieldLensFoo %~ \x -> x <> "x updated"` |
| 2022-03-05 19:32:35 +0100 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) |
| 2022-03-05 19:33:05 +0100 | <o1lo0lol1o[m]> | Though, if you don't have many fields and don't anticipate refactoring, it's probably simple enough write your own helpers in the module. |
| 2022-03-05 19:33:08 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 19:34:09 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c) |
| 2022-03-05 19:34:36 +0100 | <o1lo0lol1o[m]> | s/`/`. There are StateT specific combinators as well./ |
| 2022-03-05 19:36:40 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-03-05 19:37:26 +0100 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) (Ping timeout: 245 seconds) |
| 2022-03-05 19:37:49 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c) (Remote host closed the connection) |
| 2022-03-05 19:38:01 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c) |
| 2022-03-05 19:40:44 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 268 seconds) |
| 2022-03-05 19:46:03 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 19:53:16 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c) (Remote host closed the connection) |
| 2022-03-05 19:53:17 +0100 | euandreh | (~euandreh@2804:14c:33:9fe5:c19d:39a5:11c7:fcb0) (Ping timeout: 240 seconds) |
| 2022-03-05 19:55:32 +0100 | euandreh | (~euandreh@2804:14c:33:9fe5:8e3b:ccf1:d93a:5b17) |
| 2022-03-05 19:57:04 +0100 | simendsjo | (~user@84.211.91.241) |
| 2022-03-05 19:58:46 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c) |
| 2022-03-05 20:00:14 +0100 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
| 2022-03-05 20:00:17 +0100 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Client Quit) |
| 2022-03-05 20:00:35 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2022-03-05 20:03:06 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c) (Remote host closed the connection) |
| 2022-03-05 20:03:18 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c) |
| 2022-03-05 20:04:38 +0100 | <dsal> | With lens in state, that'd be `myStateField <>= "something"` |
| 2022-03-05 20:05:02 +0100 | ishutin | (~ishutin@178-164-208-247.pool.digikabel.hu) (Ping timeout: 272 seconds) |
| 2022-03-05 20:06:14 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 20:06:19 +0100 | ishutin | (~ishutin@92-249-141-137.pool.digikabel.hu) |
| 2022-03-05 20:06:22 +0100 | <dsal> | > flip execState (2,4) $ do { _1 += 11; _2 *= 6 } |
| 2022-03-05 20:06:24 +0100 | <lambdabot> | (13,24) |
| 2022-03-05 20:06:36 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-03-05 20:06:39 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-03-05 20:06:47 +0100 | <dsal> | lens always makes problems more exciting. |
| 2022-03-05 20:06:56 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-03-05 20:07:30 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-90.cust.tzulo.com) |
| 2022-03-05 20:07:45 +0100 | euandreh | (~euandreh@2804:14c:33:9fe5:8e3b:ccf1:d93a:5b17) (Ping timeout: 252 seconds) |
| 2022-03-05 20:08:09 +0100 | <polyphem> | hi, if i would write an application using libraries, how are dependencies and transitive dependencies handled , licensewise ? could cabal for example gather all involved licences ? |
| 2022-03-05 20:08:56 +0100 | <polyphem> | is that^ even a thing ? |
| 2022-03-05 20:09:51 +0100 | euandreh | (~euandreh@2804:14c:33:9fe5:18d4:9beb:f7a2:366e) |
| 2022-03-05 20:10:07 +0100 | <geekosaur> | I don't think cabal does butthere are tools on hackage to do so |
| 2022-03-05 20:10:32 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2022-03-05 20:12:57 +0100 | <geekosaur> | https://hackage.haskell.org/package/cabal-dependency-licenses may be out of date |
| 2022-03-05 20:13:12 +0100 | <geekosaur> | https://hackage.haskell.org/package/licensor looks interesting |
| 2022-03-05 20:13:48 +0100 | euandreh | (~euandreh@2804:14c:33:9fe5:18d4:9beb:f7a2:366e) (Ping timeout: 240 seconds) |
| 2022-03-05 20:14:35 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c) (Remote host closed the connection) |
| 2022-03-05 20:16:51 +0100 | <polyphem> | geekosaur: ok , cool , but doesnt belong such a functionality in the package manager , i.e cabal ? |
| 2022-03-05 20:17:14 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 20:17:56 +0100 | <geekosaur> | cabal has them gatheredin its own way via SPDX |
| 2022-03-05 20:18:14 +0100 | <geekosaur> | but an SPDX key isn't a license file |
| 2022-03-05 20:18:37 +0100 | <polyphem> | geekosaur: would be nice , to have a .cabal field , for pre-selecting "usable" packages under some "licensing" constraints |
| 2022-03-05 20:20:05 +0100 | <geekosaur> | that I couldn't speak to. you might bring it up in #hackage |
| 2022-03-05 20:20:05 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:39f9:90f7:922:e73b) |
| 2022-03-05 20:20:56 +0100 | <geekosaur> | I think sdist (via check?) might try to validate compatible licenses via SPDX, but I can't swear to it |
| 2022-03-05 20:21:25 +0100 | <polyphem> | geekosaur: dont know what SPDX is , but what i understand from that is that there is already some support in cabal for library tracking |
| 2022-03-05 20:22:34 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
| 2022-03-05 20:23:00 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2022-03-05 20:23:03 +0100 | <geekosaur> | SPDX is a standard for describing license information,intended in part to allow validating compatible licenses |
| 2022-03-05 20:23:21 +0100 | <geekosaur> | an SPDX license field can be (and for sdist should be)included in every cabal file |
| 2022-03-05 20:24:07 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:39f9:90f7:922:e73b) (Remote host closed the connection) |
| 2022-03-05 20:24:19 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c) |
| 2022-03-05 20:24:22 +0100 | <polyphem> | does SPDX has an Ord instance :p |
| 2022-03-05 20:26:23 +0100 | <geekosaur> | https://hackage.haskell.org/package/Cabal-2.4.0.1/docs/Distribution-SPDX-License.html |
| 2022-03-05 20:26:27 +0100 | <geekosaur> | lookslike it |
| 2022-03-05 20:28:08 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 20:29:04 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Remote host closed the connection) |
| 2022-03-05 20:29:23 +0100 | <geekosaur> | I doubt it does what you'd like though; license relationships are not flat |
| 2022-03-05 20:32:53 +0100 | <polyphem> | i guess so, but wouldn't it be nice to have an ordering defined for known licences, and some "meta" constraints .cabal field on them, that would narrow the visible dependencies you could pull in to your cabal project |
| 2022-03-05 20:32:54 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 2022-03-05 20:33:49 +0100 | <polyphem> | like , usage: open source , or usage: comercial ... |
| 2022-03-05 20:34:12 +0100 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 2022-03-05 20:34:34 +0100 | <geekosaur> | I will again suggest you bring this up in #hackage. I have nothing to do with cabal except as a user |
| 2022-03-05 20:35:19 +0100 | <geekosaur> | but I would hope such field is optional except possibly for cabal check, since personal/non-distributed projects don't generally care |
| 2022-03-05 20:35:22 +0100 | <polyphem> | all right, will do , thank you however |
| 2022-03-05 20:35:53 +0100 | <polyphem> | yes, sure |
| 2022-03-05 20:36:01 +0100 | <polyphem> | optional |
| 2022-03-05 20:37:21 +0100 | deadmarshal_ | (~deadmarsh@95.38.112.179) (Ping timeout: 272 seconds) |
| 2022-03-05 20:38:13 +0100 | <Unicorn_Princess> | is there like a user-friendly cabal tutorial? https://cabal.readthedocs.io/en/latest/getting-started.html is telling me how to configure root keys for "TUF secure" repositories (whatever that means) before it tells me how to split my code into modules |
| 2022-03-05 20:38:42 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 20:38:54 +0100 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Remote host closed the connection) |
| 2022-03-05 20:39:33 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c) (Remote host closed the connection) |
| 2022-03-05 20:42:23 +0100 | <WhateverRabbit> | Unicorn_Princess: dev.stephendiehl.com/hask/ |
| 2022-03-05 20:42:40 +0100 | <geekosaur> | I don't see anything about TUF secure repositories on that page |
| 2022-03-05 20:43:10 +0100 | <Unicorn_Princess> | geekosaur, it's on the 2nd or 3rd page. immediately after the basics of how to install cabal and building a package |
| 2022-03-05 20:43:32 +0100 | <Unicorn_Princess> | WhateverRabbit, ah, i didn't look closely enough at that. thanks |
| 2022-03-05 20:43:40 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 2022-03-05 20:43:57 +0100 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 2022-03-05 20:43:58 +0100 | soxen_ | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2022-03-05 20:44:22 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 2022-03-05 20:45:03 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c) |
| 2022-03-05 20:46:04 +0100 | <worldhelloworld> | is haskell good at exploring data for datascience? Something like python jupyter notebooks which make life easier with graphs ..... easily shareable |
| 2022-03-05 20:46:53 +0100 | <geekosaur> | there is IHaskell which is a Haskell plugin for Jupyter |
| 2022-03-05 20:46:54 +0100 | <WhateverRabbit> | you can use jupyter with haskell |
| 2022-03-05 20:47:57 +0100 | <geekosaur> | there are also libraries for working with R datasets and the like |
| 2022-03-05 20:48:23 +0100 | <geekosaur> | there are I think relatively few interactive tools for it though; the haskell YUI story is still kinda … bare |
| 2022-03-05 20:48:28 +0100 | <geekosaur> | *UI story |
| 2022-03-05 20:48:35 +0100 | <worldhelloworld> | interesting - so I need to install IHaskell for it to work with jupyter notebooks? |
| 2022-03-05 20:48:50 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 20:49:33 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c) (Ping timeout: 252 seconds) |
| 2022-03-05 20:49:41 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-03-05 20:49:44 +0100 | <worldhelloworld> | And are there any libraries for working with python datasets? like you mentioned for R .... more familiar with python |
| 2022-03-05 20:50:43 +0100 | finstern1s | finsternis |
| 2022-03-05 20:51:11 +0100 | <geekosaur> | back in the day there was MissingPy which was a pretty full featured interface between haskell and python, but it's been unmaintained for a while |
| 2022-03-05 20:51:30 +0100 | <geekosaur> | I don't know what there is currently |
| 2022-03-05 20:51:56 +0100 | fef | (~thedawn@user/thedawn) (Ping timeout: 240 seconds) |
| 2022-03-05 20:53:09 +0100 | <worldhelloworld> | sounds pretty awesome MissingPy |
| 2022-03-05 20:53:23 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 2022-03-05 20:53:32 +0100 | soxen_ | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) |
| 2022-03-05 20:54:02 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 250 seconds) |
| 2022-03-05 20:54:11 +0100 | coot | (~coot@213.134.190.95) |
| 2022-03-05 20:54:24 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-03-05 20:56:24 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c) |
| 2022-03-05 21:01:05 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c) (Ping timeout: 252 seconds) |
| 2022-03-05 21:05:21 +0100 | Pickchea | (~private@user/pickchea) |
| 2022-03-05 21:06:30 +0100 | euandreh | (~euandreh@2804:14c:33:9fe5:cfdc:46b6:d3d6:d388) |
| 2022-03-05 21:07:25 +0100 | <texasmynsted> | sm: okay I joined #plaintextaccounting and ##sqlite |
| 2022-03-05 21:08:38 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 21:10:43 +0100 | <texasmynsted> | also found this which looks helpful. https://www.youtube.com/watch?v=qbDQdXfcaO8 |
| 2022-03-05 21:13:26 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 2022-03-05 21:14:00 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 256 seconds) |
| 2022-03-05 21:16:50 +0100 | Inst | (~delicacie@c-98-208-218-119.hsd1.fl.comcast.net) (Ping timeout: 256 seconds) |
| 2022-03-05 21:17:01 +0100 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Remote host closed the connection) |
| 2022-03-05 21:17:24 +0100 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 2022-03-05 21:19:08 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds) |
| 2022-03-05 21:19:17 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 21:19:42 +0100 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Remote host closed the connection) |
| 2022-03-05 21:21:29 +0100 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 2022-03-05 21:23:48 +0100 | martin02 | (~silas@141.84.69.76) |
| 2022-03-05 21:24:12 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 2022-03-05 21:26:12 +0100 | simendsjo | (~user@84.211.91.241) (Ping timeout: 240 seconds) |
| 2022-03-05 21:29:06 +0100 | wroathe | (~wroathe@50-205-197-50-static.hfc.comcastbusiness.net) |
| 2022-03-05 21:29:06 +0100 | wroathe | (~wroathe@50-205-197-50-static.hfc.comcastbusiness.net) (Changing host) |
| 2022-03-05 21:29:06 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-03-05 21:29:47 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 21:31:37 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-03-05 21:33:30 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 2022-03-05 21:33:42 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c) |
| 2022-03-05 21:34:21 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 2022-03-05 21:36:04 +0100 | `2jt | (~jtomas@210.red-88-24-179.staticip.rima-tde.net) |
| 2022-03-05 21:42:56 +0100 | Axman6 | (~Axman6@user/axman6) (Remote host closed the connection) |
| 2022-03-05 21:43:03 +0100 | Axma41360 | (~Axman6@user/axman6) |
| 2022-03-05 21:43:59 +0100 | soxen_ | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2022-03-05 21:45:10 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 21:46:10 +0100 | neurocyte0917090 | (~neurocyte@IP-094016064020.dynamic.medianet-world.de) |
| 2022-03-05 21:46:10 +0100 | neurocyte0917090 | (~neurocyte@IP-094016064020.dynamic.medianet-world.de) (Changing host) |
| 2022-03-05 21:46:10 +0100 | neurocyte0917090 | (~neurocyte@user/neurocyte) |
| 2022-03-05 21:53:15 +0100 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) |
| 2022-03-05 21:57:44 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 250 seconds) |
| 2022-03-05 22:01:02 +0100 | yauhsien | (~yauhsien@61-231-30-36.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-03-05 22:02:41 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-03-05 22:04:12 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c) (Remote host closed the connection) |
| 2022-03-05 22:05:21 +0100 | soxen_ | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) |
| 2022-03-05 22:08:11 +0100 | Erutuon | (~Erutuon@user/erutuon) |
| 2022-03-05 22:09:36 +0100 | pavonia | (~user@user/siracusa) |
| 2022-03-05 22:09:44 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-03-05 22:10:21 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 2022-03-05 22:10:32 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c) |
| 2022-03-05 22:13:55 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 22:15:31 +0100 | `2jt | (~jtomas@210.red-88-24-179.staticip.rima-tde.net) (Ping timeout: 272 seconds) |
| 2022-03-05 22:16:58 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-90.cust.tzulo.com) (Quit: Leaving) |
| 2022-03-05 22:18:16 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 245 seconds) |
| 2022-03-05 22:21:27 +0100 | zer0bitz | (~zer0bitz@2001:2003:f74d:b800:c137:5b23:feaf:eefd) (Ping timeout: 256 seconds) |
| 2022-03-05 22:21:43 +0100 | beka | (~beka@104.193.170.240) |
| 2022-03-05 22:26:12 +0100 | ishutin | (~ishutin@92-249-141-137.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2022-03-05 22:28:08 +0100 | ishutin | (~ishutin@92-249-150-158.static.digikabel.hu) |
| 2022-03-05 22:30:41 +0100 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2022-03-05 22:31:24 +0100 | AkechiShiro | (~licht@user/akechishiro) (Ping timeout: 240 seconds) |
| 2022-03-05 22:32:29 +0100 | AkechiShiro | (~licht@user/akechishiro) |
| 2022-03-05 22:34:11 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 22:38:58 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
| 2022-03-05 22:39:35 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2022-03-05 22:40:53 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-90.cust.tzulo.com) |
| 2022-03-05 22:40:55 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-03-05 22:41:56 +0100 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) (Ping timeout: 240 seconds) |
| 2022-03-05 22:44:48 +0100 | zebrag | (~chris@user/zebrag) |
| 2022-03-05 22:48:42 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Remote host closed the connection) |
| 2022-03-05 22:48:50 +0100 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) |
| 2022-03-05 22:50:59 +0100 | coot | (~coot@213.134.190.95) (Ping timeout: 272 seconds) |
| 2022-03-05 22:58:37 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2022-03-05 22:59:09 +0100 | <worldhelloworld> | https://www.irccloud.com/pastebin/BDYGOBhK/function%20definition%20to%20Decide%20if%20all%20elemen… |
| 2022-03-05 22:59:14 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 23:00:08 +0100 | <geekosaur> | first off, I think you intended all''' instead of all'' |
| 2022-03-05 23:00:26 +0100 | <geekosaur> | second off, if you;'re recursing, don;t you have to pass f on too? |
| 2022-03-05 23:00:54 +0100 | <worldhelloworld> | first objection - yes, let me try that |
| 2022-03-05 23:01:28 +0100 | <geekosaur> | it won't change the errors probably, I presume you're just accidentally recursing into an earlier version |
| 2022-03-05 23:01:29 +0100 | <worldhelloworld> | second objection - no, it should work fine like it is for recursion |
| 2022-03-05 23:02:32 +0100 | <geekosaur> | (note that the first error message tells you that you have forgotten a parameter) |
| 2022-03-05 23:02:36 +0100 | <worldhelloworld> | ok - tried the all''' didn't work |
| 2022-03-05 23:02:51 +0100 | <geekosaur> | "• Probable cause: ‘all''’ is applied to too few arguments" |
| 2022-03-05 23:02:57 +0100 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 240 seconds) |
| 2022-03-05 23:03:39 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 272 seconds) |
| 2022-03-05 23:05:11 +0100 | Maxdamantus | (~Maxdamant@user/maxdamantus) |
| 2022-03-05 23:05:16 +0100 | <worldhelloworld> | what does it actually mean by "Couldn't match expected type ‘Bool’ |
| 2022-03-05 23:05:16 +0100 | <worldhelloworld> | with actual type ‘[a0] -> Bool’" - where does the "a0" come from? |
| 2022-03-05 23:05:41 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
| 2022-03-05 23:05:50 +0100 | Erutuon | (~Erutuon@user/erutuon) |
| 2022-03-05 23:06:34 +0100 | <worldhelloworld> | regarding recursion case - its popping off one element at a time, so don't need to pass f, since f works on the head and then same process recursively |
| 2022-03-05 23:07:35 +0100 | <monochrom> | Huh how does the recursive call know that you don't want a different f. |
| 2022-03-05 23:07:54 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2022-03-05 23:09:17 +0100 | <geekosaur> | third off, you have forgotten to say what to do at the end of the list |
| 2022-03-05 23:09:52 +0100 | <geekosaur> | as to what monochrom said, consider: frob f g (x:xs) = f x : frob g f xs |
| 2022-03-05 23:09:56 +0100 | <monochrom> | I think line 3 covers that. |
| 2022-03-05 23:10:08 +0100 | <worldhelloworld> | imagine : all even [2,4,6] .... would boil down to : even 2 && even 4 && even 6 |
| 2022-03-05 23:10:16 +0100 | <worldhelloworld> | @monochrom |
| 2022-03-05 23:10:17 +0100 | <lambdabot> | Unknown command, try @list |
| 2022-03-05 23:10:24 +0100 | <geekosaur> | but how does it know? |
| 2022-03-05 23:10:55 +0100 | <geekosaur> | you have told it to do: even 2 && all [4,6] |
| 2022-03-05 23:10:59 +0100 | <geekosaur> | all *what*? |
| 2022-03-05 23:11:26 +0100 | <worldhelloworld> | ah |
| 2022-03-05 23:11:26 +0100 | <monochrom> | In addition to how "all''' xs" is objectively obviously a case of wrong number of parameters. |
| 2022-03-05 23:12:31 +0100 | <worldhelloworld> | thanks - i understood, it has to know what f with recursive case |
| 2022-03-05 23:12:41 +0100 | <worldhelloworld> | let me re-read your suggestions |
| 2022-03-05 23:14:18 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 23:14:41 +0100 | Inst | (~delicacie@c-98-208-218-119.hsd1.fl.comcast.net) |
| 2022-03-05 23:15:17 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 240 seconds) |
| 2022-03-05 23:17:10 +0100 | <geekosaur> | the compiler can't guess that you want f passed on again; see my frob example |
| 2022-03-05 23:17:32 +0100 | <geekosaur> | if the compiler were to guess it'd do from f g xs instead of frob g f xs |
| 2022-03-05 23:17:46 +0100 | <geekosaur> | (if you're wondering, that applies two functions to alternating list entries) |
| 2022-03-05 23:18:35 +0100 | <geekosaur> | > let frob _ _ [] = []; frob f g (x:xs) = f x : frob g f xs in frob (+2) (-3) [1..10] |
| 2022-03-05 23:18:37 +0100 | <lambdabot> | error: |
| 2022-03-05 23:18:37 +0100 | <lambdabot> | • No instance for (Num (Integer -> Integer)) |
| 2022-03-05 23:18:37 +0100 | <lambdabot> | arising from a use of ‘e_123110’ |
| 2022-03-05 23:18:51 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 2022-03-05 23:18:57 +0100 | <geekosaur> | > let frob _ _ [] = []; frob f g (x:xs) = f x : frob g f xs in frob (+2) (subtract 3) [1..10] |
| 2022-03-05 23:18:59 +0100 | <lambdabot> | [3,-1,5,1,7,3,9,5,11,7] |
| 2022-03-05 23:19:01 +0100 | <geekosaur> | dammit |
| 2022-03-05 23:19:37 +0100 | <worldhelloworld> | ok - so 1st, 2nd suggestion of @geekosaur was right, I believe 3rd is taken care of with line 3 as @monochrom pointed out ............ now I can compile it but when I try to run an error when I try to run `all even [2,4,6] |
| 2022-03-05 23:19:51 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 2022-03-05 23:20:52 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2022-03-05 23:20:55 +0100 | Topsi | (~Tobias@dyndsl-095-033-089-062.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2022-03-05 23:20:59 +0100 | <worldhelloworld> | same error type like I was asking above `Couldn't match expected type ‘a -> Bool’ with actual type ‘[a0]’ |
| 2022-03-05 23:20:59 +0100 | <worldhelloworld> | ......` |
| 2022-03-05 23:21:36 +0100 | <geekosaur> | that shouldn't happen at runtime? |
| 2022-03-05 23:22:36 +0100 | <geekosaur> | > let all' _ [] = True; all' p (x:xs) = p x && all' p xs in all' even [2,4,6] |
| 2022-03-05 23:22:38 +0100 | <lambdabot> | True |
| 2022-03-05 23:23:11 +0100 | <geekosaur> | update your paste perhaps, including the new error? |
| 2022-03-05 23:23:23 +0100 | <worldhelloworld> | let me make another paste |
| 2022-03-05 23:24:35 +0100 | <worldhelloworld> | https://www.irccloud.com/pastebin/QVu0YNWM/ |
| 2022-03-05 23:24:57 +0100 | Vajb | (~Vajb@2001:999:62:aa00:7f5a:4f10:c894:3813) (Read error: Connection reset by peer) |
| 2022-03-05 23:25:28 +0100 | Pickchea | (~private@user/pickchea) (Ping timeout: 256 seconds) |
| 2022-03-05 23:25:43 +0100 | <worldhelloworld> | ok sorry |
| 2022-03-05 23:25:54 +0100 | <worldhelloworld> | I missed the 'even' argument above |
| 2022-03-05 23:26:03 +0100 | <worldhelloworld> | my bad - apologies |
| 2022-03-05 23:26:05 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-03-05 23:26:51 +0100 | <worldhelloworld> | phew, so sorry, I keep making silly mistakes and bothering you guys, and you'll are incredibly helpful to put up with this |
| 2022-03-05 23:27:02 +0100 | <geekosaur> | we do that :) |
| 2022-03-05 23:27:24 +0100 | <worldhelloworld> | thanks - gotto feel grateful for such a community :) |
| 2022-03-05 23:28:36 +0100 | <geekosaur> | I've seen too many communities where the experts have little patience or tolerance for newcomers. I don't have much respect for them |
| 2022-03-05 23:28:51 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Read error: Connection reset by peer) |
| 2022-03-05 23:29:31 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
| 2022-03-05 23:30:07 +0100 | <worldhelloworld> | appreciate it very much! Otherwise it's easy to feel lost |
| 2022-03-05 23:32:05 +0100 | michalz | (~michalz@185.246.204.73) |
| 2022-03-05 23:33:54 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 23:34:22 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 250 seconds) |
| 2022-03-05 23:35:10 +0100 | milesrout | (ce261f06ff@2604:bf00:561:2000::257) () |
| 2022-03-05 23:35:25 +0100 | Null_A | (~null_a@2601:645:8700:2290:edbd:15d:262b:d392) |
| 2022-03-05 23:35:35 +0100 | kaph | (~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Read error: Connection reset by peer) |
| 2022-03-05 23:36:50 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-03-05 23:38:16 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 245 seconds) |
| 2022-03-05 23:41:42 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-03-05 23:43:00 +0100 | michalz | (~michalz@185.246.204.73) (Remote host closed the connection) |
| 2022-03-05 23:44:19 +0100 | alp | (~alp@user/alp) (Ping timeout: 268 seconds) |
| 2022-03-05 23:47:04 +0100 | kaph | (~kaph@net-109-116-124-149.cust.vodafonedsl.it) |
| 2022-03-05 23:49:16 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 256 seconds) |
| 2022-03-05 23:49:24 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2022-03-05 23:50:20 +0100 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2022-03-05 23:51:56 +0100 | mcgroin | (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-03-05 23:54:11 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
| 2022-03-05 23:56:44 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d43:5e37:69e3:551c) (Remote host closed the connection) |
| 2022-03-05 23:58:54 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2022-03-05 23:59:29 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Remote host closed the connection) |